导　　师： 胡泽洪

学科专业： A0104

授予学位： 硕士

作　　者： ;

机构地区： 华南师范大学

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

关 键 词： 自认知 非单调 理论 扩张 稳定

分 类 号： [B842.1]

领　　域： [哲学宗教] [哲学宗教]