Este libro es un estudio de la lógica formal de Aristóteles, la Silogística asertórica. Se articula en cuatro partes: en la primera se analiza la aportación de Ortega a los estudios aristotélicos sobre el concepto de teoría, al hilo del primer libro de los Elementos de Euclides. La segunda aborda la interpretación de Lukasiewicz de la Silogística de Aristóteles. La tercera parte está dedicada a la interpretación que de la Silogística hizo John Corcoran. En la última parte Antonio Benítez discute las aportaciones de los tres autores estudiados previamente, hace suyas algunas de sus ideas, rechaza otras e introduce una interpretación basada en la mereología. Los dos últimos capítulos exponen tanto la demostración de todos los modos legítimos como la recusación de todos los modos ilegítimos. Las conclusiones centrales del libro son: la Silogística de Aristóteles es un sistema formal pero no formalista; la cantidad de modos posibles, incluidos los perfectos, es de 256: 24 modos legítimos (incluidos los perfectos) y 232 modos ilegítimos; es imposible analizar y formalizar las demostraciones de los Elementa de Euclides en el lenguaje formal de la Silogística. Dicho de otra manera: la Silogística de Aristóteles no es la lógica subyacente a los Elementa de Euclides.
