- Docente: Giovanna Corsi
- Credits: 12
- SSD: M-FIL/02
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
- Corso: Second cycle degree programme (LM) in Philosophical Sciences (cod. 8773)
Learning outcomes
At the end of the course, students are supposed to become acquainted with the metatheory of some selected formal system: modal logic, intuitionistic logic, Peano's arithmetic or Goedel's incompleteness theorems.
Course contents
Quantified Modal Logic
The course presupposes the knowledge of the basics of first-order logic as thought in a standard course of logic in the triennium
INIZIO: 5th February 2018
Schedule 2017-18:
2° semester
Mon 15-17 room IV via Zamboni 38
Tue 15-17 room IV via Zamboni 38
Thu 11-13 Seminar room, via Zamboni 38
Readings/Bibliography
G.Hughes & M.Cresswell, A New Introduction to Modal Logic, New York : Routledge, 1996
Teaching methods
Lectures and discussions.
Assessment methods
The final exam will consist in an oral test, in which students are supposed to prove their correct comprehension of basic notions and results related to Goedel's incompleteness theorems.
Teaching tools
Slides
Office hours
See the website of Giovanna Corsi