-
Martinez Damian Yoally Montserrat
Garcia Huinalt Luna cecilia
Martinez Flores Gael
Pascual Hernandez Eduardo Francisco
Jimenez Campos Jose de Jesus -
Representa el primer intento serio que funda la lógica como ciencia.
Aristoteles resuelve el razonamiento deductivo y sistematizado -
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
-
Trato las modalidades lógicas (necesario, posible e imposible) en relación con la verdad y el tiempo
-
Desplazo los enunciados simples como sujeto y predicado a los enunciados complejos(" y", "o", "si entonces"
-
Contribuidor del desarrollo de la lógica,famoso por la Introducción a la dialéctica
-
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
-
-
Se basa en el trabajo de Aristoteles, es rocogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental
-
Jean Salisburgry en su Metalogicon expone por primera vez el ORGANON, ademas habla de una maquina lógica inventada por Guillermo de Soisssons
-
Conocido también como " El grande" establece el procedimiento de convertir las preposiciones mediante una entimaema o silogismo
-
En su suma de todo la logica, formula famosas leyes atribuidas de Morgan
-
-
Los representantes mas destacados de esta etapa son Descrates, NEWTON, LEIBNIZ
-
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 -
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.
-
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 -
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.
.
