-
sienta las bases de la Lógica y la sistematiza en sus seis tratados de la lógica recogidos bajo el nombre de organon: categorías, peri hermeneias, primeros Analíticos, segundos Analíticos, Tópicos y refutaciones sofísticas.
-
Expone el silogismo Hipotético.
-
analiza la conjunción, disyunción, implicación y las equivalencias. su concepción de la implicación está en la base de la tabla de verdad para condicional.
-
acuña términos latinos para los términos griegos de la lógica.