直覺主義

在數學哲學和邏輯中 ， 直覺主義 （ Intuitionism ） ， 或者新直覺主義 （ Neointuitionism ） （ 對應於前直覺主義 （ Preintuitionism ） ） ， 是用人類的構造性思維活動進行數學研究的方法 。 也可翻譯成直觀主義 。 任何數學對象被視爲思維構造的產物 ， 所以一個對象的存在性等價於它的構造的可能性 。 這和古典的方法不同 ， 因爲根據古典方法 ， 一個實體的存在可以通過否定它的不存在來證明 。 對直覺主義者來說 ， 這是不正確的 ： 不存在的否定不表示可能找到存在的構造證明 。 正因爲如此 ， 直覺主義是數學結構主義的一種 ； 但它不是唯一的一類 。 直覺主義把數學命題的正確性和它可以被證明等同起來 ； 如果數學對象純粹是精神上的構造 ， 還有什麼其它法則可以用作真實性的檢驗呢 （ 如同直覺主義者所說的一樣 ） ？ 這意味着直覺主義者對一個數學命題的含義 ， 可能與古典的數學家有不同理解 。 例如 ， 說 A 或 B ， 對於一個直覺主義者 ， 是宣稱 A 或是 B 可以被 「 證明 」 ， 而非兩者之一 「 爲真 」 。 值得一提的是 ， 只允許 A 或 非A 的排中律 ， 在直覺主義邏輯中是不被允許的 ； 因爲不能假設人們總是能夠證明命題 A 或它的否定命題 。 直覺主義也拒絕承認的抽象概念 ； 也就是說 ， 它不把像所有自然數的集合或任意有理數的序列這樣的無窮當作實體來考慮 。 這要求將集合論和微積分的基礎分別重新構造爲和構造主義分析 。