布勞威爾不該用直覺主義代替科學真理

荷蘭著名數學家布勞威爾(1881—1966)是公認的直覺主義的代表。1908年他寫了《邏輯規律的不可靠性》的文章，認為經典邏輯也不是普遍有效的，它不能作為數學的基礎，而且他還把他的矛頭對準了排中律，禁止排中律在數學中的運用。1913年，他由于在代數拓撲學上的杰出貢獻而當上了德國《數學年鑒》雜志的編輯。從此以后，經他審閱的稿子，凡是使用排中律證明(例如反證法和存在性證明等)的文章，一律不予錄用。為了使他的直覺主義能作為判別數學真理的唯一標準，到1927年布勞威爾還堅持要求所有荷蘭人寫的論文和所有拓撲學方面的論文必須送給他審閱。布勞威爾的這些做法和要求引起了數學界的不滿，于是該雜志的主編召開會議解散了包括布勞威爾在內的七人編輯委員會。布勞威爾是啞巴吃了黃蓮，這當然也是他自食其果。

布勞威爾用直覺主義的真理觀來代替科學真理是一個典型的代替論的例子。就在今天仍然有不少人用一般的哲學研究來代替具體的科學研究，給科學研究帶來了極大的危害。因此我們實在應該用布勞威爾的這個例子向這些人再次敲敲警鐘。