Logic

A.Y. 2020/2021
9
Max ECTS
60
Overall hours
SSD
M-FIL/02
Language
Italian
Learning objectives
The course aims to provide students with the basics notions and methods of contemporary logic, with an approach oriented towards the acquisition of knowledge as well as the development of practical skills. Such notions and methods will be valuable in any activity requiring advanced reasoning and problem-solving abilities.
Expected learning outcomes
Knowledge and understanding:

- knowledge of the basic notions and methods of modern formal logic;
- master the fundamental tools of deductive logic
- basic knowledge of the fundamental results in propositional and quantificational logic: completeness, decidability of Boolean logic, undecidability of quantificational logic, computational complexity of Boolean logic.
Ability to apply knowledge and understanding

At the end of the course, students are expected to be able to:
- define suitable formal languages to solve a given class of problems;
- translate sentences from ordinary language into a suitable Boolean or first-order language;
- carry out deductions and find counterexamples to incorrect inferences.
- can apply the logical tools acquired to solve theoretical and practical problems.
Course syllabus and organization

(A-K)

Responsible
Lesson period
Second semester
The course will be delivered with a combination of synchronous and asynchronous modalities. Two of there three weekly lectures will be devoted to asynchronous voice-over-slides presentations; the third one will be devoted to synchronous lectures/online meetings during which topics presented during the week will be discussed and knowledge acquisition will be tested. Both synchronous and asynchronous lectures, as well as all teaching material, will be made available through the Ariel website for this course. For the intermediate and final tests, we will use the secure site exam.net. The simple user instructions will be published in the Ariel website.
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity
Prerequisites for admission
None
Teaching methods
Frontal lectures, self-assessment tests
Teaching Resources
Handouts provided by the lecturer.
Assessment methods and Criteria
Written Exam: Test with theory questions and closed answer exercises, aimed at verifying knowledge and skills acquisition within the learning objectives of the course. The test includes questions and exercises with three difficulty levels:

* = easy
** = medium
*** = hard

Evaluation is as follows:

D fail = the candidate did not answer to most questions labelled by *.
C 2:2 (18-22) = the candidate answers to most questions labelled by *.
B 2:1 (23-28) = the candidate answers to all questions labelled by * and to most questions labelled by **.
A first (29-30 e lode)= the candidate answers to all questions labelled by * and **, and to most questions labelled by ***.

Exam for non-attending students: Written test.

Exam for attending students: Two written intermediate tests and a written final test, aimed at verifying knowledge and skills acquisition. Successful completion of each test is a prerequisite for accessing the next test; all three tests need to be successfully completed for the course to be passed. Final evaluation will be based on the intermediate results and will be proposed at the enrollment in the final exam. Students who did not pass one of the tests, or decided not to accept the proposed grade, will be required to sit a final written exam.
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

(L-Z)

Responsible
Lesson period
Second semester
The course will be delivered with a combination of synchronous and asynchronous modalities. Of the 6 weekly hours of lectures, 4 will be devoted to asynchronous lectures through voice-over-slides presentations; 2 hours will be devoted to synchronous lectures/online meetings during which topics presented during the week will be discussed and knowledge acquisition will be tested. Both synchronous and asynchronous lectures, as well as all teaching material, will be made available through the Ariel channel for this module. If the regular written exam sessions would result impossible, the digital platform EXAM.net will be used with video surveillance.
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity
Prerequisites for admission
None.
Teaching methods
Frontal lectures, guided tests, self-assessment tests.
Teaching Resources
Handouts provided by the lecturer.
Assessment methods and Criteria
Written Exam: Test with theory questions and closed answer exercises, aimed at verifying knowledge and skills acquisition within the learning objectives of the course. The test includes questions and exercises with different difficulty levels and weighted accordingly, with easier questions granted less points. Passing the exams requires verification that all essential knowledge has been acquired. Evaluation will be based on three optional tests, where satisfactory completion of each is required for access to the next one and grading based on a weighted average of the results. Students can opt-out from the tests or decline the grade obtained to stand in the final exam.
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
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)
Reception:
By appointment
Department of Philosophy, 2nd Floor