本文關(guān)鍵詞：達(dá)米特直覺主義邏輯哲學(xué)思想研究

  更多相關(guān)文章： 達(dá)米特 直覺主義邏輯 結(jié)構(gòu)證明論 命題與事實(shí) 意義理論

【摘要】：達(dá)米特是20世紀(jì)最有影響的英國哲學(xué)家。他的哲學(xué)著作有三個(gè)特點(diǎn):一是數(shù)量眾多,其中,有許多是鴻篇巨著;二是語言晦澀難懂;三是技術(shù)性強(qiáng)。在達(dá)米特的哲學(xué)著作中,尤其是在數(shù)學(xué)理論的邏輯基礎(chǔ)的哲學(xué)探討中,他揚(yáng)棄了真值條件意義理論及其邏輯基礎(chǔ);這促使筆者想要全面而系統(tǒng)地考察他提出的關(guān)于構(gòu)造主義意義理論與直覺主義邏輯之間的關(guān)系的理論。筆者主要采用達(dá)米特的直覺主義邏輯作為技術(shù)手段,意義理論作為解決構(gòu)造主義與柏拉圖主義爭論的研究方法。主要工作體現(xiàn)在五個(gè)方面:第一,較為全面梳理了達(dá)米特本人的哲學(xué)思想以及國內(nèi)外關(guān)于達(dá)米特邏輯哲學(xué)思想的研究現(xiàn)狀和直覺主義邏輯的研究進(jìn)展。第二,較為系統(tǒng)地考察了達(dá)米特的命題與事實(shí)觀。第三,從拒斥經(jīng)典邏輯的兩種論證方法,到對數(shù)學(xué)的直覺主義邏輯進(jìn)行辯護(hù),再到直覺主義邏輯的真理論,探解了直覺主義邏輯哲學(xué)中的一些重要問題和難題。第四,從矢列式自然演繹系統(tǒng)、矢列演算系統(tǒng)、正規(guī)化思想三個(gè)方面構(gòu)建達(dá)米特的直覺主義邏輯演繹思想。第五,探討了達(dá)米特直覺主義邏輯哲學(xué)思想的價(jià)值意義以及未來的工作。這五個(gè)方面的工作相互作用、互相影響,構(gòu)成了一個(gè)有機(jī)整體:第一和第二方面的工作為后面三個(gè)方面的工作提供了前提和可能;第三個(gè)方面的工作為第四個(gè)方面的工作提供了哲學(xué)基礎(chǔ)和理論支撐,而第四個(gè)方面的工作為第三個(gè)方面的工作提供了邏輯基礎(chǔ)和技術(shù)手段;第五個(gè)方面的工作歸納總結(jié)了第二至第四個(gè)方面工作的價(jià)值意義,并提出了未來的研究方向。這些工作表明研究達(dá)米特的直覺主義邏輯哲學(xué)思想具有重要價(jià)值意義:一是系統(tǒng)地梳理且提煉出達(dá)米特直覺主義邏輯與哲學(xué),尤其是與構(gòu)造主義意義理論相融合的方法,既為研究達(dá)米特本人的哲學(xué)思想提供了一把鑰匙,又為我們從事哲學(xué)研究,尤其是分析哲學(xué)、邏輯哲學(xué)等研究提供了技術(shù)工具和理論支撐。二是從證明論發(fā)展的歷史視角,彰顯了達(dá)米特的直覺主義邏輯演繹思想在結(jié)構(gòu)證明論中的重要性和影響力。三是特別指出達(dá)米特的自然演繹思想在直覺主義邏輯哲學(xué)研究中的價(jià)值,為普及和推廣直覺主義邏輯提供了依據(jù)和指導(dǎo)。
【關(guān)鍵詞】：達(dá)米特 直覺主義邏輯 結(jié)構(gòu)證明論 命題與事實(shí) 意義理論
【學(xué)位授予單位】：西南大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2016
【分類號】：B81-05
【目錄】：

