發(fā)布時(shí)間：2016-10-21 14:28

  本文關(guān)鍵詞：悖論與數(shù)理邏輯的發(fā)展探析，由筆耕文化傳播整理發(fā)布。

《河南大學(xué)》 2003年

悖論與數(shù)理邏輯的發(fā)展探析

張莉敏  

【摘要】： 兩千多年來(lái)，悖論一直是倍受邏輯學(xué)家關(guān)注的熱點(diǎn)話(huà)題。在西方邏輯史上，曾有過(guò)三次悖論研究的高潮，尤其是羅素悖論所引發(fā)的第三次高潮，直接促進(jìn)了數(shù)理邏輯的形成和發(fā)展。這是因?yàn)榱_素悖論的出現(xiàn)造成數(shù)學(xué)基礎(chǔ)的危機(jī)，在循著如何排除悖論的思路進(jìn)行數(shù)學(xué)基礎(chǔ)研究所取得成果的基礎(chǔ)上，數(shù)理邏輯中相繼出現(xiàn)了三個(gè)劃時(shí)代的成就，從而推動(dòng)了數(shù)理邏輯的主要分支“四論”的產(chǎn)生和發(fā)展。本文分三部分對(duì)悖論與數(shù)理邏輯的關(guān)系進(jìn)行了探討，具體內(nèi)容如下： 第一部分主要論述了羅素悖論的出現(xiàn)及其影響，并對(duì)羅素悖論為何會(huì)造成數(shù)學(xué)基礎(chǔ)的危機(jī)進(jìn)行了具體分析。 第二部分著重論述悖論是如何促進(jìn)了數(shù)理邏輯的形成和發(fā)展。本文對(duì)這個(gè)問(wèn)題從三個(gè)方面進(jìn)行了分析：（一）悖論與數(shù)理邏輯三大學(xué)派的關(guān)系：其中對(duì)羅素的類(lèi)型論進(jìn)行了重點(diǎn)分析，，并加入自己的思考。同時(shí)，對(duì)悖論如何促進(jìn)直覺(jué)主義和形式主義學(xué)派的形成也進(jìn)行了探討。（二）悖論與數(shù)理邏輯三大成就的關(guān)系：其中以悖論與哥德?tīng)柌煌耆�性定理的關(guān)系為重點(diǎn)，從悖論對(duì)哥德?tīng)柌煌耆�性定理產(chǎn)生、構(gòu)造及證明過(guò)程的影響進(jìn)行了論證，并嘗試做一些符號(hào)化等技術(shù)性的工作。此外，本文還對(duì)悖論與塔爾斯基的語(yǔ)義學(xué)和圖靈機(jī)理論的關(guān)系進(jìn)行了分析和研究。（三）論證了悖論在數(shù)理邏輯的主要分支“四論”的形成和發(fā)展中的作用。其中重點(diǎn)分析了公理化集合論，指出：它是為解決悖論問(wèn)題而產(chǎn)生的，也是目前解決集合論悖論問(wèn)題最好的方案。另外，數(shù)理邏輯的其它三個(gè)分支即證明論、遞歸論、和模型論也都是在研究悖論問(wèn)題中逐漸形成和發(fā)展的。 第三部分論述在探析悖論與數(shù)理邏輯的關(guān)系中所得到的意義和啟示：只要我們把形式化的方法和哲學(xué)性的分析結(jié)合起來(lái)，用辯證的觀點(diǎn)看問(wèn)題，用系統(tǒng)的方法研究問(wèn)題，悖論不但可以得到相對(duì)的解決，而且在解決悖論的過(guò)程中會(huì)引出一系列的重大發(fā)現(xiàn)。

【關(guān)鍵詞】：
【學(xué)位授予單位】：河南大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2003
【分類(lèi)號(hào)】：B812
【目錄】：

<中文摘要>3

<中文關(guān)鍵詞>3-4

<英文摘要>4-5

<英文關(guān)鍵詞>5-6

引 言6

一、集合論悖論的發(fā)現(xiàn)及其影響6-8

二、悖論與數(shù)理邏輯的形成和發(fā)展8-33

（一）悖論與數(shù)理邏輯的三大學(xué)派9-17

