报告人：王昊玉

题目：Knowing how to understand inquisitive logic

时间：2021/3/9 15:10-18:00

地点：二教416

摘要：This report is on an ongoing joint work by Yanjing Wang, Yunsong Wang and me, in which we show that inquisitive logic is an epistemic logic of knowing how. Over standard epistemic models, we use an epistemic logical language of knowing that and knowing how to reveal the intuitive epistemic meaning behind the innocent-looking  propositional connectives according the inquisitive semantics, based on the BHK-interpretation for intuitionitic logic. The inquisitive logic can be viewed as the set of valid know-how formulas in our framework. The main result is a complete axiomatization of the dynamic epistemic logic of knowing that and knowing how which can facilitate intuitive reasoning about inquisitive logic. We also show that the knowing how operator and the dynamic operator can be eliminated, and inquisitive logic can be translated into S5 modal logic. Our framework gives intuitive epistemic meaning to concepts and results in inquisitive logic and make the existing technical results transparent, which may sharpen our understanding of inquisitive logic.