-
365
Teofrasto y Eudemo
Más adelante aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megariacos plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones. -
367
Platón 367-362 a.c
En su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles cuyo mérito radica el haber sistematizado la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia -
384
Aristóteles de Estagira
Considerado como creador de la Lógica, sin embargo sus predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes debates que por aquel tiempo realizaban los filósofos. -
Period: 384 to 322
Edad Antigua 384-322 a.c
-
401
Edad Media
Del siglo V al XV -
1301
Lógica Medieval siglo XIV
Se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental. -
1401
Edad Moderna
Siglo XV al XVIII -
1401
Lógica Matemática
La época moderna marca el inicio de la Lógica Matemática. El precursor de esta lógica es Guillermo G. Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. -
Edad Contemporánea
Siglo XIX -
Nivel de abstracción de la Lógica Matemática
Siglo XIX
destacando Hamilton sobre la cuantificación de todo o alguno. Augusto de Morgan considera que la base, común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases; George Boole construye la Teoría de Clases. Venn aclara los procedimiento de Boole representando los procesos algebraicas en los diagramas de Venn. -
Lógica Simbólica
Siglo XX
Esto produjo un paulatino alejamiento de la lógica con respecto a la matemática, así como un deslindamiento de las competencias respectivas. Por un lado, la lógica, alejándose del excesivo formalismo y simbolismo, empieza a ocuparse y preocuparse de problemas semánticos, es decir de las relaciones entre los símbolos y lo que expresan. -
Integrantes
Maria Jose Guerrero
Raquel Galván
Alondra Juárez
Daniel Poncell