發(fā)布時(shí)間：2016-10-11 17:35

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

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

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

彭展  

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

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

中文摘要3-5

英文摘要5-7

文獻(xiàn)綜述7-9

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

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

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

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

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

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

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

1． 定義Ⅰ，Ⅱ20-21

2． 定義Ⅲ21

3． 定義Ⅳ21-23

4． 定義Ⅴ23-26

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

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

5． 定義Ⅵ26

6． 總結(jié)26-27

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

（一） 真實(shí)存在說27-28

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

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

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

注釋30-31

主要參考文獻(xiàn)31

下載全文 更多同類文獻(xiàn)

CAJ全文下載

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

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

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

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

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

中國(guó)博士學(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 張文琴;反事實(shí)條件句和大衛(wèi)·劉易斯的邏輯哲學(xué)[D];華東師范大學(xué);2012年

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

4 朱躍;論人的認(rèn)知與語義的不確定性[J];四川外語學(xué)院學(xué)報(bào);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];法國(guó)研究;1992年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 參勝利;[N];中國(guó)電腦教育報(bào);2004年

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

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

4 ;[N];科技日?qǐng)?bào);2002年

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

6 劉鋼;[N];中國(guó)社會(huì)科學(xué)院院報(bào);2005年

7 蔡曙山;[N];光明日?qǐng)?bào);2003年

8 廖萬里;[N];人民法院報(bào);2005年

9 本報(bào)記者 顧定槐 田甜;[N];中國(guó)化工報(bào);2006年

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

中國(guó)博士學(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 趙京雷;漢語動(dòng)詞名物化復(fù)合結(jié)構(gòu)的語義解釋[D];上海交通大學(xué);2008年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：137607