Logic and possible worlds (Ordinario)
Prerequisiti
No prior knowledge of logic is required.
Programma
Module 1:
Introduction to classical propositional logic: formal language and syntax. Semantics: truth tables and classical tautologies. Overview of first-order logic: formalizations and the tableaux method.
Introduction to modal logics. Relational semantics for modal logics: correspondence theory. Proof methods for modal logics (tableaux). Soundness, completeness, and decidability.
Module 2:
Introduction to intuitionistic logic: constructive proofs. Relational semantics for intuitionistic logic. Relationships between classical and intuitionistic logic. Metalogical properties. Overview of intermediate logics. Modal interpretation of constructive logics. Overview of other non classical logics (many-valued and substructural).
Obiettivi formativi
Module 1
To introduce students to classical logic, followed by modal logics and their semantics.
Module 2
To deepen the understanding of non-classical logics, with a focus on intuitionistic logic and the connections between different logical systems.
Riferimenti bibliografici
Classical Logic:
- A. Cantini, P. Minari, Introduzione alla logica, Mondadori Education Le Monnier, 2009 (selected chapters)
- Course notes.
- Additional articles indicated during lectures
Modal Logic:
- E. Orlandelli, G. Corsi, Corso di logica modale proposizionale, Carocci, 2019 (selected chapters)
- Course notes.
- Additional articles indicated during lectures.
Intuitionistic Logic
- Course notes
- Additional articles indicated during lectures.
Further references will be provided throughout the course.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 1: Introduzione alla logica (per ordinari) | 20 | 3 | Matteo Tesi |
| Modulo 2: Modalità e intuizionismo (per ordinari e PhD) | 20 | 3 | Matteo Tesi |