OVERVIEW

Topic of the course are the basic concepts of propositional modal logic.

AIMS AND CONTENT

LEARNING OUTCOMES

The aim of the course is to introduce the basic notions of propositional modal logic and of its main applications (aletic modal logic, deontic logic, temporal logic, epistemic logic). The basic techniques of the possible world semantics will be introduced.

AIMS AND LEARNING OUTCOMES

Objectives of the course are:

- to consolidate the skills and competencences learned during the undergraduate course of logic;

- to learn some basic metateoric notions (e.g. formal system, model, correctness and completeness of a formal system);

- to learn the key notions of propositional modal logic;

- to understand the relevance of logical techniques for philosophical argumentation.

At the end of the course, the students must be able to:

- use the key concepts of propositional modal logic and of intentional semantics;

- use such concepts in philosophical argumentation;

- understand, explain and synthesize some texts of philosophical logic.

PREREQUISITES

Students must have already attended an introductory course of Logic.

TEACHING METHODS

- The first part of the course includes frontal lectures;

- the second part of the course includes classroom presentations given by attending students.

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.

SYLLABUS/CONTENT

First part of the course:

- introduction of some fundamental semantic notions (extension, intension) starting from the historical developments of philosophical semantics;

- introduction of some basic metateoretical notions: formal system, model, correctness and completeness theorems;

- introduction of the fundamental concepts of the propositional modal aletic logic: Kripke style semantics, K, T, S4, S5 systems;

- outline of deontic and temporal modal logics;

- hints of epistemic logic; the problem of logical omniscience and the limits of Kripke's semantics.

Second part of the course:

- Seminar presentation of some papers concerning the topics dealt with in the first part.

RECOMMENDED READING/BIBLIOGRAPHY

Attending students

1) Frixione M., Iaquinto S., Vignolo M., Introduzione alle logiche modali, Laterza, capp. 1-4.

2) Palladino D., Palladino C., 2007, Logiche Non Classiche: Un’introduzione, Carocci

3) A paper for classroom presentation chosen among those that will be made available on Aulaweb.

NON-attending students

1) Frixione M., Iaquinto S., Vignolo M., Introduzione alle logiche modali, Laterza, capp. 1-4.

2) Palladino D., Palladino C., 2007, Logiche Non Classiche: Un’introduzione, Carocci

3) Two papers to be chosen among those that will be made available on Aulaweb.

TEACHERS AND EXAM BOARD

Exam Board

DANIELE PORELLO (President)

MARCELLO FRIXIONE

MARIA CRISTINA AMORETTI (Substitute)

LESSONS

LESSONS START

Wednesday, April 1, 2020

Class schedule

LOGIC (LM)

EXAMS

EXAM DESCRIPTION

Attending students: classroom presentation and oral examination. Schedule and modality of the classroom presentations will be planned during the course.

NON-attending students: oral examination.

The registration for the examination is mandatory and must be done at least one week before the exam.

ASSESSMENT METHODS

Attending students

- the classroom presentation (15 points out of 30) assesses the student’s ability to understand, synthesize and expose a text of philosophical logic, and to apply the tools of logical reasoning in the discussion of philosophical problems;

- the oral exam (15 points out of 30) assesses the student’s ability to understand, retain, explain and apply philosophical concepts and arguments of philosophical logic.

NON-attending students

- the oral exam assesses the student’s ability to understand, retain, explain and apply philosophical concepts and arguments concerning cognitive science.

In both cases, the correct use of the philosophical lexicon, the quality of the exposition, as well as the capacity for critical and argumentative reasoning will be taken into account.

Exam schedule

FURTHER INFORMATION

Students that do not attend classes are required to get in touch with the professor