Speaker: Timo Eckhardt (University College London) and David J. Pym (University College London & Institute of Philosophy, University of London)
Date and Time: Thursday, March 13th 2025, 16:30-18:00
Venue: online.
Title: Inferentialist Public Announcement Logics
Abstract. Beginning with an introduction to proof-theoretic semantics, which may be seen as a logical realization of inferentialism, we present a base-extension semantics (B-eS) for public announcement logics (PAL) as a first step in developing B-eS for the larger group of dynamic epistemic logics. This is used to discuss some examples of PAL (including the famous Muddy Children Puzzle) in order to highlight some insights that an inferential perspective can give on the role of information in the reasoning employed.