Una Vida Examinada

¿Cómo se transmite un significado sin que sufra la deformación de quien lo recibe? La pregunta atraviesa la semiótica, esa disciplina que Charles Sanders Peirce inauguró a finales del siglo XIX y que Charles Morris sistematizó en tres ramas: la sintaxis, que estudia la estructura interna de los signos; la semántica, su significado; la pragmática, su uso por hablantes concretos. Cada una desactiva una zona de ambigüedad distinta.

La historia muestra que los lenguajes humanos —el español, el inglés, cualquier idioma vivo— acumulan ambigüedades, evoluciones, dobles sentidos. El murciélago se decía murciégalo, las grafías mutan, los albures crean dobles fondos. Por eso surgieron lenguajes artificiales: el código Morse para la telegrafía, el esperanto para la lingua franca soñada de Zamenhof. Pero la solución más radical son los lenguajes formales, ese constructo matemático que se define por un alfabeto, un conjunto de reglas de formación y, opcionalmente, meta-variables y símbolos auxiliares.

La lógica simbólica clásica adopta ese formato. Su alfabeto son letras proposicionales —p, q, r—; sus conectivas son negación, conjunción, disyunción, condicional y bicondicional; sus reglas determinan qué cadenas son fórmulas bien formadas. Es la herramienta que Leibniz imaginó tres siglos antes y que Frege, Russell y Whitehead llevaron a su madurez. Detrás de cada lenguaje formal late una pretensión filosófica: que razonar con rigor sea, también, escribir bien.

¿Qué hace que una secuencia de símbolos sea un argumento válido y no un montón de marcas? La sintaxis lógica responde a esa pregunta especificando qué reglas autorizan pasar de unas fórmulas a otras, sin necesidad de comprobar el significado de cada paso. Es una mecánica del pensamiento.

Las cinco conectivas básicas funcionan como engranajes precisos. La negación invierte el valor de verdad; la conjunción exige que ambas partes sean verdaderas; la disyunción inclusiva pide al menos una; el condicional, el más resbaladizo, sólo es falso cuando el antecedente es verdadero y el consecuente falso; el bicondicional reclama igualdad de valor. Sobre estos pilares, el cálculo de Fitch, refinamiento del sistema de Irving Copi por Frederic Fitch, organiza la deducción natural en niveles anidados de prueba. Cada subprueba se abre con una hipótesis y se cierra con una regla de introducción, generando así las verdades lógicas o teoremas.

De ahí salen los grandes esquemas inferenciales clásicos: el modus ponens —si A implica B y A es verdadero, entonces B—, el modus tollens —si A implica B y no B, entonces no A—, el silogismo disyuntivo. Aristóteles los reconoció en los Analíticos Primeros; Frege, Russell y Whitehead los formalizaron en lenguaje simbólico. Razonar correctamente no es una habilidad mística: es saber qué reglas autoriza el cálculo y cuáles no.

¿Cuándo una fórmula lógica es verdadera por sí misma, sin importar cómo sea el mundo? La semántica lógica responde con la noción de tautología: una fórmula que, evaluada sobre todas las combinaciones posibles de sus componentes, siempre devuelve verdadero. La herramienta clásica para descubrirlas es la tabla de verdad, sistematizada por Ludwig Wittgenstein en el Tractatus.

Cada conectiva tiene su tabla. La negación invierte el valor; la conjunción solo es verdadera cuando ambas partes lo son; la disyunción inclusiva basta con que una lo sea; el condicional, el más sutil, solo es falso cuando el antecedente es verdadero y el consecuente falso; el bicondicional exige coincidencia. Con dos letras hay cuatro filas posibles, con tres ocho, y así sucesivamente: el espacio crece exponencialmente.

De este procedimiento mecánico emergen tres resultados. Una fórmula es contradictoria si siempre es falsa; contingente si admite ambos valores; tautológica si siempre es verdadera. Las tres grandes tautologías de la lógica clásica son justamente las que formalizan los principios aristotélicos: la identidad A ↔ A, la no-contradicción ¬(A ∧ ¬A) y el tercero excluido A ∨ ¬A. Sus negaciones son siempre falsas. Toda la lógica matemática moderna se desplegó como exploración de qué pasa cuando se relaja uno de estos principios.