-
Jan 1, 735
Carlomagno de Alcuino
Escribió uno de los primeros manuales de lógica en la época medieval: Dialéctica. -
Jan 1, 1079
Pedo Abelardo
Anlaiza la copula de las proposiciones y distingue la negación de un término de la preposición entera, en obras como "Sí y No", "Lógica para los que ingresan" y "Lógica a petición de nuestros compañeros" -
Jan 1, 1120
Jean Salisburgy
En su "Metalogicon", expone por primera vez el Órganon completo escrito por Aristóteles. Además. habla de una máquina lógica inventada por Guillermo de Soissons. -
Jan 1, 1206
Alberto Magno
Establece el procedimiento de convertir las preposiciones mediante un entimema o silogísmo areviado. -
Jan 1, 1230
Guillermo de Shyreswood
En sus "Introducciones a la lógica", recopila las aportaciones medievales a la semántica llamadas propiedades de los términos. -
Jan 1, 1256
Guillermo de Ockham
En su libro llamado "Suma de toda lógica", fórmula las famosas leyes atribuidas a De Morgan. -
Jan 1, 1492
Juan Luis Vives
En su obra "De la censura de lo verdadero", representa las funciones lógicas por medio de ángulos y triángulos. -
Jan 1, 1546
Galileo Galilei
Con el tratamiento matemático de las hipótesis, distingue entre axiomas y postulados, además de que desarrolla el método experimental. -
Thomas Hobbes
En su obra "Computación lógica", ve el razonamiento como un cálculo de signos, avanzado en la búsqueda de un cálculo lógico. -
Edmund Husserl
En sus "Investigaciones lógicas", ataca el psicologismo en la lógica y establece la lógica fenomenológica. -
A.M. Turing
Relaciona la lógica y la computabilidad electrónica mediante una aplicación al problema de la distinción. -
Saúl Kripke
En "El nombrar y la necesidad", estudia los nombres como designadores rígidos en la semántica de mundos posibles para la lógica moral.