450 a.C. - El filósofo griego Parménides desarrolla la idea de que la realidad es inmutable y eterna.

384 a.C. - Aristóteles, el padre de la lógica formal, desarrolla su sistema de silogismos y establece los principios básicos de la lógica.

1215 - Santo Tomás de Aquino publica su obra "Summa Theologica", en la que establece que la razón y la fe pueden coexistir.

1270 - El filósofo y teólogo franciscano Juan Duns Escoto introduce el concepto de "distinción formal" en la lógica.

1662 - El matemático y filósofo francés Blaise Pascal introduce el concepto de "razonamiento hipotético-deductivo".

1687 - Isaac Newton publica su obra "Philosophiæ Naturalis Principia Mathematica", en la que establece las leyes fundamentales de la física.

1847 - George Boole publica su obra "The Mathematical Analysis of Logic", en la que introduce el álgebra booleana.

1879 - Gottlob Frege publica su obra "Begriffsschrift", en la que establece los fundamentos de la lógica matemática moderna.

1910 - Alfred North Whitehead y Bertrand Russell publican su obra "Principia Mathematica", en la que intentan reducir toda la matemática a la lógica.

1931 - 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.

1956 - John McCarthy inventa el término "inteligencia artificial" y desarrolla el primer lenguaje de programación de alto nivel, el LISP.

1970 - E.W. Beth publica su obra "Formal Methods", en la que establece los principios básicos de la lógica modal.

1995 - El filósofo y lógico Saul Kripke desarrolla la teoría de los "mundos posibles" en la lógica modal.