【本文轉(zhuǎn)載自吉林人民出版社1983年 僅供學(xué)習(xí)參考】

28、邏輯主義

? 數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)研究中的一種學(xué)說(shuō)。也是二十世紀(jì)初數(shù)學(xué)基礎(chǔ)論的三個(gè)主要派別之一。主要代表人物是英國(guó)的哲學(xué)家羅素。他和英國(guó)的數(shù)學(xué)家懷特海合寫的《數(shù)學(xué)原理》一書中指出，全部數(shù)學(xué)都可以從基本的邏輯概念和邏輯定理推導(dǎo)出來(lái)，數(shù)學(xué)概念可以用邏輯概念來(lái)下定義，數(shù)學(xué)定理可以用邏輯定理來(lái)作證明。從這種邏輯和數(shù)學(xué)基礎(chǔ)理論出發(fā)，可以把數(shù)學(xué)歸結(jié)為邏輯，構(gòu)成一個(gè)龐大的符號(hào)公式體系。他們認(rèn)為數(shù)學(xué)是邏輯的一個(gè)分支。他們?cè)凇稊?shù)學(xué)原理》中提出的各種符號(hào)公式、演算方法，對(duì)以后數(shù)理邏輯發(fā)展有很大影響。但是，他們認(rèn)為邏輯和數(shù)學(xué)都與客觀世界無(wú)關(guān)，不能給人們以任何積極的知識(shí)。這就把數(shù)理邏輯的研究引入唯心主義歧途。后來(lái)，奧地利的哥德爾證明了形式數(shù)論系統(tǒng)不完全性定理，以他的研究成果，對(duì)數(shù)學(xué)邏輯研究中的唯心主義和形而上學(xué)進(jìn)行了有力地批評(píng)。