1、悖論與邏輯主義學(xué)派9-12

2、悖論與直覺(jué)主義學(xué)派12-14

3、悖論與形式主義學(xué)派14-17

（二）悖論與數(shù)理邏輯的三大成就17-26

1、悖論與哥德?tīng)柌煌耆�性定�?/span>17-22

2、悖論與圖靈機(jī)理論22-23

3、悖論與塔爾斯基的語(yǔ)義學(xué)23-26

（三）悖論與“四論”的形成和發(fā)展26-33

1、悖論與公理化集合論26-29

2、悖論與證明論29-31

3、悖論與遞歸論31-32

4、悖論與模型論32-33

三、意義和啟示33-36

（一）悖論與數(shù)理邏輯關(guān)系研究的方法論意義33-34

（二）悖論與數(shù)理邏輯關(guān)系研究所得到的啟示34-36

結(jié) 語(yǔ)36-37

<參考文獻(xiàn)>37-39

后 記39

下載全文 更多同類(lèi)文獻(xiàn)

CAJ全文下載

(如何獲取全文？ 歡迎：購(gòu)買(mǎi)知網(wǎng)充值卡、在線(xiàn)充值、在線(xiàn)咨詢(xún))

CAJViewer閱讀器支持CAJ、PDF文件格式

【引證文獻(xiàn)】

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

1 戴峰;哲學(xué)視域下的第三次數(shù)學(xué)危機(jī)[D];太原科技大學(xué);2010年

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前8條

1 沈躍春;現(xiàn)代西方悖論研究之進(jìn)展[J];安慶師院社會(huì)科學(xué)學(xué)報(bào);1991年04期

2 沈躍春;悖論與20世紀(jì)邏輯學(xué)的發(fā)展[J];安慶師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2000年06期

3 楊熙齡;略論現(xiàn)代西方邏輯學(xué)的發(fā)展[J];國(guó)外社會(huì)科學(xué);1979年01期

4 楊熙齡;悖論研究八十年[J];國(guó)外社會(huì)科學(xué);1980年07期

5 梁立明;集合論悖論若干哲學(xué)問(wèn)題的思考[J];河南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1987年03期

6 朱水林;;論現(xiàn)代邏輯[J];上海社會(huì)科學(xué)院學(xué)術(shù)季刊;1987年02期

7 張家龍;論語(yǔ)義悖論[J];哲學(xué)研究;1981年08期

8 錢(qián)捷;悖論與真理[J];哲學(xué)研究;2000年05期

【共引文獻(xiàn)】

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

1 劉程;邱紫華;;不能不說(shuō)的話(huà):維特根斯坦與弗雷格、羅素[J];阿壩師范高等專(zhuān)科學(xué)校學(xué)報(bào);2006年04期

2 黃展驥;“矛盾被證”是卓論?是謬論?——澄清陳波教授的誤解[J];安徽大學(xué)學(xué)報(bào);2000年06期

3 王建芳;悖論的擬化形式[J];安徽大學(xué)學(xué)報(bào);2003年01期

4 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評(píng)[J];安徽大學(xué)學(xué)報(bào);2005年01期

5 夏素敏;試析形式理性與辯證理性之關(guān)系[J];安徽大學(xué)學(xué)報(bào);2005年02期

6 秦瑋遠(yuǎn);;“說(shuō)謊者悖論”的再探討[J];安徽大學(xué)學(xué)報(bào);2006年01期

