El documento resume los principales desarrollos en la historia de la lógica, desde la antigüedad hasta la época moderna. En la antigüedad, Protágoras introdujo los discursos dobles, Aristóteles creó la lógica tal como la conocemos, y Crisipo estableció principios de la inferencia hipotética. En la Edad Media, Abelardo analizó la copula de las proposiciones y Ockham formuló las leyes de De Morgan. En la época moderna, Hobbes vio el razonamiento
2. (480-410 a.C.)
EDAD ANTIGUA
Protágoras de Abdera (480-410) con
sus discursos dobles (que
probaban, falazmente, una cosa y su
contraria)
480-410 a.C.
384-322 a.C.
320 a.C.
S. IV a.C.
279-206 a.C.
129-199 a.C.
EDAD. MEDIA
COSA
NOCIÓN
PREDICACIÓN
MODALIDAD
INFERENCIA
DESARROLLO
EDAD. MEDIA
3. (384-322 A.C.)
EDAD ANTIGUA
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).
480-410 a.C.
384-322 a.C.
320 a.C.
S. IV a.C.
279-206 a.C.
129-199 a.C.
EDAD. MEDIA
COSA
NOCIÓN
PREDICACIÓN
MODALIDAD
INFERENCIA
DESARROLLO
EDAD. MEDIA
4. (320 A.C.)
EDAD ANTIGUA
Estilpón de Mégara que estableció la
paradoja de predicación. Se atribuyo al
correr del caballo (la predicación es
identidad)
480-410 a.C.
384-322 a.C.
320 a.C.
S. IV a.C.
279-206 a.C.
129-199 a.C.
EDAD. MEDIA
COSA
NOCIÓN
PREDICACIÓN
MODALIDAD
INFERENCIA
DESARROLLO
EDAD. MEDIA
5. (s. IV a.C.)
EDAD ANTIGUA
Diódoro de Cronos trato las
modalidades lógicas (necesario,
posible e imposible) en relación con la
verdad y el tiempo.
480-410 a.C.
384-322 a.C.
320 a.C.
S. IV a.C.
279-206 a.C.
129-199 a.C.
EDAD. MEDIA
COSA
NOCIÓN
PREDICACIÓN
MODALIDAD
INFERENCIA
DESARROLLO
EDAD. MEDIA
6. (279-206 A.C.)
EDAD ANTIGUA
Crisipo de Soli fue uno de los mejores
lógicos griegos. Estableció los cinco
principios indemostrables de la
inferencia hipotética.
480-410 a.C.
384-322 a.C.
320 a.C.
S. IV a.C.
279-206 a.C.
129-199 a.C.
EDAD. MEDIA
COSA
NOCIÓN
PREDICACIÓN
MODALIDAD
INFERENCIA
DESARROLLO
EDAD. MEDIA
7. (129-199 a.C.)
EDAD ANTIGUA
Galeno contribuyó al desarrollo de la
lógica, famoso por la Introducción a la
dialéctica
480-410 a.C.
384-322 a.C.
320 a.C.
S. IV a.C.
279-206 a.C.
129-199 a.C.
EDAD. MEDIA
COSA
NOCIÓN
PREDICACIÓN
MODALIDAD
INFERENCIA
DESARROLLO
EDAD. MEDIA
8. (735-804)
EDAD MEDIA
Carlomagno de Alcuino escribió uno de
los primeros manuales de lógica en la
época medieval: Dialéctica.
735-804
1079- 1142
1132
1120-1180
1230
1256-1349
EDAD.
CONTEMPORANEA
MANUAL
COPULA
CONJUNTO
EXPONENCIA
SEMANTICA
OCKHAM
EDAD.
CONTEMPORANEA
9. (1079- 1142)
EDAD MEDIA
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.
735-804
1079- 1142
1132
1120-1180
1230
1256-1349
EDAD.
CONTEMPORANEA
MANUAL
COPULA
CONJUNTO
EXPONENCIA
SEMANTICA
OCKHAM
EDAD.
CONTEMPORANEA
10. (1120-1180)
EDAD MEDIA
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.
735-804
1079- 1142
1120-1180
1206-1280
1230
1256-1349
EDAD.
CONTEMPORANEA
MANUAL
COPULA
EXPONENCIA
SILOGISMO
SEMANTICA
OCKHAM
EDAD.
CONTEMPORANEA
11. (1206-1280)
EDAD MEDIA
Alberto Magno o “el Grande” establece
el procedimiento de convertir las
preposiciones mediante un entimema o
silogismo abreviado.
735-804
1079- 1142
1120-1180
1206-1280
1230
1256-1349
EDAD.
CONTEMPORANEA
MANUAL
COPULA
EXPONENCIA
SILOGISMO
SEMANTICA
OCKHAM
EDAD.
CONTEMPORANEA
12. (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).
735-804
1079- 1142
1132
1120-1180
1230
1256-1349
EDAD.
CONTEMPORANEA
MANUAL
COPULA
CONJUNTO
EXPONENCIA
SEMANTICA
OCKHAM
EDAD.
CONTEMPORANEA
13. (1256-1349)
EDAD MEDIA
Guillermo de Ockham (1256-1349), en
su Suma de toda lógica, formula las
famosas leyes atribuidas a De Morgan.
735-804
1079- 1142
1132
1120-1180
1230
1256-1349
EDAD MODERNA
MANUAL
COPULA
CONJUNTO
EXPONENCIA
SEMANTICA
OCKHAM
EDAD MODERNA
14. (1492-1540)
EDAD MODERNA
Juan Luis Vives es su obra De la
censura de lo verdadero, representa
las funciones lógicas por medio de
ángulos y triángulos.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL
15. (1546-1642)
EDAD MODERNA
Galileo Galilei distingue entre axiomas
y postulados, y desarrolla el metodo
experimental, con el tratamiento
matemático de las hipótesis.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL
16. (1588-1679)
EDAD MODERNA
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.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL
17. (1859-1938)
s. XIX
Edmund Husserl en sus
Investigaciones lógicas, ataca el
psicologismo en la lógica y establece la
lógica fenomenológica.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL
18. (1902-1983)
S. XX
Alfred Trisky en Lógica, semántica,
matemática, aporta la
fundamentación de la metalógica y la
metamatemática.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL
19. (1912-1954)
s. XX
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.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL
20. (1940)
s. XX
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.
1492-1540
1546-1642
1588-1679
1859-1938
1902-1983
1912-1954
1940
FUNCIONES
AXIOMAS
SIGNOS
FENOMENOLO
GICA
METALOGICA
ELECTRONICA
LOGICA
MODAL