Logica II
People
Babic J.
Assistant
Description
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.
Objectives
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.
Teaching mode
In presence
Learning methods
Lezioni frontali + esercitazioni.
Examination information
Esame scritto.
Bibliography
Education
- Bachelor of Arts in Filosofia, Lecture, 1st year