Primero, Sócrates no inventó la lógica. A Sócrates se le puede atribuir la invención del elenchus , una secuencia interrogativa de preguntas utilizadas para descubrir contradicciones. En la lógica formal, esto se llama una prueba indirecta. También acuñamos un término en latín para ello: reductio ad absurdum (para reducirlo a un absurdo).
Hay diferentes tipos de lógica. A Aristóteles se le atribuye la invención del silogismo, mientras que a los estoicos se les atribuye la invención de la lógica de verdad funcional. La lógica cuantitativa o predicada se produjo muchos cientos de años más tarde con las contribuciones de Whitehead, Gödel, Russel y Gottlob Frege. Ese tipo de lógica es lo que le permitió a Alan Turing inventar la computadora. El tipo de lógica que usa una computadora es el mismo tipo de lógica formal / matemática discreta que usan los filósofos: el teorema de DeMorgan, la negación condicional, el modus tollens, el modus ponens, el dilema constructivo, etc. Estas reglas lógicas de inferencia son del mismo tipo que Se usa cuando se construyen puertas lógicas y se programa una computadora con un conjunto de instrucciones, que son básicamente una serie de sentencias condicionales.