7 丁和平;;悖論與“自指”[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年02期

8 賈國(guó)恒;;摹狀詞與專(zhuān)名的關(guān)系解析[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年02期

9 杜國(guó)平;馬亮;;哲思邏輯的判定問(wèn)題[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年05期

10 李莉;;紐科姆疑難的哲學(xué)意涵[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 張四化;葛宇寧;;從對(duì)集合論悖論的剖析看制約邏輯的客體性[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專(zhuān)題研討會(huì)論文集[C];2005年

2 廖琳;龔啟榮;;論羅素的邏輯主義[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專(zhuān)題研討會(huì)論文集[C];2005年

3 王健平;;論相關(guān)蘊(yùn)涵及其推理——法律邏輯中的蘊(yùn)涵是相關(guān)蘊(yùn)涵[A];第十六屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文（成就·反思·前瞻——中國(guó)法律邏輯三十年）[C];2008年

4 翟玉章;楊玲;;現(xiàn)代邏輯和哲學(xué)的進(jìn)步[A];第八屆全國(guó)分析哲學(xué)研討會(huì)論文集（上）[C];2012年

5 劉葉濤;;克里普克論指稱(chēng)的轉(zhuǎn)移[A];2007年全國(guó)哲學(xué)學(xué)科建設(shè)論壇論文集[C];2007年

6 王習(xí)勝;;論方法論取向的邏輯悖論研究[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

7 張瑾;高迎澤;;解悖與辯證[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

8 劉葉濤;;克里普克論指稱(chēng)的轉(zhuǎn)移[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

9 劉邦凡;高鵬;;論《呂氏春秋》中的悖論思想[A];第一次南開(kāi)邏輯學(xué)專(zhuān)業(yè)學(xué)人學(xué)術(shù)研討會(huì)論文集[C];2012年

10 劉邦凡;李春穎;;論鄧析的“兩可”之說(shuō)[A];第一次南開(kāi)邏輯學(xué)專(zhuān)業(yè)學(xué)人學(xué)術(shù)研討會(huì)論文集[C];2012年

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

1 張昆;滲透數(shù)學(xué)觀念的教學(xué)設(shè)計(jì)方法研究[D];西南大學(xué);2011年

2 徐俊;信仰播撒與權(quán)力博弈[D];南京理工大學(xué);2011年

3 劉張華;大衛(wèi)·劉易斯模態(tài)哲學(xué)思想研究[D];南京大學(xué);2011年

4 李超;伯特蘭·羅素和平思想的起源與發(fā)展[D];南京大學(xué);2011年

5 李虹;《紅樓夢(mèng)》詩(shī)詞英譯移情比較研究[D];上海外國(guó)語(yǔ)大學(xué);2011年

6 王棟;戴維森意義理論之鏡中的語(yǔ)言與實(shí)在[D];吉林大學(xué);2012年

7 費(fèi)多益;論科學(xué)的合理性[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

8 董嶺;藝術(shù)功能論[D];暨南大學(xué);2001年

9 李春勇;20世紀(jì)中國(guó)的邏輯爭(zhēng)辯與邏輯觀[D];華東師范大學(xué);2002年

10 徐英瑾;維特根斯坦哲學(xué)轉(zhuǎn)型期中的“現(xiàn)象學(xué)”之謎[D];復(fù)旦大學(xué);2004年

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

1 魏紅杰;羅素社會(huì)歷史觀探析[D];江西師范大學(xué);2010年

2 馬翠萍;數(shù)學(xué)概念中的辯證關(guān)系及其教學(xué)研究[D];西北民族大學(xué);2010年

3 段艷;論休謨史學(xué)[D];淮北師范大學(xué);2010年

4 劉瑞琳;“道德悖論”還是“道德的悖論”[D];河南大學(xué);2011年

5 熊斌;弗雷格意義理論研究[D];西南大學(xué);2011年

6 莊麗;悖論，矛盾和辯證法[D];西南大學(xué);2011年

7 吳齊興;西方謬誤研究的歷史考察與反思[D];南京大學(xué);2011年

8 黃楚安;彭加勒“科學(xué)的邏輯”之我見(jiàn)[D];華中師范大學(xué);2011年

9 宋緋;試論多視角下的中學(xué)語(yǔ)文課文概括[D];湖南師范大學(xué);2011年

10 錢(qián)蘅;刑事推定規(guī)則功能與結(jié)構(gòu)探析[D];復(fù)旦大學(xué);2011年

【同被引文獻(xiàn)】

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

1 張其亮;;數(shù)學(xué)基礎(chǔ)問(wèn)題的哲學(xué)觀及其啟示[J];高等理科教育;2008年03期

2 張?jiān)氯A;;康托與集合論的創(chuàng)立[J];科技信息(學(xué)術(shù)研究);2008年03期

3 葉峰;;數(shù)學(xué)真理是什么?[J];科學(xué)文化評(píng)論;2005年04期

4 黃秦安;數(shù)學(xué)真理:從神性化的形而上學(xué)到人性化的文化構(gòu)建──兼評(píng)M.克萊因的《數(shù)學(xué):確定性的喪失》　[J];蘭州大學(xué)學(xué)報(bào);2001年06期

5 丹尼爾·麥克佩斯;;數(shù)學(xué)真理的問(wèn)題(英文)[J];邏輯學(xué)研究;2009年02期

6 黃展驥;不同的“悖論觀”！──答復(fù)沈躍春先生[J];人文雜志;1995年06期

7 吳哲輝;悖論思維與科學(xué)發(fā)展[J];山東科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2000年03期

8 周勇;第2次數(shù)學(xué)危機(jī)的影響和啟示[J];數(shù)學(xué)通訊;2005年13期

9 張家龍;評(píng)數(shù)學(xué)基礎(chǔ)中的直覺(jué)主義學(xué)派[J];自然辯證法研究;1992年04期

10 劉杰;;論數(shù)學(xué)的真理困境——從實(shí)在論的角度看[J];哲學(xué)研究;2006年12期

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

1 曲宏宇;亞伯拉罕·魯濱遜的數(shù)學(xué)哲學(xué)思想探析[D];大連理工大學(xué);2005年

2 薛永強(qiáng);普特南內(nèi)在實(shí)在論真理觀透視[D];黑龍江大學(xué);2008年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前7條

1 沈躍春;;關(guān)于悖論實(shí)質(zhì)的哲學(xué)思考[J];安慶師院學(xué)報(bào)(社會(huì)科學(xué)版);1985年03期

2 沈躍春;;關(guān)于思維領(lǐng)域中的三類(lèi)矛盾[J];安慶師院學(xué)報(bào)(社會(huì)科學(xué)版);1986年04期

3 沈躍春;現(xiàn)代西方悖論研究之進(jìn)展[J];安慶師院社會(huì)科學(xué)學(xué)報(bào);1991年04期

4 沈躍春;現(xiàn)代悖論的跨學(xué)科研究及其發(fā)展趨勢(shì)[J];安慶師院社會(huì)科學(xué)學(xué)報(bào);1998年04期

5 沈躍春;悖論性質(zhì)新論[J];河北學(xué)刊;1990年04期

6 沈躍春;走出悖論定義理論的誤區(qū)─—對(duì)黃展驥和幾種流行的悖論定義的辨駁[J];人文雜志;1995年05期

7 張建軍;回歸自然語(yǔ)言的語(yǔ)義學(xué)悖論─—當(dāng)代西方邏輯悖論研究主潮探析[J];哲學(xué)研究;1997年05期

【相似文獻(xiàn)】

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

1 申彤;我所認(rèn)識(shí)的王浩先生[J];讀書(shū);1995年10期

2 王浩 ,鄧慶生;哥德?tīng)柕臄?shù)學(xué)客觀主義[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1987年01期

3 葉闖;直覺(jué)與哥德?tīng)枌?duì)數(shù)學(xué)概念實(shí)體存在之證明——讀《理性的生命——哥德?tīng)査枷胙芯俊穂J];哲學(xué)研究;2003年07期

4 劉新文;;哥德?tīng)柕倪z產(chǎn)及哥德?tīng)柊倌陠⑹綶J];世界哲學(xué);2006年04期

5 楊熙齡;哥德?tīng)柪碚撆c悖論有沒(méi)有“必然聯(lián)系”?[J];國(guó)外社會(huì)科學(xué);1981年01期

