CODE  84346 

ACADEMIC YEAR  2022/2023 
CREDITS 

SCIENTIFIC DISCIPLINARY SECTOR  MFIL/02 
LANGUAGE  Italian 
TEACHING LOCATION 

SEMESTER  1° Semester 
TEACHING MATERIALS  AULAWEB 
The course expands a few topics in classical logic, introduces modal logics, and discusses some topics in nonclassical logics. The objective of the course is to approach a number of research problems at the intersection of mathematical logic and philosophical logic, knowledge representation, formal ontology, or artificial intelligence.
The aim of the course is to introduce a number of research topics in mathematical logic that are of interest for philosophers working in areas such as philosophical logic, knowledge representation, formal semantics, formal ontology, or artificial intelligence.
Objectives of the course are:
At the end of the course, students are expected to
The course is designed to expand the course of logic for the bachelor in philosophy.
Knowledge of classical propositional and firstorder logic is then a prerequisite for this course.
Lectures are hopefully held in presence. Nonattending students are rerquired to contact me to decide the content of the exam and to access to further teaching materials.
For the first part, the course consists of frontal lecture and exercise sessions.
For the second part, the course consists of presentations of research topics and discussion. During the course, compatibly with the available resources, external experts could be invited to hold seminars on specific topics.
Students are required to register at Aulaweb, where teaching materials will be uploaded.
The course is divided into two parts:
1) An overview of propositional and firstorder logic, logical calculi, an introduction to modal logics, an introduction to topics in nonclasscial logics.
2) A number of presentations of research topics at the intersection of mathematical logic and philosophical logic, formal semantics, formal ontology, knowledge representation or artificial intelliegence.
First part:
Second part:
All the required materials (slides, lecture notes, articles, chapters) will be provided in AulaWeb.
Alternatively,
For the part on propositional and firstorder logic and Hilbert systems:
Or
For the part on modal logics:
or
For the second part of the course:
An article or chapters among those suggested and included in Aulaweb.
For NONattending students: besides the texts reported above, please contact me to decide the program.
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)
21st September 2022
Wednesday 10.00  12.00
Thursday 10.00  12.00
The exam is divided into two parts.
1) Presentation or project or short essay (15 points over 30) on a topic selected among a list of proposals discussed in the second part of the course.
2) Oral exam (15 points over 30) about the topics of te first part of the course.
Attendance is strongly encouraged, due the the practical and interactive components of the course.
Nonattending students must contact me in time to decide the program.
The registration to the exam is mandatory and must be done at least one week before the exam.
Attending students
 The presentation or project or short essay (15 points out of 30) assesses the student’s ability to understand, synthesize and expose a text of philosophical logic, or a problem, and to apply the tools of logical reasoning in the discussion of logical and philosophical problems;
The oral exam (15 points out of 30) assesses the student’s ability to understand, retain, explain and apply the logical concepts introduced in the fist part of the course.
Attendance is strongly encouraged, due to the practice and interactive moments of this course. Nonattending students must contact me in due time to decide the program and select the topic for the presentation or short essay.
The assement depends on
Date  Time  Location  Type  Notes 

13/12/2022  09:00  GENOVA  Compitino  
13/12/2022  09:00  GENOVA  Orale  
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  Compitino  
15/06/2023  09:00  GENOVA  Orale  
29/06/2023  09:00  GENOVA  Compitino  
29/06/2023  09:00  GENOVA  Orale  
07/09/2023  09:00  GENOVA  Compitino  
07/09/2023  09:00  GENOVA  Orale 
Students that do not attend classes are required to get in touch with the professor.