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.
Propositional and predicate logic.
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
08.05. Generalizing logical consequence.
Material: remainder of Ch. 1 (section 1.6 is optional)
Exercise sheet 2
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
Part 2: informational consequence beyond question
17.07. Dependence logic
24.07. Consequence and epistemic modals