• 摘要7-9
• Abstract9-11
• 文獻(xiàn)綜述11-23
• 一、達(dá)米特邏輯哲學(xué)思想相關(guān)概念解析11-12
• 二、達(dá)米特學(xué)術(shù)簡介12-14
• 三、達(dá)米特邏輯哲學(xué)思想的國外研究現(xiàn)狀和主要問題14-17
• （一）哲學(xué)思想研究成果豐碩而邏輯與哲學(xué)關(guān)系的研究成果少見14-16
• （二）直覺主義邏輯成果豐富而直覺主義邏輯與哲學(xué)的探討不足16-17
• 四、達(dá)米特邏輯哲學(xué)思想的國內(nèi)研究現(xiàn)狀與不足之處17-23
• （一）重視語言哲學(xué)、數(shù)學(xué)哲學(xué)而忽略心靈哲學(xué)、宗教哲學(xué)等研究17-20
• （二）直覺主義邏輯成果較少且直覺主義邏輯與哲學(xué)的關(guān)注度不高20-23
• 第1章 引言23-29
• 1.1 選題背景及意義23-25
• 1.1.1 重視達(dá)米特的哲學(xué)思想研究而忽略直覺主義邏輯基礎(chǔ)23-25
• 1.1.2 理論價(jià)值及實(shí)踐意義25
• 1.2 基本結(jié)構(gòu)和主要內(nèi)容25-26
• 1.2.1 框架結(jié)構(gòu)25
• 1.2.2 內(nèi)容綱要25-26
• 1.3 主要工作與創(chuàng)新之處26-29
• 1.3.1 五項(xiàng)工作26-27
• 1.3.2 在邏輯哲學(xué)和證明論中的價(jià)值27-29
• 第2章 論達(dá)米特的命題與事實(shí)觀29-39
• 2.1 事實(shí)、陳述與命題的關(guān)系29-30
• 2.1.1 事實(shí)與陳述29-30
• 2.1.2 命題與陳述30
• 2.1.3 事實(shí)與命題30
• 2.2 論兩種相互對立的命題觀30-31
• 2.2.1 羅素的命題觀30-31
• 2.2.2 弗雷格的命題觀31
• 2.3 對事實(shí)是真命題的哲學(xué)反思31-34
• 2.3.1 哲學(xué)反思的前提31-32
• 2.3.2 對羅素或維特根斯坦命題觀的批判性思考32-33
• 2.3.3 關(guān)于弗雷格命題（思想）觀的哲學(xué)反思33-34
• 2.4 論命題與實(shí)在34-39
• 2.4.1 對弗雷格命題觀和意義理論的揚(yáng)棄34-35
• 2.4.2 強(qiáng)調(diào)弗雷格思想觀的客觀性35
• 2.4.3 對兩種相互對立的命題觀的反思35-39
• 第3章 拒斥經(jīng)典邏輯的兩種論證方法39-51
• 3.1 使用決定數(shù)學(xué)陳述（命題）意義的方法40-41
• 3.2 通過學(xué)習(xí)數(shù)學(xué)觀念的方法41
• 3.3 對語言整體觀的反思41-45
• 3.4 對語言分子論的考察45-51
• 第4章 數(shù)學(xué)的直覺主義邏輯辯護(hù)51-61
• 4.1 直覺主義邏輯的基本辯護(hù)類型51-54
• 4.1.1 對第二類辯護(hù)的反思52-53
• 4.1.2 關(guān)于第一類辯護(hù)的批判性思考53-54
• 4.2 論基本辯護(hù)類型相反組合的可能性54-55
• 4.3 論數(shù)學(xué)陳述經(jīng)典的真概念55-56
• 4.4 論數(shù)學(xué)陳述的證明概念56-61
• 第5章 直覺主義邏輯的真理論研究61-71
• 5.1 直覺主義邏輯常項(xiàng)的意義61-64
• 5.1.1 析取和存在量詞61-63
• 5.1.2 蘊(yùn)涵、全稱量詞和否定63-64
• 5.2 關(guān)于典范證明的反思64-71
• 5.2.1 典范證明的含義64-65
• 5.2.2 典范證明與直覺主義真65-66
• 5.2.3 典范證明的方法66-71
• 第6章 達(dá)米特直覺主義邏輯的矢列式自然演繹系統(tǒng)研究71-95
• 6.1 直覺主義謂詞邏輯的自然演繹系統(tǒng)71-77
• 6.1.1 一階邏輯的形式語言71-72
• 6.1.2 NSI系統(tǒng)72-74
• 6.1.3 NSI系統(tǒng)的證明策略74-75
• 6.1.4 矢列式自然演繹系統(tǒng)與根岑的自然演繹系統(tǒng)的關(guān)系75-76
• 6.1.5 矢列式自然演繹系統(tǒng)的歷史地位和意義76-77
• 6.2 直覺主義謂詞邏輯的兩種證明演算形式的比較研究77-85
• 6.2.1 直覺主義謂詞邏輯的公理化系統(tǒng)77-78
• 6.2.2 直覺主義謂詞邏輯的演繹定理78-79
• 6.2.3 系統(tǒng)N與系統(tǒng)AχI的關(guān)系79-84
• 6.2.4 系統(tǒng)N與系統(tǒng)AχI的證明策略比較84-85
• 6.3 經(jīng)典謂詞邏輯的兩種證明演算形式的比較研究85-95
• 6.3.1 經(jīng)典謂詞邏輯系統(tǒng)NK與AχK的關(guān)系85-89
• 6.3.2 系統(tǒng)NK與系統(tǒng)AχK的證明策略比較89-90
• 6.3.3 排中律在系統(tǒng)NK中的證明策略90-91
• 6.3.4 系統(tǒng)PN與系統(tǒng)PNK的轉(zhuǎn)化關(guān)系91-92
• 6.3.5 矢列式自然演繹系統(tǒng)與公理化系統(tǒng)之間等價(jià)轉(zhuǎn)化的理論意義92-95
• 第7章 達(dá)米特直覺主義邏輯的矢列演算系統(tǒng)研究95-111
• 7.1 直覺主義謂詞邏輯的矢列演算系統(tǒng)95-102
• 7.1.1 直覺主義謂詞邏輯的矢列演算系統(tǒng)L95-98
• 7.1.2 與經(jīng)典謂詞邏輯的矢列演算系統(tǒng)LK~*的關(guān)系98-99
• 7.1.3 直覺主義謂詞邏輯的矢列演算系統(tǒng)L'99
• 7.1.4 系統(tǒng)L與系統(tǒng)N的關(guān)系99-102
• 7.2 直覺主義謂詞邏輯的切割消去定理102-108
• 7.2.1 切割消去定理的證明102-107
• 7.2.2 切割消去定理證明的理論意義107
• 7.2.3 系統(tǒng)N與系統(tǒng)L的等價(jià)性107
• 7.2.4 系統(tǒng)N與系統(tǒng)L的一致性107-108
• 7.3 直覺主義命題邏輯的可判定性108-111
• 第8章 論達(dá)米特直覺主義邏輯的正規(guī)化思想111-119
• 8.1 真正的化簡111-113
• 8.1.1 合取規(guī)則111-112
• 8.1.2 析取規(guī)則112
• 8.1.3 蘊(yùn)涵規(guī)則112-113
• 8.1.4 否定規(guī)則113
• 8.1.5 全稱量詞規(guī)則113
• 8.1.6 存在量詞規(guī)則113
• 8.2 排列的化簡113-115
• 8.2.1 合取規(guī)則中插入析取消去規(guī)則114
• 8.2.2 合取規(guī)則中插入存在量詞消去規(guī)則114-115
• 8.3 直接的化簡115-116
• 8.4 ?-規(guī)則的化簡116
• 8.5 正規(guī)化推演的基本思想116-119
• 第9章 達(dá)米特直覺主義邏輯哲學(xué)思想的價(jià)值及未來工作119-125
• 9.1 提煉出直覺主義邏輯與哲學(xué)相融合的方法119-120
• 9.2 彰顯直覺主義邏輯的結(jié)構(gòu)證明論意義120-122
• 9.3 凸顯自然演繹在直覺主義邏輯哲學(xué)研究中的價(jià)值122-124
• 9.4 未來工作124-125
• 參考文獻(xiàn)125-131
• 后記131-133
• 攻讀博士學(xué)位期間主要科研成果133-134

