邏輯主義

维基百科,自由的百科全书
跳转至: 导航搜索

邏輯主義數學哲學中的一門學派,其理論推測數學邏輯的延伸,甚至認為一切的數學皆可視為邏輯的原型。

創始者為戈特洛布·弗雷格伯特蘭·羅素阿弗烈·諾夫·懷海德在理論理論提出後擁戴此論。戈特洛布·弗雷格伯特蘭·羅素提出羅素悖論後放棄了產生矛盾的樸素集合論。羅素和懷海德將此有關概念著於Principia Mathematica一書。哥德爾不完全定理有時被聲稱妨礙了此計劃的目的。它亦為二十世紀分析哲學的重要指標。