逻辑主义学派

更新时间:2024-01-13 19:10

逻辑主义学派(Logistic school)是一种数学史专门术语。指20世纪初关于数学基础争论中建立起来的一个学派,以德国的弗雷格(Frege , (F. L. ) G. )、英国的罗素(Russell, B. A. W.)和怀特海(W hite-head,A. N.)等人为代表。

逻辑主义学派主张数学实际上是逻辑学,认为全部数学都能从逻辑学中推导出来,而不用任何特有的数学概念(如数、集合等).弗雷格是符号逻辑的创始人之一,在数学中引人逻辑函数概念,并写过《概念演算》等专著.罗素于1903年曾提出有关数学基础的“罗素悖论”,产生了重大影响.他与怀特海都是哲学家兼数学家,共同发展了弗雷格的思想,提出“类型论”,引进等价类等概念,以完全形式的符号实现了逻辑的彻底公理化,揭示了数学与逻辑之间的关系.其代表作《数学原理》3卷,(1906-1910)已成为逻辑主义学派的经典文献.逻辑主义思想因条理繁琐空洞而遭受批评,但它对数理逻辑的建立有重要贡献,对当今计算机的研制和人工智能的研究也有重大的现实意义.

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}