-
500 BCE
Parménides y Heráclito
Introducen las primeras nociones de contradicción y unidad en sus reflexiones sobre el ser y el cambio, que influirán en los desarrollos posteriores de la lógica. -
450 BCE
Los sofistas
Comienzan a utilizar el razonamiento lógico en debates, aunque a menudo con fines retóricos. -
400 BCE
Platón
Desarrolla la idea de las Formas o Ideas, que subyace a la comprensión de la verdad lógica y la relación entre las ideas abstractas y su representación en el mundo físico. -
384 BCE
Aristóteles
Discípulo de Platón, formaliza la lógica en su obra Órganon, estableciendo la lógica silogística, que se centró en el razonamiento deductivo. Su lógica será la base del pensamiento occidental durante siglos. -
300 BCE
Los estoicos
Desarrollan la lógica proposicional, que se centra en la estructura de las proposiciones y su verdad o falsedad, en lugar de las relaciones entre términos individuales. -
Period: 501 to 600
Boecio
Traduce y comenta obras de Aristóteles, asegurando la transmisión de la lógica aristotélica a la Europa medieval. -
Period: 801 to 900
Al-Farabi y Avicena
En el mundo islámico, incorporan y expanden la lógica aristotélica, influyendo en la filosofía escolástica europea. -
Period: 1101 to 1200
Pedro Abelardo
Introduce la teoría de las consecuencias, un precursor del desarrollo de la lógica formal moderna. -
1270
Tomás de Aquino
Integra la lógica aristotélica en la teología cristiana, particularmente en su obra Summa Theologica. -
1327
Guillermo de Ockham
Introduce la "navaja de Ockham", principio que fomenta la simplicidad en el razonamiento lógico. -
1500
Pietro Pomponazzi
Junto con otros renacentistas italianos, revitaliza el estudio de la lógica aristotélica, mientras que el desarrollo de la imprenta permite una mayor difusión de obras lógicas. -
René Descartes
Publica Discurso del método, proponiendo un nuevo enfoque racionalista y deductivo que desafía las tradiciones aristotélicas. -
Gottfried Wilhelm Leibniz
Desarrolla ideas sobre la lógica simbólica y el cálculo lógico, anticipando la lógica formal del siglo XIX. Propone la idea de una "lengua universal" que podría expresar todas las verdades científicas. -
John Locke
Publica Ensayo sobre el entendimiento humano, donde examina la naturaleza del conocimiento y el razonamiento humano, sentando las bases para la epistemología moderna. -
George Boole
Publica El análisis matemático de la lógica, donde introduce el álgebra de Boole, que formaliza la lógica a través de las matemáticas y establece la base para la lógica computacional. -
Augustus De Morgan
Desarrolla la teoría de la inferencia lógica y las leyes de De Morgan, que son fundamentales para el desarrollo de la lógica formal. -
Gottlob Frege
Publica Begriffsschrift (Escritura conceptual), una obra fundamental que establece los fundamentos de la lógica matemática moderna. Introduce la notación formal para la lógica proposicional y de predicados. -
Giuseppe Peano
Introduce su Formulario de matemáticas, un lenguaje formal que influye en el desarrollo posterior de la lógica y las matemáticas. -
Bertrand Russell y Alfred North Whitehead
Publican Principia Mathematica, un intento monumental de derivar todas las verdades matemáticas a partir de un conjunto limitado de axiomas usando la lógica simbólica. -
Ludwig Wittgenstein
Publica Tractatus Logico-Philosophicus, donde explora la relación entre el lenguaje, la lógica y el mundo, influenciando profundamente la filosofía analítica. -
Kurt Gödel
Presenta su teorema de incompletitud, demostrando que en cualquier sistema lógico suficientemente complejo, hay proposiciones verdaderas que no pueden ser probadas dentro del sistema. -
Period: to
Turing y Church
Desarrollo de la lógica computacional, influenciado por trabajos de Alan Turing y Alonzo Church, que sientan las bases teóricas de la computación y la inteligencia artificial. -
Period: to
Kripke y Hintikka
Saul Kripke desarrolla la lógica modal, expandiendo la lógica tradicional para incluir la posibilidad y la necesidad. Jaakko Hintikka introduce la lógica epistémica, que aborda cuestiones de conocimiento y creencia. -
Lotfi Zadeh
Introduce la lógica difusa, que permite razonamientos con valores de verdad parciales, aplicables a situaciones de incertidumbre o ambigüedad. -
Period: to
Presente
Avances en lógica no clásica, que desafían las suposiciones de la lógica tradicional. Se exploran lógicas cuánticas, paraconsistentes, y otras variantes que reflejan nuevas realidades en física, informática y filosofía. El desarrollo de la inteligencia artificial y los algoritmos de aprendizaje automático impulsa la creación de nuevos sistemas lógicos adaptativos y la aplicación de la lógica a problemas complejos en ciencias de la computación.