-
Siglo V(A.C.) al Siglo 7 (D.C.)
-
Primero en estudiar oraciones afirmativas y negativas
Fue un Sofista. -
Estudio el razonar y estudio la definición.
Enfrento a los sofistas. -
Acuño la palabra lógica, y creo el principio de la razón suficiente.
Además de ser el máximo representante de la escuela Atomista. -
Creador del principio lógico de: “No Contradicción” (Es imposible que un enunciado sea verdadero y falso a la vez).
Obra: “El Sofista” (Habla sobre las oraciones. -
Los escritos lógicos de Aristóteles están contenidos en su libro Órganon que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas.
Creador del principio lógico del “Tercer Excluido”.
Creador del silogismo categórico. -
Aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones. -
Siglo 8 (D.C) al Siglo 14 (D.C.)
-
Escribió uno de los primeros manuales de lógico en la época medieval: Dialéctica. -
En sus obras, Si y no, Lógica para los que ingresan, Lógica a petición de nuestros compañeros, analiza la copula de las proposiciones, distingue la negación de un término de la preposición entera. -
Establece el procedimiento de convertir las preposiciones mediante un entimema o silogismo abreviado. -
Máximo Exponente.
Introdujo el concepto de intención. -
Representan el periodo de madurez de la lógica.
Trabajo en dirección de las que hoy se conocen como leyes de Morgan, y propuso la lógica ternaria. -
Siglo 15 (DC) al Siglo 18 (DC)
-
En su obra De la censura de lo verdadero, representa las funciones lógicas por medio de ángulos y triángulos. -
Precursor de la "lógica matemática"
Fundador de la "lógica simbólica".
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. También desarrolló el cálculo de la Lógica Proposicional. -
Creo diagramas para ilustrar geométricamente el silogismo. -
Siglo 19 hasta la Actualidad
-
El siglo XIX, se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno. -
En la lógica matemática moderna llevan el nombre de Morgan las siguientes leyes fundamentales del álgebra de la lógica: la negación de la conjunción es igual a la disyunción de las negaciones; y la negación de la disyunción es igual a la conjunción de las negaciones. -
Construye la teoría de Clases
Represento proposiones categóricas en formulas. -
Representa los procesos algebraicos de Boole en diagramas. -
Padre de la lógica moderna, invento los cuantificadores lógicos. -
Da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares y un modo de simbolizar los cuantificadores. -
Padre de la lógica contemporánea, y su obra principia matemática fue con ayuda de Alfred Whitehead. -
Creo las tablas de verdad, valores o matrices. -
Introductor de la lógica matemática en américa.