Puzzles

Puzzles

Hans van Ditmarsch (LORIA – CNRS / University of Lorraine, France) and Eric Pacuit (University of Maryland, USA)

In this foundational course we will treat some well-known puzzles about knowledge and belief in detail. We focus on modelling knowledge, belief, ignorance and in particular the dynamics of such epistemic attitudes. In addition, we will discuss common knowledge and common belief and their dynamics, and on probability and knowledge. We will do all this without going into formal logical details. This is because the goal of this course is motivational: it attempts to justify and clarify the need for logical modelling of such puzzling phenomena. Puzzles treated include: Muddy Children, Sum and Product, One Hundred Prisoners, Surprise Examination, Monty Hall Problem, Judy Benjamin problem, the Preface Paradox, the Lottery Paradox, the Coordinated Attack Problem, and the Brandenburg-Kreisler Paradox. The course should help to make technical courses on modal logic and Bayesian epistemology more accessible. Logical syntax and semantics will only rarely be presented. The strong focus is on meta-level analysis, i.e., explanations in words and with structures, not with formulas.