逻辑主义

---

数学论证的一个主要流派。

这一流派力图把整个数学归纳为逻辑学。虽然莱布尼茨曾有这种想法，但只是到上一个世纪末弗雷格才把它变成现实。弗雷格提出了如下任务：(1)只用逻辑术语来给数学的基本概念下定义；(2)只根据逻辑原则、只使用逻辑证明来证明数学原理。后来者所发表的有关这方面的著作(罗素和怀特海，1910—1913年；ф．П．拉姆齐，1926年；У．奎因，1940年)，虽然其具体成果有颇大价值，但毕竟未能实现上述任务。

这与逻辑主义根本错误的方法论观点(关于数学不取于客观世界及其研究任务的论断)有关。相反，数理逻辑的发展倒得出了结论：即使数学的最基础部分(例如算术)也不能归结为逻辑学(参见哥德尔定理)。