6 文鑫;;“哥德?tīng)柕倪z產(chǎn)及哥德?tīng)柊倌昙o(jì)念”綜述[J];哲學(xué)動(dòng)態(tài);2006年09期

7 劉曉力;哥德?tīng)柵c胡塞爾的現(xiàn)象學(xué)[J];自然辯證法通訊;2001年01期

8 胡作玄;;哥德?tīng)柊倌闧J];自然雜志;2006年02期

9 F．帕特陶特!法,張清宇;不完全性、構(gòu)造論和真[J];哲學(xué)譯叢;1999年03期

10 ;哥德?tīng)柕淖C據(jù)[J];大科技;2001年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 劉曉力;;一份珍貴的史料與一段誤讀的歷史[A];2000年邏輯研究專(zhuān)輯[C];2000年

2 熊明;;哥德?tīng)?根岑翻譯和本體論映射[A];1998年邏輯研究專(zhuān)輯[C];1998年

3 王路;;數(shù)理邏輯的光輝歷程——介紹張家龍著《數(shù)理邏輯發(fā)展史——從萊布尼茲到哥德?tīng)枴穂A];1994年邏輯研究專(zhuān)輯[C];1994年

4 張家龍;;王憲鈞教授對(duì)中國(guó)數(shù)理邏輯發(fā)展的貢獻(xiàn)——紀(jì)念王憲鈞教授誕辰90周年[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

5 吳允曾;;可計(jì)算性理論的發(fā)展及其應(yīng)用[A];邏輯學(xué)文集[C];1978年

6 張建軍;;類(lèi)說(shuō)謊者認(rèn)知悖論[A];1994年邏輯研究專(zhuān)輯[C];1994年

7 郭澤深;;當(dāng)代數(shù)學(xué)基礎(chǔ)問(wèn)題研究的若干類(lèi)型[A];1995年邏輯研究專(zhuān)輯[C];1995年

8 楊子京;;從開(kāi)放的角度看悖論問(wèn)題[A];1996年邏輯研究專(zhuān)輯[C];1996年

9 張金成;;變換經(jīng)典邏輯的時(shí)空——《數(shù)理辯證邏輯導(dǎo)論》讀后[A];1996年邏輯研究專(zhuān)輯[C];1996年

10 郭澤深;;數(shù)學(xué)柏拉圖主義的困境與出路[A];1996年邏輯研究專(zhuān)輯[C];1996年

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

1 本報(bào)記者 張 洪;[N];大眾科技報(bào);2003年

2 吳燕;[N];中華讀書(shū)報(bào);2005年

3 胡作玄;[N];中華讀書(shū)報(bào);2006年

4 胡作玄;[N];中華讀書(shū)報(bào);2006年

5 李霧;[N];南方周末;2006年

6 馮馨 清華大學(xué)新聞與傳播學(xué)院;[N];中國(guó)圖書(shū)商報(bào);2005年

7 張倩俠;[N];中國(guó)教育報(bào);2003年

8 劉曉力;[N];科技日?qǐng)?bào);2000年

