在使用一階理論表達(dá)概念“真”的目標(biāo)下,弗完全真理論通過摒棄排中律的有效性來確保理論的足道性。本文選取該理論群落中最為矚目的兩個(gè)成果——克里普克于1975年發(fā)表的《真理論綱要》和菲爾德于2008年出版的《從悖論中解救“真”》作為研究素材,通過澄清二者間的發(fā)展脈絡(luò)來把握弗完全真理論的問題動(dòng)向,并在其中作出新探索。首先,本文澄清了菲爾德對(duì)克里普克弗完全真理論的解讀。他分別論證了,在量詞不受約束的語言和量詞受約束語言中,真值概念與賦值概念均存在區(qū)別:“真”、“假”是非經(jīng)典概念,賦值則是在ZFC中定義的、遵循經(jīng)典邏輯的語義概念。由此,在菲爾德看來,克里普克歸納構(gòu)造及其不動(dòng)點(diǎn)只是一種模型論手段,它的價(jià)值在于:(i)可用以證明弗完全真理論規(guī)則(真謂詞的IP原則與克林邏輯)的自身相容性與相對(duì)于基底理論的保守性,(ii)可用來理解弗完全真理論的非經(jīng)典邏輯。但是,由克里普克歸納構(gòu)造產(chǎn)生的弗完全真理論(KFS)并未達(dá)到菲爾德的期望,主要體現(xiàn)在:(i)KFS缺乏律則;(ii)KFS不能表達(dá)T模式;(iii)KF 不能表達(dá)悖論性語句的真值不確定性。進(jìn)而,本文分析闡述了菲爾德為構(gòu)造其強(qiáng)表達(dá)力弗完全真理論而采取的、將克里普克歸納構(gòu)造與修正語義相結(jié)合的模型論方法,并且從代數(shù)語義的角度展示了克里普克、菲爾德二者理論在使用邏輯上的區(qū)分與聯(lián)系。在此基礎(chǔ)上,本文從語義的角度展示了后者理論之于前者理論的優(yōu)勢:后者(i)不僅保留了大量關(guān)于條件句的經(jīng)典邏輯原理,(ii)而且無矛盾地表達(dá)了悖論性語句的真值不確定性。由此呈現(xiàn)了菲爾德弗完全真理論在解決克里普克弗完全真理論表達(dá)力問題上所取得的成就。但菲爾德的弗完全真理論也受到來自多方面的質(zhì)疑,本文重點(diǎn)闡述了其條件句所面臨的哲學(xué)辯護(hù)疑難,并且對(duì)該疑難的成因作出了細(xì)致的梳理和分析。本文指出,菲爾德使用非賦值函項(xiàng)語義來解釋條件句的做法為其語義制造了復(fù)雜性,由此增加了哲學(xué)辯護(hù)的難度。對(duì)此,在分析羅西對(duì)克里普克歸納構(gòu)造的推廣工作基礎(chǔ)上,本文將其工作進(jìn)一步地推廣至語言層級(jí)上:為求語義的簡潔性,本文采取單調(diào)的賦值函項(xiàng)語義對(duì)聯(lián)接詞進(jìn)行解釋;至于增強(qiáng)弗完全真理論的表達(dá)力,本文則通過不斷地引入新條件句與賦值來實(shí)現(xiàn)。最終本文獲得了一個(gè)與語言層級(jí)相關(guān)的不動(dòng)點(diǎn)序列。而條件句在該列中獲得了良好的哲學(xué)辯護(hù):(i)其前后件可被理解為賦值比較的工具,(ii)其邏輯能夠由良好的引入和消去規(guī)則所刻畫。但該不動(dòng)點(diǎn)序列在表達(dá)力上弱于菲爾德的弗完全真理論,由此凸顯了弗完全真理論利用條件句來增強(qiáng)其表達(dá)力與保持其語義簡潔性之間的張力。
【學(xué)位單位】：南京大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位年份】：2019
【中圖分類】：B815
【文章目錄】：
摘要
ABSTRACT
第一章 導(dǎo)言
    1.1 研究背景
    1.2 研究主題
    1.3 文章結(jié)構(gòu)
    1.4 預(yù)備知識(shí)
