CODE  65151 

ACADEMIC YEAR  2022/2023 
CREDITS 

SCIENTIFIC DISCIPLINARY SECTOR  MFIL/02 
TEACHING LOCATION 

SEMESTER  1° Semester 
TEACHING MATERIALS  AULAWEB 
This course provides an introduction to the basics of propositional and firstorder 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 firstorder 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. Nonattending 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 firstorder 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.
Other readins:
And
Or
The suggest books may change so please contact me before selecting the texts.
Office hours: Tuesday 1517 DAFIST, sezione di Filosofia, Via Balbi 4, II piano. On Teams, team code qqnykcf.
DANIELE PORELLO (President)
MARCELLO FRIXIONE
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 firstorder 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 firstorder predicate logic and the ability of logical reasoning.
The evaluation shall depend on the following aspects:
Date  Time  Location  Type  Notes 

13/12/2022  09:00  GENOVA  Orale  
13/12/2022  09:00  GENOVA  Compitino  
19/01/2023  09:00  GENOVA  Compitino  
19/01/2023  09:00  GENOVA  Orale  
02/02/2023  09:00  GENOVA  Compitino  
02/02/2023  09:00  GENOVA  Orale  
11/05/2023  09:00  GENOVA  Compitino  
11/05/2023  09:00  GENOVA  Orale  
25/05/2023  09:00  GENOVA  Compitino  
25/05/2023  09:00  GENOVA  Orale  
15/06/2023  09:00  GENOVA  Orale  
15/06/2023  09:00  GENOVA  Compitino  
29/06/2023  09:00  GENOVA  Orale  
29/06/2023  09:00  GENOVA  Compitino  
07/09/2023  09:00  GENOVA  Orale  
07/09/2023  09:00  GENOVA  Compitino 
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.