|SCIENTIFIC DISCIPLINARY SECTOR||M-FIL/02|
This course provides an introduction to the basics of propositional and first-order predicate logic. The course includes a singificant practical component, to get used to logical and mathematical language, to train logical reasoning, to train the ability of proving simple logical statements, to practice the evaluation of argumentations in natural language.
The aims of the course are:
The aims of the course are to introduce (for 6 credits):
Moreove, the course trains:
For 9 credits, the course introduces also the proof of some of the important theorems of propositional and first-order logic.
At the end of the course, students are supposed to be capable of:
Students must have attended the first year course on REASONING AND THEORY OF SCIENCE.
1) Lectures about theory, examples, applications.
2) Exercise and practice sessions.
Attendance is strongly recommended, due to the type of course and to the number of practice moments of the course.
Students are required to register at Aulaweb, where materials useful for the course will be uploaded.
Lecture are hopefully held in presence. Non-attending students are required to contact me to decide the content of the exam and to benefit from further teaching materials.
Le lezioni si terranno auspicabilmente in presenza. Chi non frequenta è tenuto a contattare il docente per decidere il programma d'esame e per accedere a materiali didattici aggiuntivi.
Program for 6 credits:
1. introduction to propositional logic:
2. Introduction to first-order predicate logic
For 9 credits, besides point 1 and 2:
All required teaching material (lecture notes, slides, etc.) will be made available on Aulaweb or Teams.
The suggest books may change so please contact me before selecting the texts.
Office hours: Tuesday 15-17 DAFIST, sezione di Filosofia, Via Balbi 4, II piano. On Teams, team code qqnykcf.
DANIELE PORELLO (President)
MARIA CRISTINA AMORETTI (Substitute)
20th September 2022
Tuesday 12.15 -- 13.45
Wednesday 12.15 -- 13.45
Thursday 12.15 -- 13.45
Written exam proposing to solve exercise and approach problems by means of the methods that we have introduced.
Oral exam concerning the presentation and understanding of the topics addressed in the lectures.
Enrollment is mandatory and must be done at least one week before the examination.
The exam assesses the student's ability to present and to apply the concepts and methods of propositional logic and of first-order predicate logic.
The written part assesses the ability of appling the methods presented in the course, of analyising natural language arguments, of proving simple logical theorems.
The oral part concerns the theoretical content of the course and assesses the ability of correctly using the technical language of mathematical logic, the understanding of the main concepts of propositional and first-order predicate logic and the ability of logical reasoning.
The evaluation shall depend on the following aspects:
Attendance is encouraged, due to the practical content of this course.
Those who cannot attend classes are required to get in touch with the teacher.
Please do contact the teacher before the exam to assess your practical ability of solving the proposed exercises.