Historia de la Logica

Sury Abril Torres Garduño

Acontecimientos

Aristóteles

Approx. 322 a.C - Approx. 384 a.C

Vida de Aristoteles

Estoicos

323 a.C

Fue uno de los nuevos movimientos filosóficos de la época helenistica.

Logica Griega

384 a.C

Fundador de la lógica y el primero en emplear el término "lógica".

Platón

427 a.C

Propone instaurar en Siracusa una utopía república dirigida por filósofos.

Platón, Aristóteles y Euclides

Approx. 600 a.C

Se desarrollan las ideas o abstracciones, el razonamiento deductivo y sistematizado y se establece el método axiomático.

Logica árabe

Approx. 801 d.C - Approx. 900 d.C

Crearon la escuela de la Logica

Averroes

1101 d.C - 1200 d.C.

Perfeccionó la obra de Aristóteles en oposición a Avicena

Logica Medieval

1201 d.C - 1300 d.C

El centro de la lógica moderna se trasladó de París a Oxford

Guillermo de Ockam

1301 d.C - 1400 d.C

Inauguraron el periodo de madurez de la lógica medieval.

Descartes, Newton y Leibniz

1500 d.C

Inicio de na nueva revolución que revive la ciencia y las matemáticas.

René Descartes

1596 d.C

Filósofo y matemático francés.
Creador de la Geometría Analítica y aporte a los métodos algebraicos.

Isaac Newton

1642 d.C

Descubrió la Gravitación Universal

Leibniz

1701 d.C - 1800 d.C

Filósofo y matemático.
Pensaba que se podía crear un lenguaje simbólico tan perfecto que evitara las controversias entre filósofos.

G. Boole y A. de Morgan

1801 d.C - 1900 d.C

Intentaron expresar la forma de los razonamientos válidos en un lenguaje matemático.

El desarrollo de la Lógica en México

1801 d.C - 1900 d.C

Teodosio Lares, que relaciono a la lógica con la Psicología o Clemente de Jesús Munguia, que reduce la lógica a la Ideología, la Gramática General y el Metodo

Hegel y Marx

1801 d.C - 1900 d.C

Propusieron una lógica dialéctica (se presenta como un discurso en el que se contrapone una determinada concepción o tradición, entendida como tesis, y se muestran los problemas y contradicciones, entendidos como antítesis, se muestran los hechos históricos y sociales y sus contradicciones)

Leibniz

1801 d.C - 1900 d.C

Afirmo que "todos los predicados dependen del conocimiento de la cantidad, con la que tratan las matemáticas, y, por lo tanto, el conjunto de la lógica depende de las matemáticas".

August de Morgan

1806 d.C

Formulación de las Leyes de Morgan.
Teoría del Desarrollo de las relaciones y la matemática simbólica o lógica matemática.

George Boole

1815 d.C - 1864 d.C

Nos da la lógica boleana, trata las oraciones o declaraciones como verdaderas o falsas.

George Boole

1815 d.C

Lógico y Matemático.
Investigación de las leyes del pensamiento.

Friederich G. Frege

1848 d.C

Junto con Boole y Peano llevan a cabo la renovación y desarrollo de la lógica clásica hasta el momento.
El primero en elaborar una Teoría de la Cuanti..

Guiseppe Peano

1858 d.C

Matemático alemán.
Enunciación de los principios acerca de la Lógica Matemática y su aplicación práctica en su obra Formulaire de Mathematiques.
Señala que la verdad se basa en demostrabilidad

Bertrand Rusell

1872 d.C

Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.

Gottlob Frege

1879 d.C

Inventó la "Lógica simbólica clásica"

Luitzen Egbertus Jan Brouwer

1881 d.C

Matemático y Lógico alemán.
Fundador de la Escuela de la Lógica Intuicionista.

Crisipo sucesor de Plaón

1901 d.C - 2000 d.C

Escribió mas de 700 tratados de lógica.
Fue la base de la "Lógica tradicional" que domino hasta el siglo XX.

La era de las computadoras

1901 d.C - 2000 d.C

La informática se desarrollo a partir de la lógica, la teoría de la computación y algunas áreas relacionadas con las matemáticas.

Alfred Tarski

1902 d.C

Matemático, lógico y filósofo polaco.
Importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos y me..

Bertrand Russell

1903 d.C

Inicio un proyecto con Alfred North Whitehead pretendía demostrar que "toda la matemática pura trata exclusivamente de conceptos definibles en términos de un número muy reducido de principios lógicos"

Kurt Gödel

1906 d.C

Múltiples contribuciones a la lógica matemática.

Jan Lukasiewics

1917 d.C

Fue pionera en la primera lógica de multivalores

Kurt Godel

1931 d.C

Demostró en contra de Frege y Rusell, que la aritmética no es reducible a ningún sistema axiomático completo