本文關(guān)鍵詞：S6 系統(tǒng)的語義解釋，由筆耕文化傳播整理發(fā)布。

《西南師范大學(xué)》 2002年

S6 系統(tǒng)的語義解釋

彭展  

【摘要】： S6系統(tǒng)有兩個特點：(1)它沒有必然化規(guī)則N，所以其語義解釋必須引入非正規(guī)世界；(2)它把MMp當(dāng)作系統(tǒng)公理，對于MMp的語義解釋一方面可以利用非正規(guī)世界，但另一方面也可以對它作一般的可能世界語義解釋。這兩種解釋之間的不同反映出我們對于可能世界的認(rèn)同標(biāo)準(zhǔn)之間的差異。而且對于非正規(guī)世界，，我們一方面可以把它們理解成死點，但另一方面我們也可以通過構(gòu)造性的方法證明其不是死點。這一對矛盾也反映出S6系統(tǒng)的語義解釋所面臨的復(fù)雜情況。而本文則試圖理清這種復(fù)雜情況并將勾勒出適合于S6系統(tǒng)的語義解釋的可能世界背景。 文章主要分為六個部分： 一、S6系統(tǒng)進行介紹并說明(證明)其中一些特殊定理和語法性質(zhì)。 二、S6系統(tǒng)進行語義解釋；對非正規(guī)世界的引入、非正規(guī)框架的引入、V賦值的變化以及X集的引入都作了說明，并指出在非正規(guī)世界中避免出現(xiàn)邏輯矛盾的途徑——讓SB規(guī)則在其間失效。 三、指出S6系統(tǒng)利用非正規(guī)世界的死點性質(zhì)回避了更尖銳的問題——可能世界是否能夠允許矛盾命題在其中的存在?通過對可及關(guān)系定義的反思揭示了非正規(guī)世界沒有必要一定就是死點。 四、在第三部分的基礎(chǔ)上進一步通過構(gòu)造方式證明了非正規(guī)世界可以不是死點。但此證明依賴于兩個假設(shè)，分別對應(yīng)于問題(1)可能世界中是否允許包含邏輯矛盾?(2)可能世界能否僅由命題構(gòu)成? 五、通過對可能世界的定義的反思來為問題(1)(2)尋求答案。首先批駁了可能世界不能被定義的觀點，其次考察了具有代表性的六種可能世界定義并找出了它們各自對問題(1)(2)的回答。為了對問題(1)(2)做出肯定的回答， 作者對定義1，11，Ill表示支持而對定義IV，V，VI進行了置疑并認(rèn)為它們對于 一致集的堅持沒有必要。 六、帶著問題門）u）對可能世界的哲學(xué)本體地位進行反思，批判了真實 存在說和可能狀態(tài)說，認(rèn)同了否定可能世界實在性問題的觀點。

【關(guān)鍵詞】：
【學(xué)位授予單位】：西南師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2002
【分類號】：B81-06
【目錄】：

中文摘要3-5

英文摘要5-7

文獻綜述7-9

一． S6系統(tǒng)9-11

二． 對S6系統(tǒng)的語義解釋11-14

三． 從S6系統(tǒng)的語義解釋中引出的問題——對可及關(guān)系定義的反思14-17

四． 針對非正規(guī)世界w，構(gòu)造可能世界w’，使得Rww’。17-18

五． 對可能世界的定義問題的反思18-27

（一） 可能世界能否被定義?18-19

（二） 可能世界的定義19-27

1． 定義Ⅰ，Ⅱ20-21

2． 定義Ⅲ21

3． 定義Ⅳ21-23

4． 定義Ⅴ23-26

（1） 對任意命題是否需要加以限制?24

（2） 唯一確定真值是否可行?24-26

5． 定義Ⅵ26

6． 總結(jié)26-27

六． 對可能世界在哲學(xué)上的本體地位的反思27-29

（一） 真實存在說27-28

（二） 可能狀態(tài)說28-29

（三） 可能世界的實在性問題沒有意義29

七． 全文總結(jié)29-30

注釋30-31

主要參考文獻31

下載全文 更多同類文獻

CAJ全文下載

(如何獲取全文？ 歡迎：購買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 劉社軍;也談“可能世界”之定義問題[J];廣西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1997年03期

2 陳偉,劉曉紅;論可能世界語義學(xué)的主要哲學(xué)問題[J];社會科學(xué)輯刊;1998年06期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 劉帥;程夢詩;;“可能世界”理論視野中的武俠世界[J];理論觀察;2009年03期

2 王南湜;;我們可以在何種意義上談?wù)摎v史規(guī)律與人的能動作用[J];學(xué)術(shù)月刊;2006年05期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前4條

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

2 楊翠;語言學(xué)中的預(yù)設(shè)分析[D];上海師范大學(xué);2006年

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

4 張文琴;反事實條件句和大衛(wèi)·劉易斯的邏輯哲學(xué)[D];華東師范大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前4條

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

2 戴穎;翻譯過程中意義的哲學(xué)闡釋[D];華東師范大學(xué);2004年

3 陳素艷;從極端實在論和溫和實在論之爭看模態(tài)邏輯本體論問題[D];山西大學(xué);2009年