【相似文獻(xiàn)】

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

1 俞穎杰;;達(dá)米特論“過去”[J];自然辯證法研究;2009年08期

2 郭貴春,王航贊;達(dá)米特的語境真理論[J];學(xué)術(shù)論壇;2003年01期

3 張燕京;達(dá)米特“隱含知識”概念析評[J];哲學(xué)動態(tài);2005年03期

4 郭貴春;王航贊;王涌米;;達(dá)米特的意義構(gòu)造論[J];哲學(xué)堂;2005年00期

5 李紅;韓東暉;;今日英國分析哲學(xué)掠影——訪英國哲學(xué)家達(dá)米特和珍·希爾[J];哲學(xué)動態(tài);2007年03期

6 王航贊;郭貴春;;達(dá)米特的意義構(gòu)造論[J];科學(xué)技術(shù)與辯證法;2007年05期

7 謝佛榮;;論戴維森與達(dá)米特關(guān)于意義與真的辯護(hù)[J];順德職業(yè)技術(shù)學(xué)院學(xué)報(bào);2009年01期

8 俞穎杰;;論“達(dá)米特綱領(lǐng)”中的知識論路徑[J];自然辯證法研究;2013年04期

9 F.帕特陶特,張小簡;采訪達(dá)米特(續(xù))[J];哲學(xué)譯叢;1998年03期

10 江怡;達(dá)米特論意義和真[J];世界哲學(xué);2005年06期

中國重要會議論文全文數(shù)據(jù)庫 前3條

1 張漢生;;達(dá)米特對演繹的辯護(hù)[A];2007年全國哲學(xué)學(xué)科建設(shè)論壇論文集[C];2007年

2 俞穎杰;;達(dá)米特論指稱和涵義[A];第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

3 張漢生;;達(dá)米特對演繹的辯護(hù)[A];2007年現(xiàn)代邏輯與邏輯史研討會論文集[C];2007年

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

1 陳波 北京大學(xué)哲學(xué)系;像達(dá)米特那樣研究哲學(xué)[N];中國社會科學(xué)報(bào);2012年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 余軍成;達(dá)米特直覺主義邏輯哲學(xué)思想研究[D];西南大學(xué);2016年

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

1 胡揚(yáng);對達(dá)米特涵義/指稱區(qū)分之辯護(hù)的分析[D];華東師范大學(xué);2012年

2 王航贊;達(dá)米特的意義構(gòu)造論[D];山西大學(xué);2004年

3 段方雪;達(dá)米特意義理論評析[D];西南大學(xué);2010年

4 行宇;論達(dá)米特反實(shí)在論的路徑[D];首都師范大學(xué);2011年

5 任貴龍;達(dá)米特反應(yīng)在論的邏輯觀及其意義[D];山西大學(xué);2013年

6 付立影;淺析王氏悖論中的模糊性問題[D];黑龍江大學(xué);2014年

，

本文編號：921342