Línea del tiempo de las concepciones de la lógica.

Antigua Grecia (Siglo V a.C.)

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

Edad Media (Siglo XIII)

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

Edad Moderna (Siglo XVII)

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

Siglo XIX

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

Siglo XX

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

Como se puede observar, la lógica ha evolucionado enormemente a lo largo de la historia, desde los tiempos de la Antigua Grecia hasta la actualidad. Cada época ha aportado nuevas concepciones y teorías, y la lógica sigue siendo un campo de estudio fundamental tanto en la filosofía como en las ciencias formales.