La mayor aportación suya a la lógica fué el silogismo, que se compone de premisa ma
yor, premisa menor y conclusión. Los silogismos son de diferentes géneros, cada
uno de los cuales ha sido bautizado con un nombre por los escolásticos. El más
corriente se llamó "Barbara":
Premisa mayor...Todos los hombres son mortales.
Premisa menor...Sócrates es un hombre.
Conclusión... Luego, Socrates es mortal.
Otra forma de silogismo:
Premisa mayor...Ningún pez es racional.
Premisa menor...Los tiburones son peces.
Conclusión... Luego, ningún tiburón es racional.
A esta silogismo se le llamó "Celarent".
O bien:
Premisa mayor...Todos los hombres son racionales.
Premisa menor...Algunos animales son hombres.
Conclusión...Luego, algunos animales son racionales.
A este se le llama "Darii".
O este otro:
Premisa mayor...Ningún griego es negro.
Premisa menor...Algunos hombres son griegos.
Conclusión...Luego, algunos hombres no son negros.
A este se le llama "Ferio".
Estos cuatro forman la conocida como "Primera Figura"; y para resumir, Aristó
teles añade una segunda y una tercera figuras. Por su parte los escolásticos
añadieron una cuarta figura. Luego, alguien se ocupó de demostrar que las tres
últimas figuras pueden reducirse a la primera por diversos procedimientos. El
filósofo se ocupa a fondo del silogismo en su obra "Los analíticos primeros".
Y también hubo quien se dedicó a sacarle punta a su obra "Las categorías", como
el neoplatónico Porfirio, que escribió un comentario analizándola, que tuvo
gran influencia en la filosofía medieval.