Una Vida Examinada

¿Cuándo empieza un pensamiento a ser lógico? Gottlob Frege ofrecía una respuesta tan sobria como decisiva: la lógica comienza cuando se reconoce que la verdad y la falsedad no son lo mismo. Antes de cualquier formalismo, esta distinción es ya un acto filosófico, y sostiene tanto las decisiones cotidianas como los grandes sistemas científicos.

De ahí derivan los cuatro principios lógicos supremos. El de identidad afirma que toda cosa concreta es idéntica a sí misma; el de no-contradicción, formulado por Aristóteles en la Metafísica, prohíbe que algo sea y no sea al mismo tiempo y bajo el mismo respecto; el de tercero excluido niega los términos medios entre ser y no ser; el de razón suficiente, sistematizado por Leibniz, exige que todo lo que existe tenga una explicación. Sobre estos pilares se construye la proposición —oración indicativa que admite verdad o falsedad— y los actos de habla descritos por Austin: locucionario, ilocucionario, perlocucionario.

Frente a la sofisticación de los manuales, conviene recordar la sabiduría aforística del Padre Brown de Chesterton, del Sherlock Holmes de Conan Doyle y de la navaja de Ockham: a veces la solución correcta es la más simple, conviene razonar al revés desde lo dado, y descartado lo imposible, lo improbable suele ser la verdad. La lógica no es exclusiva del especialista; es la forma decantada del sentido común.

¿Qué estudia la lógica cuando estudia argumentos? La respuesta clásica, que arranca con el Organon de Aristóteles, es doble: examina los principios que distinguen lo válido de lo inválido y los métodos para hacerlo. Su objeto material son las proposiciones; su objeto formal, la verdad de cada una y la validez de su encadenamiento.

De ahí surge la tipología clásica. Las proposiciones se ordenan en cuatro especies según su alcance —universal, general, particular, individual— y los argumentos en cuatro modos según su movimiento. La inducción asciende de casos individuales a regularidades generales y es, por ello, sólo probable, como recordó el contraejemplo del cisne negro australiano que desbarató una sentencia construida sobre miles de observaciones europeas. La deducción aristotélica, en cambio, parte de una premisa universal y desciende al caso concreto con necesidad. La analogía empareja un objeto conocido con otro parcialmente conocido por sus rasgos compartidos. La abducción, descrita por Charles Sanders Peirce, postula la causa probable que explicaría un hecho observado y es, según él, la lógica que genera las hipótesis científicas.

Finalmente, la disciplina se ramifica en tres niveles de abstracción: la lógica material atiende al contenido, la formal a la estructura argumental, la simbólica prescinde de toda referencia y opera con un lenguaje semejante al matemático. Tres caras de la misma exigencia: que el pensamiento se sostenga.

¿De dónde viene la lógica? Curiosamente, no de un solo lugar. Tres tradiciones la inventan casi en paralelo: en Grecia, con la lógica proposicional estoica y la lógica de términos aristotélica recogida en el Organon; en India, con la escuela Nyaya y su silogismo de cinco pasos y el tetralemma budista que examina afirmación, negación, conjunción y rechazo conjuntos; en China, con la escuela mohista que estudió la inferencia válida hasta que la rigidez política la silenció.

La figura central, sin embargo, es Aristóteles. Su Organon —Categorías, Sobre la interpretación, Primeros y Segundos Analíticos, Tópicos, Refutaciones sofísticas— funda la lógica como ciencia propedéutica. Tan completa pareció su obra que, en pleno siglo XVIII, Kant llegó a decir que con Aristóteles la lógica había nacido y muerto el mismo día. La Edad Media añadió matices importantes: la teoría de la suposición, la de las consecuencias y la lógica vetus, nova y parva logicalia conformaron el currículum universitario.

La transformación radical llegó con Leibniz, que soñó con una characteristica universalis, un lenguaje exacto sin ambigüedades, y un calculus ratiocinator que permitiría dirimir cualquier disputa por cálculo. El proyecto era prematuro, pero su semilla germinó en el siglo XIX con Boole, Frege, Peano, Russell y Whitehead. La lógica dejó de ser herramienta filosófica para volverse, también, fundamento de las matemáticas.