自認知邏輯是一種重要的非單調模態(tài)邏輯，主要是研究認知主體關于自身信念的推理形式及其有關問題的理論。該邏輯中的主體是理想的理性的充分內省的，能夠正確的相信自己的初始假定或前提的所有邏輯后承。本文首先從自認知邏輯的背景談起，包括自認知邏輯的產生動因、發(fā)展概況、基本思想。第二部分是本文的主體，我們構造了完整的自認知邏輯系統，包括自認知邏輯的語言、語義、擴張以及確定擴張的方法，并給出了可靠性和完全性的證明。該系統清楚、直觀，詳細地刻畫了有反思能力的主體的推理過程，避免了Mcdermott等的非單調模態(tài)邏輯系統中存在的缺陷，基本達到了我們的預期目標，總體上比較成功。但其中也蘊涵著一些不合理的結果，如邏輯全知，Moore悖論等。在第三部分，我們對這些問題做了分析，并給出了相應的解決措施。論文的最后，我們對全文做了總結，提出了進一步研究的展望。 

【文章來源】：華南師范大學廣東省 211工程院校

【文章頁數】：44 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
目錄
第1章 自認知邏輯概述
    §1.1 AE-邏輯的產生及發(fā)展
    §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