Inquisitive logic as an epistemic logic of knowing how

被引:0
|
作者
Wang, Haoyu [1 ]
Wang, Yanjing [1 ]
Wang, Yunsong [2 ]
机构
[1] Peking Univ, Dept Philosophy, Beijing, Peoples R China
[2] Univ Amsterdam, ILLC, Amsterdam, Netherlands
关键词
Inquisitive logic; Epistemic logic; Logic of knowing how; Intuitionistic logic; BHK-interpretation; Resolution; SEMANTICS;
D O I
10.1016/j.apal.2022.103145
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In this paper, we present an alternative interpretation of propositional inquisitive logic as an epistemic logic of knowing how. In our setting, an inquisitive logic formula alpha being supported by a state is formalized as knowing how to resolve alpha (more colloquially, knowing how alpha is true) holds on the S5 epistemic model corresponding to the state. Based on this epistemic interpretation, we use a dynamic epistemic logic with both know-how and know-that operators to capture the epistemic information behind the innocent-looking connectives in inquisitive logic. We show that the set of valid know-how formulas corresponds precisely to the inquisitive logic. The main result is a complete axiomatization with intuitive axioms using the full dynamic epistemic language. Moreover, we show that the know-how operator and the dynamic operator can both be eliminated without changing the expressivity over models, which is consistent with the modal translation of inquisitive logic existing in the literature. We hope our framework can give an intuitive alternative interpretation to various concepts and technical results in inquisitive logic, and also provide a powerful and flexible tool to handle both the inquisitive reasoning and declarative reasoning in an epistemic context. (c) 2022 Elsevier B.V. All rights reserved.
引用
收藏
页数:29
相关论文
共 50 条
  • [1] Inquisitive dynamic epistemic logic
    Ciardelli, Ivano A.
    Roelofsen, Floris
    [J]. SYNTHESE, 2015, 192 (06) : 1643 - 1687
  • [2] Inquisitive dynamic epistemic logic
    Ivano A. Ciardelli
    Floris Roelofsen
    [J]. Synthese, 2015, 192 : 1643 - 1687
  • [3] A Logic of Knowing How
    Wang, Yanjing
    [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 392 - 405
  • [4] Inquisitive Logic
    Ivano Ciardelli
    Floris Roelofsen
    [J]. Journal of Philosophical Logic, 2011, 40 : 55 - 94
  • [5] Inquisitive Logic
    Ciardelli, Ivano
    Roelofsen, Floris
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (01) : 55 - 94
  • [6] KNOWING, NOT-KNOWING AND BELIEVING, FREUD PUZZLE AND EPISTEMIC LOGIC
    STEPHAN, A
    [J]. ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1992, 46 (02): : 257 - 265
  • [7] KNOWING ONESELF AND OTHER PROBLEMS IN EPISTEMIC LOGIC
    HINTIKKA, J
    [J]. THEORIA, 1966, 32 : 1 - 13
  • [8] LOGIC OF KNOWING HOW AND ABILITY
    CARR, D
    [J]. MIND, 1979, 88 (351) : 394 - 409
  • [9] Propositional inquisitive logic: a survey
    Ciardelli, Ivano
    [J]. COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2016, 24 (03) : 295 - 311
  • [10] Inquisitive Propositional Dynamic Logic
    Vít Punčochář
    Igor Sedlár
    [J]. Journal of Logic, Language and Information, 2021, 30 : 91 - 116