85001 - Logical Methods for Philosophy

Academic Year 2019/2020

  • Docente: Giovanna Corsi
  • Credits: 12
  • SSD: M-FIL/02
  • Language: Italian
  • Teaching Mode: Traditional lectures
  • Campus: Bologna
  • Corso: First cycle degree programme (L) in Philosophy (cod. 9216)

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

Readings/Bibliography

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