Questions and dependency in logic

Course description

This course explores some recent developments in the field of logic.

First, and more specifically, the course is an introduction to the
growing field of inquisitive logic. Classically, logic is concerned with
relations between sentences of a particular kind, namely, statements.
Inquisitive logic broadens this classical view of logic by bringing
questions into the picture. We will see that questions, while
traditionally neglected, actually have an important role to play in
logic: they can participate in entailment relations and manipulated in
inferences, they can be combined by connectives and quantifiers, and
they give rise to an elegant mathematical theory.

Second, and more broadly, the course explores the information-based
perspective on logic. While this perspective is crucial to inquisitive
logic, it plays an equally important role in other recent developments,
such as dependence logic and accounts of the logic of epistemic vocabulary.


Time and place

Time: Friday 14-16 (class) and Wednesday 11-12 (exercises)
Start: Friday 24.04.2020
Place: classes will, at least initially, take place in the form of Zoom meetings.
Further details will be provided soon to all registered participants.


Prerequisites

Propositional and predicate logic.


Basic Material

Questions in Logic


Assessment

In principle, the assessment is based on a final exam. Should the university stay closed until the end of the semester, this might have to change.


Course program (preliminary)

Part I: inquisitive logic

24.04. Introduction and foundations.
Material: Intro slides. Pages 1–7 of the dissertation (excluding 1.1.4)
Exercise sheet 1

08.05. Generalizing logical consequence.
Material: remainder of Ch. 1 (section 1.6 is optional)
Exercise sheet 2

22.05. Inquisitive propositional logic.
Material: Slides. Ch. 2.1 and 2.2 (pp. 45-54)
Exercise sheet 3
Exercise sheet 4
Solution to Ex 1 of sheet 4

05.06. Inquisitive propositional logic.
Material: Slides. Ch. 2.3-2.5 (pp. 44-68)
Exercise sheet 5

10.06. Reasoning with questions.
Material: Ch. 3.1, 3.2 and 3.4
Solution to Ex 2 of sheet 5

12.06. Completeness theorem for InqB.
Material: Ch. 3.3.
Exercise sheet 6

19.06. Inquisitive predicate logic.
Material: Ch. 4.1 (pp. 95-102)
Exercise sheet 7

26.06. Inquisitive predicate logic.
Material: Ch. 4.2-4.4 (optional: 4.5)
Exercise sheet 8
Solutions to exercise sheet 8

03.07. Inquisitive predicate logic, modal logic recap.
Material: Slides, Ch. 4.6
Optional advanced readings: Grilletti2019Grilletti&Ciardelli2020
Exercise sheet 9

10.07. Inquisitive modal logic.
Material: Slides, Ch. 6.1-6.4.3 (pp. 199-217)
Optional: Ch. 6.4.4, 6.5, Ch. 7
Exercise sheet 10

Part 2: informational consequence beyond question

17.07. Dependence logic
24.07. Consequence and epistemic modals