-
Period: 1200 BCE to 146 BCE
LÓGICA GRIEGA
La historia de la lógica comienza en la Antigua Grecia. -
470 BCE
PROTAGÓRAS (485 - 420 a.C.)
Contribuyó al estudio del lenguaje, su sintaxis y semántica como parte de la Lógica. -
360 BCE
ARISTÓTELES (384-322 a.C.)
Se basó en las aportaciones de Platón. Consideró el uso de la inferencia y prueba. Aporta ideas sobre la Silogística. -
322 BCE
TEOFRASTO (371- 287 a.C.)
Alumno de Aristóteles, desarrolló la teoría del Silogísmo hipotético local, es decir, consideró que Si A entonces B, Si B entonces C , Por lo tanto, Si A entonces B. -
260 BCE
EUCLIDES (325- 265 a. C.)
Presentó los principios geométricos en axiomas y teoremas. -
260 BCE
CRISIPO (279-206 a.C.)
Perteneciente a la escuela filosófica Estoicismo donde se centraron en las sentencias condicionales, con la forma "Si entonces..." Diferente a las afirmaciones categóricas de la lógica silogística. -
500
BOECIO (477- 525 d.C.)
Trabajó la lógica modal(calificar la verdad de los juicios con lenguaje natural) y tradujó a Aristóteles. -
Period: 801 to 1100
LÓGICA ÁRABE
Se tradujo a lengua árabe el "Órganon" u obras de lógica escritas por Aristóteles. -
Period: 1000 to 1500
LÓGICA MEDIEVAL
Lógica tradicional desarrollada en las escuelas y universidades de la Europa, retomada por la Teología. Se pone arención a la lógica proposiciona: "y ", " o ", "si-entonces". -
1010
AVICENA (980-1037 d. C.)
Analizó y avanzó en la comprensión de la Metafísica de Aristóteles; consideró que la razón esta por encima de todo ser, el ente esta compuesto por una parte necesaria y una parte de lo posible. -
1169
AVERROES (1126- 1198 d.C.)
Escribió una serie de comentarios sobre la mayoría de la obras de Ariatóteles, lo que influyó considerablemente en judíos y cristianos. -
1271
RÁMON LULL (1232- 1316 d.C.)
Utilizó la lógica para demostrar la verdad de la fe cristiana; diseñó máquinas que realizaban cálculos, contribuyéndo así a la programación de computadoras. -
1300
GUILLERMO DE OCKHAM (1285-1347 d.C.)
Con sus escritos, inauguró el período de madurez de la lógica medieval. Trabajaría en un sistema lógico con tres valores de verdad. -
Period: to
LÓGICA MODERNA
Hubo pocos avances en la lógica pero le da forma a la "Matemáticas". -
IMMANUEL KANT (1724-1804 d.C.)
Consideraba que la lógica por ser una ciencia a priori (con validez esencial y sin percepción) había encontrado su pleno desarrollo desde Aristóteles. -
Period: to
SIGLO XIX
Se da la sistematización de los fundamentos de las matemáticas a través del instrumento de la lógica y le dio forma a las computadoras modernas. -
AUGUSTUS DE MORGAN (1806-1871 d.C.)
Propuso nuevas maneras para simbolizar las operaciones lógicas.
Ø(A Ú B) = Ø A Ù Ø B Ø(A Ù B) = Ø A Ú Ø B -
HEGEL Y MARX
Propusieron una lógica dialéctica, es decir, discurso en la que se contrapone una tradición y contradicciones. -
GEORGE BOOLE(1815-1864)
Trata las oraciones o declaraciones como verdaderas o falsas. -
GOTTLOB FREGE (1848-1925)
Inventó la lógica simbólica clásica. Usó líneas para "no", "si-entonces" y "todos". -
JAN LUKASIEWICZ (1878-1956)
Pionero en la primera lógica de multivalores, en la que una declaración puede ser no sólo verdadera o falsa, sino también posible. -
Period: to
SIGLO XX
Aparece la lógica proposicional y la de predicados, entre otras lógicas no clásicas.Se desarrolló la informática y la teoría de la computación. -
KURT GODEL(1906-1978)
Demostró que la aritmética no es reducible a ningún sistema axiomático completo.
