Logica II

Obiettivo del corso: ottenere una conoscenza appropriata dei sistemi classici di logica proposizionale e del primo ordine e una conoscenza di base dei principali sistemi di logica modale utilizzati in ambito filosofico.
Descrizione del corso: il corso si articola in tre parti.
Parte I: linguaggio della logica proposizionale classica; caratterizzazione semantica e assiomatica del corrispondente nesso di conseguenza logica.
Parte II: linguaggio della logica dei predicati del primo ordine; caratterizzazione semantica e assiomatica del nesso di conseguenza logica.
Parte III: introduzione al linguaggio e alla semantica della logica modale e presentazione di alcuni sistemi di logica deontica ed epistemica.
Il corso include 20 ore di Esercitazione tenute da Marta Pedroni (PhD Assistant).

Modalità didattica: lezioni frontali + esercitazioni.
Modalità di valutazione: esame scritto.
Bibliografia essenziale:
• A. Giordani. Introduzione alla logica. Milano: Educatt 2018.
• D. Palladino e C. Palladino. Logiche non-classiche. Roma: Carocci 2007.