Linea del tiempo de la historia de la lógica

322-384 a.C.

Aristóteles

300 a.C.

Euclides

1100-1150

Pedro Abelardo

1637

1274

René Descartes

CLICK ALLÁ

HISTORIA DE LA LÓGICA

Tomás de Aquino

Blaise Pascal y Pierre de Fermat

Alan Turing

Kurt Gödel

1662

1931

1936

EDAD ANTIGUA

EDAD MEDIA

EDAD MODERNA

EDAD CONTEMPORÁNEA

Teoría de la probabilidad

Blaise Pascal y Pierre de Fermat

Blaise Pascal y Pierre de Fermat desarrollan las bases de la teoría de la probabilidad, utilizando principios lógicos y matemáticos.

bibliográficas

Referencias

Aristóteles. (c. 384-322 a.C.). Lógica aristotélica (lógica silogística). Desarrollada durante la vida de Aristóteles. Disponible en: https://plato.stanford.edu/entries/aristotle-logic/Euclides. (c. 300 a.C.). Elementos. Publicación que aplica métodos lógicos y deductivos en matemáticas. Disponible en: https://www.britannica.com/biography/Euclid-Greek-mathematicianPedro Abelardo. (c. 1100-1150). Desarrollo de la lógica modal y el razonamiento. Disponible en: https://plato.stanford.edu/entries/abelard/Tomás de Aquino. (1274). Síntesis de la lógica aristotélica con el pensamiento cristiano. Disponible en: https://plato.stanford.edu/entries/aquinas/Descartes, R. (1637). Discurso del método. Establecimiento de un enfoque lógico y racionalista. Disponible en: https://plato.stanford.edu/entries/descartes-works/Pascal, B., & Fermat, P. (1662). Desarrollo de la teoría de la probabilidad. Disponible en: https://plato.stanford.edu/entries/probability/Gödel, K. (1931). Teoremas de incompletitud. Disponible en: https://plato.stanford.edu/entries/goedel/Turing, A. (1936). Máquina de Turing. Concepto fundamental para la teoría de la computación. Disponible en: https://plato.stanford.edu/entries/turing/

Teorías sobre el razonamiento

Pedro Abelardo

Pedro Abelardo, uno de los primeros lógicos medievales importantes, desarrolla teorías sobre la lógica modal y el razonamiento.

Sintetiza la lógica aristotélica

Tómas Aquino

Tómas Aquino, quien sintetiza la lógica aristotélica con el pensamiento cristiano, influyendo en la enseñanza escolastica.

Aristóteles

Lógica aristotélica

Durante su vida, Aristóteles desarrolla el sistema de lógica formal conocido como "lógica aristotélica" o "lógica silogística" sentando las bases para el estudio de la lógica durante siglos.

Euclides

Elementos

Publicación de los "Elementos" de Euclides, que aplican métodos lógicos y deductivos en la matemática, influyendo en el desarrollo del pensamiento lógico.

Discurso del método

René Descartes

René Descartes publica "Discurso del método", estableciendo un enfoque lógico y racionalista que influenciará el pensamiento científico.

Máquina de Turing

Alan Turing

Alan Turing desarrolla el concepto de la "Máquina de Turing", sentando las bases para la teoría de la computación y la lógica aplicada en la informática.

Teoremas

Kurt Gödel

Kurt Gödel pública sus teoremas de incompletitud, mostrando los limites de la formalización matemática y el razonamiento logico.