Logica II
Persone
Docente titolare del corso
Assistente
Descrizione
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.
Obiettivi
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.
Modalità di insegnamento
In presenza
Impostazione pedagogico-didattica
Lezioni frontali + esercitazioni.
Modalità d’esame
Esame scritto.
Bibliografia
Offerta formativa
- Bachelor of Arts in Filosofia, Lezione, 1° anno
