自认知逻辑AEL

发布时间：2021-08-29 09:57

　　自认知逻辑是一种重要的非单调模态逻辑，主要是研究认知主体关于自身信念的推理形式及其有关问题的理论。该逻辑中的主体是理想的理性的充分内省的，能够正确的相信自己的初始假定或前提的所有逻辑后承。本文首先从自认知逻辑的背景谈起，包括自认知逻辑的产生动因、发展概况、基本思想。第二部分是本文的主体，我们构造了完整的自认知逻辑系统，包括自认知逻辑的语言、语义、扩张以及确定扩张的方法，并给出了可靠性和完全性的证明。该系统清楚、直观，详细地刻画了有反思能力的主体的推理过程，避免了Mcdermott等的非单调模态逻辑系统中存在的缺陷，基本达到了我们的预期目标，总体上比较成功。但其中也蕴涵着一些不合理的结果，如逻辑全知，Moore悖论等。在第三部分，我们对这些问题做了分析，并给出了相应的解决措施。论文的最后，我们对全文做了总结，提出了进一步研究的展望。 

【文章来源】：华南师范大学广东省 211工程院校

【文章页数】：44 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
目录
第1章 自认知逻辑概述
    §1.1 AE-逻辑的产生及发展
    §1.2 AE-逻辑的基本思想
第2章 自认知逻辑的形式系统及其证明论
    §2.1 AE-逻辑的语言
    §2.2 AE-逻辑的语义
    §2.3 AE-逻辑的扩张及性质
    §2.4 AE-扩张的能行判定法
    §2.5 AE-逻辑的可靠性和完全性
第3章 对自认知逻辑研究中存在问题的进一步探讨
    §3.1 逻辑全知问题及相关解决方案
    §3.2 Moore悖论及其避免
结语
参考文献
致谢



本文编号：3370435