出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 逻辑主义 |
| 释义 | 逻辑主义 逻辑主义 数理逻辑和数学基础研究中的一种学说。主张数学是逻辑的延伸,从逻辑学可以推导出全部数学,即全部数学命题都可从逻辑的法则和相关定义出发,经由纯粹的逻辑演绎而得到证明。实际上是夸大了逻辑在数学发展中的作用,背离了数学发展的历史。但是,逻辑主义的观点和做法,使人们清楚地看到了数学与逻辑的联系和区别,特别是通过实现逻辑的公理化、形式化和第一次细致地展开了一个逻辑的形式系统,基本上完成了逻辑学的现代化,对逻辑学的发展起到了承前启后的作用。主要代表为英国哲学家罗素。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 逻辑主义 数理逻辑和数学基础研究中的一种学说。认为全部数学可以归结为逻辑,数学的基本概念(例如自然数的概念)可以用逻辑的概念来定义,数学的命题可以经由逻辑的公理运用逻辑的法则导出。主要代表为德国逻辑学家弗雷格和英国哲学家罗素。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。