-
206
Edad Antigua (206-279 a.C.) Inferencia
Crispo de Soli, fue uno de los mejores lógicos griegos. Estableció los cinco principios de la inferencia hipotética -
279
S. IV a.C. Modalidad.
Diódoro de Cronos trato las modalidades lógicas ( necesario, posible e imposible) en relación con la verdad y el tiempo. -
300
Edad Antigua
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. La lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática. -
300
Aristóteles, Noción, Edad Antigua.
La lógica aristotélica es basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica. Creó la lógica tal como la concebimos hoy, Organon, ya entendía a la lógica como una ciencia instrumental o metodológica (lógica analítica y tópica). -
804
Edad Media
Carlomagno de Alcuino escribió uno de los primeros manuales de lógica en la época medieval: Dialéctica. -
1142
Edad Media
Pedro Abelardo en obras, Sí y No, Lógica para los que ingresan, Lógica a petición de nuestros compañeros, analiza la copula de las proposiciones, distingue la negación de un termino de la preposición entera. -
1180
Edad Media
Jean Salisburgy en su metalogicon, expone por primera vez el Organon aristotelico completo: ademas habla de una maquina lógica inventada por Guillermo de Soissons. -
1230
Edad Media
Guillermo de Sherwood o Shyreswood en sus Introducciones a la lógica, recopila las aportaciones medievales a la semántica llamadas propiedades de los términos (Significación, suposición, ampliación, disminución, apelación). -
1349
Edad Media
Guillermo de Ockham (1256-1349), en su Suma de toda la lógica, formula las famosas leyes atribuidas a De Morgan. -
1540
Funciones (1492-1540)
Juan Luis de Vives en su obra De la Censura de lo verdadero, representa las funciones lógicas por medio de ángulos y triángulos. -
Axiomas (1546-1642)
Galileo Galilei distingue entre axiomas y postulados, y desarrolla el método experimental, con el tratamiento matemático de las hipótesis. -
Signos(1588-1679)
Thomas Hobbes en su Computación Lógica, ve el razonamiento como un cálculo de signos, avanzando en la búsqueda de un calculo lógico. -
S. XlX (1859-1938)
Edmund Husserl en sus Investigaciones lógicas, ataca el psicologismo en la lógica y establece la lógica fenomenológica. -
S. XX (1940) LOGICA MODAL
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 modal. -
S. XX(1912-1954)
A.M. Turing en Sobre números computables, con una aplicación al problema de la distinción, relaciona la lógica y la computablidad electrónica. -
S. XX (1902-1983)
Alfred Trisky en Lógica, semanática, matemática, aporta la fundamentación de la metalógica y la metamatemática.
