-
Period: 480 BCE to 410 BCE
EDAD ANTIGUA. Protágoras de Abdera
Protágoras de Abdera (480-410) con
sus discursos dobles (que
probaban, falazmente, una cosa y su
contraria) -
Period: 400 BCE to 301 BCE
MODALIDAD
Diódoro de Cronos trato las
modalidades lógicas (necesario,
posible e imposible) en relación con la
verdad y el tiempo. -
Period: 384 BCE to 322 BCE
NOCIÓN
Aristóteles 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). -
320 BCE
PREDICACIÓN
Estilpón de Mégara que estableció la
paradoja de predicación. Se atribuyo al
correr del caballo (la predicación es
identidad) -
Period: 279 BCE to 206 BCE
INFERENCIA
Crisipo de Soli fue uno de los mejores
lógicos griegos. Estableció los cinco
principios indemostrables de la
inferencia hipotética. -
Period: 129 BCE to 199 BCE
DESARROLLO
Galeno contribuyó al desarrollo de la
lógica, famoso por la Introducción a la
dialéctica -
Period: 735 to 804
EDAD MEDIA. MANUAL
Carlomagno de Alcuino escribió uno de
los primeros manuales de lógica en la
época medieval: Dialéctica. -
Period: 1079 to 1142
COPULA
Pedro Abelardo en obras, Si y no,
Lógica para los que ingresan, Lógica a
petición de nuestros compañeros,
analizá la copula de las proposiciones,
distingue la negación de un término de
la preposición entera. -
Period: 1120 to 1180
EXPONENCIA
Jean Salisburgy 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. -
Period: 1206 to 1280
SILOGISMO
Alberto Magno o “el Grande” establece
el procedimiento de convertir las
preposiciones mediante un entimema o
silogismo abreviado. -
1230
SEMANTICA
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). -
Period: 1256 to 1349
OCKHAM
Guillermo de Ockham (1256-1349), en
su Suma de toda lógica, formula las
famosas leyes atribuidas a De Morgan. -
Period: 1492 to 1540
EDAD MODERNA. FUNCIONES
Juan Luis Vives es su obra De la
censura de lo verdadero, representa
las funciones lógicas por medio de
ángulos y triángulos. -
Period: 1546 to
AXIOMAS
Galileo Galilei distingue entre axiomas
y postulados, y desarrolla el metodo
experimental, con el tratamiento
matemático de las hipótesis. -
Period: to
SIGNOS
Thomas Hobbes 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. -
Period: to
FENOMENOLO GICA
Edmund Husserl en sus
Investigaciones lógicas, ataca el
psicologismo en la lógica y establece la
lógica fenomenológica. -
Period: to
METALOGICA
Alfred Trisky en Lógica, semántica,
matemática, aporta la
fundamentación de la metalógica y la
metamatemática. -
Period: to
ELECTRÓNICA
A.M. Turing en Sobre números
computables, con una aplicación al
problema de la distinción, relaciona la
lógica y la computabilidad electrónica. -
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.