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
Durante la fase di didattica emergenziale, il programma viene mantenuto con le seguenti modifiche necessarie per una buona fruizione online del corso originariamente progettato per la didattica in presenza.
Ambienti on-line utilizzati:
Ariel: https://mdagostinol.ariel.ctu.unimi.it/v5/home/Default.aspx
Teams: codice presente in Ariel
Zoom: codice presente in Ariel

Metodi didattici:
Le lezioni si terranno in base agli scenari di rischio:
- massima gravità (zona rossa): le lezioni si terranno solo a distanza in modalità sincrona (in Teams)
- elevata gravità (zona arancione): le lezioni si terranno in modalità mista, parte in presenza e parte on line.
Le lezioni in presenza si terranno in modalità duale permettendo la partecipazione anche agli studenti a distanza (collegati in in Teams). Le lezioni a distanza si terranno in modalità sincrona (in Teams)
- gravità (zona gialla): le lezioni si terranno con le medesime modalità della zona arancione e, se vi saranno le condizioni, verrà aumentato il numero di lezioni tenute in presenza.
Il calendario delle lezioni in presenza e gli aggiornamenti saranno pubblicati nel corso on line in Ariel.

Modalità di verifica dell'apprendimento e criteri di valutazione:
L'esame è scritto e viene svolto in Zoom + exam.net in tutti gli stati di emergenza (zona gialla, arancione e rossa), secondo le indicazioni fornite dall'Ateneo. Nel corso in Ariel vengono pubblicati e costantemente aggiornati i dettagli degli orali che si tengono in più giorni.

Gli studenti che intendono partecipare alle lezioni in presenza devono fare riferimento alle disposizioni dell'Ateneo:
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire…

Gli studenti che intendono partecipare alle lezioni in Teams devono fare riferimento alle seguenti guide tecniche:
https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologi…

Per partecipare alle sessioni di esame gli studenti devono fare riferimento alle seguenti indicazioni
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire…
Programma
Argomenti del corso:
1 Logica intuizionista
2 Logica e Informazione
3 Logica modale 1 (S4,S5)
4 Logica modale 2 (teoria generale)
5 logiche epistemiche
6 Logiche non-monotone.

Il Prof. D'Agostino terrà lezioni sugli argomenti 1-3, mentre il Prof. Hosni sugli argomenti 4-6.
L'esame da 6 CFU verterà sui primi 4 argomenti del corso (prime 20 lezioni). Quello da 9 CFU su tutti gli argomenti del corso (30 lezioni).
Prerequisiti
Corso di "Logical Methods".
Metodi didattici
Lezioni frontali. Si seguirà un approccio didattico orientato ai problemi e gli studenti apprenderanno, attraverso esercizi, le tecniche di base per risolvere problemi logici.
Materiale di riferimento
Dispense fornite dai docenti che saranno rese disponibili sul sito Ariel del corso. Non è previsto materiale addizionale per gli studenti non frequentanti che potranno chiedere chiarimenti attraverso il forum sul sito Ariel.
Modalità di verifica dell’apprendimento e criteri di valutazione
Le modalità di verifica sono le stesse per studenti frequentanti e non frequentanti e consistono in una prova scritta seguita da una discussione orale.
La parte scritta consiste nella presentazione di un elaborato di max 5000 parole su uno degli argomenti del corso, concordato con il docente; la parte orale in una discussione di questo elaborato e alcune domande sugli altri argomenti del corso. La valutazione dipenderà dalla comprensione degli argomenti presentati sia nei loro aspetti concettuali sia nei loro aspetti formali.
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

Siti didattici
Docente/i
Ricevimento:
Mercoledì 10:00-13:00
Vedi "Altre informazioni" sotto.