本文關(guān)鍵詞：形式化方法的理論及其影響

  更多相關(guān)文章： 形式化方法 數(shù)學(xué)結(jié)構(gòu)主義 公理化方法 形式系統(tǒng) 形式語(yǔ)言

【摘要】： 形式化方法是現(xiàn)代邏輯研究的一種基本方法,也是構(gòu)建現(xiàn)代邏輯理論的框架工具。它本質(zhì)是一種演繹方法,是人類(lèi)理性精神的體現(xiàn)和智慧的結(jié)晶。本文采用系統(tǒng)科學(xué)的全新視角,對(duì)形式化方法展開(kāi)四個(gè)層面的研究:①用系統(tǒng)觀點(diǎn)考察形式化方法對(duì)命題邏輯和謂詞邏輯系統(tǒng)建構(gòu)和重要理論問(wèn)題中的應(yīng)用;②以跨學(xué)科、交叉性的研究進(jìn)路,討論形式化方法的技術(shù)基礎(chǔ)--公理化方法的一般性理論和思維范式。③采用邏輯與歷史相一致的方法探討邏輯形式化與數(shù)學(xué)結(jié)構(gòu)化的發(fā)生、發(fā)展過(guò)程及相互關(guān)系問(wèn)題,并從邏輯史視角探討形式化方法產(chǎn)生的原動(dòng)力。④從方法論視角對(duì)數(shù)學(xué)結(jié)構(gòu)主義產(chǎn)生原因、與形式化方法思想淵源進(jìn)行探討;并用比較法研究數(shù)學(xué)結(jié)構(gòu)與形式化的區(qū)別與聯(lián)系。通過(guò)以上四個(gè)方面對(duì)形式化方法的研究闡釋清形式化方法在現(xiàn)代邏輯理論與現(xiàn)代數(shù)學(xué)理論間應(yīng)用的張力、邏輯形式化與數(shù)學(xué)結(jié)構(gòu)化的比較與對(duì)接、交融與互動(dòng)關(guān)系問(wèn)題及形式化方法的一般性理論和思維范式等方面有全面、深入的認(rèn)識(shí),因而無(wú)論邏輯科學(xué)、數(shù)學(xué)科學(xué)還是邏輯史、數(shù)學(xué)史的研究都有重要意義。
【關(guān)鍵詞】：形式化方法 數(shù)學(xué)結(jié)構(gòu)主義 公理化方法 形式系統(tǒng) 形式語(yǔ)言
【學(xué)位授予單位】：貴州大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類(lèi)號(hào)】：B812
【目錄】：

• 摘要3-4
• 英文摘要4-5
• 前言5-6
• 第一節(jié) 選題背景6
• 第二節(jié) 研究目標(biāo)和意義6
• 第一章 系統(tǒng)觀點(diǎn)下的形式化方法6-18
• 第一節(jié) 基本概念的界定7-8
• 第二節(jié) 形式化方法的起點(diǎn)8-11
• 第三節(jié) 形式化方法的硬件系統(tǒng)11-14
• 第四節(jié) 通向推理實(shí)際的橋梁14-16
• 第五節(jié) 形式化方法的評(píng)價(jià)目標(biāo)及檢測(cè)方法16-18
• 第六節(jié) 本章小節(jié)18
• 第二章 形式化方法的理論成果18-27
• 第一節(jié) 不完全性定理的微觀考察19-22
• 第二節(jié) 不完全性定理的宏觀考察22-27
• 第三節(jié) 本章小節(jié)27
• 第三章 形式化方法技術(shù)的基礎(chǔ)27-37
• 第一節(jié) 公理化方法的概述27-29
• 第二節(jié) 《幾何原本》─實(shí)質(zhì)公理化方法體現(xiàn)29-30
• 第三節(jié) 非歐幾何─概括公理系統(tǒng)體現(xiàn)30-32
• 第四節(jié) 《幾何基礎(chǔ)》─形式公理化體現(xiàn)32-34
• 第五節(jié) 希爾伯特綱領(lǐng)─形式系統(tǒng)體現(xiàn)34-35
• 第六節(jié) 本章小結(jié)35-37
• 第四章 數(shù)學(xué)結(jié)構(gòu)主義的形式化分析37-45
• 第一節(jié) 數(shù)學(xué)結(jié)構(gòu)主義的形式語(yǔ)言37-39
• 第二節(jié) 數(shù)學(xué)結(jié)構(gòu)主義的形式化表述39-42
• 第三節(jié) 數(shù)學(xué)結(jié)構(gòu)主義的形式化分析42-44
• 第四節(jié) 本章小結(jié)44-45
• 第五章 形式化方法的歷史考察45-55
• 第一節(jié) 形式化方法的萌芽45-48
• 第二節(jié) 形式化方法的提出與初步發(fā)展48
• 第三節(jié) 形式化方法的形成與其邏輯影響48-53
• 第四節(jié) 形式化方法的數(shù)學(xué)影響53-55
• 第五節(jié) 本章小結(jié)55
• 結(jié)論55-57
• 參考文獻(xiàn)57-59
• 致謝59-60
• 攻讀碩士學(xué)位期間發(fā)表論文60
• 參加科研項(xiàng)目60-61