9 尼克;[N];東方早報(bào);2011年

10 胡作玄 中科院系統(tǒng)所研究員;[N];中國(guó)圖書(shū)商報(bào);2005年

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

1 張本祥;不可計(jì)算復(fù)雜性的機(jī)理與意義[D];華南師范大學(xué);2006年

2 范昭賦;基于算子分量矩陣模型的IMP程序診斷[D];中山大學(xué);2007年

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

1 宗為翰;哥德?tīng)栮P(guān)于絕對(duì)不可判定命題的思想[D];復(fù)旦大學(xué);2010年

2 何寶軍;哥德?tīng)柕陌乩瓐D主義[D];華東師范大學(xué);2008年

3 楊睿之;哲學(xué)思想與具體學(xué)科研究實(shí)踐的相互影響[D];復(fù)旦大學(xué);2008年

4 楊永明;哥德?tīng)柕母拍顚?shí)在論[D];復(fù)旦大學(xué);2010年

5 朱增躍;哥德?tīng)枺簲?shù)學(xué)不是語(yǔ)言的句法[D];復(fù)旦大學(xué);2011年

6 韓宇勝;論法律的不確定性[D];中國(guó)政法大學(xué);2001年

7 唐芳芳;哥德?tīng)柖ɡ淼囊饬x[D];清華大學(xué);2005年

8 謝時(shí)國(guó);從羅素的邏輯主義立場(chǎng)看他的類(lèi)型論[D];西南大學(xué);2006年

9 趙曉聃;規(guī)則遵循問(wèn)題的語(yǔ)義分析及語(yǔ)境選擇[D];山西大學(xué);2008年

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

  本文關(guān)鍵詞：悖論與數(shù)理邏輯的發(fā)展探析，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：148129