MANUAL DE LGICA 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).

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

MARA PONTE AZCRATE/RECENSIN 227

(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.

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

MARA PONTE AZCRATE/RECENSIN 228