L’insegnamento di questa disciplina intende innanzitutto fornire, da un punto di vista strettamente normativo ed istituzionale, gli strumenti fondamentali (calcolo proposizionale e calcolo dei predicati) necessari per lo studio della logica simbolica moderna; non solo, ma intende fornire anche alcuni strumenti e capacità indispensabili per analizzare e valutare le strutture argomentative dei testi filosofici in genere, in modo da permetterne una lettura più criticamente avvertita da parte degli studenti.