中文名: 證明與反駁－數學發現的邏輯
原名: Proofs and Refutations
作者: (英)伊姆雷·拉卡托斯
譯者: 康宏逵
資源格式: PDF
版本: 中譯本,掃描版
出版社: 上海譯文出版社
書號: 2188-44
發行時間: 1987年10月
地區: 大陸
語言: 簡體中文
簡介:

內容簡介:
　　該書是匈牙利裔英國籍著名哲學家伊姆雷·拉卡托斯於20世紀60年代完成的一部探索數學史上新發現的產生過程的力作，主要闡述作者用5年時間收集的兩個典型的數學案例，以及本書編者添加的拉卡托斯1961年在劍橋大學所撰博士論文的部分片段。
　　拉卡托斯是用對話體的形式進行寫作的，他虛構了教師在課堂上與學生們討論正多面體歐拉公式 V-E+F=2 的猜想與發現、證明和反駁的全過程，形象地展現了數學史上對此問題進行研究探索的真實的歷史圖景，以此來挑戰和批判以希爾伯特為代表的認為數學等同於形式公理的抽象、把數學哲學與數學史割裂開來的形式主義數學史觀。這篇光輝論著旨在解決數學方法論的基本問題，以一種探索和發現的情境邏輯來代替形式主義和邏輯實證主義的抽象教條。正如拉卡托斯所說，非形式、准經驗的數學的發展，並不只靠逐步增加的毋庸置疑的定理的數目，而是靠以思辨與批評、證明與反駁之邏輯對最初猜想的持續不斷的改進。
　　本書的寫作形式也頗為新穎，作者以課堂討論的對話形式來展現數學的發現，生動地體現了數學發展的辯證過程。
　　正因為此，該書還可以作為數學教學的案例，給廣大數學教師提供了一種示范性的教學法。
　　特別要提請讀者注意的是，該著作腳注的內容十分豐富，諸多數學史上的爭論都體現在注釋之中，所以腳注部分也應該看作是正文的有機組成部分，不可忽略。
　　作者在著作後面還列了一個非常完整的參考書目，對書中提到的問題和觀點感興趣的讀者可以按圖索骥，定會有更大的收獲。　　
作者簡介:
　　拉卡托斯（Imre Lakatos，1922—1974），英籍匈牙利人，出身於匈牙利的一個猶太人家庭，是20世紀著名的數學哲學家、科學哲學家，也是現代科學哲學歷史學派的主要代表之一。二戰期間是積極的共產黨人，1950年至1953年以修正主義者之名被監禁。1956年蘇聯出兵匈牙利後，流亡到英國，繼續求學，獲劍橋大學哲學博士學位，後入英國籍。從20世紀60年代初起到去世為止，一直在倫敦經濟學院任教，與波普（Karl Popper）和沃特金斯（John Watkins）共事，波普任科學方法、邏輯學和哲學系主任，並任《科學哲學》雜志主編。主要著作有《科學研究綱領方法論》、 《數學、科學與認識論》、《證明與反駁》。
內容截圖:

目錄:
編者的序
作者引言
第1章
1.一個問題，一個猜想
2.一個證明
3.用局部而非全局反例批評證明
4.用全局反例來批評猜想
5.用全局而非局部反例來批評證明分析。嚴格性問題
6.再談局部而非全局反例來批評證明。內容問題
7.內容問題復議
8.概念形成
9.批評怎麼能把數學真理變成邏輯真理
第2章
編者引言
1.把猜想翻譯成矢量代數的“一目了然”的術語。翻譯問題
2.猜想的另一種證明
3.關於證明最終性的幾點疑問。翻譯工序，本質主義與唯名主義定義方案的對立
附錄1 多證多駁法中的另一個案例研究
附錄2 演繹主義方法VS.探試法
書目
漢譯人名對照表