-
Period: 500 BCE to 1500
Edad media.
La Lógica Medieval 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. -
470 BCE
Socrates (470-399 a.C.)
Método de arte mayéutica -
380 BCE
Platón (427-347 a.C.)
Para él la dialéctica era un objeto supremo del entrenamiento para un filósofo que servía para llegar a una verdad razonada. -
332 BCE
Aristóteles De Estagira (384 a.c -322 a.C.)
ºAportó los silogismos, verdad y falsedad de argumentos.
ºPara él deja de ser la dialéctica y se convierte en la ciencia de la razón demostrada.
ºConsiderado como padre de la Lógica -
210 BCE
Crisipo de Soli (280-206 a.C.)
Formuló las conectivas lógicas (y, o, si, entonces). -
1100
Pedro abelardo (1079-1142)
filósofo, estudió a fondo los conocimientos de Aristóteles -
1280
Pedro Hispano y Juan Buridan
formularon la lógica medieval -
Period: 1500 to
Edad Moderna.
La Época Moderna marca el inicio de la Lógica Matemática.
El precursor de esta lógica es Guillermo G. Leibniz. -
1580
Francis Bacon (1561-1626)
científico y vizconde inglés planteó una nueva lógica distinta a la de Aristóteles -
Gottfried Leibniz (1646-1716)
introdujo la ley de igualaciones y las letras. (si A=B y B=C entonces A=C) -
Georg Wilhem Friedrich Hegel (1770-1831)
Afirma el principio de identidad en lo real y la razón durante la época contemporánea. -
Period: to
Edad Contemporánea.
•Logica matematica abstracta de Hamilton.
•Augusto de Morgan: lógica radica en las relaciones de inclusión o exclusión parcial
•En el siglo XX la lógica simbólica, producida por el filósofo L.Wittgenstein, R.Carnap. Esta lógica se da como formalismo y simbolismo, se ocupa de problemas semánticos, es decir de las relaciones entre los símbolos y lo que expresan.
•Se producen así la logica simbólica da un acercamiento de la lógica a la lingüística y a la epistemología. -
Carlos Marx (1818-1883) y Federico Englers (1821-1895)
Pensar no es razonar meramente. -
George Boole (1815-1864)
construye las teorías de clases basado en el diagrama de Venn -
John Venn (1834-1923)
introduce su diagrama -
Gottlob Frege (1848-1925)
introduce el cálculo proposicional, padre de la lógica moderna -
Giuseppe Peano (1858-1932)
ntroduce la formalización simbólica matemática -
Bertrand Russel (1872-1970)
hace la validez de las deducciones matemáticas -
Alfred North Whitehead (1861-1947) y Alan Turing (1912-1954)
diseñaron el sistema formal axiomático. -
INTEGRANTES
◘ Frausto Tapia Luis Alexis ◘ Juárez Pérez Fátima ◘ Flores Martínez Daniela ◘ Garcia Valenzuela Jairo Adair
