羅素的數(shù)學(xué)邏輯主義本質(zhì)探析
本文關(guān)鍵詞:羅素的數(shù)學(xué)邏輯主義本質(zhì)探析,由筆耕文化傳播整理發(fā)布。
【摘要】: 伯特蘭·羅素是二十世紀(jì)英國(guó)著名的數(shù)理邏輯學(xué)家和哲學(xué)家,羅素的研究涉及哲學(xué)、邏輯、數(shù)學(xué)等多個(gè)領(lǐng)域,但他在數(shù)學(xué)與邏輯基礎(chǔ)方面研究的成就和影響是最大的。本文的目的是探討羅素的數(shù)學(xué)邏輯主義理論把數(shù)學(xué)化歸為邏輯的本質(zhì)是為了求真。研究羅素的數(shù)學(xué)邏輯主義求真本質(zhì)對(duì)邏輯的研究、對(duì)數(shù)學(xué)基礎(chǔ)的研究以及對(duì)哲學(xué)的深入研究都有重要的啟示意義。 本文共分四大部分內(nèi)容: 第一部分,羅素的數(shù)學(xué)邏輯主義思想概述。本部分主要論述了羅素的數(shù)學(xué)邏輯主義思想提出的歷史背景、思想根源及其內(nèi)容。作者認(rèn)為對(duì)于已有的數(shù)學(xué)基礎(chǔ)工作的不滿,即認(rèn)為算術(shù)理論不能看成是全部數(shù)學(xué)的最終基礎(chǔ)是其思想產(chǎn)生的歷史背景;另外,萊布尼茨“數(shù)學(xué)真理就是邏輯真理”的觀點(diǎn)是其思想淵源;而羅素哲學(xué)觀點(diǎn)的轉(zhuǎn)變和邏輯(數(shù)學(xué))工具的發(fā)現(xiàn)為其提供了理論工具。本部分還介紹了邏輯主義和羅素的數(shù)學(xué)邏輯主義的基本觀點(diǎn)。羅素的數(shù)學(xué)邏輯主義的觀點(diǎn)就是認(rèn)為數(shù)學(xué)可以由邏輯推導(dǎo)出來(lái),邏輯是數(shù)學(xué)的基礎(chǔ),數(shù)學(xué)是邏輯的一部分。因此,邏輯概念可以通過(guò)定義推導(dǎo)出數(shù)學(xué)概念,邏輯公理可以通過(guò)邏輯演繹法推導(dǎo)出數(shù)學(xué)定理。 第二部分,羅素的數(shù)學(xué)邏輯主義的本質(zhì)。本部分論述了數(shù)學(xué)和邏輯的特征及關(guān)系,數(shù)學(xué)真理與邏輯真理的特征及關(guān)系;并且分別對(duì)真與真理、邏輯與真予以區(qū)分;還論述了羅素視野中的真,羅素?cái)?shù)學(xué)邏輯主義的本質(zhì)是求真。 第三部分,羅素的數(shù)學(xué)邏輯主義求真的方法。作者認(rèn)為其求真的方法主要有以下四種:通過(guò)對(duì)語(yǔ)言的分析和構(gòu)造方法,從邏輯概念推導(dǎo)出數(shù)學(xué)概念;羅素的摹狀詞理論保證了求真;構(gòu)造命題演算系統(tǒng)和謂詞演算系統(tǒng),從邏輯公理推導(dǎo)出數(shù)學(xué)定理;提出邏輯類型論來(lái)解決羅素悖論。 第四部分,羅素的數(shù)學(xué)邏輯主義求真本質(zhì)的啟示。作者認(rèn)為羅素通過(guò)求真促進(jìn)了邏輯學(xué)、哲學(xué)和數(shù)學(xué)基礎(chǔ)理論的深入發(fā)展。而其倡導(dǎo)的科學(xué)的求實(shí)精神和理性精神,對(duì)于我們今天的邏輯理論研究仍有重要的參考價(jià)值和啟發(fā)意義。 本文的研究方法主要有文獻(xiàn)研究法、定性分析法、跨學(xué)科研究法、理論分析法等。通過(guò)分析論述,得出羅素?cái)?shù)學(xué)邏輯主義的本質(zhì)是求真,又探索了其啟示意義。
【關(guān)鍵詞】:數(shù)學(xué)邏輯主義 數(shù)學(xué)真理 邏輯真理 求真
【學(xué)位授予單位】:山西大學(xué)
【學(xué)位級(jí)別】:碩士
【學(xué)位授予年份】:2010
【分類號(hào)】:B813
【目錄】:
- 中文摘要8-9
- ABSTRACT9-11
- 引言11-12
- 第一章 羅素的數(shù)學(xué)邏輯主義概述12-16
- 1.1 羅素的數(shù)學(xué)邏輯主義提出的歷史背景12-14
- 1.1.1 數(shù)學(xué)基礎(chǔ)的不穩(wěn)固12-13
- 1.1.2 萊布尼茨的理論先導(dǎo)13
- 1.1.3 羅素哲學(xué)觀點(diǎn)的轉(zhuǎn)變和化歸工具的發(fā)現(xiàn)13-14
- 1.2 邏輯主義與羅素的數(shù)學(xué)邏輯主義14-16
- 1.2.1 邏輯主義14-15
- 1.2.2 羅素的數(shù)學(xué)邏輯主義15-16
- 第二章 羅素的數(shù)學(xué)邏輯主義的本質(zhì)16-27
- 2.1 數(shù)學(xué)和邏輯的特征和關(guān)系16-17
- 2.1.1 邏輯主義的觀點(diǎn)16
- 2.1.2 現(xiàn)代認(rèn)識(shí)論的觀點(diǎn)16-17
- 2.2 數(shù)學(xué)真理與邏輯真理的特征和關(guān)系17-23
- 2.2.1 邏輯真理17-19
- 2.2.2 數(shù)學(xué)真理19-22
- 2.2.3 數(shù)學(xué)真理與邏輯真理的關(guān)系22-23
- 2.3 羅素的數(shù)學(xué)邏輯主義與求真23-27
- 2.3.1 真與真理23-24
- 2.3.2 邏輯與真24
- 2.3.3 羅素視野中的真24-25
- 2.3.4 羅素的數(shù)學(xué)邏輯主義與求真25-27
- 第三章 羅素的數(shù)學(xué)邏輯主義求真的方法27-35
- 3.1 通過(guò)對(duì)語(yǔ)言的分析和構(gòu)造方法,由邏輯概念推導(dǎo)出數(shù)學(xué)概念28-30
- 3.2 摹狀詞理論30
- 3.3 構(gòu)造演算系統(tǒng),從邏輯公理推導(dǎo)出數(shù)學(xué)定理30-32
- 3.4 提出類型論來(lái)解決羅素悖論32-35
- 第四章 羅素的數(shù)學(xué)邏輯主義求真本質(zhì)的啟示35-40
- 4.1 促進(jìn)了哲學(xué)研究的深入發(fā)展35-36
- 4.2 促進(jìn)了邏輯學(xué)研究的深入發(fā)展36-37
- 4.3 促進(jìn)了數(shù)學(xué)基礎(chǔ)研究的深入發(fā)展37-38
- 4.4 為各學(xué)科樹(shù)立了求真務(wù)實(shí)的優(yōu)良學(xué)風(fēng)38-40
- 結(jié)論40-41
- 參考文獻(xiàn)41-43
- 攻讀學(xué)位期間取得的研究成果43-44
- 致謝44-45
- 個(gè)人簡(jiǎn)況45-47
【相似文獻(xiàn)】
中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條
1 卡麥隆·克羅 ,戴行鉞;成名在望[J];電影創(chuàng)作;2001年06期
2 呂朝鑓;;羅素的哲學(xué)觀[J];學(xué)理論;2009年19期
3 陶杰;;馴悍記[J];跨世紀(jì)(時(shí)文博覽);2011年01期
4 鮑昌;;文化厚壤里開(kāi)出的蒼白的花——《羅素散文集》序言[J];文學(xué)自由談;1987年04期
5 A·格瑞林;;一個(gè)有瘢痕的哲學(xué)家[J];外國(guó)文學(xué)動(dòng)態(tài);1997年03期
6 應(yīng)奇;“斯特勞森──羅素之爭(zhēng)”的本體論旨趣[J];學(xué)術(shù)月刊;1999年01期
7 張安民;羅素的指謂理論[J];理論學(xué)刊;2005年03期
8 ;飛屋環(huán)游記[J];高考金刊;2009年12期
9 楊豈深;;哲人羅素[J];國(guó)外社會(huì)科學(xué)文摘;1962年01期
10 馮崇義;;羅素訪華緣起[J];學(xué)術(shù)研究;1992年06期
中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條
1 張安民;;羅素摹狀詞理論初探[A];邏輯教學(xué)·知識(shí)創(chuàng)新·素質(zhì)教育研討會(huì)論文集[C];2001年
2 王彬彬;;社會(huì)主義論爭(zhēng)與中國(guó)共產(chǎn)黨的誕生——兼論社會(huì)主義論爭(zhēng)中的羅素[A];浙江省暨華東六省一市黨史系統(tǒng)紀(jì)念建黨八十周年學(xué)術(shù)討論會(huì)論文集[C];2001年
3 周肆根;;弗雷格邏輯主義的理論反思[A];1996年邏輯研究專輯[C];1996年
4 夏年喜;;論斯特勞森對(duì)羅素摹狀詞理論的評(píng)價(jià)[A];邏輯教學(xué)·知識(shí)創(chuàng)新·素質(zhì)教育研討會(huì)論文集[C];2001年
5 劉昱東;;“中立主義”與和平主義——試論羅素的道德哲學(xué)與和平主義思想之關(guān)系[A];山西大學(xué)2008年全國(guó)博士生學(xué)術(shù)論壇(科學(xué)技術(shù)哲學(xué))[C];2008年
6 徐明明;;論弗雷格邏輯主義的確切含義[A];2000年邏輯研究專輯[C];2000年
7 張灝;;代羅素反駁唐納南—論摹狀詞的指稱性使用[A];第二屆中國(guó)科技哲學(xué)及交叉學(xué)科研究生論壇論文集(博士卷)[C];2008年
8 郭澤深;;數(shù)學(xué)柏拉圖主義的困境與出路[A];1996年邏輯研究專輯[C];1996年
9 張家龍;;羅素的摹狀詞理論述評(píng)[A];全國(guó)邏輯討論會(huì)論文選集[C];1979年
10 張家龍;;論金岳霖對(duì)羅素中立一元論的批判[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年
中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條
1 本報(bào)記者 張啟富;我市舉行2005年春節(jié)團(tuán)拜會(huì)[N];廣安日?qǐng)?bào);2005年
2 本報(bào)書(shū)評(píng)人,清華大學(xué)哲學(xué)系教授 胡偉希;羅素:有深刻人文關(guān)懷的思想家[N];中華讀書(shū)報(bào);2007年
3 徐恩存;山勢(shì)撼人與深遠(yuǎn)意境[N];美術(shù)報(bào);2008年
4 本報(bào)記者 楊博;羅素投資:美國(guó)經(jīng)濟(jì)不會(huì)二次衰退[N];中國(guó)證券報(bào);2011年
5 孫榮飛;權(quán)力及對(duì)權(quán)力的規(guī)制[N];學(xué)習(xí)時(shí)報(bào);2004年
6 章立凡;金劍已沉埋,壯氣蒿萊[N];社會(huì)科學(xué)報(bào);2004年
7 賴元平 張錦林 袁興軍 張道川 熊興文;張炳坤 羅素華 彭德秋慰問(wèn)貧困群眾[N];廣安日?qǐng)?bào);2006年
8 ;羅素聯(lián)盟:研究領(lǐng)域的王者[N];國(guó)際商報(bào);2008年
9 陳小文;獨(dú)樹(shù)一幟的哲學(xué)史[N];中華讀書(shū)報(bào);2002年
10 本報(bào)記者 楊君;Our Business Principle:Being a Good Corporate Citizen An Interview with Mr.Russ Phillips,Chief Representative of Anglo Coal Beijing Representative Office 我們的信念:做優(yōu)秀企業(yè)公民[N];國(guó)際商報(bào);2006年
中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條
1 余永林;技術(shù)式的沉思[D];復(fù)旦大學(xué);2010年
2 李超;伯特蘭·羅素和平思想的起源與發(fā)展[D];南京大學(xué);2011年
3 張拴平;張申府哲學(xué)思想研究[D];中共中央黨校;2001年
4 王宇光;維特根斯坦和哥德?tīng)柖ɡ韀D];華東師范大學(xué);2010年
5 羅伯中;20世紀(jì)之交的英美關(guān)系問(wèn)題的哲學(xué)爭(zhēng)論[D];復(fù)旦大學(xué);2006年
6 張立娜;個(gè)體詞的邏輯語(yǔ)義[D];清華大學(xué);2007年
7 喬文娟;科學(xué)哲學(xué)視野中的中醫(yī)形象[D];南開(kāi)大學(xué);2009年
8 賀毅憬;OATP1B1與AML的臨床遺傳藥理學(xué)研究[D];中南大學(xué);2008年
9 何朝安;涵義的形而上學(xué)研究[D];復(fù)旦大學(xué);2012年
10 聶大海;語(yǔ)言指稱的同一性與必然性[D];吉林大學(xué);2011年
中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條
1 王慧展;羅素的數(shù)學(xué)邏輯主義本質(zhì)探析[D];山西大學(xué);2010年
2 陳志美;羅素的數(shù)學(xué)邏輯主義思想研究[D];華南師范大學(xué);2002年
3 張芳琴;羅素婚姻倫理思想及其當(dāng)代反思[D];上海師范大學(xué);2010年
4 魏紅杰;羅素社會(huì)歷史觀探析[D];江西師范大學(xué);2010年
5 郭濤濤;約翰·羅素的史學(xué)思想與政治改革[D];河南大學(xué);2011年
6 劉志明;羅素中立一元論研究[D];蘇州大學(xué);2011年
7 魏靜;羅素意義理論研究[D];河北大學(xué);2010年
8 王新星;試論羅素哲學(xué)的認(rèn)識(shí)論意義[D];延邊大學(xué);2004年
9 吳春玲;論科學(xué)進(jìn)步的合理性[D];西南交通大學(xué);2004年
10 鄭晨曦;從三大難題看羅素的摹狀詞理論[D];黑龍江大學(xué);2012年
本文關(guān)鍵詞:羅素的數(shù)學(xué)邏輯主義本質(zhì)探析,,由筆耕文化傳播整理發(fā)布。
本文編號(hào):320836
本文鏈接:http://sikaile.net/shekelunwen/ljx/320836.html