-
480 BCE
PROTAGORAS 480 a.C. - 410 a.C.
Con sus discursos probaba falazmente una cosa y su contraria -
405 BCE
DIÓDORO DE CRONOS 405 a.C - 304 a.C
Trato las modalidades lógicas: necesario, posible e imposible, en relación con la verdad y el tiempo -
384 BCE
ARISTOTELES 384 a.C - 322 a.C
Ya entendía la lógica como una ciencia instrumental o metodológica (lógica analítica y lógica tópica) -
279 BCE
CRISIPO DE SOLOS 279 a.C - 206 a.C
Estableció los cinco principios indemostrables de la inferencia hipotética -
735
CARLOMAGNO DE ALCUINO 735 - 804
Escribío el primer manual de lógica de la época -
1120
JUAN SALISBURY 1120 - 1180
En su libro METALOGICON expone por primera vez el Organon de Aristoteles completo y habla de la maquina e lógica dieñada por Guillermo de Soissons -
1206
ALBERTO MAGNO 1206 - 1280
Establece el procedimiento de convertir las proposiciones mediante silogismo abreviado -
1230
GUILLERMO DE SHYRESWOOD 1230
En sus introducciones a la lógica recopila las aportaciones a la semántica llamadas propiedades de los términos (significación, suposición, ampliación, disminución, apelación) -
1285
GUILLERMO DE OCKHAM 1285 - 1347
En su suma de toda la lógica formula las famosas leyes de morgan -
1542
GALILEO GALILEI 1546 - 1642
Distingue entre axiomas y postulados, y desarrolla el método experimental con el tratamiento matemático de la hipótesis -
THOMAS HOBBES 1588 - 1679
Ve el razonamiento como un calculo de signos avanzado en la búsqueda de un cálculo lógico -
EDMUND HUSSERL 1859 - 1938
Ataca el psicologismo en la lógica y establece la lógica fenomenológica -
ALFRED TARSKI 1902 - 1983
Hizo aportaciones destacadas en teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos -
ALAN MATHISON TURING 1912 - 1954
en Sobre números computables, con una aplicación al problema de la distinción relaciona la lógica y la computabilidad electrónica -
SAUL KRIPKE 1940
Estudia los nombres como designadores rígidos en la semántica de mundos posibles para la lógica modal
