La "Introducción a la lógica formal" pretende ofrecer unos fundamentos de lógica que, sin ceder en su rigor técnico, tienen una finalidad marcadamente didáctica, acentuada con la incorporación de un capítulo de ejercicios resueltos al final de la obra. Al analizar con detalle los problemas filosóficos suscitados por las investigaciones más recientes, la obra rompe el tono críptico y cabalístico de los manuales que consideran la lógica como un juego cerrado. De añadidura, la claridad expositiva y el talento literario del autor logran la difícil meta de que los temas propios de la lógica resulten atrayentes y aun divertidos.
Filósofo y lógico español, que ejerció como profesor en la Universidad Autónoma de Madrid.
Se interesó profundamente por las relaciones entre la lógica formal y disciplinas como la lingüística, la psicología o la propia filosofía. Su postura se aleja tanto del ya casi universalmente abandonado (pero aún latente) psicologismo de la lógica, como de posturas puristas que entiendan la lógica únicamente como un cálculo algebraico cerrado y ajeno al lenguaje natural.
Entre sus obras destaca la Introducción a la lógica formal (1974), con la que logra una introducción amena y con sentido del humor a los conceptos generales de lógica, a la lógica de enunciados y la lógica de predicados de primer orden, así como esboza también algunas otras lógicas (clásicas y "no-clásicas"), y plantea algunas de las cuestiones lógico-filosóficas más importantes.
Deaño falleció inesperadamente de un infarto en Madrid en 1978, a los 33 años de edad. En 1980 se publicó su obra póstuma Las concepciones de la lógica.
Buen libro para introducirse al campo de la lógica en general. Muy bien escrito y con buenas referencias si quieres saber más. Aún así, el campo "per se" es un poco tosco y a veces sería necesario un poco más de levedad. Los ejercicios del final también ayudan al entendimiento.
Los principios de la lógica pasan por Alfredo Deaño, quien la desarrolló de una manera más cercana para poder iniciarnos en ella. Mucho comprende el estudio de esta materia pero con este libro se inicia un campo que debe perdurar en el tiempo...
Genial también como base a la lógica matemática (que cambia sólo en notación y poco más). Explicado para humanos y no para máquinas y súper sencillo de entender.
Un libro completo, bien estructurado y fácil de seguir en el que se ofrece una mirada sobre el surgimiento de la lógica formal y se va desarrollando punto por punto esta disciplina.
Leido como parte de la bibliografía básica de las asignaturas de Lógica I y Lógica II del grado de filosofía de la UNED. En otro orden de cosas, murio joven ya siendo un crack en lo suyo.