filósofos relevantes
Algunos filósofos que tuvieron un papel importante en la lógica son:
Sócrates (470-399); Sócrates nació en Atenas el año 470 a. c. de una familia, de clase media. Sócrates no escribió nada y, a pesar de haber tenido numerosos seguidores, nunca creó una escuela filosófica. Las llamadas escuelas socráticas fueron iniciativa de sus seguidores. Acerca de su actividad filosófica nos han llegado diversos testimonios, contradictorios entre ellos, como los de Jenofonte, Aristófanes o Platón, que suscitan el llamado problema socrático. Desarrolla la mayéutica como método de argumentación y aprendizaje, para planear bien los problemas y aclarar los conceptos; sostiene como concepto de verdad el consentimiento social general. En sus conversaciones filosóficas, al menos tal y como quedaron reflejadas en los Diálogos de Platón, Sócrates sigue, en efecto, una serie de pautas precisas que configuran el llamado diálogo socrático.
Demócrito De Abdera (460-370); Demócrito fue famoso en su época como otros filósofos de la importancia de Platón o de Aristóteles, aunque sólo se conservan fragmentos de algunas de sus obras, en su mayoría de las dedicadas a la ética, pese a que se le atribuyen diversos tratados de física, matemáticas, música y cuestiones técnicas. Demócrito fundó la doctrina atomista, que concebía el universo constituido por innumerables corpúsculos o átomos sustancialmente idénticos, indivisibles eternos e indestructibles. Utiliza por primera vez la palabra lógica y es el iniciador de las investigaciones lógicas propiamente dichas; estudia la inducción, la definición, la analogía, la formulación de hipótesis, el método experimental y el principio de razón suficiente; descubre algunas magnitudes físicas fundamentales; establece la primera formulación del determinismo; denomina a los axiomas, considerándolos como definiciones generales que llevan implícita la suposición de su existencia.
Platón (428-347); Junto con su maestro Sócrates y su discípulo Aristóteles, Platón es la figura central de los tres grandes pensadores en que se asienta toda la tradición filosófica europea. Los trabajos de Platón se han conservado casi completos. La mayor parte están escritos en forma dialogada; Platón fue el primer autor que utilizó el diálogo para exponer un pensamiento filosófico, y tal forma constituía ya por sí misma un elemento cultural nuevo. Los veintiséis diálogos platónicos probadamente auténticos pueden clasificarse en tres grupos. Los diálogos del llamado período socrático (396-388), entre los que se incluyen la Apología, Critón, Eutifrón, Laques, Cármides, Ión, el Hipias menor y tal vez Lisis Intenta resolver los problemas de la dialéctica con los recursos de la lógica formal; formula el principio de no contradicción; clasifica las categorías; ordena racionalmente a las ciencias; establece una teoría de la ciencia; hace un tratamiento de la refutación; establece la división dicotómica; desarrolla la dialéctica como justificación de la idea; establece la doctrina de las ideas como dialéctica metafísica
