Tuesday 14-16, Room 028
Prerequisites
Propositional and predicate logic.
Basic Material
Assessment
A take-home exam and a term paper.
Here is some information about the term paper and a list of research questions.
Here is an example of an excellent term paper on inquisitive logic (exceeding the requirements).
Course program (preliminary)
10-04 Course introduction
Material: Ch.1, Sections 1.1-1.3.
17-04 Foundations
Material: Ch. 1, Sections 1 (remainder), 2, and 4.
24-04 Inquisitive propositional logic
Material: Sec. 1.3, 2.1, 2.2
08-05 Inquisitive propositional logic
Material: Sec. 2.3, 2.4
15-05 Reasoning with questions
Material: Sec. 2.5, 3.1, 3.2, 3.4
29-05 Completeness theorem
Material: Sec. 3.3
05-06 Inquisitive first-order logic
Material: Sec. 4.1, 4.2, 4.3
12-06 Inquisitive first-order logic + epistemic logic
Material: Sec. 4.4, 4.6
Chapter 2 of van Ditmarsch, van der Hoek & Kooi, Dynamic Epistemic Logic
26-06 Inquisitive epistemic logic
Material.
Chapter 6: intro and Sec. 1, 2.
Chapter 7: intro and Sec. 1, 2.
03-07 Dynamics
Material:
Chapter 8, intro and Sec. 1, 2, 3.
10-07 Dependence logic