邏輯主義

邏輯主義是數學哲學中的一門學派 ， 其理論推測數學是邏輯的延伸 ， 甚至認爲一切的數學皆可視爲邏輯的原型 。 創始者爲戈特洛布 · 弗雷格 。 伯特蘭 · 羅素和阿弗烈 · 諾夫 · 懷海德在理論提出後擁戴此論 。 戈特洛布 · 弗雷格在伯特蘭 · 羅素提出羅素悖論後放棄了產生矛盾的樸素集合論 。 羅素和懷海德將此有關概念著於 《 數學原理 》 ( Principia Mathematica ) 一書 。 哥德爾不完全定理有時被聲稱妨礙了此計劃的目的 。 它亦爲二十世紀分析哲學的重要指標 。 Category: 演繹理論