Learning objectives
Formal Logic for analyzing natural language and arguments expressed in it.
Propositional S4 system of Modal Logic.
Prerequisites
Semantics of Propositional Classical Logic
Course unit content
A short introduction to Modal (S4) Propositional Logic
Full programme
1) Intuitive interpretations and translations into metalanguage.
2) Natural Deduction for propositional S4 and Kripke models
Bibliography
Notes sent directly to Students' e-mail addresses
Teaching methods
Oral lessons
Assessment methods and criteria
Final oral exam
Other information
- - -