Fundamentos de Lógica Formal: Razonamiento y Verdad Filosófica

La verdad como coherencia lógica

Un enunciado es lógico si cumple las leyes de la lógica. La verdad o falsedad de una argumentación puede recaer en el estudio mismo del lenguaje empleado en el enunciado. La verdad como coherencia lógica, en lógica, se denomina tautología y nada dice acerca de la realidad.

Verdad y poder

Un enunciado es verdadero si así lo establece un poder fáctico. Un consejo para acabar: practicad la verdad, pero desconfiad de las verdades; puede que detrás de ellas solo haya intereses mezquinos.

¿Qué estudia la lógica?

La lógica es aquella parte de la filosofía que se encarga de examinar los razonamientos para distinguir los que son correctos de los que son incorrectos.

¿Qué es un razonamiento?

Un razonamiento es un proceso mental por el cual, a partir de unas premisas dadas, extraemos necesariamente una conclusión.

¿Por qué a veces no nos sirve el lenguaje natural?

La lógica es una ciencia formal, se preocupa por la forma de los argumentos. Lo que hace la lógica formal es lo siguiente:

Leyes de la lógica

1. Establecer qué formas de argumentos son correctas (las leyes del correcto razonar).
2. Traducir los argumentos que se nos dan en lenguaje natural al lenguaje formal.
3. Comprobar si estos argumentos son correctos o no.

El lenguaje natural carece de precisión y puede llevarnos a múltiples errores. Un mismo término puede tener más de un significado (polisemia).

Juntores y su formalización

• Negador: Mientras que los demás juntores tienen como misión servir de enlace entre dos o más proposiciones, el negador solo afecta a una proposición. Se simboliza con (¬). Se coloca delante de la proposición a la que afecta y representa el "no". (No es cierto que..., no es verdad que..., es imposible que...). Ejemplo: Ni: ¬p ∧ ¬q.
• Conjuntor: Se simboliza con (^) y representa la partícula "y". Se coloca en medio de las dos proposiciones a las que afecta. (Pero..., sin embargo..., aunque...).
• Disyuntor: Se simboliza con (v) y representa la partícula "o". Se coloca en medio de las dos proposiciones a las que afecta. (La "o" delante de la primera proposición no se representa).
• Implicador: Se simboliza con (→) y representa la partícula "si... entonces...". Expresa condiciones suficientes. La proposición que va delante del implicador se llama antecedente y la que va detrás, consecuente. (Cuando... entonces..., luego..., por tanto..., si...).
• Coimplicador: Se simboliza con (↔) y representa la partícula "si y solo si". Se utiliza para establecer equivalencias, igualdades y condiciones necesarias. (Es lo mismo que...).