La línea del tiempo de la lógica.

Antigüedad

• 600 a.C. - Tales de Mileto: Se le atribuye la creación de la geometría y la aplicación de la razón y el pensamiento lógico para resolver problemas matemáticos.
• 470 a.C. - Parménides: Desarrolló la teoría de la no contradicción, la cual establece que una proposición no puede ser verdadera y falsa al mismo tiempo.
• 384 a.C. - Aristóteles: Fue uno de los primeros filósofos en crear un sistema lógico formal y es considerado como el padre de la lógica occidental.

Edad Media

• 13 d.C. - Boecio: Escribió "De topicis differentiis", donde se establecen las reglas de inferencia y los diferentes tipos de silogismos.
• 1095-1270 - Escolástica: Se desarrolla el método escolástico, el cual se basa en la lógica y la razón para resolver problemas teológicos y filosóficos.
• 1274 - Santo Tomás de Aquino: En su obra "Suma Teológica" establece la teoría del conocimiento basada en la lógica aristotélica.

Edad Moderna

• 1600 - Francis Bacon: En su obra "Novum Organum" establece el método científico basado en la observación y la experimentación.
• 1637 - René Descartes: En su obra "Discurso del método" establece la duda metódica y la necesidad de la razón para alcanzar el conocimiento verdadero.
• 1847 - George Boole: Publica "The Mathematical Analysis of Logic" donde establece la lógica booleana, la cual es utilizada en la actualidad en la electrónica y la informática.

Edad Contemporánea

• 1879 - Gottlob Frege: Publica "Begriffsschrift", donde establece la lógica de predicados y la teoría de conjuntos.
• 1900 - Russell y Whitehead: Publican "Principia Mathematica", donde establecen una lógica formal y simbólica para la matemática.
• 1930 - Kurt Gödel: Establece su teorema de incompletitud, que establece que cualquier sistema lógico formal es incompleto y contiene proposiciones indemostrables.

Actualidad

• 1960 - Alfred Tarski: Establece la semántica de la lógica matemática.
• 1990 - Saul Kripke: Desarrolla la teoría de la verdad según la cual una proposición es verdadera si y solo si se corresponde con los hechos.
• 2000 - Stephen Wolfram: Desarrolla la teoría de los sistemas complejos y la complejidad computacional.

Con esta línea del tiempo de la lógica, podemos ver la evolución de esta disciplina desde la antigüedad hasta la actualidad. La lógica ha sido fundamental para el desarrollo de la filosofía, la matemática y la ciencia en general. Conocer su historia es importante para comprender su importancia en el mundo actual.