發(fā)布時間：2020-10-16 14:17

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

10 胡群香;;塞爾和克里普克的專名理論比較[J];鄭州航空工業(yè)管理學(xué)院學(xué)報(社會科學(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 王攀;后驗必然性[D];華東師范大學(xué);2017年

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

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

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

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

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

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

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

本文編號：2843369