什么是逻辑主义?
等我变优秀
精选回答
一定类的所有元素必须属于同一类型,类相对于其自身成员是高一级类型的对象。这样,集合本身就不能是它自己的成员,类型论避免了集合论悖论的产生。
罗素还进一步论述了关于命题函数的分支类型论,并引进了重要的“约化公理”约化公理对任何层次的一个命题都确认存在着一个等价的0型命题函数。逻辑主义在将数学奠基于逻辑方面的巨大努力被许多数学家赞许并接受,但也遭到了严厉的批评。约化公理被指出是非逻辑公理而不符合将数学化归为逻辑的初衷,按照类型论建立数学开展起来极为复杂。事实上,罗素和怀特黑德的体系一直是未完成的,在很多细节上是不清楚的。尽管如此,逻辑主义以纯粹符号的形式实现逻辑的彻底公理化,特别是罗素、怀特黑德《数学原理》第二、三卷提出的“关系算术理论”建立了完整的命题演算与谓词演算系统,这一切构成了对现代数理逻辑的重大贡献。
气可鼓不可泄 2023-09-16 14:59:58
相关推荐
比亚迪生产基地 比亚迪生产基地有哪些
比亚迪生产基地相信很多小伙伴还不知道,现在让我们一起来看看吧!比亚迪生产基地比亚迪生产基地有哪些1、比亚迪生产基地在中国的西安、上海、北京、商洛、惠州、韶关、长沙、宁波、深圳。2、比亚迪生产基地有西安、上海、北...
展开详情昆明市高新区管委会 昆明市常务副市长
小然给大家谈谈昆明市高新区管委会,以及昆明市常务副市长应用的知识点,希望对你所遇到的问题有所帮助。昆明市高新区管委会昆明市常务副市长1、第一条u3000为了促进和保障昆明高新技术产业开发区(以下简称高新区)的可...
展开详情汉语成为全球通用语言(汉语成为全球通用语言的标志)
汉语被列为全球通用语言汉语被联合国列为全球通用语言的消息传遍网络,许多国人因此而自豪不已。但事实上,这是一条没有任何官方媒体证实的“假消息”。汉语使用人数:汉语是目前全世界使用人口最多的语言,但并不能称为所谓“...
展开详情电子小报模板 电子小报模板word版可编辑
小天给大家谈谈电子小报模板,以及电子小报模板word版可编辑应用的知识点,希望对你所遇到的问题有所帮助。1、求军训电子小报模板军训必需品:1电风扇(一定要带,千万要带,不带必死---热死的,民生之所需)2毛巾杯...
展开详情抖音粉丝最多的是谁2022排名 抖音粉丝最多的人排行榜
抖音粉丝最多的是谁2022排名抖音粉丝最多的人排行榜怡怡今天给分享抖音粉丝最多的是谁2022排名的知识,其中也会对抖音粉丝最多的人排行榜进行解释,希望能解决你的问题,请看下面的文章阅读吧!1、;很多网友想了解2...
展开详情