布劳威尔不该用直觉主义代替科学真理

布劳威尔不该用直觉主义代替科学真理

荷兰著名数学家布劳威尔(1881—1966)是公认的直觉主义的代表。1908年他写了《逻辑规律的不可靠性》的文章,认为经典逻辑也不是普遍有效的,它不能作为数学的基础,而且他还把他的矛头对准了排中律,禁止排中律在数学中的运用。1913年,他由于在代数拓扑学上的杰出贡献而当上了德国《数学年鉴》杂志的编辑。从此以后,经他审阅的稿子,凡是使用排中律证明(例如反证法和存在性证明等)的文章,一律不予录用。为了使他的直觉主义能作为判别数学真理的唯一标准,到1927年布劳威尔还坚持要求所有荷兰人写的论文和所有拓扑学方面的论文必须送给他审阅。布劳威尔的这些做法和要求引起了数学界的不满,于是该杂志的主编召开会议解散了包括布劳威尔在内的七人编辑委员会。布劳威尔是哑巴吃了黄莲,这当然也是他自食其果。

布劳威尔用直觉主义的真理观来代替科学真理是一个典型的代替论的例子。就在今天仍然有不少人用一般的哲学研究来代替具体的科学研究,给科学研究带来了极大的危害。因此我们实在应该用布劳威尔的这个例子向这些人再次敲敲警钟。