El objetivo es introducir a los estudiantes en el estudio de la lógica deductiva moderna (también llamada de «lógica primer orden») para mejorar sus habilidades de razonamiento y familiarizarlos con las herramientas formales utilizadas en algunas disciplinas filosóficas contemporáneas. Además de las lecciones frontales, sobre los conceptos fundamentales, sobre los lenguajes formales y sobre los cálculos lógicos de esta lógica, también hay algunas lecciones tutoriales.