| 词条 | 直觉主义逻辑学派 |
| 类别 | 中文百科知识 |
| 释义 | 直觉主义逻辑学派数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。认为数的认识不依赖于逻辑和经验，它的唯一来源是数学中所固有的带有构造性的一种直觉。排斥没有能行性的证明，否定排中律的普遍应用。认为对于一个对象，仅证明它存在是不够的，还必须用一种能行的方法具体地将它构造出来。参见“布劳维尔”。 直觉主义逻辑学派见“逻辑学”中的“直觉主义逻辑学派”。 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。