Logic (second level)

A.Y. 2019/2020
9
Max ECTS
60
Overall hours
SSD
M-FIL/02
Language
English
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 (S4,S5, epistemic and doxastic 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 the problems under consideration.
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.
Course syllabus and organization

Single session

Responsible
Lesson period
Second semester
Course syllabus
- intuitionistic logic
- informational view of logical consequence
- modal and epistemic logics (S4,S5, epistemic and doxastic logics)
- non-monotonic logics

Prof. D'Agostino will lecture on modules 1 and 2, while prof. Hosni on modules 3 and 4.
Prerequisites for admission
A basic knowledge of elementary classical logic is strongly advised but not strictly required.
Teaching methods
Frontal lectures, classroom exercises
Teaching Resources
Handouts provided by the lecturers
Assessment methods and Criteria
Written + oral exam: the written part consists in the submission of an essay (max 5000 words) on one of the topics of the course previously agreed with the lecturer; the oral part consists in a discussion of the essay plus questions on the other topics.
Unita' didattica A
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica B
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica C
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Educational website(s)
Professor(s)
Reception:
Until the end of the COVID-19 emergency, students can request clarifications via Skype in all working days (please write to marcello.dagostino@unimi.it to make an appointment).
Department of Philosophy 2nd floor (Cortile della Ghiacciaia)