《哲学小辞典》11.28 逻辑主义

【本文转载自吉林人民出版社1983年 仅供学习参考】

28、逻辑主义

  数理逻辑和数学基础研究中的一种学说。也是二十世纪初数学基础论的三个主要派别之一。主要代表人物是英国的哲学家罗素。他和英国的数学家怀特海合写的《数学原理》一书中指出，全部数学都可以从基本的逻辑概念和逻辑定理推导出来，数学概念可以用逻辑概念来下定义，数学定理可以用逻辑定理来作证明。从这种逻辑和数学基础理论出发，可以把数学归结为逻辑，构成一个庞大的符号公式体系。他们认为数学是逻辑的一个分支。他们在《数学原理》中提出的各种符号公式、演算方法，对以后数理逻辑发展有很大影响。但是，他们认为逻辑和数学都与客观世界无关，不能给人们以任何积极的知识。这就把数理逻辑的研究引入唯心主义歧途。后来，奥地利的哥德尔证明了形式数论系统不完全性定理，以他的研究成果，对数学逻辑研究中的唯心主义和形而上学进行了有力地批评。