混合公开宣告逻辑

摘要：

人类在思考问题时,常常伴随着对各种可能情形的审视.在经典公开宣告逻辑中,排除掉不可能的情形即实现对信念的修正.为了能够在语言中直接表达可能情形,本文探讨公开宣告逻辑的混合化,即增加用于指称可能情形的专名.结合对直接和间接宣告的区分,引入三个不同的语言.公开宣告逻辑的混合化会导致技术上的困难,为防止专名失去指称,本文采取基于K45模型的"删链"语义学.在此基础上,本文考察宣告须真和宣告可假两种语义设定,共引入五个混合公开宣告逻辑,对比它们的表达能力,并给出可靠且完全的公理系统.

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

所属期刊栏目：13

分类号：B81(逻辑学(论理学))

资助基金：国家社科基金青年项目16CZX048

在线出版日期：2020-07-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共17页

页码：41-57