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. Este libro 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 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. Estas partes se cierran con la exposición del programa Tarski World, desarrollado en 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 por ordenador. La tercera parte se ocupa del análisis lógico de textos y argumentos 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 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. Esta cuarta edición incorpora como segundo anexo una breve síntesis complementari de la lógica tradicional inductiva basada en los célebres cánones de Stuart Mill.