CODE  65151 

ACADEMIC YEAR  2021/2022 
CREDITS 

SCIENTIFIC DISCIPLINARY SECTOR  MFIL/02 
TEACHING LOCATION 

SEMESTER  1° Semester 
TEACHING MATERIALS  AULAWEB 
This course provides an introduction to the basic principles of propositional and firstorder predicate logic, touching also some basic elements of propositional modal logic.
The course includes a singificant practical component, to get used to logical and mathematical language and to train the ability of logical reasoning and of analising argumentations in natural language by means of the methods of mathematical logic.
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 basics of modal propositional logic and trains the ability of formalising natural languge sentences and argumentations by means of modal 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) Frontal lessons about theory, examples, applications.
2) Exercise and practice sessions.
Attendance is strongly recommended, due 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, it is however possible to attend the course online on Teams (access codes shall be priovided as soon as possible).
Program for 6 credits:
1. introduction to propositional logic:
2. Introduction to firstorder predicate logic
For 9 credits, besides point 1 and 2:
3. Introduction to modal logics:
All required teaching material (lecture notes, slides, etc.) will be made available on Aulaweb.
Further readings are:
6 cfu bibliography:
D. Palladino, Corso di logica, Roma, Carocci.
And:
or:
9 cfu: (besides the previous references:
or
Office hours: Tuesday 1113 DAFIST, sezione di Filosofia, Via Balbi 4, II piano. On Teams, team code qqnykcf.
DANIELE PORELLO (President)
MARCELLO FRIXIONE
MARIA CRISTINA AMORETTI (Substitute)
28 September 2021
Tuesday 9.00  11.00
Wednesday 9.00  11.00
Thursday 9.00  11.00
Oral exam concerning the topics addressed in the lectures.
Written exam proposing to solve simple exercise and to analyse argumentaions in natural language.
Enrollment is mandatory and must be done at least one week before the examination.
The exam evaluates the student's ability to know and to apply the fundamental concepts of the discipline.
The written part concerns the abiity of approaching simple exercises to assess the abilities of applying the methods presented in the course and to analyise natural language arguments.
The oral part concerns the theoretical content of the course and assesses the ability of using the technical language of mathematical logic with precision, the understanding of the main concepts of propositional and predicate logic (and modal logic, for 9 credits), and the ability of reasoning logically.
Date  Time  Location  Type  Notes 

16/12/2021  10:00  GENOVA  Orale  
20/01/2022  10:00  GENOVA  Orale  
04/02/2022  10:00  GENOVA  Orale  
12/05/2022  10:00  GENOVA  Orale  
26/05/2022  10:00  GENOVA  Orale  
16/06/2022  10:00  GENOVA  Orale  
30/06/2022  10:00  GENOVA  Orale  
08/09/2022  10:00  GENOVA  Orale 
Those who cannot attend classes are required to get in touch with the teachers. Please do contact the teacher before the exam to assess your practical ability of solving the proposed exercises.