Logica II
Persone
Docente titolare del corso
Assistente
Descrizione
Il corso è volto a presentare allo studente i principali risultati della formalizzazione contemporanea della logica matematica, introducendolo all’uso della notazione formale, del calcolo proposizionale e del calcolo dei predicati classici. Precisamente, il corso prevede lo studio della: (1) sintassi della logica proposizionale. Metodo delle tavole di verità. Teoria della derivazione per i connettivi logici; (2) sintassi della logica dei predicati del primo ordine. Semantica (metodo delle interpretazioni, soddisfacibilità, verità). Teoria della derivazione per i quantificatori.
Obiettivi
Obiettivo principale del corso è l'introduzione al ragionamento logico formale, specificamente fornendo una introduzione ai sistemi classici di logica proposizionale e del primo ordine.
Modalità di insegnamento
In presenza
Impostazione pedagogico-didattica
Lezioni frontali, esercitazioni.
Modalità d’esame
Esame scritto finale.
Programma
- Bachelor of Arts in Filosofia, Lezione, 1° anno
