Este libro es una introducción a las lógicas no cláisicas. En el nivel de la lógica de proposiciones, se estudian la lógica clásica bivalente, la lógica trivalente, la lógica modal y la lógica intuicionista. Puede ser usado como texto de un curso de un semestre en un Grado de Filosofía de cualquier universidad. Con este libro el autor cierra su proyecto de una trilogía de título "Bachiller en lógica", cuyos otros dos títulos son "Lógica bachillera. Una introducción a la lógica" y "Apuntes sobre Lógica y Teoría".

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.

Este libro forma parte de una trilogía de nombre "Bachiller en Lógica". Pretende dar una idea mínima, nada técnica, de la lógica clásica de primer orden. El primer capítulo tiene como objetivo hacer ver dónde exáctamente se incardina la lógica, dónde y cómo aparece. Los siguienes pretenden desarrollar una teoría lógica ajustada al objeto descrito para la lógica. Le seguirán Lógica matemática elemental y Apuntes sobre Lógica.