ARGUMENTACIN EN LGICA.

PRIMERA DEFINICION DE LA ARGUMENTACION EN LGICA

En lgica, un argumento se define como un conjunto de premisas seguidas por

una conclusin.
Un argumento puede ser slido, (vlido y con premisas verdaderas) o ser
persuasivo de alguna otra manera.
Sin embargo, un argumento no necesita ser slido o persuasivo para ser un
argumento. Ejemplos de argumentos deductivamente vlidos son los siguientes:

1. Si est soleado, entonces es de da.

2. Est soleado.
3. Por lo tanto, es de da.
1. Si no es martes, entonces es lunes.
2. No es martes.
3. Por lo tanto, es lunes.
1. Todos los planetas giran alrededor del Sol.
2. Marte es un planeta.
3. Por lo tanto, Marte gira alrededor del Sol.
Ntese que para que un argumento sea deductivamente vlido, no es necesario
que las premisas o la conclusin sean verdaderas. Slo se requiere que la
conclusin sea una consecuencia lgica de las premisas.
La lgica formal establece nicamente una relacin condicional entre las premisas
y la conclusin. Esto es: que si las premisas son verdaderas, entonces la
conclusin tambin lo es (esta es la caracterizacin semntica de la nocin de
consecuencia lgica); o alternativamente: que la conclusin sea deducible de las
premisas conforme a las reglas de un sistema lgico (esta es la caracterizacin
sintctica de la nocin de consecuencia lgica).
Si un argumento, adems de ser vlido, tiene premisas verdaderas, entonces se
dice que es slido.

En un lenguaje formal, un argumento se define como una secuencia ordenada de

frmulas, donde la ltima es designada como la conclusin, y las dems como las
premisas.
Y donde cada frmula (proposicin formal) es derivable de dos o ms frmulas
precedentes por medio de una regla de inferencia bien definida. As una
demostracin matemtica usualmente es formulable2 como un argumento en que
las primeras frmulas son siempre axiomas y el resto son frmulas deducidas
(teoremas) a partir de frmulas anteriores en la secuencia que constituye el
argumento.
SEGUNDA DEFINICIN DE UN ARGUMENTO LGICO.

Un argumento lgico se construye con proposiciones, o sea, frases que afirman

una determinada cosa. Un argumento deductivo contiene una o ms proposiciones
llamadas premisas que son los pre-supuestos del argumento, o sea, lo que se
asume como verdadero para poder deducir el resto. La proposicin que se deduce
de las premisas se denomina conclusin.

Todos los hombres son mortales. (Premisa n 1)

Scrates es un hombre. (Premisa n 2)
Por lo tanto, Scrates es mortal. (Conclusin)

La deduccin se realiza utilizando las premisas para inferir nuevas proposiciones,

siguiendo una serie de reglas, hasta que se puede llegar a la conclusin. Estas
reglas son procedimientos que cambian un tipo de expresin lgica por otra, o
combinan dos o ms proposiciones en una sola. La mayora de estas reglas
pueden ser aprehendidas sin necesidad de estudiar lgica formalmente, pero
hablaremos de ellas ms adelante.

Al examinar argumentos lgicos, hay que tener en cuenta que un argumento

puede ser vlido sin que por ello su conclusin sea cierta. El razonamiento puede
ser formalmente correcto, pero si una de las premisas es invlida, entonces la
conclusin es irrelevante. Por ejemplo, el famoso Argumento Cosmolgico:

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 bien el argumento es vlido, la conclusin no lo es, puesto que la premisa (2) es
falsa: el Universo no comenz en un momento determinado porque no haba
tiempo (dimensin temporal) en la cual pudiera haber 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 conclusin sea falsa, pero s
invalida el argumento 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 un cierto entrenamiento didctico para "enfocar" los argumentos y
detectar sus partes.