混合公开宣告逻辑

逻辑学研究 2020 年第 2 期，41–57     文章编号：1674-3202(2020)-02-0041-17

作者：何键枫、王轶

摘 要：人类在思考问题时，常常伴随着对各种可能情形的审视。在经典公开宣告逻

辑中，排除掉不可能的情形即实现对信念的修正。为了能够在语言中直接表达可能情

形，本文探讨公开宣告逻辑的混合化，即增加用于指称可能情形的专名。结合对直接和

间接宣告的区分，引入三个不同的语言。公开宣告逻辑的混合化会导致技术上的困难，

为防止专名失去指称，本文采取基于 K45 模型的“删链”语义学。在此基础上，本文考

察宣告须真和宣告可假两种语义设定，共引入五个混合公开宣告逻辑，对比它们的表达

能力，并给出可靠且完全的公理系统。

关键词：认知逻辑；混合逻辑；模态逻辑；公开宣告逻辑；直接宣告；间接宣告

中图分类号：B81    文献标识码：A