A diferencia del razonamiento cotidiano, que a menudo depende del lenguaje natural y de la interpretación de las palabras, la lógica matemática busca expresar los argumentos de manera rigurosa, eliminando ambigüedades. Por ejemplo, consideremos el siguiente razonamiento:
Este argumento tiene una estructura lógica que podemos representar simbólicamente mediante la regla de inferencia conocida como modus ponens:
\[ \bigl((p \Rightarrow q) \wedge p\bigr) \Rightarrow q, \]
donde \(p\) representa la proposición «llueve», \(q\) representa «la calle se moja», \(\Rightarrow\) significa «implica» y \(\wedge\) significa «y». Lo importante es que la conclusión se sigue necesariamente de las premisas, independientemente del significado concreto de las proposiciones.
La lógica matemática no se limita, sin embargo, a formalizar argumentos. También estudia los fundamentos de las matemáticas, la estructura de las demostraciones, los lenguajes formales, los conjuntos y las relaciones entre la verdad y la demostrabilidad. En su desarrollo moderno destacan disciplinas como la teoría de modelos, la teoría de la demostración, la teoría de conjuntos y la teoría de la computabilidad.
Como veremos, sus orígenes se remontan a la lógica de Aristóteles, pero su transformación en una disciplina matemática se produjo principalmente durante los siglos XIX y XX, con las aportaciones de matemáticos y lógicos como George Boole, Augustus De Morgan, Gottlob Frege, Giuseppe Peano, David Hilbert y Kurt Gödel.
La influencia de la lógica matemática va mucho más allá de las demostraciones: constituye uno de los fundamentos teóricos de la informática, la programación y la inteligencia artificial. Las operaciones lógicas están presentes en los circuitos digitales, mientras que los métodos de demostración formal permiten verificar propiedades de algoritmos y sistemas informáticos. En definitiva, la lógica matemática convierte el razonamiento en un objeto de estudio matemático. Nos permite investigar no solo cómo demostramos que una afirmación es verdadera, sino también cuáles son los límites de lo que puede demostrarse mediante un sistema formal. Es, en este sentido, una disciplina situada en la frontera entre las matemáticas, la filosofía y la informática: el estudio matemático de las reglas y los límites del pensamiento riguroso.
La historia de la lógica puede dividirse, con cierto grado de simplificación excesiva, en tres etapas: lógica griega, lógica escolástica y lógica matemática. En la primera etapa, las fórmulas lógicas consistían en palabras del lenguaje ordinario, sujetas a las reglas sintácticas habituales. En la segunda etapa, la lógica se abstrajo del lenguaje ordinario pero se caracterizó por reglas sintácticas diferenciadas y funciones semánticas especializadas. En la tercera etapa, la lógica se marcó por el uso de un lenguaje artificial en el que las palabras y los signos tienen funciones semánticas estrechamente limitadas. Mientras que en las dos primeras etapas los teoremas lógicos se derivaban del lenguaje ordinario, la lógica de la tercera etapa procede de manera contraria: primero construye un sistema puramente formal, y solo después busca una interpretación en el habla cotidiana.
Lógica griega (\(\approx\) siglos IV–III a.C.)
La lógica griega se caracteriza por el hecho de que las fórmulas lógicas estaban formadas por palabras del lenguaje ordinario (el griego) y se regían por las reglas sintácticas habituales de ese lenguaje. No existía todavía un lenguaje artificial ni un sistema de símbolos formalizados; la lógica se expresaba y se practicaba dentro del propio discurso natural.
 |
