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.