The student should be familiar with classical propositional logic.
The students will acquire knowledge of both syntax and semantics of various non-classical logics.
The course will offer an introduction to a variety of non-classical logics. In particular, we will study (normal and non-normal) modal logics, intuitionistic logic, and multi-valued logics.
G. Priest, An Introduction to Non-Classical Logic (2nd Edition), Cambridge University Press
Frontal and online lectures.
Relazione seminariale + Orale
The online lectures of the course will be in this virtual room: https://unisi.webex.com/unisi/j.php?MTID=m513e56b20a76ea6b9f93e14d83e1398c (password: seUkTimS272).
You can also access the virtual room by entering the Meeting Number 1378570240 here: https://elearning.unisi.it/enrol/index.php?id=4448 (password: FOL2020)
All students should subscribe to the Moodle page of the course: https://elearning.unisi.it/enrol/index.php?id=4448 (password: FOL2020).