McKinsey公理,簡稱M公理,由J. C. C. Mckinsey于1945年提出。邏輯學(xué)家之所以關(guān)注該公理,源于回答Lemmon-Scott1966年在其手稿中提出的與Mckinsey稱之為S4.1系統(tǒng)相關(guān)的一個問題,同時正式將該公理命名為McKinsey公理。 邏輯學(xué)家給出了較一般的模態(tài)公式Gk,l,m,n的框架條件,但M公理不能為Gk,l,m,n條件框架所刻畫。同時M公理是構(gòu)成“若系統(tǒng)S由其框架類的基本子類所決定,那么S是典范的”這一論斷的一個簡單反例。M公理的種種“不合作”特性,使其成為內(nèi)涵模態(tài)邏輯研究過程中不得到關(guān)注的要點。 對M公理的研究,受到模態(tài)邏輯學(xué)家尤其是國外學(xué)者的重視,但國內(nèi)的研究明顯不足。用語義圖方法本文證明M公理是非K-有效的,同時描述了M公理的有效的四種框架類型。并且,結(jié)合前人的理論研究,本文分析了M公理的非一階可定義性。 本文研究了Robert Goldblatt對KM系統(tǒng)非典范性的證明。該證明具有極為重要的邏輯意義及哲學(xué)意義。該證明告訴我們,M公理分別與正規(guī)模態(tài)邏輯系統(tǒng)K系統(tǒng)、S4系統(tǒng)相結(jié)合所形成的KM系統(tǒng)和K4M系統(tǒng)其性質(zhì)截然不同。 基于對KM系統(tǒng)的分析,本文最后研究了相關(guān)系統(tǒng)時態(tài)邏輯系統(tǒng)、S4M系統(tǒng)、KMT系統(tǒng)的性質(zhì)。
【學(xué)位單位】：南京大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2013
【中圖分類】：B815
【文章目錄】：
中文摘要
Abstract
緒論
    第一節(jié) 研究緣起
    第二節(jié) 國內(nèi)外研究現(xiàn)狀及本文工作
第一章 McKinsey公理與KM系統(tǒng)
    第一節(jié) McKinsey公理
    第二節(jié) M公理的框架分析
    第三節(jié) KM系統(tǒng)的初始符號及形成規(guī)則
    第四節(jié) KM系統(tǒng)的框架與模型
第二章 KM系統(tǒng)的非典范性研究
    第一節(jié) 典范性的定義
    第二節(jié) KM系統(tǒng)的非典范性證明
第三章 與McKinsey公理相關(guān)的其他系統(tǒng)
    第一節(jié) 不完全的時態(tài)邏輯系統(tǒng)
    第二節(jié) S4M系統(tǒng)
    第三節(jié) KMT系統(tǒng)
結(jié)語
參考文獻
后記

【共引文獻】

相關(guān)期刊論文 前10條

1 張紹友,謝元春,夏夢,張萍;論命題邏輯中“真”的判定[J];白城師范高等�？茖W(xué)校學(xué)報;2002年01期

2 盛作國;龔啟榮;胡紅;;論蘊涵的演進——從蘊涵到制約[J];畢節(jié)學(xué)院學(xué)報(綜合版);2006年02期

3 姚從軍;;模態(tài)命題邏輯系統(tǒng)K、D、T、S4、S5、B之比較[J];畢節(jié)學(xué)院學(xué)報;2009年04期

4 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的形式系統(tǒng)之比較[J];畢節(jié)學(xué)院學(xué)報;2009年10期

5 董英東;;單主體自認(rèn)知邏輯系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報;2010年03期

6 丁永強;;反事實假設(shè)復(fù)句的邏輯分析[J];湖南文理學(xué)院學(xué)報(社會科學(xué)版);2006年04期

7 丁萍;賀業(yè)明;;論萊布尼茨的哲學(xué)邏輯觀[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2008年04期

8 段宏立;;一元道義邏輯OAP系統(tǒng)[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2008年12期

9 王芳;;略論模態(tài)語境中指稱的隱晦性問題[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年04期

10 吳迪;;淺談可能世界語義學(xué)與模態(tài)代數(shù)語義學(xué)[J];大家;2011年17期

相關(guān)博士學(xué)位論文 前10條

1 唐玉斌;自我與他人心靈的邏輯哲學(xué)探究[D];西南大學(xué);2011年

2 胡明娣;邏輯度量空間的內(nèi)蘊結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

3 劉張華;大衛(wèi)·劉易斯模態(tài)哲學(xué)思想研究[D];南京大學(xué);2011年

4 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

5 劉勇;多Agent系統(tǒng)理論和應(yīng)用研究[D];重慶大學(xué);2003年

6 李恒威;“生活世界”復(fù)雜性的動力模式[D];浙江大學(xué);2005年

7 賀天平;量子力學(xué)模態(tài)解釋及其方法論研究[D];山西大學(xué);2006年

8 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

9 宋一兵;計算機生成兵力中智能體技術(shù)與應(yīng)用研究[D];哈爾濱工程大學(xué);2006年

10 龍小平;可能世界中的名稱和同一性[D];西南大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 李秋揚;俄語可能模態(tài)詞語義分析[D];首都師范大學(xué);2011年

2 麻鶴騰;可能世界的幾個基本理論問題[D];河南大學(xué);2011年

3 鄭偉;亞里士多德三段論系統(tǒng)研究[D];河南大學(xué);2011年

4 雷宇;證詞邏輯初探[D];西南大學(xué);2011年

5 何雄就;“偶然”邏輯特性的研究[D];南京大學(xué);2011年

6 喬蘭菊;俄語評價范疇的語義功能[D];黑龍江大學(xué);2011年

7 朱力超;邏輯視野內(nèi)的因果關(guān)系探析[D];黑龍江大學(xué);2011年

8 楊家勝;現(xiàn)代俄語中的評價范疇[D];黑龍江大學(xué);2001年

9 韓宇勝;論法律的不確定性[D];中國政法大學(xué);2001年

10 劉國鋒;D·劉易斯的可能世界理論——模態(tài)實在論研究[D];華南師范大學(xué);2003年

本文編號：2864586