Logic

A.Y. 2019/2020
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-L)

Responsible
Lesson period
Second semester
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity
Prerequisites for admission
Nothing
Teaching methods
Frontal lectures, self-assessment tests
Bibliography
Handouts provided by the lecturer.
Assessement 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

(M-Z)

Responsible
Lesson period
Second semester
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity
Prerequisites for admission
None.
Teaching methods
Frontal lectures, self-assessment tests
Bibliography
Handouts provided by the lecturer.
Assessement 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
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)
Reception:
By appointment
Department of Philosophy, 2nd Floor