-
Protágoras de Abdera (480-410 a.C.) con sus discursos dobles, que probaban, falazmente, una cosa y su contraria.
-
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).
-
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.
-
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).
-
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.
-
Galeno (199-129 a.C.) contribuyó al desarrollo de la lógica, famoso por la Introducción a la dialéctica.
-
Carlomagno de Alcuino (735-804) escribió uno de los primeros manuales de lógica en la época medieval: Dialéctica.
-
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.
-
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.
-
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.
-
Alberto Magno o “el Grande” (1206-1280) establece el procedimiento de convertir las preposiciones mediante un entimema o silogismo abreviado.
-
Guillermo de Ockham (1256-1349), en su Suma de toda lógica, formula las famosas leyes atribuidas a De Morgan.
-
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.
-
Galileo Galilei (1546-1642) distingue entre axiomas y postulados, y desarrolla el método experimental, con el tratamiento matemático de las hipótesis.
-
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.
-
Edmund Husserl (1859-1938) en sus Investigaciones lógicas, ataca el psicologismo en la lógica y establece la lógica fenomenológica.
-
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.
-
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.
-
Alfred Tarsky (1902-1983) en Lógica, semántica, matemática, aporta la fundamentación de la metalógica y la metamatemática.
-
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.
