Obiettivi: Il corso si propone di introdurre lo studente ai concetti e metodi della logica contemporanea.

Risultati di apprendimento: Al termine del corso lo studente sarà in grado di: presentare i concetti e i metodi principali della moderna logica formale; dimostrare padronanza della logica deduttiva; descrivere i risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione.

Contenuti: Il corso prevede lo studio dei linguaggi formalizzati, l’esposizione della sintassi e della semantica per il calcolo degli enunciati e il calcolo dei predicati. Calcolo degli enunciati : Formule proposizionali. Interpretazione vero-funzionale. Tavole di verità. Equivalenza logica. Soddisfacibilità. Validità. Tautologie. Conseguenza logica. Tableaux semantici enunciativi. Teoremi di correttezza e completezza (decidibilità).

Calcolo predicativo : Relazioni e predicati. Formule predicative. Interpretazioni. Soddisfacibilità. Validità. Tableaux semantici predicativi. Correttezza e completezza (indecidibilità).

 Metodologia: La didattica è erogata attraverso lezioni frontali ed esercitazioni pratiche condotte in interazione con gli studenti, dedicate all’esposizione degli elementi teorici e alla loro applicazione. Per la natura introduttiva dell’insegnamento non sono presupposte competenze propedeutiche.

Modalità di valutazione : La verifica finale degli apprendimenti attesi è effettuata con esame orale ed esecuzione contestuale di esercizi scritti secondo le linee fornite a lezione, nelle dispense e nei capitoli dei volumi indicati in bibliografia. I criteri di valutazione sono ispirati al soddisfacimento dei Descrittori di Dublino.