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