This course offers an elementary introduction to classical logic from a philosophical perspective. Students will get familiarized with the formal languages of propositional and predicate logic. The meaning of logical connectives ("and", "or", "implies", "not") and quantifiers ("for all", "there is a") will be discussed in terms of their model-theoretic semantics. A formal proof method will be introduced. A part of the course will be devoted to practical exercises. In this way students have the opportunity to internalize and consolidate their theoretical insights. 

 A precondition for receiving a certificate is 1.) to submit weekly homework regularly and 2.) to pass the written exam at the end of the course. The certificate can be with or without grade (dependent on the amount of work). 

Please register by sending an email to 



For literature besides the script (which will be available via the moodle online portal), see e.g., 

Graeme Forbes: Modern Logic. Oxford University Press, 1994. 

Wesley C. Salmon: Logik. Reclam, 1983. 

Theodor Sider, Logic for Philosophy, Oxford University Press, 2010. 

Dirk Van Dalen, Logic and Structure, Springer, 2004 

Raymond M. Smullyan, Logical Labyrinths, A K Peters Ltd, Wellesley, MA, 2009