首页 >
逻辑主义
✍ dations ◷ 2025-07-18 11:02:25 #逻辑主义
逻辑主义是数学哲学中的一门学派,其理论推测数学是逻辑的延伸,甚至认为一切的数学皆可视为逻辑的原型。创始者为戈特洛布·弗雷格,伯特兰·罗素和阿弗烈·诺夫·怀海德在理论理论提出后拥戴此论。戈特洛布·弗雷格在伯特兰·罗素提出罗素悖论后放弃了产生矛盾的朴素集合论。罗素和怀海德将此有关概念著于Principia Mathematica一书。哥德尔不完全定理有时被声称妨碍了此计划的目的。它亦为二十世纪分析哲学的重要指标。
相关
- 奶嘴奶嘴,或奶咀,是由橡胶、塑料或硅胶造成,给婴儿或幼儿吸吮的用品。标准奶嘴的外观包括一个人造乳头,以及口盾和手柄。口盾或手柄应当足够大,以避免孩子窒息或吞咽的危险。
- 笑死笑死是一种罕见的死因,通常是由一阵大笑引起的心脏骤停或者窒息所致。自古希腊时代至现代均有笑死的案例纪录。笑死的别称“致命的欢闹”(英语:fatal hilarity)则是于1956年首次
- 联合国开发计划署联合国开发计划署(法语:Le Programme des Nations unies pour le développement ; 英语:The United Nations Development Programme,缩写为 PNUD ; UNDP)是世界上最大的负责进
- 工程图工程图(英语:engineering drawing)是技术制图(technical drawing)的一种,是一种2D图表或图画来描述建筑图、结构图、机械制图、电气图纸、和管路图纸的制图方式。用工程制图的方法
- 阿托品阿托品(Atropine),又称阿托平。是一种用来治疗神经毒气或杀虫剂中毒(英语:Pesticide poisoning)的药物,也用在某些心跳过缓,与手术时减少唾液分泌用,一般会以静脉注射或肌肉注射给药,
- ROC曲线在信号检测理论中,接收者操作特征曲线(receiver operating characteristic curve,或者叫ROC曲线)是一种坐标图式的分析工具,用于 (1) 选择最佳的信号侦测模型、舍弃次佳的模型。
- 中卫市中卫市是中华人民共和国宁夏回族自治区下辖的地级市,位于宁夏西部,黄河西岸。市境东邻吴忠市,南接固原市,西界甘肃省白银市,北毗内蒙古自治区阿拉善盟。地处宁甘蒙三省区交界,腾格
- 五苓散五苓散,一方出自《伤寒论》,是祛湿剂中利水渗湿的方剂。有利水渗湿、温阳化气、外散表邪的功效。可用来主治:伤寒太阳蓄水证以及水湿内停之水肿。见有症状:小便不利,头痛微热,烦
- 奥斯汀·布莱德福·希尔奥斯汀·布拉德福德·希尔爵士,英国皇家学会院士(Sir Austin Bradford Hill,1897年7月8日-1991年4月18日),是英国流行病学家和统计学家,开创了随机临床试验,并与理查德·多尔第一次
- 维克多·弗兰克维克多·弗兰克(Viktor Emil Frankl,1905年3月26日-1997年9月2日)是一位奥地利神经学家、精神病学家,维也纳第三代心理治疗学派 - 意义治疗与存在主义分析(Existential Psychoanal