Practical information
Mondays, from 2pm to 4pm
Practice sessions: Mondays, from 6pm to 7pm
Office hours by appointment, in room 234, Ludwigstrasse 31, second floor
You can find the take-home exam here. You can either take it or write an essay (ca 15 pages). In both cases, the deadline is September 22, 2017. Please send me your answers/essay per email. We can discuss topics if you need advice wrt the essay. I can also recommend bibliography. If something is unclear or you are having serious trouble with some of the exercises, drop me an email.
You can find the text book here (credits to Max).
Here's a cool tool for drawing Kripke-models!
Lectures
0. Introduction: What is Modal Logic?
24/4
Read: Garson's (2013), Introduction: What is Modal Logic?
1. System K: Language and Natural Deduction
8/5
Read: Garson's (2013), Chapter 1, except section 1.6.
Exercises: all exercises in the chapter except those in section 1.6 and exercise 1.14.
2. Extensions of K
15/5 - 29/5
Read: Garson's (2013), Chapter 2, except sections 2.2 and 2.8.
Exercises: all exercises in the chapter before section 2.8. For exercises 2.2 and 2.16, don't write an essay (if you don't feel like it), just consider the questions.
3. Possible-Worlds Semantics
12/6
Read: Garson's (2013), Chapter 3.
Exercises: all exercises in the chapter expect exercise 3.3.a) and 3.4.c).
4. The Accessibility Relation
19/6
Read: Garson's (2013), Chapter 5, except sec. 5.5.
Exercises: 1, 2, 4, 5, 6, 13.
5. Soundness and Completeness for Modal Propositional Systems
19/6 - 26/6
Read: Garson's (2013), Chapter 9.
6. How to Introduce Quantifiers to Modal Logic?
A) The Failure of Leibniz Law
3/7 - 10/7
Read: Garson's (2013), Chapter 12.1-3; Russell's (1905) "On Denoting".
B) The Problem of Non-Denoting Terms
10/7 - 17/7
Read: Garson's (2013), Chapter 12.4; Quine's (1963) "On What there is"; Nelson's (2012) "Existence".
C) Constant vs Variable Domains - Rigid and Non-Rigid Designators
17/7 - 24/7
Read: Garson's (2013), Chapter 12.7-13; Linsky and Zalta's (1994) "In Defense of the Simplest Quantified Modal Logic"; Kripke's (1963) "Semantical Considerations in Modal Logic".
Exercises: all in the chapter except 12.19-22.
7. Semantics for Quantified Modal Logics
24/7
Read: Garson's (2013), Chapter 13.1-5.
Exercises: 13.2, 8, 9, and 10.
Course description
The course consists in a thorough introduction to modal logic. Modal logics are mainly concerned with the deductive behaviour of modalities. These are primarily the alethic modalities (ways in which a sentence can be true) ‘it is necessary that’ or ‘necessarily’ and ‘it is possible that’ or ‘possibly’, but also include epistemic modalities such as ‘is known that’ and ‘is believed that’, deontic modalities such as ‘it is obligatory that’ and ‘it is permitted that’, tense modalities, and provability modalities, among others.
The first half of the course is devoted to modal propositional logics, their semantics and proof-theory, as well as the presentation of well-known metatheoretic results. This includes a detailed exposition of possible-worlds semantics, an tool ubiquitous tool in mathematical philosophy. The second half of the course focuses on modal predicate logics, their semantics, proof-theory and salient metatheoretic results. Students are introduced to the traditional philosophical issues revolving around the identity relation, predicates of existence, definite descriptions, Barcan formulae, and intensional objects.
Course material
Bibliography