出版時(shí)間:2007-3 出版社:復(fù)旦大學(xué)出版社 作者:(英)伊姆雷·拉卡托斯 頁(yè)數(shù):193 譯者:方剛 蘭釗
Tag標(biāo)簽:無(wú)
內(nèi)容概要
該書是匈牙利裔英國(guó)籍著名哲學(xué)家伊姆雷·拉卡托斯于20世紀(jì)60年代完成的一部探索數(shù)學(xué)史上新發(fā)現(xiàn)的產(chǎn)生過(guò)程的力作,主要闡述作者用5年時(shí)間收集的兩個(gè)典型的數(shù)學(xué)案例,以及本書編者添加的拉卡托斯1961年在劍橋大學(xué)所撰博士論文的部分片段?! ±ㄍ兴故怯脤?duì)話體的形式進(jìn)行寫作的,他虛構(gòu)了教師在課堂上與學(xué)生們討論正多面體歐拉公式 V-E+F=2 的猜想與發(fā)現(xiàn)、證明和反駁的全過(guò)程,形象地展現(xiàn)了數(shù)學(xué)史上對(duì)此問(wèn)題進(jìn)行研究探索的真實(shí)的歷史圖景,以此來(lái)挑戰(zhàn)和批判以希爾伯特為代表的認(rèn)為數(shù)學(xué)等同于形式公理的抽象、把數(shù)學(xué)哲學(xué)與數(shù)學(xué)史割裂開(kāi)來(lái)的形式主義數(shù)學(xué)史觀。這篇光輝論著旨在解決數(shù)學(xué)方法論的基本問(wèn)題,以一種探索和發(fā)現(xiàn)的情境邏輯來(lái)代替形式主義和邏輯實(shí)證主義的抽象教條。正如拉卡托斯所說(shuō),非形式、準(zhǔn)經(jīng)驗(yàn)的數(shù)學(xué)的發(fā)展,并不只靠逐步增加的毋庸置疑的定理的數(shù)目,而是靠以思辨與批評(píng)、證明與反駁之邏輯對(duì)最初猜想的持續(xù)不斷的改進(jìn)。 本書的寫作形式也頗為新穎,作者以課堂討論的對(duì)話形式來(lái)展現(xiàn)數(shù)學(xué)的發(fā)現(xiàn),生動(dòng)地體現(xiàn)了數(shù)學(xué)發(fā)展的辯證過(guò)程?! ≌?yàn)榇耍摃€可以作為數(shù)學(xué)教學(xué)的案例,給廣大數(shù)學(xué)教師提供了一種示范性的教學(xué)法。特別要提請(qǐng)讀者注意的是,該著作腳注的內(nèi)容十分豐富,諸多數(shù)學(xué)史上的爭(zhēng)論都體現(xiàn)在注釋之中,所以腳注部分也應(yīng)該看作是正文的有機(jī)組成部分,不可忽略?! ∽髡咴谥骱竺孢€列了一個(gè)非常完整的參考書目,對(duì)書中提到的問(wèn)題和觀點(diǎn)感興趣的讀者可以按圖索驥,定會(huì)有更大的收獲。
作者簡(jiǎn)介
拉卡托斯(Imre Lakatos,1922—1974),英籍匈牙利人,出身于匈牙利的一個(gè)猶太人家庭,是20世紀(jì)著名的數(shù)學(xué)哲學(xué)家、科學(xué)哲學(xué)家,也是現(xiàn)代科學(xué)哲學(xué)歷史學(xué)派的主要代表之一。二戰(zhàn)期間是積極的共產(chǎn)黨人,1950年至1953年以修正主義者之名被監(jiān)禁。1956年蘇聯(lián)出兵匈牙利后,流亡到英國(guó),繼續(xù)求學(xué),獲劍橋大學(xué)哲學(xué)博士學(xué)位,后入英國(guó)籍。從20世紀(jì)60年代初起到去世為止,一直在倫敦經(jīng)濟(jì)學(xué)院任教,與波普(Karl Popper)和沃特金斯(John Watkins)共事,波普任科學(xué)方法、邏輯學(xué)和哲學(xué)系主任,并任《科學(xué)哲學(xué)》雜志主編。主要著作有《科學(xué)研究綱領(lǐng)方法論》、 《數(shù)學(xué)、科學(xué)與認(rèn)識(shí)論》、《證明與反駁》。
書籍目錄
編者前言致謝作者引言第1章 1.一個(gè)問(wèn)題與一個(gè)猜想 2.一個(gè)證明 3.用局部而非全局的反例對(duì)證明的批評(píng) 4.全局的反例對(duì)猜想的批評(píng) ?。╝)猜想之拒斥。讓步法 ?。╞)反例之拒斥。怪物排除法 (c)以例外排除法改進(jìn)猜想。逐步排除。策略性撤退或穩(wěn)扎穩(wěn)打 ?。╠)怪物校正法 ?。╡)以引理并入法改進(jìn)猜想。證明生成的定理VS.素樸的猜想 5.全局而非局部的反例對(duì)證明分析的批評(píng)。嚴(yán)格性的問(wèn)題 ?。╝)守御定理的怪物排除 ?。╞)隱藏引理 ?。╟)一證多駁法 ?。╠)證明VS.證明分析。定理概念與證明分析之嚴(yán)格性概念的相對(duì)化 6.再論局部而非全局的反例對(duì)證明的批評(píng)。內(nèi)容問(wèn)題 ?。╝)以更深入的證明擴(kuò)增內(nèi)容 ?。╞)向最終證明與相應(yīng)的充分必要條件進(jìn)軍 ?。╟)不同證明得出不同定理 7.重談內(nèi)容問(wèn)題 ?。╝)素樸猜想的素樸性 ?。╞)作為多證多駁法之基礎(chǔ)的歸納 ?。╟)演繹的猜測(cè)VS.素樸的猜測(cè) ?。╠)以演繹猜測(cè)擴(kuò)增內(nèi)容 ?。╡)邏輯的反例VS.探試的反例 8.概念的形成 (a)以概念拉伸來(lái)反駁。重估怪物排除——兼重估錯(cuò)誤與反駁之概念 (b)證明引生的概念VS.素樸的概念。理論分類VS.素樸分類 (c)再論邏輯反駁與探試反駁 ?。╠)理論的概念拉伸VS.素樸的概念拉伸。連續(xù)發(fā)展VS.批判發(fā)展 (e)內(nèi)容增加的極限。理論反駁VS.素樸反駁 9.批評(píng)如何可把數(shù)學(xué)真理變?yōu)檫壿嬚胬怼 。╝)無(wú)限制的概念拉伸摧毀意義與真理 ?。╞)溫和的概念拉伸可將數(shù)學(xué)真理變?yōu)檫壿嬚胬淼?章 編者引言 1.把猜想翻譯成矢量代數(shù)“完全被認(rèn)可的”術(shù)語(yǔ)。翻譯的問(wèn)題 2.猜想的另一個(gè)證明 3.關(guān)于證明之終極性的一些疑問(wèn)。翻譯的程序以及實(shí)在 論者的定義方法VS.唯名論者的定義方法附錄1 多證多駁法中的另一個(gè)案例研究 1.柯西為“連續(xù)性原理”所作的辯護(hù) 2.賽德?tīng)柕淖C明以及證明生成的一致收斂概念 3.阿貝爾的例外排除法 4.有關(guān)證明分析法之發(fā)現(xiàn)的障礙附錄2 演繹主義方法VS.探試法 1.演繹主義方法 2.探試法。證明產(chǎn)生的概念 ?。╝) 一致收斂 ?。╞) 有界變分 ?。╟) 可測(cè)集的卡拉西爾德瑞定義參考書目人名譯名對(duì)照表
章節(jié)摘錄
OMEGA:或是如此。但可以有兩種方式解釋規(guī)4.迄今我們只考慮過(guò)第一種稍弱的解釋:“以反例駁不倒的略鈸修改石:矽引理替代錯(cuò)誤的引理,來(lái)制作并改進(jìn)證明,是輕歷易舉的事”;要能如此,所需的不過(guò)是對(duì)證明的“更細(xì)心的”檢查和一次“平常的觀察”。依此種解釋,規(guī)則4不過(guò)是在原始證明的框架內(nèi)的范圍補(bǔ)綴而已?! ∥疫€要考慮可替代第1種的激進(jìn)解釋:替換引理——或者可能是所有引理—一的手段,不只是要努力把給定證明的最后一小塊內(nèi)容全擠出來(lái),并且可能還要發(fā)明一個(gè)完全不同的、內(nèi)容更廣的更深人矽證明?! ±蠋煟浩┤缯f(shuō)? OMEGA:我早先同一位朋友討論了笛卡兒—?dú)W拉猜想,他立馬給出了如下的證明:讓我們想象一個(gè)空心多面體,其表面由任意剛性材料制成,比如硬紙板。其棱必須在其內(nèi)表面清楚地畫上。讓其內(nèi)燈火通明,并設(shè)某一面是一個(gè)普通相機(jī)的鏡頭——從此面我便可拍一張所有棱與頂點(diǎn)的快照?! IGMA[旁白]:照相機(jī)參加了數(shù)學(xué)證明? OMEGA:于是我得到一張平面網(wǎng)狀結(jié)構(gòu)的相片,可與你的證明中的平面網(wǎng)狀結(jié)構(gòu)做同樣的處理。我亦可以相同方式說(shuō)明,若面是單連通的,便有V-E十F=1,再加上照片上不可見(jiàn)的鏡頭那一面,我便得到歐拉公式。這里的主要引理是:存在多面體的一個(gè)面,其換為照相機(jī)鏡頭后,便可照出多面體的內(nèi)部景象,讓所有的棱與頂點(diǎn)皆在膠卷顯影?,F(xiàn)在我引入下面的簡(jiǎn)略表述:不說(shuō)“至少?gòu)囊粋€(gè)面可拍遍其內(nèi)部的多面體”,而說(shuō)“準(zhǔn)凸多面體”?! ETA:所以你的定理是:所有帶單連通面的準(zhǔn)凸多面體是歐拉多面體。 OMEGA:為了簡(jiǎn)潔,及表?yè)P(yáng)這個(gè)特殊證明思想的發(fā)明者,我倒愿意說(shuō):“所有8果內(nèi)多面體是歐拉多面體”。 GAMMA:可是有許多的簡(jiǎn)單多面體啊,雖然從頭到腳是歐拉多面體,但卻犬牙交錯(cuò)得厲害,使得不能由任一面照遍其內(nèi)部!日果內(nèi)的證明并不比柯西的深入——倒是柯西的證明比日果內(nèi)的深入! OMEGA:那還用說(shuō)!我推測(cè)老師已知道了日果內(nèi)的證明,他由一些局部而非全局的反例發(fā)現(xiàn)它不盡如人意,便把光學(xué)——照相——引理?yè)Q了更為寬廣的拓?fù)鋵W(xué)一一拉伸一引理。他由之得到了更深入的柯西證明,其方法不是作一點(diǎn)小改動(dòng)尾隨的“仔細(xì)的證明分析”,而是激進(jìn)且富于想象的革新?! ±蠋煟何医邮苣愕睦印也⒉辉私獾饺展麅?nèi)的證明。不過(guò),如果你以前知道,你為何不把它告訴我們呢? OMEGA:因?yàn)槲伊⒓幢阌脷W拉多面體非日果內(nèi)多面體把它駁倒了?! AMMA:我方才說(shuō),我也發(fā)現(xiàn)了這樣的多面體。但是否那便是一股腦兒廢棄日果內(nèi)證明的理由? OMEGA:我是這么認(rèn)為的?! ?/pre>編輯推薦
《證明與反駁:數(shù)學(xué)發(fā)現(xiàn)的邏輯》的寫作形式也頗為新穎,作者以課堂討論的對(duì)話形式來(lái)展現(xiàn)數(shù)學(xué)的發(fā)現(xiàn),生動(dòng)地體現(xiàn)了數(shù)學(xué)發(fā)展的辯證過(guò)程。正因?yàn)榇耍摃€可以作為數(shù)學(xué)教學(xué)的案例,給廣大數(shù)學(xué)教師提供一種具有實(shí)踐意義的教學(xué)法?! √貏e要提請(qǐng)讀者注意的是,該著作腳注的內(nèi)容十分豐富,諸多數(shù)學(xué)史上的爭(zhēng)論都體現(xiàn)在注釋之中,所以腳注部分也應(yīng)該看作是正文的有機(jī)組成部分,不可忽略?!?/pre>圖書封面
圖書標(biāo)簽Tags
無(wú)評(píng)論、評(píng)分、閱讀與下載
- 還沒(méi)讀過(guò)(38)
- 勉強(qiáng)可看(277)
- 一般般(473)
- 內(nèi)容豐富(1962)
- 強(qiáng)力推薦(160)