Nunca Más

El Razonamiento Lógico

El razonamiento lógico es entonces un conjunto de juicios que mantienen entre sí relaciones lógicas de tal forma que partiendo de algunos juicios dados a los que denominados premisas podemos llegar deductivamente a un juicio que no teníamos y que denominamos conclusión. La obtención de la conclusión, si procedemos lógicamente, asegura la validez de la misma porla propia estructura lógica de los juicios que componen las premisas. Por ejemplo, si partimos como premisas de los siguientes juicios:

Si llueve entonces me mojo
y llueve
¿Qué podemos concluir?
Evidentemente, que me mojo.

Esto es una inferencia o razonamiento deductivo, en el cual si las premisas fueran verdaderas, la conclusión también lo sería. Laciencia que estudia qué tipos de esquemas de inferencia aseguran la validez de las conclusiones es la Lógica

La Lógica Formal

La lógica podemos definirla como la ciencia de los principios de la validez formal de la inferencia. Analicemos esta definición. Ya sabemos lo que es una inferencia o razonamiento deductivo, no debemos confundir ahora el proceso psicológico con elresultado de este proceso. Ahora sólo nos interesa el resultado, independientemente de quién lo piense o de cómo se haya producido. La lógica solamente se ocupa de razonamientos como productos o resultados.
¿Qué significa eso de la validez formal? En parte ya ha sido explicado anteriormente, usemos ahora algunos ejemplos:

(1)
Si llueve entonces se me seca la ropa y llueve.
Luego, seme seca la ropa

(2)
Si llueve entonces me mojo
y me mojo.
Luego, llueve.

El razonamiento (1) parece falso, pues no ocurre en la experiencia que cuando llueva se seque la ropa, por el contrario (2) parece verdadero, pues efectivamente si me mojo puede ser porque llueva. Sin embargo este análisis responde a lo que denominamos Verdad material. La verdad material es unasunto de experiencia, podría ser que efectivamente cuando llueva se nos seque la ropa, pero en este mundo ocurre lo contrario. La verdad material es un asunto que investiga las ciencias empíricas o experimentales que necesitan acudir a la experiencia para determinar la verdad de sus teorías. La Lógica no se ocupa de este tipo de verdad, sino de la validez o verdad formal. En ese sentido prescindede los contenidos de los juicios para ocuparse de la mera forma lógica. Eliminemos mediante un proceso de formalización el contenido de (1) y de (2). Este proceso de formalización va a consistir en asignar a cada proposición u oración una letra minúscula a partir
de la letra p, por convención. De esta manera, vamos a tratar con variables proposicionales. Una variable proposicional, como la'x' o la 'y' de las ecuaciones matemáticas, es algo que puede estar por cualquier oración, con cualquier contenido. La noción de variable es precisamente algo que admite instancias de sustitución dentro de un dominio especificado. En este caso, si vamos a tratar con variables proposicionales, será porque el dominio de sustitución será el conjunto de las oraciones. Procedamos entonces a formalizarnuestras inferencias:

(1)
sea p: llueve
sea q: se me seca la ropa
y simbolicemos la relación condicional si...entonces mediante el signo →,
que usaremos de forma infija
Entonces:
p→q
p
q

La Lógica
(2)
sea p: llueve
sea q: me mojo
Entonces la formalizaciónquedaría
p→q
q
p

Visto así la lógica nos dirá que (1) es un esquema de inferencia válido, mientras (2) no lo es. Es decir, que todo razonamiento que tenga la estructura lógica de (1) asegura la validez de las conclusiones obtenidas, o como lo expresábamos anteriormente, si las premisas fueran verdaderas, la conclusión también sería verdadera. A esto es a lo...