Mara MANZANO y Antonia HUERTAS, Lgica para

Principiantes, Filosofa y Pensamiento, Alianza

editorial, Madrid, 2004.
Tal y como el ttulo indica, el libro es un
manual de lgica pensado para estudiantes que se
enfrentan por primera vez con la materia. Basta
leer los primeros prrafos de la introduccin para
darse cuenta de que los aspectos pedaggicos y la
transparencia en la exposicin son la principal preocupacin de las autoras. Cualquier persona sin
preparacin especial en filosofa o en matemticas
podr seguir el hilo argumental e ir realizando los
numerosos ejercicios que se proponen con xito.
Es adems un manual que no est pensado nicamente para alumnos de filosofa sino tambin para
alumnos de informtica o matemticas y, en general, para cualquier persona que tenga inters en la
lgica o en el manejo de las herramientas bsicas
de los lenguajes artificiales.
El libro centra su atencin especialmente en
los aspectos semnticos de la lgica, que estn
muy bien tratados y con bastante profundidad
(dentro de los niveles bsicos en los que se mueve). Por ello, tanto en el apartado dedicado a la
lgica proposicional como en el dedicado a la
lgica de primer orden, las autoras parten del
anlisis de los conceptos semnticos bsicos (tablas de verdad, tableaux semnticos...) para, a
partir de ellos, analizar de una manera algo ms
breve, los aspectos sintcticos. Esto hace que algunos apartados, como el dedicado a la deduccin natural en la lgica de proposiciones, sean
quizs algo cortos y la informacin quede demasiado condensada (especialmente si lo comparamos con los dedicados a, por ejemplo, las tablas
de verdad en que los conceptos van siendo introducidos de una manera verdaderamente pausada
y con multitud de ejemplos). En cualquier caso,
incluso estas partes a las que dedican menos espacio son de muy fcil lectura y estn acompaadas de una gran variedad de ejemplos. Hay que
tener en cuenta, por otro lado, que debido al
enfoque semntico seguido, no se hace mencin
alguna a los sistemas axiomticos tanto de la lgica de proposiciones como de la de primer orden (se mencionan, pero no se explican).

res 07.pmd

227

A parte de este enfoque semntico, las autoras han optado, acertadamente en mi opinin,
por ir introduciendo los conceptos bsicos de
una manera informal para luego, poco a poco,
ir introduciendo sus definiciones formales de los.
As, el libro parte con una introduccin bastante larga en la que se explican los conceptos ms
bsicos de la lgica en un lenguaje completamente informal. A partir de ah, en el primer
captulo, se analizan los elementos bsicos de la
semntica de la lgica de proposiciones (tablas
de verdad y tableaux semnticos) y, a partir de
ellos, los aspectos sintcticos (resolucin
proposicional y deduccin natural).
El segundo captulo est dedicado a la teora de conjuntos, de nuevo desde un enfoque
eminentemente semntico. En l se exponen los
conceptos bsicos del lgebra de conjuntos, los
diagramas de Venn (analizados con bastante detalle) y una introduccin a las nociones de relacin y de funcin. El tercer y ltimo captulo
est dedicado a la lgica de primer orden (lgica
de predicados), de nuevo poniendo el acento en
los aspectos semnticos (nociones bsicas, teora de modelos y tableaux) para derivar a partir de ellos los aspectos sintcticos (resolucin y
deduccin natural).
Entre los elementos, en mi opinin, positivos del libro hay que resaltar la claridad expositiva, fruto de un obvio esfuerzo pedaggico por
parte de las autoras, que ser sin duda bien recibida por los estudiantes de primer curso en lgica, ya que la claridad no suele ser una caracterstica muy comn en este tipo de manuales
tcnicos. Por otro lado, el libro cuenta con un
CD de gran utilidad para los lectores ya que en
l podrn encontrar cerca de 2.000 ejercicios,
muchos de ellos resueltos y organizados siguiendo los captulos del libro. Resulta esencial, para
aprender lgica, realizar ejercicios a medida que
vamos adquiriendo nuevos conceptos y, en este
sentido, este manual est muy bien pensado. En
cada apartado se hace referencia a ejercicios especficos del CD, por lo que el estudiante cuenta con un material abundante para practicar y
asentar los conocimientos. Adems, el libro
cuenta con un glosario al final de gran utilidad
en el que se definen brevemente los principales
conceptos tratados y con un ndice detallado

