Historia de la Logica
•Descargar como PPTX, PDF•
25 recomendaciones•55,484 vistas
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
Más contenido relacionado
La actualidad más candente
La actualidad más candente (20)
Destacado
Último
Último (20)
Historia de la Logica
- 1. Díaz Estrada Román Universidad Autónoma del Estado de Morelos Facultad de Derecho y Ciencias Sociales FDyCs.
- 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
- 21. Mauricio Beuchot, “Introducción a la Lógica”, UNAM, México, 2004.