Advanced Logic
A.Y. 2020/2021
Learning objectives
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.
- 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.
Expected learning outcomes
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.
- 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.
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Lesson period
Second semester
During the ongoing covid emergency, the course syllabus will be maintained with the following changes made to enhance the effectiveness of the online version of the course, which was originally designed for face-to-face teaching.
Online environments used:
Ariel:
Teams: codice presente in Ariel
Zoom: codice presente in Ariel
Teaching methods:
Classes will be held according to the following risk scenarios:
- maximum severity (red zone): classes will be held only remotely in synchronous mode (using MSTeams)
- high severity (orange zone): lessons will be held in mixed mode, partly in person and partly online. the face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom. Online lessons will be held synchronously (using MSTeams)
- severity (yellow zone): classes will be held according with the orange zone guidelines and, if conditions allow, the number of lessons on campus will be increased.
The calendar of in person lessons and updates will be published on the online course platform.
Learning assessment procedures and evaluation criteria:
The exam is written and is held on Zoom + exam.net in any emergency situation, whether yellow, orange or red zone, in compliance with the guidelines provided by the University. The online course on Ariel will make available constantly updated details about the oral examination sessions that will be held over several days.
Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
To participate in the exam sessions, students must refer to the following provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-student
Online environments used:
Ariel:
Teams: codice presente in Ariel
Zoom: codice presente in Ariel
Teaching methods:
Classes will be held according to the following risk scenarios:
- maximum severity (red zone): classes will be held only remotely in synchronous mode (using MSTeams)
- high severity (orange zone): lessons will be held in mixed mode, partly in person and partly online. the face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom. Online lessons will be held synchronously (using MSTeams)
- severity (yellow zone): classes will be held according with the orange zone guidelines and, if conditions allow, the number of lessons on campus will be increased.
The calendar of in person lessons and updates will be published on the online course platform.
Learning assessment procedures and evaluation criteria:
The exam is written and is held on Zoom + exam.net in any emergency situation, whether yellow, orange or red zone, in compliance with the guidelines provided by the University. The online course on Ariel will make available constantly updated details about the oral examination sessions that will be held over several days.
Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
To participate in the exam sessions, students must refer to the following provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-student
Course syllabus
Topics:
1 Intuitionistic Logic
2 Logic and Information
3 Modal Logic 1 (S4,S5)
4 Modal Logic 2 (general theory)
5 Epistemic Logics
6 Non-monotonic Logics
Prof. D'Agostino will lecture on topics 1-3, while Prof. Hosni will lecture on topics 4-6.
The 6 CFU exam will concern the first four topics (first 20 lectures) and the 9 CFU will concern all the six topics (30 lectures).
1 Intuitionistic Logic
2 Logic and Information
3 Modal Logic 1 (S4,S5)
4 Modal Logic 2 (general theory)
5 Epistemic Logics
6 Non-monotonic Logics
Prof. D'Agostino will lecture on topics 1-3, while Prof. Hosni will lecture on topics 4-6.
The 6 CFU exam will concern the first four topics (first 20 lectures) and the 9 CFU will concern all the six topics (30 lectures).
Prerequisites for admission
The "Logical Methods" course.
Teaching methods
Frontal lectures. The approach will be problem-oriented and students will be trained to solve basic logical problems through exercises.
Teaching Resources
Handouts provided by the lectures that will be uploaded to the Ariel site for the course. No additional reading material will be necessary for students who cannot attend the lectures regularly. These students will be able to ask the lecturers for clarifications via the forum in the Ariel site.
Assessment methods and Criteria
Learning assessment will be articulated in a written part and an oral part. The written part will consist in a short essay (max 5000 words) on one of the topics of the course that will be agreed upon with the lecturer; the oral part will consist in a discussion of the essay and on some questions on the other topics of the course. The assessment will depend on the level of understanding of both the conceptual and the formal aspects of the topics presented in the lectures and in the reading material.
The methods of assessment will be the same for all students, including those who do not regularly attend the lectures.
The methods of assessment will be the same for all students, including those who do not regularly attend the lectures.
Unita' didattica A
MAT/01 - MATHEMATICAL LOGIC - University credits: 3
Lessons: 20 hours
Unita' didattica B
MAT/01 - MATHEMATICAL LOGIC - University credits: 3
Lessons: 20 hours
Unita' didattica C
MAT/01 - MATHEMATICAL LOGIC - University credits: 3
Lessons: 20 hours
Professor(s)
Reception:
Wednesday 10:00-13:00 and via Teams upon request
Head of Department's Office, Cortile d’Onore