-
题名独知逻辑与秘密逻辑
- 1
-
-
作者
熊作军
-
机构
西南大学逻辑与智能研究中心
-
出处
《逻辑学研究》
2026年第1期62-88,共27页
-
基金
国家社会科学基金项目“秘密信息的动态认知逻辑研究”(24BZX112)。
-
文摘
“独知”即仅为某一个体所知,它是该个体秘密地知道(某一命题)的必要条件。本文在知识逻辑的基础上讨论了“独知”模态及其公理系统,并进一步对秘密逻辑系统进行了扩展,构造了基于S5系统的独知逻辑与S4系统的纯秘密逻辑。在独知逻辑方面,揭示了其在“无穷主体集”下的非紧致性,并给出了可靠且强完全的“无穷证明系统”。在秘密逻辑方面,对单主体的纯秘密逻辑系统(不含知道算子)ICST进行了扩展,引入了正自省公理(4公理),得到了ICST4系统,并通过标准模型与翻译证明了其在自反传递的克里普克模型上的完全性问题。最后,本文对独知逻辑与秘密逻辑的相关研究方向进行了讨论。
-
关键词
独知
秘密
icst4
无穷证明系统
-
分类号
B81
[哲学宗教—逻辑学]
-
