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.

La Lógica de Antonio Benítez no esconde motivaciones pretenciosas, del orden de las vanidades: no proyecta sustituir a ninguno de los libros sobre lógica que hoy circulan, ni mucho menos a sus autores. Si así llegara a ser, no lo decidiremos nosotros, sino los trabajos y los días. Su intención es más humilde, quién sabe si maliciosa, justamente por humilde. Dirigida a la gente filosófica, y por lo tanto a un público bastante amplio –si se entiende por tal no solo a los estudiantes y profesionales de la filosofía, sino también y sobre todo a cualquiera interesado (o apelado) por las cuestiones decisivas, de fundamento, de principio–, de lo que se trata es de que esa gente no pierda demasiado el tiempo entre falsas nebulosas conceptuales. En lenguaje más llano: que no choquen una y otra vez con la misma pared de cristal. Sin saberlo. Para acercarse a su propósito, Antonio Benítez ha prescindido de los ejercicios, porque abruman, y si abruman, disuaden de seguir trabajando; porque, cuando no abruman, divierten mucho, y en este caso el divertimento distrae de las cuestiones decisivas, de fundamento, de principio. No ha renunciado, sin embargo, a las formalidades, pero acude a ellas tan solo cuando la precisión conceptual de la filosofía las hace imprescindibles.

Ir a los fundamentos, ya sean estos del lenguaje, de la realidad física o de la matemática, es la empresa típicamente filosófica, si en la palabra filosofía se escucha al menos lo que la voz griega decía: una cierta aspiración a saber, que como es natural se ejerce pidiéndole cuentas al mundo. Nuestro mundo —técnico en una dimensión constitutiva— es también el de la computación y la máquina inteligente, y por ellos pregunta Antonio Benítez en estas páginas. Como obra de filósofo, este libro no demanda del lector conocimientos previos de programación, sino tan solo coraje, el necesario cuando menos para adentrarse en un campo tan fascinante como difícil: la Inteligencia Artificial. El plan es ambicioso y se despliega a lo largo de tres tomos: Programación en Scheme, Inteligencia Artificial Clásica e Inteligencia Artificial bioinspirada, con los que se busca cubrir todo el espectro temático de la disciplina, desde su fundamentación teórica —poniendo especial cuidado en la explicitación de las cuestiones y debates que están a la base de los desarrollos teóricos y técnicos— hasta su devenir histórico y sus perspectivas futuras.