Si intende introdurre gli studenti allo studio della logica deduttiva moderna (detta anche “del primo ordine”) al fine di migliorare le loro capacità di ragionamento e di farli familiarizzare con gli strumenti formali utilizzati in alcune discipline filosofiche contemporanee. Oltre alle lezioni frontali – sui concetti fondamentali, sui linguaggi formali e sui calcoli logici di questa logica – sono anche previste alcune lezioni di esercitazione.