-
400 BCE
Sócrates y Platón
En los Diálogos de Platón encontramos problemas lógicos relacionados con la metafísica y la ética. Sócrates, por ejemplo, indagaba sobre cuál es el conocimiento válido y certero, y establece el método mayéutico que trata de hallar conceptos universales por encima de la opinión vulgar. Sócrates descubre el concepto y la definición, pero es Platón quien distingue las operaciones de conceptualización, definición, deducción, división, aunque sin separarlo de la metafísica. -
384 BCE
Aristóteles
Para Aristóteles (384 - 322), la lógica es una rama de la filosofía que, como ciencia de la demostración, se preocupa de formular reglas para alcanzar verdades de la realidad concreta. El «Estagirita» estableció los tres principios esenciales de esta ciencia: El principio de identidad, el principio de no contradicción, y el principio del tercero excluido. -
Gottfried Leibniz
Por su parte Gottfried Leibniz (1646 - 1716) formuló el principio de razón suficiente, según el cual «Nada es sin una razón suficiente», es decir, nada puede ser considerado verdadero si no tiene las razones suficientes que lo justifiquen. Leibniz aplicó a la lógica el método matemático y su teoría del sistema infinito decimal facilitó el cálculo y luego el descubrimiento de la calculadora y la computadora. -
Immanuel Kant
Kant también se dedicó a la lógica y afirmó que lo verdadero y falso no reside en la adecuación de las ideas en la realidad sino en la concordancia entre idea, realidad, expresión. Para Immanuel Kant (1724 - 1804), la lógica es la ciencia de las leyes necesarias del entendimiento y de la razón. -
John Stuart Mill
Según John Stuart Mill (1806 - 1873), la lógica es la ciencia de las operaciones intelectuales que sirven para la estimación de la prueba. Al filósofo inglés se debe la conversión de la lógica en una ciencia positiva. -
George Boole
Después, el desarrollo de la matemática llevó al estudio matemático de la lógica. George Boole (1815-1864) fundó entonces la lógica matemática.