-
Fundó la lógica como disciplina formal, con el silogismo como base del razonamiento deductivo.
-
Avances en lógica proposicional estoica.
-
Integra lógica aristotélica en la escolástica.
-
Idea de un lenguaje lógico universal
-
Introduce el álgebra booleana.
-
Funda la lógica de predicados moderna.
-
Teoremas de incompletitud.
-
Concepto de máquina de Turing, base de la informática.