-
Fue el primero en estudiar las oraciones desde el plano semántico y sintáctico del lenguaje.
-
-
-
En su obra Sofista trata las afirmaciones y las negaciones.
Introduce la noción del tiempo axiomático, que luego seria estudiado por Aristóteles. -
Aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones.
-
Plantean el significado de “Si - entonces”.
-
Desarrollan la lógica Verdadero – Falso de las proposiciones.
-
Es considerado como creador de la lógica.
Sistematizo la lógica formal codificando las formas de argumentación.
En su libro "Órganon" están sus escritos lógicos, este mismo contiene los siguientes tratados: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas.
Aporta a la Lógica el uso de la variables, las proposiciones, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico. -
Basada en el trabajo de Aristóteles.
Es recogida por los sacerdotes pero cultivado mayormente en los conventos, escuelas y/o universidades de Europa Occidental. -
El estudio de los lógicos profesionales estuvo dirigido al comentario del Órganon destacando Petrus Hispanus y Joannes Buridanus estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”.
-
Marca el inicio de la Lógica Matemática.
-
El precursor de esta lógica matemática es Gottfried Wilhelm Leibniz quien 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.
Desarrolló el cálculo de la Lógica Proposicional. -
Introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos.
-
-
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.
-
considera que la base común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases.
-
Construye la teoría de Clases
-
Aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.
-
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. -
Propone en su obra “Los principios de la matemática” que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones.
-
En este siglo la lógica simbólica empieza a ocuparse y preocuparse de problemas semánticos, es decir de las relaciones entre los símbolos y lo que expresan. Se producen así un acercamiento de la lógica a la lingüística y a la epistemología.
-
