新著新论 | 学院熊作军老师新作刊发《逻辑学研究》
发布时间： 2026-03-10 15:15:06 已阅读：近日，学院熊作军老师撰写的《独知逻辑与秘密逻辑》发表在《逻辑学研究》杂志2026年第1期第19卷（总第86期）。文章围绕“独知”与“秘密”展开研究，构造了独知逻辑的无穷证明系统与自反传递的纯秘密逻辑的有穷证明系统，为多主体秘密逻辑系统的构建提供了理论参考，系国家社科基金项目“秘密信息的动态认知逻辑研究”的阶段性成果。
文章强调，“独知”即仅为某一个体所知，它是该个体秘密地知道（某一命题）的必要条件。文章在知识逻辑的基础上讨论了“独知”模态及其公理系统，并进一步对秘密逻辑系统进行了扩展，构造了基于 S5 系统的独知逻辑与 S4 系统的纯秘密逻辑。在独知逻辑方面，揭示了其在“无穷主体集”下的非紧致性，并给出了可靠且强完全的“无穷证明系统”。在秘密逻辑方面，对单主体的纯秘密逻辑系统（不含知道算子）ICST 进行了扩展，引入了正自省公理（4 公理），得到了 ICST4 系统，并通过标准模型与翻译证明了其在自反传递的克里普克模型上的完全性。最后，文章对独知逻辑与秘密逻辑的相关研究方向进行了讨论。
供稿、供图：熊作军
审核：殷铭、何健、陈丽华