發(fā)布時間：2021-03-03 18:43

　　非偶然算子在邏輯史上一直未能得到充分的研究,相關方面文獻比較稀少,而國內有關方面的研究更是一片空白。通過參考I.L Humberstone對以非偶然算子為唯一算子的邏輯系統(tǒng)NCK的構建過程,本文得到很多相關的定理和有效性的框架。在此基礎上本人給出系統(tǒng)NCK的可靠性和完全性的結論。系統(tǒng)NCK是極小的。本文從非偶然算子的語義定義出發(fā),得到“分歧”的語義定義并在此基礎上建立信念分歧邏輯系統(tǒng)BD,并對它的元性質（可靠性和完全性）進行了分析,全文共分為五個部分：在引論中,筆者簡要介紹了非偶然模態(tài)研究的現(xiàn)狀和意義,在此基礎上交代了本文的研究所想要達到的目標。第一章研究了非偶然模態(tài)的邏輯性質,主要分為兩個方面：一方面,從對偶然模態(tài)邏輯含義的簡要梳理得到非偶然模態(tài)的邏輯含義；另一方面,從前文得到的非偶然模態(tài)的語形含義入手,通過語義研究來探討非偶然算子和必然算子在語形上是否能夠交互定義的問題。第二章基于前文得到的結論,研究“必然p或者必然非p”這類非偶然算子的邏輯系統(tǒng)�；�于對I.L Humberstone等人工作本文重構出非偶然邏輯系統(tǒng)NCKo通過其可靠性和完全性的證明,論證所架構的系統(tǒng)是極小的。第三章... 

【文章來源】：南京大學江蘇省 211工程院校 985工程院校 教育部直屬院校

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

【學位級別】：碩士

【文章目錄】：
中文摘要
Abstract
目錄
引言
第一章 非偶然模態(tài)的邏輯性質研究
    第一節(jié) 非偶然模態(tài)的邏輯含義
    第二節(jié) 非偶然算子和必然算子的交互定義
第二章 極小非偶然模態(tài)邏輯系統(tǒng)研究
    第一節(jié) 極小非偶然邏輯系統(tǒng)NCK
    第二節(jié) NCK的可靠性和完全性研究
第三章 非偶然模態(tài)邏輯的應用：分歧邏輯系統(tǒng)的構建
    第一節(jié) 信念分歧邏輯系統(tǒng)BD
    第二節(jié) BD元性質的分析
結語
參考文獻
后記


【參考文獻】：
期刊論文
[1]基于亞里士多德偶然性概念的邏輯系統(tǒng)[J]. 潘天群.  湖南科技大學學報(社會科學版). 2012(06)
[2]論邏輯系統(tǒng)的波斯特完全性[J]. 馬明輝.  自然辯證法研究. 2012(11)
[3]偶然命題的邏輯分析[J]. 劉天喜.  江漢論壇. 1998(04)



本文編號：3061747