| Aristóteles (384-322 a. C.), Euclides de Alejandría (c. 325-c. 265 a. C.) y Crisipo de Solos (c. 279-c. 206 a. C.) |
- Aristóteles, en el conjunto de tratados conocido como Organon (que incluye Categorías, Sobre la interpretación, Analíticos primeros, Analíticos segundos, Tópicos y Refutaciones sofísticas), sistematiza la lógica de términos o predicados. Analiza las proposiciones categóricas, desarrolla la teoría del silogismo, introduce las figuras y modos válidos, y distingue entre demostración científica, dialéctica y retórica. También elabora la doctrina de las categorías y una teoría de la demostración basada en premisas necesarias.
- Euclides, en sus Elementos, aunque se trata principalmente de una obra de geometría, establece el modelo paradigmático del razonamiento deductivo axiomático (definiciones, postulados, nociones comunes y teoremas). Este método influyó decisivamente en la concepción griega de la demostración rigurosa que la lógica aristotélica buscaba fundamentar.
- Mientras Aristóteles se centró en la lógica de términos, Crisipo y la escuela estoica desarrollaron una lógica proposicional. Analizaron conectivas como “si… entonces…”, “o… o…”, “no…”, y estudiaron los esquemas de inferencia válidos (los llamados “indemostrables”). También se ocuparon de paradojas y de la teoría de los significados (lekta). Al igual que la aristotélica, esta lógica se expresaba en el lenguaje ordinario, aunque no se conservan tratados completos equivalentes al Organon. Los estoicos dividían la lógica en retórica y dialéctica. Crisipo dio para la lógica una definición exacta de la proposición y de las reglas concernientes a la división sistemática de todas las proposiciones en simples y compuestas.
En conjunto, la lógica griega permanece inmanente al lenguaje natural y está orientada a la ciencia, a la dialéctica y a la argumentación filosófica.
Lógica escolástica (\(\approx\) siglos XII–XV)
La lógica escolástica representa una etapa de abstracción y tecnificación respecto de la griega. Aunque sigue utilizando fundamentalmente el lenguaje natural (el latín), este se transforma en un instrumento altamente especializado, con reglas sintácticas diferenciadas y funciones semánticas propias. La lógica se convierte así en una disciplina técnica autónoma.
Las obras más representativas de este período son:
- Pedro Hispano, Summulae Logicales (o Tractatus), el manual de lógica más difundido en las universidades europeas durante siglos. Sistematiza la lógica aristotélica y desarrolla la teoría de las propiedades de los términos (suppositio, ampliatio, appellatio, etc.).
- Guillermo de Ockham, Summa Logicae, una de las cumbres de la lógica medieval. Expone de forma rigurosa la teoría de la suposición, las consecuencias (consequentiae), los términos sincategoremáticos y una sofisticada semántica de los términos.
- Juan Buridán, Summulae de dialectica y sus tratados sobre las consecuencias, que aportan avances importantes en lógica proposicional, teoría de las inferencias y análisis de las paradojas (insolubilia).
 |
| Gottfried W. Leibniz (1646-1716) |
En resumen, mientras la lógica griega permanece dentro del lenguaje natural y la escolástica lo tecnifica sin abandonarlo del todo, se prepara ya el terreno para el posterior giro hacia un lenguaje formal autónomo.
Aunque Gottfried Wilhelm Leibniz (siglo XVII) no pertenece cronológicamente a la lógica escolástica, se le menciona con frecuencia como figura de transición. En obras como la Dissertatio de arte combinatoria (1666) y en sus numerosos fragmentos sobre characteristica universalis y calculus ratiocinator, propone la idea de un lenguaje simbólico artificial y de un cálculo lógico que permita reducir el razonamiento a operaciones mecánicas. Por ello se le considera un precursor de la tercera etapa (la lógica matemática), más que un representante de la lógica escolástica.
El camino hacia la Lógica Matemática
El álgebra del siglo XIX se caracterizó por una aparente tensión entre la creciente generalización y abstracción de sus conceptos y la necesidad de establecer restricciones más precisas en las expresiones algebraicas, reflejo de un cambio en las preguntas que los matemáticos buscaban responder. Mientras que en el continente, Abel, Galois y otros desarrollaron nuevos conceptos al abordar problemas concretos y adaptar o generalizar métodos existentes, los algebristas británicos de la misma generación se propusieron establecer el álgebra como una «ciencia demostrativa», preocupados por el retraso de Inglaterra respecto al continente en el desarrollo del análisis. Aunque atribuían parte de esta diferencia a la superioridad de la notación leibniziana \(dy/dx\) frente a la notación fluxional inglesa, también eran conscientes de la falta de rigor de los fundamentos del álgebra y del análisis, una debilidad que el obispo Berkeley había criticado duramente y que contrastaba con el rigor alcanzado por la geometría.
George Peacock, antiguo miembro de la Cambridge Analytical Society, publicó la primera obra importante dedicada a establecer el álgebra como una «ciencia demostrativa». Para ello, distinguió entre el álgebra aritmética, basada en los números y sus operaciones, y el álgebra simbólica, que estudia las combinaciones de símbolos conforme a leyes independientes de los valores concretos que estos representan. Ambas quedaban vinculadas por el principio de la permanencia de las formas equivalentes, según el cual las identidades algebraicas válidas para símbolos generales debían conservarse al sustituirlos por los objetos correspondientes. Aunque este principio no estaba suficientemente justificado y podía sugerir erróneamente que las mismas leyes eran aplicables a cualquier sistema de objetos, la propuesta de Peacock contribuyó a impulsar una concepción más abstracta del álgebra, susceptible de aplicaciones geométricas.
 |
