逻辑主义

✍ dations ◷ 2025-09-18 11:50:21 #逻辑主义
逻辑主义是数学哲学中的一门学派,其理论推测数学是逻辑的延伸,甚至认为一切的数学皆可视为逻辑的原型。创始者为戈特洛布·弗雷格,伯特兰·罗素和阿弗烈·诺夫·怀海德在理论理论提出后拥戴此论。戈特洛布·弗雷格在伯特兰·罗素提出罗素悖论后放弃了产生矛盾的朴素集合论。罗素和怀海德将此有关概念著于Principia Mathematica一书。哥德尔不完全定理有时被声称妨碍了此计划的目的。它亦为二十世纪分析哲学的重要指标。

相关

  • LL00-L08 皮肤和皮下组织的感染L10-L14 大疱性疾患L20-L30 皮炎和湿疹L40-L45 丘疹鳞屑性疾患L50-L54 荨麻疹和红斑L55-L59 与辐射有关的皮肤和皮下组织疾患L60-L75 皮肤附件
  • 运铁蛋白饱和度运铁蛋白饱和度(Transferrin saturation (TFS 或 TfS))一般会以百分比表示,是医学检验的数据之一。是血清铁(英语:serum iron)相对于总铁结合能的比例。配合运铁蛋白(血液中主要和
  • 三尖瓣三尖瓣,又称右房室瓣,是在哺乳动物心脏的右后侧,在右心房和右心室之间的瓣膜。其作用是阻止血液回流至右心房。
  • 宗教宗教是美国文化中非常显著的一部分。与欧洲基督信仰衰落的情况不同,在美国,基督宗教作为第一大宗教,一直占有主流的社会地位。现在七成以上的美国人信仰基督宗教(包括新教、天主
  • 盎格鲁萨克逊人盎格鲁-撒克逊(英语:Anglo-Saxon) 是个统称,通常用来形容5世纪初到1066年诺曼征服之间,生活于大不列颠东部和南部地区,语言和种族相近的民族。 他们使用非常近似的日耳曼方言,历史
  • 伊巴密浓达伊巴密浓达(英语: Epaminondas;希腊语:Ἐπαμεινώνδας,又译作埃帕米农达、义巴敏诺达,前418年-前362年),古希腊城邦底比斯的将军与政治家。其领导底比斯脱离斯巴达的控制,
  • 甲状腺毒症甲状腺毒症(thyrotoxicosis)是指体内甲状腺激素对组织的作用出现异常增高,继而引起神经、循环、消化等系统兴奋性过高以及新陈代谢亢进等表现的临床综合征。导致甲状腺激素效应
  • 毒药的历史毒药的历史可追溯到公元前4500年之前。自人类有史以来,毒药就用途广泛,通常是作为武器、解毒药或医疗药。毒药极大促进了医学、毒理学等其他学科分支的发展。毒药在远古时就已
  • 联合国教科文组织联合国教育、科学及文化组织(法语:Organisation des Nations unies pour l'éducation, la science et la culture,缩写作 ONUÉSC ; 英语:United Nations Educational, Scient
  • 字谷在字体排印学中,字怀(又称“字谷”)指字母构造中的全封闭或半封闭区域。 拉丁字母中包含有封闭字怀的有A、B、D、O、P、Q、R、a、b、d、e、g、o、p和q, 包含开放字怀的有c、f、