a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

當前位置:主頁 > 社科論文 > 邏輯論文 >

弗完全真理論研究:從克里普克到菲爾德

發(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

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shekelunwen/ljx/2843369.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶35e86***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
男女久久久国产一区二区三区| 同性男男黄G片免费网站| 久久精品国产第一区二区三区| 日本不卡在线| 4虎影院| 久久久久久毛片免费播放| 天天日狠狠操| 久久久久久久爽| 国产激情| 少妇被又大又粗又爽毛片| 国产精品扒开腿做爽爽爽| 少妇极品熟妇人妻无码| 337p日本欧洲亚洲大胆| 午夜天堂影院| 奇米影视7777久久精品人人爽| 处一女一级a一片| av香蕉| 欧美精品欧美极品欧美激情 | 久久九九有精品国产| 亚洲AV无码不卡无码| 一本大道在线无码一区| а√最新版地址在线天堂| 国产亚洲一本大道中文在线| 丝瓜草莓视频app| 天堂а√中文最新版在线| 中文字幕av无码免费久久| 文化| 亚洲AV鲁丝一区二区三区黄| 色综合色天天久久婷婷基地| 伊人色综合一区二区三区| 亚洲大尺度无码无码专线一区| 一本色道久久88—综合亚洲精品| 夫の目の前侵犯新婚人妻在线| 在线播放真实国产乱子伦| 福利姬国产精品一区在线| 精品无码一区二区三区爱欲| 无码少妇一区二区浪潮免费| JiZz国产大全视频免费| 粗大的内捧猛烈进出小视频| 久久亚洲精品国产精品婷婷| 精品国产福利久久久|