85001 - Logical Methods for Philosophy

Course Unit Page

Academic Year 2019/2020

Learning outcomes

At end of course, the student has a critical and updated knowledge of the development of the logic of research and issues related to epistemology, the theory of computability, the development of theoretical computer science.

Course contents

Non-classical logics will be presented.

Themes of the course:

Propositional and predicative modal logics,

possible worlds semantics

definable properties

modal calculi

problems related to identity

the substitution problem


Corso di logica modale proposizionale, Eugenio Orlandelli e Giovanna Corsi, Carocci 2019.

Logica modale quantificata e designatori non rigidi, Eugenio Orlandelli, CLUEB 2019.

Introduzione alle logiche modali, M.Frixione, S.Iaquinto, M.Vignolo, Editori Laterza 2016.

Teaching methods

Lectures and seminars

Assessment methods

Presentation of a paper and discussion

Teaching tools

Usual devices

Office hours

See the website of Giovanna Corsi