-
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.
-
Método de arte mayéutica
-
Para él la dialéctica era un objeto supremo del entrenamiento para un filósofo que servía para llegar a una verdad razonada.
-
º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 -
Formuló las conectivas lógicas (y, o, si, entonces).
-
filósofo, estudió a fondo los conocimientos de Aristóteles
-
formularon la lógica medieval
-
La Época Moderna marca el inicio de la Lógica Matemática.
El precursor de esta lógica es Guillermo G. Leibniz. -
científico y vizconde inglés planteó una nueva lógica distinta a la de Aristóteles
-
introdujo la ley de igualaciones y las letras. (si A=B y B=C entonces A=C)
-
Afirma el principio de identidad en lo real y la razón durante la época 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. -
Pensar no es razonar meramente.
-
construye las teorías de clases basado en el diagrama de Venn
-
introduce su diagrama
-
introduce el cálculo proposicional, padre de la lógica moderna
-
ntroduce la formalización simbólica matemática
-
hace la validez de las deducciones matemáticas
-
diseñaron el sistema formal axiomático.
-
◘ Frausto Tapia Luis Alexis ◘ Juárez Pérez Fátima ◘ Flores Martínez Daniela ◘ Garcia Valenzuela Jairo Adair