-
1215
Santo Tomás de Aquino
Santo Tomás de Aquino publica su obra "Summa Theologica", en la que establece que la razón y la fe pueden coexistir. -
1270
Juan Duns
El filósofo y teólogo franciscano Juan Duns Escoto introduce el concepto de "distinción formal" en la lógica. -
Blaise Pascal
El matemático y filósofo francés Blaise Pascal introduce el concepto de "razonamiento hipotético-deductivo". -
Isaac Newton
Isaac Newton publica su obra "Philosophiæ Naturalis Principia Mathematica", en la que establece las leyes fundamentales de la física. -
George Boole
George Boole publica su obra "The Mathematical Analysis of Logic", en la que introduce el álgebra booleana. -
Gottlob Frege
Gottlob Frege publica su obra "Begriffsschrift", en la que establece los fundamentos de la lógica matemática moderna. -
Escuela intucionista de los matemáticos
Un enfoque completamente diferente fue el del matemático holandés L. E. J. Brouwer (1881 – 1968); Brouwer encabezó lo que se ha conocido como la escuela intucionista de los matemáticos. -
Principia Mathematica
Alfred North Whitehead y Bertrand Russell publican su obra "Principia Mathematica", en la que intentan reducir toda la matemática a la lógica. -
Kurt Gödel
Kurt Gödel publica su famoso "teorema de incompletitud", que demuestra que ningún sistema formal de lógica puede ser completo y consistente al mismo tiempo.