-
400 BCE
integrantes del grupo
Martinez Damian Yoally Montserrat
Garcia Huinalt Luna cecilia
Martinez Flores Gael
Pascual Hernandez Eduardo Francisco
Jimenez Campos Jose de Jesus -
384 BCE
Aristoteles
Representa el primer intento serio que funda la lógica como ciencia.
Aristoteles resuelve el razonamiento deductivo y sistematizado -
367 BCE
Platon
Crea la Academia de Atenas, era un instituto filosófico también un centro de formación política para jóvenes aristócrata. Edifica su teoría del conocimiento, el sostiene su idea de dos mundos- El mundo de las ideas y el mundo físico -
301 BCE
Diodoro de Cronos
Trato las modalidades lógicas (necesario, posible e imposible) en relación con la verdad y el tiempo -
280 BCE
Crispo de Soli
Desplazo los enunciados simples como sujeto y predicado a los enunciados complejos(" y", "o", "si entonces" -
129 BCE
Galeno
Contribuidor del desarrollo de la lógica,famoso por la Introducción a la dialéctica -
300
Matemáticas y Lógica
En Grecia desarrollaron los principios formales de matemáticas. A este periodo se le conoce como periodo clásico, donde sus principales representantes son Platon, Aristoteles y Euclides -
380
Lógica clásica
-
476
Edad Media
Se basa en el trabajo de Aristoteles, es rocogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental -
1120
Jean Salisburgry
Jean Salisburgry en su Metalogicon expone por primera vez el ORGANON, ademas habla de una maquina lógica inventada por Guillermo de Soisssons -
1206
Alberto Magno
Conocido también como " El grande" establece el procedimiento de convertir las preposiciones mediante una entimaema o silogismo -
1256
Guillermo de Ockham
En su suma de todo la logica, formula famosas leyes atribuidas de Morgan -
1401
Edad moderna
-
1500
La ciencia matemática
Los representantes mas destacados de esta etapa son Descrates, NEWTON, LEIBNIZ -
Gottfriend Leibiz
Sugirió tratar los enunciados como las ecuaciones de álgebra
si A=B Y B=C, entonces A=B
Propuso la primera teoria autentica de la verdad -
Edad contemporánea
Agusto de Morgan Considera que la base, común de la logica en las relaciones de inclucion o expulsión parcial o total de clases. Venn aclara los procedimientos de Boole representando los proceso algebraicos en los diagramas de Venn. -
logica moderna
Comenzó en 1879 con la publicación de la Begriffsschrift, donde Glottlob Frege introduce un diálogo proposicional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas.
La lógica de Frege combina las virtudes de Crisipo -
Lógica Actual
La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones.
.