發(fā)布時間：2021-08-29 09:57

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

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

【文章頁數(shù)】：44 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
目錄
第1章 自認(rèn)知邏輯概述
    §1.1 AE-邏輯的產(chǎn)生及發(fā)展
    §1.2 AE-邏輯的基本思想
第2章 自認(rèn)知邏輯的形式系統(tǒng)及其證明論
    §2.1 AE-邏輯的語言
    §2.2 AE-邏輯的語義
    §2.3 AE-邏輯的擴張及性質(zhì)
    §2.4 AE-擴張的能行判定法
    §2.5 AE-邏輯的可靠性和完全性
第3章 對自認(rèn)知邏輯研究中存在問題的進一步探討
    §3.1 邏輯全知問題及相關(guān)解決方案
    §3.2 Moore悖論及其避免
結(jié)語
參考文獻
致謝



本文編號：3370435