直观主义

出处：按学科分类—哲学、宗教 广东人民出版社《哲学辞典》第295页（489字）

数学的哲学原理方面的一个流派(与逻辑主义、形式主义和效果说相并列)，它是20世纪初由于围绕数学的理论基础展开的论战而产生的(Л．布劳维、Г．魏耳、А．海丁等是有关的人物)。

根据直观主义的观点，精确的数学思维是以合理的直觉为基础的，因为合理的直觉包含着所有数学对象的理性构造过程，并能把正在构成的对象加以明确区分或视为同一。直观主义认为，数学整门科学就是借助于这种直觉建立起来的。因此，各种数学对象不依靠其理性构造就不能存在，而且理性构造需要一种与亚里士多德的逻辑形式不同的、去掉排中律的逻辑，即所谓直觉主义逻辑。为了避免悖论，数学的证明不应建立在逻辑的严密性上，而应建立在直觉的鲜明性上，因为数学的证明只有在对其每一步(从推理的起点前提和规则开始)均作直觉的理解这种条件下才是可靠的。

这样，某些逻辑定律和规则在论证上是否适用，归根结底也应由直觉来判定。不过，直观主义(不同于直觉主义)并不把直觉同逻辑对立起来，它只是认为数学不能以逻辑为基础，并且把逻辑定理看成是最高同一性的数学定理，从而发展了关于逻辑是数学的一个部分这一观点。