4 馬寧馨;論偵查假設(shè)中的邏輯可能[D];西南政法大學(xué);2010年

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 于宇;唐曉嘉;;蒙太格PTQ系統(tǒng)的內(nèi)涵邏輯[J];西南大學(xué)學(xué)報(社會科學(xué)版);2009年01期

2 劉新文;論可能世界的名字[J];哲學(xué)研究;2005年09期

3 方同義;本體與境界——中國古代哲學(xué)主題的理論闡釋[J];哲學(xué)研究;1993年03期

4 朱躍;論人的認(rèn)知與語義的不確定性[J];四川外語學(xué)院學(xué)報;2004年04期

5 張家龍;論本質(zhì)主義[J];哲學(xué)研究;1999年11期

6 林正;論克里普克的本質(zhì)主義[J];蘭州學(xué)刊;2004年06期

7 劉葉濤;關(guān)于名稱和本質(zhì)的若干思考[J];江漢論壇;2005年01期

8 張微;;本文前面展示的可能世界——一種探索解釋學(xué)美學(xué)的新理論[J];法國研究;1992年02期

9 田潤民;“命題＝可能世界→真值條件的函項”命題的話題[J];外語教學(xué);1996年03期

10 韋世林;試析夸張辭格的邏輯支點[J];云南師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1996年04期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 熊明;;哥德爾-根岑翻譯和本體論映射[A];1998年邏輯研究專輯[C];1998年

2 陸汝占;靳光瑾;;“是”的內(nèi)涵邏輯語義解釋[A];自然語言理解與機器翻譯——全國第六屆計算語言學(xué)聯(lián)合學(xué)術(shù)會議論文集[C];2001年

3 陳玉泉;陳宣;陸汝占;;內(nèi)涵時態(tài)邏輯的語義解釋系統(tǒng)[A];自然語言理解與機器翻譯——全國第六屆計算語言學(xué)聯(lián)合學(xué)術(shù)會議論文集[C];2001年

4 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

5 陳曉華;;邏輯全能問題研究述評[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

6 周北海;;推理、推理模型和推理語義[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

7 郭澤深;胡浩;;真正的可能性和必然性[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

8 唐曉嘉;陳樹文;;認(rèn)知邏輯的幾個語義問題分析[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

9 牟喜斌;鄒開其;;模糊聚類神經(jīng)網(wǎng)絡(luò)的死點問題[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

10 陳曉平;;談?wù)勌摂M蘊涵問題[A];1996年邏輯研究專輯[C];1996年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 參勝利;[N];中國電腦教育報;2004年

2 清華大學(xué)法學(xué)院講師、法學(xué)博士 程 嘯;[N];人民法院報;2005年

3 李季先;[N];21世紀(jì)經(jīng)濟報道;2007年

4 ;[N];科技日報;2002年

5 中國政法大學(xué)教授、博士生導(dǎo)師 曲新久;[N];人民法院報;2005年

6 劉鋼;[N];中國社會科學(xué)院院報;2005年

7 蔡曙山;[N];光明日報;2003年

8 廖萬里;[N];人民法院報;2005年

9 本報記者 顧定槐 田甜;[N];中國化工報;2006年

10 本報實習(xí)記者 王曉坤;[N];北京科技報;2004年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 賈玉樹;理性與可能世界[D];山西大學(xué);2009年

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

3 何朝安;涵義的形而上學(xué)研究[D];復(fù)旦大學(xué);2012年

4 周允程;第一人稱信念的哲學(xué)研究[D];清華大學(xué);2008年

5 榮立武;內(nèi)涵邏輯的哲學(xué)基礎(chǔ)[D];中山大學(xué);2006年

6 趙京雷;漢語動詞名物化復(fù)合結(jié)構(gòu)的語義解釋[D];上海交通大學(xué);2008年

7 祝勇;革命語境下的語言暴力[D];中國藝術(shù)研究院;2011年

8 吳賢芳;離心泵關(guān)死點性能的研究[D];江蘇大學(xué);2013年

9 王廣成;漢語無定名詞短語的語義特征：指稱和量化[D];北京語言大學(xué);2007年

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

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 彭展;S6 系統(tǒng)的語義解釋[D];西南師范大學(xué);2002年

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

3 趙新波;論可能世界的哲學(xué)問題[D];燕山大學(xué);2012年

4 郭喨;“可能世界”中的必然與同一[D];浙江大學(xué);2012年

5 徐曄翀;論可能世界語義學(xué)中的個體跨界的同一性問題[D];華東師范大學(xué);2010年

6 白瑋;可能世界視域下的本質(zhì)主義理論研究[D];燕山大學(xué);2012年

7 陳陸成;論刑法文本的語義解釋[D];湖南師范大學(xué);2005年

8 斯凌;基于語義解釋的工作流引擎的研究與設(shè)計[D];暨南大學(xué);2006年

9 龍湘明;時間狀語的結(jié)構(gòu)位置與語義解釋[D];中南大學(xué);2007年

10 于宇;試析蒙太格語法[D];西南大學(xué);2007年

  本文關(guān)鍵詞：S6 系統(tǒng)的語義解釋，由筆耕文化傳播整理發(fā)布。

本文編號：137607