Examination procedure
<p>Oral exam.</p>
Prerequisites
No prior knowledge of logic is required.
Syllabus
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).
Bibliographical references
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.