informatica

Un argumento lógico
se construye con proposiciones, o sea, frases que afirman una determinada cosa. Un argumento deductivo contiene una o más proposiciones llamadas premisas que son lospre-supuestos del argumento, o sea, lo que se asume como verdadero para poder deducir el resto. La proposición que se deduce de las premisas se denomina conclusión.

Todos los hombres son mortales. (premisanº 1)
Sócrates es un hombre. (premisa nº 2)
Por lo tanto, Sócrates es mortal. (conclusión)
La deducción se realiza utilizando las premisas para inferir nuevas proposiciones, siguiendo una seriede reglas, hasta que se puede llegar a la conclusión. Estas reglas son procedimientos que cambian un tipo de expresión lógica por otra, o combinan dos o más proposiciones en una sola. La mayoría deestas reglas pueden ser aprehendidas sin necesidad de estudiar lógica formalmente, pero hablaremos de ellas más adelante.

Al examinar argumentos lógicos, hay que tener en cuenta que un argumentopuede ser válido sin que por ello su conclusión sea cierta. El razonamiento puede ser formalmente correcto, pero si una de las premisas es inválida, entonces la conclusión es irrelevante. Por ejemplo, elfamoso Argumento Cosmológico:

Todo lo que comenzó en un momento determinado tuvo una causa.
El Universo comenzó en un momento determinado.
Por lo tanto, el Universo tuvo una causa.
Si bienel argumento es válido, la conclusión no lo es, puesto que la premisa (2) es falsa: el Universo no comenzó en un momento determinado porque no había tiempo (dimensión temporal) en la cual pudierahaber momentos de comienzo. Al haber aparecido el tiempo y el espacio como parte del Universo, el Universo no tuvo comienzo en el tiempo. Esto no hace que la conclusión sea falsa, pero sí invalida elargumento que llevó a deducirla.

Evidentemente, no todas las personas con las que uno conversa explicitan sus argumentos con premisas y conclusiones prolijamente delineados y ordenados. Se requiere...