【共引文獻(xiàn)】

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

1 陳波;;語(yǔ)句的真、真的語(yǔ)句、真的理論體系——“truth”的三重含義辨析[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年01期

2 汪亞文,李未;開(kāi)放邏輯及其實(shí)現(xiàn)技術(shù)[J];北京航空航天大學(xué)學(xué)報(bào);1992年03期

3 馮藝遠(yuǎn);;理解:開(kāi)始與終結(jié)[J];北京教育學(xué)院學(xué)報(bào);2005年04期

4 吳煒;分析命題和綜合命題的區(qū)分及其對(duì)真理問(wèn)題的意義[J];北京郵電大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2001年02期

5 楊建梓,曾華鋒,楊劍利;對(duì)本體論的一種闡釋[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2002年04期

6 白剛;從實(shí)踐本體化到本體實(shí)踐化[J];東岳論叢;2003年06期

7 鄭祥福;20世紀(jì)西方科學(xué)哲學(xué)發(fā)展回眸與瞻望[J];福建論壇(人文社會(huì)科學(xué)版);2002年01期

8 程仲棠;規(guī)范領(lǐng)域中的分析命題[J];廣東社會(huì)科學(xué);2002年01期

9 席酉民;井輝;曾憲聚;肖宏文;;和諧管理雙規(guī)則機(jī)制的探索性分析與驗(yàn)證[J];管理學(xué)報(bào);2006年05期

10 周建斌;奎因的語(yǔ)言哲學(xué)思想[J];甘肅教育學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2003年02期

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

1 胡波;社會(huì)理想境界論綱[D];中國(guó)社會(huì)科學(xué)院研究生院;2000年

2 黃玉順;超越知識(shí)與價(jià)值的緊張：“科學(xué)與玄學(xué)論戰(zhàn)”的哲學(xué)問(wèn)題[D];中國(guó)社會(huì)科學(xué)院研究生院;2000年

3 楊學(xué)功;本體論哲學(xué)批判[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

4 李淑靜;If條件句與常規(guī)關(guān)系[D];河南大學(xué);2005年

5 劉高岑;語(yǔ)言、心智與世界[D];山西大學(xué);2004年

6 黃欣榮;復(fù)雜性科學(xué)的方法論研究[D];清華大學(xué);2005年

7 張鎮(zhèn)環(huán);實(shí)在與科學(xué)理論的真理性[D];吉林大學(xué);2006年

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

9 聞曙明;隱性知識(shí)顯性化問(wèn)題研究[D];蘇州大學(xué);2006年

10 楊建梓;尋找回歸之路[D];中國(guó)人民大學(xué);2002年

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

1 張利芳;摹狀詞理論研究[D];西南師范大學(xué);2001年

2 頓新國(guó);亨佩爾定性確證思想探析[D];華中師范大學(xué);2002年

3 宋建平;形而上學(xué)終結(jié)了嗎？[D];浙江師范大學(xué);2002年

4 榮小雪;非充分決定性論題與波普爾的證偽方法[D];山西大學(xué);2003年

5 郭麗麗;女性主義科學(xué)哲學(xué)研究[D];大連理工大學(xué);2004年

6 屠軍;述評(píng)羅蒂對(duì)鏡式哲學(xué)的批判和改造[D];湘潭大學(xué);2004年

7 胡華南;通向科學(xué)理論真理性的道路——源自科學(xué)實(shí)在論與反實(shí)在論之爭(zhēng)[D];武漢理工大學(xué);2004年

8 周佳;本體論的現(xiàn)代闡釋[D];東北師范大學(xué);2005年

9 唐玉斌;本質(zhì)主義和必然性問(wèn)題的研究[D];華南師范大學(xué);2005年

10 李光宇;刑法因果關(guān)系基本問(wèn)題研究[D];河南大學(xué);2005年

，

本文編號(hào)：533418