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

《證明與反駁:數(shù)學(xué)發(fā)現(xiàn)的邏輯》是匈牙利裔英國籍著名哲學(xué)家伊姆雷·拉卡托斯于20世紀(jì)60年代完成的一部探索數(shù)學(xué)史上新的發(fā)現(xiàn)產(chǎn)生過程的經(jīng)典著作。書的主要內(nèi)容包括作者用5年時(shí)間收集的兩個(gè)典型的數(shù)學(xué)案例，以及《證明與反駁:數(shù)學(xué)發(fā)現(xiàn)的邏輯》的編者添加的拉卡托斯1961年在劍橋大學(xué)所撰博士論文的部分內(nèi)容。拉卡托斯是以對(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ù)學(xué)發(fā)現(xiàn)的邏輯》是匈牙利裔英國籍著名哲學(xué)家伊姆雷·拉卡托斯于20世紀(jì)60年代完成的一部探索數(shù)學(xué)史上新的發(fā)現(xiàn)產(chǎn)生過程的經(jīng)典著作。書的主要內(nèi)容包括作者用5年時(shí)間收集的兩個(gè)典型的數(shù)學(xué)案例，以及《證明與反駁:數(shù)學(xué)發(fā)現(xiàn)的邏輯》的編者添加的拉卡托斯1961年在劍橋大學(xué)所撰博士論文的部分內(nèi)容。拉卡托斯是以對(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)。

拉卡托斯（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)出兵匈牙利后，流亡到英國，繼續(xù)求學(xué)，獲劍橋大學(xué)哲學(xué)博士學(xué)位，后入英國籍。從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í)論》《證明與反駁》。