證明與反駁：數(shù)學(xué)發(fā)現(xiàn)的邏輯

定　價(jià)：￥15.00

作　者：	（英）伊姆雷·拉卡托斯著，方剛，蘭釗譯
出版社：	復(fù)旦大學(xué)出版社
叢編項(xiàng)：	西方數(shù)學(xué)文化理念傳播譯叢
標(biāo)　簽：	數(shù)學(xué)理論

購(gòu)買這本書可以去

ISBN：	9787309053975	出版時(shí)間：	2007-03-01	包裝：	平裝
開本：	特32開	頁(yè)數(shù)：	193	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　該書是匈牙利裔英國(guó)籍著名哲學(xué)家伊姆雷·拉卡托斯于20世紀(jì)60年代完成的一部探索數(shù)學(xué)史上新發(fā)現(xiàn)的產(chǎn)生過程的力作，主要闡述作者用5年時(shí)間收集的兩個(gè)典型的數(shù)學(xué)案例，以及本書編者添加的拉卡托斯1961年在劍橋大學(xué)所撰博士論文的部分片段。拉卡托斯是用對(duì)話體的形式進(jìn)行寫作的，他虛構(gòu)了教師在課堂上與學(xué)生們討論正多面體歐拉公式 V-E+F=2 的猜想與發(fā)現(xiàn)、證明和反駁的全過程，形象地展現(xiàn)了數(shù)學(xué)史上對(duì)此問題進(jìn)行研究探索的真實(shí)的歷史圖景，以此來挑戰(zhàn)和批判以希爾伯特為代表的認(rèn)為數(shù)學(xué)等同于形式公理的抽象、把數(shù)學(xué)哲學(xué)與數(shù)學(xué)史割裂開來的形式主義數(shù)學(xué)史觀。這篇光輝論著旨在解決數(shù)學(xué)方法論的基本問題，以一種探索和發(fā)現(xiàn)的情境邏輯來代替形式主義和邏輯實(shí)證主義的抽象教條。正如拉卡托斯所說，非形式、準(zhǔn)經(jīng)驗(yàn)的數(shù)學(xué)的發(fā)展，并不只靠逐步增加的毋庸置疑的定理的數(shù)目，而是靠以思辨與批評(píng)、證明與反駁之邏輯對(duì)最初猜想的持續(xù)不斷的改進(jìn)。本書的寫作形式也頗為新穎，作者以課堂討論的對(duì)話形式來展現(xiàn)數(shù)學(xué)的發(fā)現(xiàn)，生動(dòng)地體現(xiàn)了數(shù)學(xué)發(fā)展的辯證過程。正因?yàn)榇?，該書還可以作為數(shù)學(xué)教學(xué)的案例，給廣大數(shù)學(xué)教師提供了一種示范性的教學(xué)法。特別要提請(qǐng)讀者注意的是，該著作腳注的內(nèi)容十分豐富，諸多數(shù)學(xué)史上的爭(zhēng)論都體現(xiàn)在注釋之中，所以腳注部分也應(yīng)該看作是正文的有機(jī)組成部分，不可忽略。作者在著作后面還列了一個(gè)非常完整的參考書目，對(duì)書中提到的問題和觀點(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è)問題與一個(gè)猜想
　2.一個(gè)證明
　3.用局部而非全局的反例對(duì)證明的批評(píng)
　4.全局的反例對(duì)猜想的批評(píng)
　　（a）猜想之拒斥。讓步法
　　（b）反例之拒斥。怪物排除法
　?。╟）以例外排除法改進(jìn)猜想。逐步排除。策略性撤退或穩(wěn)扎穩(wěn)打
　　（d）怪物校正法
　?。╡）以引理并入法改進(jìn)猜想。證明生成的定理VS.素樸的猜想
　5.全局而非局部的反例對(duì)證明分析的批評(píng)。嚴(yán)格性的問題
　?。╝）守御定理的怪物排除
　?。╞）隱藏引理
　　（c）一證多駁法
　?。╠）證明VS.證明分析。定理概念與證明分析之嚴(yán)格性概念的相對(duì)化
　6.再論局部而非全局的反例對(duì)證明的批評(píng)。內(nèi)容問題
　?。╝）以更深入的證明擴(kuò)增內(nèi)容
　　（b）向最終證明與相應(yīng)的充分必要條件進(jìn)軍
　?。╟）不同證明得出不同定理
　7.重談內(nèi)容問題
　　（a）素樸猜想的素樸性
　?。╞）作為多證多駁法之基礎(chǔ)的歸納
　　（c）演繹的猜測(cè)VS.素樸的猜測(cè)
　?。╠）以演繹猜測(cè)擴(kuò)增內(nèi)容
　?。╡）邏輯的反例VS.探試的反例
　8.概念的形成
　　（a）以概念拉伸來反駁。重估怪物排除——兼重估錯(cuò)誤與反駁之概念
　?。╞）證明引生的概念VS.素樸的概念。理論分類VS.素樸分類
　?。╟）再論邏輯反駁與探試反駁
　　（d）理論的概念拉伸VS.素樸的概念拉伸。連續(xù)發(fā)展VS.批判發(fā)展
　　（e）內(nèi)容增加的極限。理論反駁VS.素樸反駁
　9.批評(píng)如何可把數(shù)學(xué)真理變?yōu)檫壿嬚胬?br />　　（a）無限制的概念拉伸摧毀意義與真理
　?。╞）溫和的概念拉伸可將數(shù)學(xué)真理變?yōu)檫壿嬚胬?br />第2章
　編者引言
　1.把猜想翻譯成矢量代數(shù)“完全被認(rèn)可的”術(shù)語。翻譯的問題
　2.猜想的另一個(gè)證明
　3.關(guān)于證明之終極性的一些疑問。翻譯的程序以及實(shí)在論者的定義方法VS.唯名論者的定義方法
附錄1
　多證多駁法中的另一個(gè)案例研究
　1.柯西為“連續(xù)性原理”所作的辯護(hù)
　2.賽德爾的證明以及證明生成的一致收斂概念
　3.阿貝爾的例外排除法
　4.有關(guān)證明分析法之發(fā)現(xiàn)的障礙
附錄2
　演繹主義方法VS.探試法
　　1.演繹主義方法
　　2.探試法。證明產(chǎn)生的概念
　　?。╝）一致收斂
　　?。╞）有界變分
　　?。╟）可測(cè)集的卡拉西爾德瑞定義
參考書目
人名譯名對(duì)照表