La gran mayoría de los manuales de lógica olvidan la dimensiónpráctica de esta ciencia, que es también el arte de razonar. No esfácil encontrar repertorios y colecciones de problemas prácticos delógica, ni menos aún libros que ayuden al lector a iniciarse en laaplicación de la lógica a ciencias no matemáticas. Este librocontribuye a satisfacer esta doble necesidad en el ámbito de lafilosofía. En sus dos primeras partes un nutrido repertorio deproblemas con soluciones puede servir de ayuda alumnos de primer curso de Lógica para ejercitarse en el análisis y diseño de argumentosmediante el uso práctico de las reglas de cálculo lógico. Estas partes se cierran con la exposición del programa Tarski World, desarrolladoen la Universidad de Standford con base en la semántica de Tarski, que es uno de los intentos más ligrados de la enseñanza de lógica porordenador. La tercera parte se ocupa del análisis lógico de textos yargumentos clásicos en la historia de la filosofía y de la ciencia,desde la aporías de Zenón o el poema de Parménides hasta la teoría dela selección natural de Darwin, pasando por las demostracionestradicionales de la existencia de Dios, incluida la famosainterpretación en términos de teoría de conjuntos y relaciones quehizo el lógico polaco Jan Salamucha de la vía del movimiento. Estacuarta edición incorpora como segundo anexo una breve sñintesiscomplementari de la lógica tradicional inductiva basada en loscélebres cánones de Stuart Mill.
