Advanced logic

A.A. 2020/2021
9
Crediti massimi
60
Ore totali
SSD
MAT/01
Lingua
Inglese
Obiettivi formativi
The course aims to provide students with an overview of the most important formal systems that have been put forward as extensions of, or alternatives to classical logic. More specifically, students will acquire a basic knowledge of the following topics:
- intuitionistic logic
- informational view of logical consequence
- modal and epistemic logics
- non-monotonic logics
The acquired knowledge will be fruitfully employed in teaching, and in all activities requiring the usage of a variety of reasoning tools that are more powerful than elementary logic and more suited to problem-solving in a variety of applications.
Risultati apprendimento attesi
Knowledge and understanding:
- knowledge of the foundations of non-monotonic reasoning;
- knowledge of the main extensions of, and alternatives to classical logic.
- knowledge of the most recent investigations into the relationship between logic and information.
Ability to apply knowledge and understanding

At the end of the course students are expected to be able to apply the acquired knowledge in order to:
- read and understand original scientific contributions in the field of logic;
- analyze and solve scientific, philosophical and practical problems that do not admit of natural solutions in terms of standard logic.
Programma e organizzazione didattica

Edizione unica

Responsabile
Periodo
Secondo semestre
Moduli o unità didattiche
Unita' didattica A
MAT/01 - LOGICA MATEMATICA - CFU: 3
Lezioni: 20 ore

Unita' didattica B
MAT/01 - LOGICA MATEMATICA - CFU: 3
Lezioni: 20 ore

Unita' didattica C
MAT/01 - LOGICA MATEMATICA - CFU: 3
Lezioni: 20 ore

Docente/i
Ricevimento:
Fino alla fine dell'emergenza COVID-19 il ricevimento si svolge via Skype senza limitazioni di orario (contattare il docente via email per un appuntamento).
Dipartimento di Filosofia 2ndo piano (Cortile della Ghiacciaia)