La gran mayoría de los manuales de lógica olvidan la dimensión práctica de esta ciencia, que es también el arte de razonar. No es fácil encontrar repertorios y colecciones de problemas prácticos de lógica, ni menos aún libros que ayuden al lector a iniciarse en la aplicación de la lógica a ciencias no matemáticas. El arte de la lógica contribuye a satisfacer esta doble necesidad en el ámbito de la filosofía. En sus dos primeras partes, un nutrido repertorio de problemas con soluciones puede servir de ayuda a alumnos de primer curso de Lógica para ejercitarse en el análisis y diseño de argumentos mediante el uso práctico de las reglas de cálculo lógico. La tercera parte se dedica al análisis lógico de textos y argumentos clásicos en la historia de la filosofía y de la ciencia, desde las aporías de Zenón o el poema de Parménides hasta la teoría de la selección natural de Darwin, pasando por las demostraciones tradicionales de la existencia de Dios, incluida la famosa interpretación en términos de teoría de conjuntos y relaciones que hizo el lógico polaco Jan Salamucha de la vía del movimiento. La presente tercera edición incorpora en su sexto capítulo una presentación con ejercicios del famoso programa Tarski s World, elaborado por los profesores Jon Barwise y John Etchemendy en la Universidad californiana de Stanford con base en la semántica de Tarski y las reglas de juego de la lógica dialógica. Este programa es uno de los más excelentes de cuantos existen en el mundo para aplicar y enseñar a nivel elemental, en cursos básicos, la lógica mediante ordenador.