El objetivo del curso es introducir a los estudiantes en el estudio de la lógica deductiva moderna (también llamada “lógica de primer orden”) para mejorar sus habilidades de razonamiento y familiarizarlos con los instrumentos formales utilizadas en algunas disciplinas filosóficas contemporáneas. Además de las clases magistrales (sobre los conceptos fundamentales, los lenguajes formales y los cálculos lógicos de esta lógica), también se prevén algunas clases prácticas.