直觉主义:一种强调“直觉”在认识与证明中核心作用的观点。最常见指数学/逻辑中的直觉主义(认为数学对象需通过可构造的证明来确立,通常不接受无构造的存在性证明与某些形式的排中律);在伦理学中也可指道德直觉主义(认为某些道德真理可被直觉把握)。
/ˌɪn.tuˈɪʃ.ən.ɪ.zəm/
Intuitionism rejects some classical proofs that rely on the law of excluded middle.
直觉主义会拒绝一些依赖“排中律”的经典证明。
In the seminar, we compared intuitionism with formalism and platonism to see how each view changes what counts as a valid mathematical argument.
在研讨课上,我们比较了直觉主义、形式主义与柏拉图主义,看看不同立场如何改变“什么才算有效的数学论证”。
由 intuition(直觉)+ -ism(学说、主义)构成。作为术语在20世纪初随荷兰数学家 L. E. J. Brouwer 的工作而在数学基础领域广泛传播;后来也被用于概括伦理学中的“直觉主义”立场。