A Dynamic Logic of Interrogative Inquiry
We propose a dynamic-epistemic analysis of the different epistemic operations constitutive of the process of interrogative inquiry, as described by Hintikka’s Interrogative Model of Inquiry (IMI). We develop a dynamic logic of questions for representing interrogative steps, based on Hintikka’s treatment of questions in the IMI, along with a dynamic logic of inferences for representing deductive steps, based on the tableau method. We then merge these two systems into a dynamic logic of interrogative inquiry which articulates a joint treatment of questions and inferences, providing thereby a unified framework representing the informational dynamics of interrogative inquiry. We provide sound and complete axiomatic systems for the three dynamic logics that we introduce, we compare our framework with existing approaches, and we finally propose several directions for further work.
KeywordsInterrogative model of inquiry Dynamic epistemic logic Question Inference
This paper has been presented at the Interrogative Model of Inquiry Seminar in Paris (France, September 2011), the Questions, Games, Logic Workshop in Amsterdam (the Netherlands, December 2011) and the Trends in Logic XI Conference in Bochum (Germany, June 2012). I would like to thank the audiences of these events for helpful feedback and comments. I have benefited from discussions of this work with Johan van Benthem, Can Başkent, Emmanuel Genot, Eric Pacuit, Ştefan Minică, Gabriel Sandu, and Fernando Velázquez-Quesada. I am particularly grateful to Fernando Velázquez-Quesada for suggesting many substantial improvements on an earlier version of this paper. Finally, I am thankful to two anonymous reviewers for their comments and suggestions. The author of this paper acknowledges support from a doctoral fellowship of the Research Foundation Flanders (FWO).
- Aliseda, A. (2006). Abductive reasoning: Logical investigations into discovery and explanation (Synthese library, Vol. 330). Dordrecht: Springer.Google Scholar
- Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98) (pp. 43–56).Google Scholar
- van Benthem, J. (2008). Tell it like it is: Information flow in logic. Journal of Peking University (Humanities and Social Science Edition), 1, 80–90.Google Scholar
- Blackburn, P., De Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge: Cambridge University Press.Google Scholar
- Collingwood, R. (1940). An essay on metaphysics. Oxford: Clarendon Press.Google Scholar
- Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about Knowledge. Cambridge: MIT Press.Google Scholar
- Hintikka, J. (1976). The semantics of questions and the questions of semantics: Case studies in the interrelations of logic, semantics, and syntax. Acta Philosophica Fennica, 28(4).Google Scholar
- Kelly, K. (1996). The logic of reliable inquiry. Oxford: Oxford University PressGoogle Scholar
- Peliš, M., & Majer, O. (2011). Logic of questions and public announcements. In N. Bezhanishvili, S. Löbner, K. Schwabe, & L. Spada (Eds.), Eighth international Tbilisi symposium on logic, language and computation (2009) (Lecture notes in computer science, pp. 145–157).Google Scholar
- Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems (pp. 201–216).Google Scholar
- Velázquez-Quesada, F. (2009). Inference and update. Synthese (Knowledge, Rationality and Action), 169(2), 283–300.Google Scholar