-
410 BCE
EDAD ANTIGUA
Protágoras de Abdera (480-410 a.C.) con sus discursos dobles, que probaban, falazmente, una cosa y su contraria. -
384 BCE
EDAD ANTIGUA
Aristóteles (384-322 a.C..) creó la lógica tal como la concebimos hoy, Organon, el instrumento ya entendía a la lógica como una ciencia instrumental o metodológica (lógica analítica y tópica). -
304 BCE
EDAD ANTIGUA
Diódoro de Cronos (405-304 a.C.) trato las identidades lógicas (necesario, posible e imposible) en relación con la verdad y el tiempo. -
280 BCE
EDAD ANTIGUA
Estilpón de Mégara (360-280 a.C.) que estableció la paradoja de predicación. Se atribuyo al correr del caballo (la predicación es identidad). -
206 BCE
EDAD ANTIGUA
Crisipo de Soli (279-206 a.C.) fue uno de los mejores lógicos griegos. Estableció los cinco principios indemostrables de la inferencia hipotética. -
129 BCE
EDAD ANTIGUA
Galeno (199-129 a.C.) contribuyó al desarrollo de la lógica, famoso por la Introducción a la dialéctica. -
804
EDAD MEDIA
Carlomagno de Alcuino (735-804) escribió uno de los primeros manuales de lógica en la época medieval: Dialéctica. -
1142
EDAD MEDIA
Pedro Abelardo (1079- 1142) en obras, Si 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 término de la preposición entera. -
1180
EDAD MEDIA
Jean Salisburgy (1120-1180) en su Metalogicon, expone por primera vez el Organon aristotélico completo; además habla de una maquina lógica inventada por Guillermo de Soissons. -
1230
EDAD MEDIA
William de Sherwood (1200-1272) 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. -
1280
EDAD MEDIA
Alberto Magno o “el Grande” (1206-1280) establece el procedimiento de convertir las preposiciones mediante un entimema o silogismo abreviado. -
1349
EDAD MEDIA
Guillermo de Ockham (1256-1349), en su Suma de toda lógica, formula las famosas leyes atribuidas a De Morgan. -
1540
EDAD MODERNA
Juan Luis Vives (1492-1540) es su obra De la censura de lo verdadero, representa las funciones lógicas por medio de ángulos y triángulos. -
EDAD MODERNA
Galileo Galilei (1546-1642) distingue entre axiomas y postulados, y desarrolla el método experimental, con el tratamiento matemático de las hipótesis. -
EDAD MODERNA
Thomas Hobbes (1588-1679) en su Computación Lógica, ve el razonamiento como un cálculo de signos, avanzado en la búsqueda de un cálculo lógico. -
EDAD CONTEMPORÁNEA
Edmund Husserl (1859-1938) en sus Investigaciones lógicas, ataca el psicologismo en la lógica y establece la lógica fenomenológica. -
EDAD CONTEMPORÁNEA
Alan 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. -
EDAD CONTEMPORÁNEA
Jan Łukasiewicz (1878 – 1956) trabajó en lógica plurivalente, incluyendo su propio cálculo de tres valores de verdad, la primera lógica de cálculo no clásica. También se dedicó a otras áreas de la filosofía, aproximándose a los aspectos humanos de la creación de la teoría científica con ideas similares a las de Karl Popper. -
EDAD CONTEMPORÁNEA
Alfred Tarsky (1902-1983) en Lógica, semántica, matemática, aporta la fundamentación de la metalógica y la metamatemática. -
EDAD CONTEMPORÁNEA
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.
