Este libro presenta la l gica proposicional y la l gica de primer orden en un contexto pensado especialmente para estudiantes de filosof a, es decir, con el rigor que debe tener la ciencia pero sin perder la dimensi n human stica que tradicionalmente la disciplina ha tenido. En la primera parte se establece una demarcaci n entre inferencias inductivas y deductivas y se explica la necesidad de la introducci n de los lenguajes formales. En la segunda parte se desarrolla la l gica proposicional, llegando a presentar los dos conceptos centrales del curso en ese marco: la consecuencia sem ntica y la consecuencia sint ctica, de las que se estudian algunas caracter sticas. En la tercera parte se hace lo mismo para la l gica de primer orden, y la cuarta se dedica a la metateor a. A lo largo de todo el desarrollo se presentan consideraciones hist ricas y filos ficas, que van desde las lenguas anal ticas hasta los contextos indirectos fregeanos, pasando por las descripciones definidas, la relaci n de la l gica aristot lica con ciertas metaf sicas, la relaci n de la l gica intuicionista con las filosof as antirrealistas, el argumento ontol gico en la versi n de Descartes, y otros aspectos tradicionalmente filos ficos en los que el aporte de la l gica es especialmente pertinente. Se presenta una selecci n de ejercicios y problemas, que incluye situaciones muy simples pensadas para que el lector compruebe si ha comprendido los conceptos b sicos y tambi n cuestiones mucho m s desafiantes que pueden dar lugar a amplias reflexiones. No se espera del lector ninguna formaci n matem tica previa, pero s el deseo de pensar arduamente sobre problemas apasionantes.