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.