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
日产乱码卡一卡2卡三卡四颐和园| 忘忧草在线社区日本www| 五月天激情婷婷婷久久| 欧美亚洲精品一区二三区 | 日日狠狠久久偷偷色综合| 日韩精品人妻一区二区三区 | 国产china男男激情| 小妹色播影院| 激情呻吟久久久久久99av| 日本亚洲欧美| 97人碰人国内成人免费视频| 四虎精品免费永久免费视频| 双流县| 国产三级三级三级av精品| 97超碰| 黑人| 亚洲av色| 伽师县| 习水县| 精品人妻无码视频中文字幕一区二区三区| 亚洲综合激情| 黑人xx| 91狠狠狠狠狠狠狠狠| 午夜精品一区二区三区三上悠亚| 国产一区不卡| 成人黄色一级大片| 罗城| 无码h黄动漫在线播放网站| 军事| 亚洲处破女| 亚洲手机在线人成网站 | 第九色| av综合| 栾城县| 欧美高清在线精品一区| 本道天堂成在人线av无码免费 | 久久亚洲AV永久无码精品| 日日澡夜夜澡人人高潮| 国产色A∨在线看免费| 狠狠色婷婷久久一区二区| 人妻中出无码一区二区三区|