-
350 BCE
Edad Antigua
Se considera Aristóteles (384-322 A.C) como fundador de la lógica; a través de su obra ORGANON (instrumento para pensar correctamente). Sus aportaciones son el uso de variables, proposiciones de cantidad y cualidad, el raciocinio deductivo y desarrollo silogístico. -
250 BCE
Crisipo de Soli (280-206 A.C.)
Propuso enunciados complejos e introduce palabras como "y", "o" y "si ___entonces___". -
1100
Edad Media
Pedro Abelardo (1079-1142).
Destacó por su dominio de la silogística y el estudio de los significados de los términos. -
Renacimiento
Francis Bacon (1561-1629)
Planteó un nuevo "Organon" distinto a la lógica de Aristóteles -
Edad Moderna
Gottfried Leibniz (1646-1716).
Propuso la primera teoría auténtica de la verdad. Sugirió tratar los enunciados como ecuaciones en álgebra. Si A=B y B=C, entonces A=B. -
Venn Euler (1707-1783)
Introdujo los diagramas de Venn para ilustrar geométricamente los silogismos. -
Edad Contemporánea
George Boole (1815-1864).
Construye la teoría de clases. -
Gottlob Frege (1848-1925)
Introduce un cálculo proporcional que combina la teoría de Leibniz con una presentación de conectivas lógicas. -
Bertrand Russell (1872-1970)
Nace la lógica simbólica o matemática, en su obra trata sobre la inferencia y sus respectivas aplicaciones. -
Siglo XX
Lógica Simbólica
L. Wittgenstein (1889-1951), R. Carnap (1891-1970)
Se acerca la lógica a la lingüística y la epistemología.
