UNIVERSIDAD MARIANO GÁLVEZ DE GUATEMALA FACULTAD DE HUMANIDADES PROFESORADO DE ENSEÑANZA MEDIA EN PEDAGOGÍA Y ADMINISTRACIÓN EDUCATIVA PRIMER CICLO, SEMESTRE 1 DEL 2014 LIC: WALTER GEOVANI MACZ POOU LÓGICA TEMA: LÍNEA DE TIEMPO DE LA LÓGICA ESTUDIANTE: ANGELA ESTEFANI POP SACRAB No. de carnet: 1711-14-8334 Aristóteles fue quien fundó la lógica desarrollo ampliamente la silogística,(Actualmente lógica de clase). Parmenides y Platón desarrollaron estudios lógicos, Los estoicos desarrollaron el silogismo hipotético (condicional y disyuntivo). Aristóteles considerado fundador de la lógica como propedéutica. La lógica informal se centralizo en la identificación de falacias y paradojas. Aristóteles dio inicio a las proposiciones, definición, prueba y falacia. También formalizo el cuadro de oposición de los juicios categóricos. Inicia la semántica. Averroes mediante la lógica aristotélica crea la dialecta. La lógica es considerada ciencia propedutica. Se introdujeron los escritos sobre la lógica de Aristotoles en Europa. Inicia la lógica Velus y la lógica Nova. Abelardo dinamiza la problemática lógica y epistemológica. Se le da mas énfasis a la semántica y con ella inician mas fuertemente los inicios del algebra y la geometría. Con el nombre de Dialéctica en la Edad Media la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media. La lógica fue considerada como ciencia. Aparecen los primeros instrumentos y realización de maquinas de calculo (Pascal, Leihniz), Se desarrollo una base firme para fundamentar las matematicas. Se inicia un calculo o una computación mediante algoritmos el descubrimiento de la verdad; La lógica se trasporta radicalmente en lógica matemáticas, debido a que se realizan encuentros de cuatro corrientes, la lógica Aristotélica, la idea de un Lenguaje universal Progresos de la geometría y amplios sectores matemáticos. Fue el italiano G. Peano quien uso por primera vez la expresión “Lógica matemática. Descartes fue el primer filosofo en haber utilizado el algebra, especialmente las ecuaciones Gollfried Wilhelmer Leibniz fue el primero en formular la noción de un sistema de lógica matemática. Gottlob Frege extendió la lógica formal mas allá de la lógica proposicional. Giuseppe Peano público la primera versión de la axiomatización lógica de la aritmética. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Principios de la inducción matemática Aportaciones la teoría de los silogismos, la Metafísica, Aristóteles enunció y defendió el famoso principio de no contradicción. Actualmente se considerada a la lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. a lógica pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica, por lo que estudió a niveles mucho más abstractos. En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. formando el núcleo del álgebra actual, compuesto por una serie de teorías como: los grupos finitos, los grupos discretos infinitos. También se crea el teorema de completitud de Gödel enuncia que es posible demostrar todos aquellos enunciados que se siguen de los axiomas.