第二章 克里普克的弗完全真理論
    2.1 不動(dòng)點(diǎn)的歸納構(gòu)造
    2.2 菲爾德對(duì)不動(dòng)點(diǎn)的賦值與真值的區(qū)分
    2.3 克里普克歸納構(gòu)造的價(jià)值
    2.4 KFS的真值概念
    2.5 KFS的缺陷
第三章 菲爾德弗完全真理論的構(gòu)造
    3.1 菲爾德的理論訴求
    3.2 不動(dòng)點(diǎn)的修正序列構(gòu)造
    3.3 精細(xì)語義
第四章 菲爾德理論中的條件句
    4.1 保留經(jīng)典邏輯規(guī)則與律則
    4.2 表達(dá)悖論性語句的真值不確定性
    4.3 菲爾德條件句的哲學(xué)辯護(hù)疑難
    4.4 疑難的成因分析
第五章 真理論條件句的新探索
    5.1 單調(diào)歸納構(gòu)造條件句的語義
    5.2 不動(dòng)點(diǎn)層級(jí)的構(gòu)造
    5.3 不動(dòng)點(diǎn)層級(jí)條件句的哲學(xué)辯護(hù)
結(jié)語
參考文獻(xiàn)
致謝

【相似文獻(xiàn)】

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

1 聶大海;劉洋;;克里普克信念之迷的幾種解決方案[J];外語學(xué)刊;2018年06期

2 徐召清;;克里普克論意外考試悖論[J];河南社會(huì)科學(xué);2016年08期

3 彭杉杉;;克里普克在華講學(xué)暨“克里普克、邏輯和哲學(xué)國際研討會(huì)”述要[J];哲學(xué)動(dòng)態(tài);2013年02期

4 陳吉?jiǎng)?;認(rèn)知二維語義學(xué)與克里普克理論之關(guān)系探析[J];自然辯證法研究;2015年10期

5 李依臨;;名稱、意義與所指——對(duì)克里普克《信念難題》的思考[J];散文百家(新語文活頁);2017年03期

6 梁惠琳;;試論克里普克對(duì)于“先天”與“必然”之間等外延關(guān)系的反駁[J];山西青年;2017年09期

7 許國艷;;克里普克的“嚴(yán)格指示詞”概念及其在指稱理論中的意義[J];社科縱橫;2012年05期

8 郭貴春;趙曉聃;;評(píng)克里普克論規(guī)則遵循[J];科學(xué)技術(shù)與辯證法;2008年01期

9 夏素敏;;解讀克里普克的“必然觀”[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2007年02期

10 胡群香;;塞爾和克里普克的專名理論比較[J];鄭州航空工業(yè)管理學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2006年01期

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

1 聶大海;語言指稱的同一性與必然性[D];吉林大學(xué);2011年

2 趙曉聃;基于規(guī)則遵循的規(guī)范性問題研究[D];山西大學(xué);2015年

3 胡欣詣;維特根斯坦哲學(xué)中的“語法”概念[D];華東師范大學(xué);2011年

4 王球;現(xiàn)象概念與物理主義：打破二元論的謎咒[D];浙江大學(xué);2011年

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

1 伍岳軒;弗完全真理論研究：從克里普克到菲爾德[D];南京大學(xué);2019年

2 王麗珍;克里普克名稱理論探析[D];河北大學(xué);2018年

3 王攀;后驗(yàn)必然性[D];華東師范大學(xué);2017年

4 范貴云;克里普克的專名理論[D];蘇州大學(xué);2010年

5 陳娜;克里普克的“信念之謎”研究[D];湘潭大學(xué);2009年

6 劉珊珊;克里普克專名理論研究[D];燕山大學(xué);2008年

7 符佳;克里普克專名指稱理論述評(píng)[D];西南大學(xué);2009年

8 余軍成;克里普克的歷史因果命名理論探析[D];西南大學(xué);2007年

9 白林秋;塞爾與克里普克專名理論比較研究[D];燕山大學(xué);2009年

10 劉賀;淺析克里普克的歷史因果命名理論[D];吉林大學(xué);2012年

本文編號(hào)：2843369