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)
COSA NOCIÓN PREDICACIÓN IDAD INFERENCIA DESARROLLO EDAD. MEDIA
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
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).
COSA NOCIÓN PREDICACIÓN IDAD INFERENCIA DESARROLLO EDAD. MEDIA
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
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)
COSA NOCIÓN PREDICACIÓN IDAD INFERENCIA DESARROLLO EDAD. MEDIA
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
5. (s. IV a.C.)
EDAD ANTIGUA
Diódoro de Cronos trato las idades lógicas
(necesario, posible e imposible) en
relación con la verdad y el tiempo.
COSA NOCIÓN PREDICACIÓN IDAD INFERENCIA DESARROLLO EDAD. MEDIA
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
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.
COSA NOCIÓN PREDICACIÓN IDAD INFERENCIA DESARROLLO EDAD. MEDIA
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
7. (129-199 a.C.)
EDAD ANTIGUA
Galeno contribuyó al desarrollo de la
lógica, famoso por la Introducción a la
dialéctica
COSA NOCIÓN PREDICACIÓN IDAD INFERENCIA DESARROLLO EDAD. MEDIA
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
8. (735-804)
EDAD MEDIA
Carlomagno de Alcuino escribió uno de los
primeros manuales de lógica en la época
medieval: Dialéctica.
MANUAL COPULA CONJUNTO EXPONENCIA SEMANTICA OCKHAM EDAD.
CONTEMPORANEA
735-804 1079- 1142 1132 1120-1180 1230 1256-1349 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.
MANUAL COPULA CONJUNTO EXPONENCIA SEMANTICA OCKHAM EDAD.
CONTEMPORANEA
735-804 1079- 1142 1132 1120-1180 1230 1256-1349 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.
MANUAL COPULA EXPONENCIA SILOGISMO SEMANTICA OCKHAM EDAD.
CONTEMPORANEA
735-804 1079- 1142 1120-1180 1206-1280 1230 1256-1349 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.
MANUAL COPULA EXPONENCIA SILOGISMO SEMANTICA OCKHAM EDAD.
CONTEMPORANEA
735-804 1079- 1142 1120-1180 1206-1280 1230 1256-1349 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).
MANUAL COPULA CONJUNTO EXPONENCIA SEMANTICA OCKHAM EDAD.
CONTEMPORANEA
735-804 1079- 1142 1132 1120-1180 1230 1256-1349 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.
MANUAL COPULA CONJUNTO EXPONENCIA SEMANTICA OCKHAM EDAD MODERNA
735-804 1079- 1142 1132 1120-1180 1230 1256-1349 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.
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940
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.
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940
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.
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940
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.
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940
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.
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940
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.
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940
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 .
FUNCIONES AXIOMAS SIGNOS FENOMENOLO
GICA
METALOGICA ELECTRONICA LOGICA
1492-1540 1546-1642 1588-1679 1859-1938 1902-1983 1912-1954 1940