The dynamic logic of stating and asking

Ciardelli, Ivano (2017): The dynamic logic of stating and asking. A study of inquisitive dynamic modalities. International Workshop on Logic, Rationality and Interaction, Sapporo, Japan, 11. - 14. September 2017. Baltag, Alexandru (Hrsg.): In: Logic, rationality, and interaction ; 6th international workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings, Bd. 10455 Berlin: Springer. S. 240-255

Abstract

Inquisitive dynamic epistemic logic (IDEL) extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with standard public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic.

• Dokumententyp: Konferenzbeitrag (Paper)
• Publikationsform: Submitted Version
• Keywords: Questions; inquisitive logic; dynamic epistemic logic; public announcement; reduction axioms
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Lehrstuhl für Logik und Sprachphilosophie
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik ; 400 Sprache > 410 Linguistik ; 500 Naturwissenschaften und Mathematik > 510 Mathematik
• Ort: Berlin
• Sprache: Englisch