Questions and dependency in logic

Tuesday 14-16, Room 028


Prerequisites

Propositional and predicate logic.


Basic Material

Questions in Logic


Assessment

A take-home exam and a term paper.

Here is the take-home exam.

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