此條目可参照英語維基百科相應條目来扩充。 (2017年2月4日) 若您熟悉来源语言和主题,请协助参考外语维基百科扩充条目。请勿直接提交机械翻译,也不要翻译不可靠、低品质内容。依版权协议,译文需在编辑摘要注明来源,或于讨论页顶部标记 {{Translated page}} 标签。 |
邏輯主義(英語:Logicism)是數學哲學中的一門學派,其理論推測數學是邏輯的延伸,甚至認為一切的數學皆可視為邏輯的原型。
創始者為戈特洛布·弗雷格。伯特蘭·羅素和阿弗烈·諾夫·懷海德在理論提出後擁戴此論。戈特洛布·弗雷格在伯特蘭·羅素提出羅素悖論後放棄了產生矛盾的樸素集合論。羅素和懷海德將此有關概念著於《数学原理》一書。哥德爾不完全定理有時被聲稱妨礙了此計劃的目的。它亦為二十世紀分析哲學的重要指標。
这是一篇與哲學相關的小作品。您可以通过编辑或修订扩充其内容。 |