作为知何认知逻辑的好奇逻辑

在本文中，我们给出命题好奇逻辑的一种替代解释，将其视为知何（knowing how）的认知逻辑。在我们的设定中，好奇逻辑公式 $\alpha$ 被某一状态支持，被形式化为“知道如何解决 $\alpha$”（更通俗地说，“知道 $\alpha$ 如何为真”）在该状态对应的 S5 认知模型上成立。基于这一认知解释，我们使用一种同时含有知何与知彼（know-that）算子的动态认知逻辑，来刻画好奇逻辑中看似无害的连接词背后的认知信息。我们证明有效的知何公式之集恰好对应于好奇逻辑。主要结果是利用完整的动态认知语言给出一组具有直观公理的完全公理化。此外，我们证明知何算子与动态算子均可在不改变模型上表达力的前提下被消去，这与文献中已有的好奇逻辑的模态翻译相一致。我们希望我们的框架能为好奇逻辑中的各种概念与技术结果提供直观的替代解释，并为在认知语境下进行好奇推理提供强大而灵活的工具。