30/11/2004, 11:23

MARA PONTE AZCRATE/RECENSIN 227

MANUAL DE LGICA

MARA PONTE AZCRATE/RECENSIN 228

res 07.pmd

(ordenado alfabticamente, al igual que el glosario) que, igualmente, resulta muy til en este
tipo de manuales. Por ltimo, las autoras remiten a los lectores tambin en numerosas ocasiones a varias pginas web, pertenecientes a la
Universidad de Salamanca, en las que se ofrecen
nuevos ejercicios, se tratan algunos temas con
mayor amplitud y se ofrecen las actualizaciones
a cada apartado.
Entre los aspectos negativos habra que sealar que, precisamente por tratarse de un manual pensado para principiantes y por ese nfasis puesto en la claridad, el nivel general es
bastante bsico. Los temas tratados se cien exclusivamente a un posible temario de una asignatura de introduccin a la lgica. Aquellos lectores que quieran profundizar en cualquiera de
los temas tendrn que recurrir a otros manuales. Personalmente echo en falta un poco de espacio a la imaginacin del lector, espacios en los
que se introduzcan, aunque sea como retos al
lector o como estmulos para el pensamiento,
elementos de carcter ms filosficos. La lgica est repleta de problemas no resueltos, de
paradojas, de soluciones ingeniosas, de aplicaciones insospechadas, de curiosidades que hacen que sea una materia tan apasionante. El libro, sin embargo, no entra en este terreno, se
limita a ser estrictamente un manual introductorio, muy bueno como tal eso s, y no deja puertas abiertas a nada ms. Las autoras intentaron
introducir estos elementos en los apndices pero,
en mi opinin, sta es precisamente la parte ms
floja del libro.
El primer apndice, dedicado a los fundamentos de la lgica, es verdaderamente escueto,
casi telegrfico (tan slo tiene tres pginas). En
l, se limitan a dar una lista de nombres y a sealar el surgimiento de las corrientes tratadas en el
manual y slo sas, ni siquiera menciona los grandes debates surgidos a principios de siglo XX acerca de los fundamentos de la lgica y de las matemticas y las grandes corrientes que surgieron a
raz de ah. Los otros dos apndices, acerca de los
metateoremas semnticos y acerca de la correccin y la completud estn en el CD y, aunque
algo ms desarrollados, al no estar en el manual
su acceso queda inevitablemente ms limitado.

228

Por ltimo, entre los aspectos negativos, hay

que sealar la pobreza de la bibliografa ofrecida. En mi opinin, en un manual de estas caractersticas hubiese sido deseable contar con una
bibliografa no slo ms amplia sino tambin
organizada y comentada (al menos sealar cules son los libros de referencia clsicos o esenciales de cada apartado), de manera que los lectores interesados en profundizar en algn aspecto
concreto pudieran encontrar referencias a trabajos especficos.
En mi opinin, ste es un libro que ser de
gran utilidad a los alumnos de la asignatura de
Lgica I y como tal, como manual para la asignatura, resulta altamente recomendable, as
como para aquellas personas que quieran adquirir los conceptos bsicos de la lgica por su
propia cuenta. Sin embargo, considerndolo
como un libro de introduccin a la lgica en
general, es decir, no slo como un manual para
aprobar una asignatura sino como un primer
acercamiento a una materia difcil, pero apasionante y con mltiples aplicaciones, entonces
a mi modo de ver tiene algunas deficiencias que
habra que corregir.
En cualquier caso, y a pesar de sus limitaciones, creo que es de agradecer el esfuerzo realizado por las autoras para transmitir y explicar conceptos tan complejos como los
manejados por la lgica de una manera tan
clara y didctica. Este libro contribuye a llenar una laguna importante, ya que en muchas
ocasiones los alumnos de lgica tienen problemas para encontrar manuales de lgica que
sean suficientemente bsicos y claros para poder ser comprendidos sin ayuda. Este libro tiene, sin duda, esta cualidad y adems cuenta
con numerosos ejercicios, lo cual ser de gran
utilidad para los alumnos a la hora de practicar y superar la asignatura de lgica. Por lo
tanto, se trata de un libro altamente recomendable para las personas o los alumnos de lgica que se acerquen a la materia por primera
vez. A aquellos con conocimientos de la materia, aunque sean elementales, les resultar
probablemente demasiado limitado.
Mara PONTE AZCRATE

30/11/2004, 11:23