| George T. Peacock (1791-1858), Augustus De Morgan (1806-1871) y George Boole (1815-1864) |
Las ideas de Peacock, difundidas especialmente a partir de su informe sobre el análisis presentado en 1833, estimularon nuevas investigaciones sobre los fundamentos del álgebra y su relación con el cálculo operacional. Robert Murphy (1806-1843), Augustus De Morgan (1806-1871) y Duncan F. Gregory (1813-1844) profundizaron en el estudio de las leyes de combinación de símbolos, mientras que Gregory destacó las analogías entre las operaciones con números y las de diferenciación y diferencias.
De Morgan fue uno de los principales continuadores de la concepción del álgebra simbólica iniciada por Peacock. Mientras Peacock había distinguido entre el álgebra aritmética y la simbólica, De Morgan profundizó en la idea de que los símbolos algebraicos, incluidas las operaciones, podían estudiarse con independencia de los objetos concretos que representasen. Ya en su obra Trigonometry and Double Algebra (1830), defendió que el álgebra debía ocuparse de los símbolos y sus leyes de combinación, constituyendo una especie de gramática capaz de dar lugar a múltiples álgebras con significados diferentes. Aunque todavía consideraba que las leyes algebraicas habituales debían ser universales y limitaba las posibilidades de nuevos sistemas algebraicos, su planteamiento contribuyó decisivamente a avanzar hacia una concepción más abstracta del álgebra. Su obra cumbre Formal Logic fue publicada en 1847, el mismo año que apareció el primer libro de George Boole. Esta perspectiva preparó el terreno para el trabajo de George Boole, quien llevó mucho más lejos la idea de estudiar las leyes de combinación de símbolos y aplicarlas a un ámbito distinto del numérico: la lógica.
Boole y el álgebra de la lógica
La contribución fundamental de Boole consistió en llevar esta concepción formal a sus últimas consecuencias, aplicando las operaciones algebraicas al razonamiento lógico. En su obra An Investigation of the Laws of Thought (1854), desarrolló un sistema algebraico en el que los símbolos representaban clases de objetos y las operaciones permitían expresar relaciones entre ellas. En términos actuales, la unión, la intersección y el complemento de conjuntos pueden representarse mediante operaciones algebraicas, lo que permite traducir proposiciones lógicas a ecuaciones y resolverlas mediante procedimientos sistemáticos. Por ejemplo, la relación \(xy=x\) expresa que todos los elementos de la clase \(x\) pertenecen también a la clase \(y\). A partir de estas relaciones, Boole mostró que era posible formalizar y resolver razonamientos silogísticos mediante cálculos simbólicos.
Además de sus aportaciones a la lógica, Boole desarrolló métodos algebraicos para resolver ecuaciones diferenciales lineales mediante operadores diferenciales, que estudió especialmente en su Treatise on Differential Equations (1859). Esta aproximación ilustraba la potencia de tratar determinados operadores mediante reglas algebraicas. En conjunto, su obra consolidó una nueva concepción de las matemáticas basada en la estructura y las leyes de los símbolos, y convirtió el álgebra en una herramienta para estudiar sistemáticamente el razonamiento. Su legado fue decisivo para el desarrollo de la lógica matemática moderna y para numerosas aplicaciones científicas y tecnológicas.
En resumen, Mathematical Analysis of Logic (1847) y, a fortiori, The Laws of Thought (1854) contienen mucho más del álgebra de conjuntos de lo que hemos indicado. En particular, esta última obra incluye aplicaciones a la probabilidad. Hoy el álgebra de Boole es utilizada ampliamente no solo por los matemáticos puros sino también por otros que la aplican a problemas de seguros y de teoría de la información. Las notaciones han cambiado algo desde los días de Boole, de modo que la unión y la intersección se indican generalmente por \(\cup\) y \(\cap\) más que por \(+\) y \(\times\), y el símbolo del conjunto nulo es \(\emptyset\) más que \(0\); pero los principios fundamentales son los que fueron establecidos por Boole hace más de un siglo.
La obra de George Boole sentó las bases de la lógica matemática al demostrar que el razonamiento formal puede expresarse mediante un sistema algebraico. Esta matematización de la lógica inspiró profundamente a generaciones posteriores —como Gottlob Frege, Bertrand Russell y, de manera determinante, a David Hilbert—, cuyos esfuerzos por axiomatizar rigurosamente las matemáticas y establecer sistemas formales consistentes (el célebre Programa de Hilbert) no habrían sido posibles sin el camino que Boole abrió al transformar la lógica en una disciplina matemática exacta.
Lecturas complementarias:
- Kurt Gödel: el Príncipe de las Tinieblas de las Matemáticas.
- ¿Puede la inteligencia artificial sustituir a los matemáticos?
