數(shù)學(xué)與哲學(xué)的關(guān)系精選論文(2)
數(shù)學(xué)與哲學(xué)的關(guān)系精選論文
數(shù)學(xué)與哲學(xué)的關(guān)系精選論文篇二
摘要：在數(shù)學(xué)哲學(xué)中，直覺(jué)主義可謂引起引起了現(xiàn)代學(xué)術(shù)思想的一次革命。雖然直覺(jué)主義可以追溯到康德，甚至柏拉圖。然而，它是近現(xiàn)代的，20世紀(jì)前20年，它作為一個(gè)獨(dú)立的數(shù)學(xué)哲學(xué)思潮而聞名。它是邏輯學(xué)哲學(xué)中的一次風(fēng)暴逆襲，是經(jīng)典數(shù)學(xué)的有力挑戰(zhàn)者。直覺(jué)主義強(qiáng)調(diào)“構(gòu)造”，出發(fā)于“心智”。直覺(jué)主義把整個(gè)自然數(shù)論視為整個(gè)數(shù)學(xué)的基礎(chǔ)，直覺(jué)主義拒絕排中律和反證律，抵制實(shí)無(wú)窮而推崇潛無(wú)窮。隨著計(jì)算機(jī)的產(chǎn)生和發(fā)展，直覺(jué)主義在數(shù)字構(gòu)造中起到了積極的應(yīng)用。同時(shí)，直覺(jué)主義對(duì)數(shù)學(xué)哲學(xué)的創(chuàng)新教育等方面都有著不可忽視的影響。
關(guān)鍵詞：數(shù)學(xué)哲學(xué) 直覺(jué)主義 傳統(tǒng)邏輯 布勞威爾
一、 “存在必須是被構(gòu)造”——直覺(jué)主義的產(chǎn)生
直覺(jué)(intuition)一詞意為未經(jīng)充分邏輯推理的，直觀的，直接領(lǐng)捂事物本質(zhì)的思考。與H.柏格森、B.克羅齊、E.胡塞爾等人的直覺(jué)主義不同，我們這里所研究的“直覺(jué)”并不是指主體對(duì)于客觀事物的一種直接把握能力，而是指思維的本能上的一種心智活動(dòng)。在這里，直覺(jué)主義提倡的直覺(jué)，并非辯證唯物主義的“直觀的感覺(jué)”，其本意是“先驗(yàn)的心智構(gòu)造”，以此為出發(fā)點(diǎn)，形成了對(duì)數(shù)學(xué)對(duì)象“存在性”與“可構(gòu)造性”等同的要求。[1]直覺(jué)主義哲學(xué)是一種反理性主義的唯心主義哲學(xué)思潮。數(shù)學(xué)研究中的構(gòu)造主義是一種有關(guān)數(shù)學(xué)基礎(chǔ)的觀點(diǎn)，它主張自然數(shù)及其某些規(guī)律和方法，特別是數(shù)學(xué)歸納法，是可靠的出發(fā)點(diǎn)，其它一切數(shù)學(xué)對(duì)象和理論都應(yīng)該從自然數(shù)構(gòu)造出來(lái)。[2]“存在必須是被構(gòu)造”，這是直覺(jué)主義派最著名的口號(hào)。也因此，直覺(jué)主義是一種構(gòu)造邏輯。直覺(jué)派認(rèn)為，數(shù)學(xué)中的概念和方法都是必須可以被構(gòu)造的，非構(gòu)造性的證明不是直覺(jué)主義者能接受的。在數(shù)學(xué)領(lǐng)域中，集合論悖論的問(wèn)題不可能通過(guò)對(duì)已有的數(shù)學(xué)作某種局部的修改和限制加以解決，而必須依靠一些可信的標(biāo)準(zhǔn)對(duì)已有的數(shù)學(xué)進(jìn)行全面的審視和改造。直覺(jué)主義認(rèn)為邏輯依賴(lài)于數(shù)學(xué),而非數(shù)學(xué)依賴(lài)邏輯。數(shù)學(xué)建立在直覺(jué)的基礎(chǔ)上。同時(shí)，直覺(jué)主義認(rèn)為哲學(xué)、邏輯甚至計(jì)數(shù)等概念都比數(shù)學(xué)復(fù)雜得多,不能作為數(shù)學(xué)的基礎(chǔ),數(shù)學(xué)的基礎(chǔ)需要更簡(jiǎn)單、更直接的概念,它就是直覺(jué),直覺(jué)是心智的一項(xiàng)基本功能。[3]一位直覺(jué)主義數(shù)學(xué)家阿倫特·海廷(Arend Heyting)在他的論文《數(shù)學(xué)的直覺(jué)主義基礎(chǔ)》中指出：“立即處理數(shù)學(xué)的構(gòu)造也許是符合直覺(jué)主義者的積極態(tài)度了。這個(gè)構(gòu)造的最重要基石是一(unity)的概念，它是整數(shù)序列所依賴(lài)的構(gòu)造原則。整數(shù)必須作為單位(units)來(lái)看待，這些單位僅僅由于在這個(gè)序列中的位置而相互區(qū)別。”[4]61
直覺(jué)主義者認(rèn)為，數(shù)學(xué)的基礎(chǔ)在于數(shù)學(xué)直覺(jué)，在他們看來(lái)，建立在數(shù)學(xué)直覺(jué)之上的理論能使“概念和推理十分清楚地呈現(xiàn)在我們面前”，即“對(duì)于思想來(lái)說(shuō)是如此的直接，而其結(jié)果又是如此的清楚，以致不再需要任何鑄的什么基礎(chǔ)了”(A·黑丁:《直覺(jué)主義導(dǎo)論》)。任何數(shù)學(xué)對(duì)象被視為思維構(gòu)造的產(chǎn)物，所以一個(gè)對(duì)象的存在性等價(jià)于它的構(gòu)造的可能性。這和經(jīng)典的方法不同，因?yàn)榻?jīng)典方法說(shuō)一個(gè)實(shí)體的存在性可以通過(guò)否定它的不存在性來(lái)證明。對(duì)于直覺(jué)主義者，這是不正確的;不存在性的否定不表示可能找到存在性的構(gòu)造證明。正因?yàn)槿绱?，直覺(jué)主義是數(shù)學(xué)結(jié)構(gòu)主義的一種;但它不是唯一的一類(lèi)。直覺(jué)主義的基本哲學(xué)立場(chǎng)是，數(shù)學(xué)是人類(lèi)心智“固有”的一種創(chuàng)造活動(dòng)，是主體的自身的活動(dòng)，而不是對(duì)外在的描述.數(shù)學(xué)概念是一種自主的智力活動(dòng)的結(jié)果，智力活動(dòng)則是研究自明定律所支配的思想構(gòu)造。[5]
二、顛覆傳統(tǒng)邏輯，形式主義的逆襲——直覺(jué)主義的特點(diǎn)
直覺(jué)主義不承認(rèn)實(shí)無(wú)窮，拒絕實(shí)際無(wú)窮的抽象。也就是說(shuō)，它不考慮像所有自然數(shù)的集合或任意有理數(shù)的序列無(wú)窮這樣的無(wú)窮實(shí)體作為給定對(duì)象。數(shù)學(xué)上的實(shí)無(wú)窮思想是指：把無(wú)限的整體本身作為一個(gè)現(xiàn)成的單位，是已經(jīng)構(gòu)造完成了的東西，換言之，即是把無(wú)限對(duì)象看成為可以自我完成的過(guò)程或無(wú)窮整體。數(shù)學(xué)上存在著潛無(wú)窮與實(shí)無(wú)窮之爭(zhēng)，就如同哲學(xué)上存在著唯物主義與唯心主義之爭(zhēng)。而且必將長(zhǎng)時(shí)間的持續(xù)的爭(zhēng)論不休。數(shù)學(xué)上的潛無(wú)窮思想是指：把無(wú)限看作永遠(yuǎn)在延伸著的，一種變化著成長(zhǎng)著被不斷產(chǎn)生出來(lái)的東西來(lái)解釋。舉個(gè)形象點(diǎn)的例子就是，構(gòu)成一條直線(xiàn)的點(diǎn)有無(wú)窮個(gè)，并且這條直線(xiàn)永遠(yuǎn)延伸著，不會(huì)有終結(jié)的一天。它永遠(yuǎn)處在構(gòu)造中，永遠(yuǎn)完成不了，是潛在的，而不是實(shí)在。按照全稱(chēng)和條件量詞的標(biāo)準(zhǔn)直覺(jué)主義，一個(gè)證明就是這樣的潛無(wú)窮結(jié)構(gòu)，這可能是合理的。(達(dá)米特《直覺(jué)主義邏輯的哲學(xué)基礎(chǔ)》)[4]142按照此觀點(diǎn)，所有的自然數(shù)可以構(gòu)成一個(gè)集合，因?yàn)榭梢詫⑺械淖匀粩?shù)看做是一個(gè)完成了的無(wú)窮整體。很顯然，直覺(jué)主義支持潛無(wú)窮的觀點(diǎn)，即把無(wú)窮集合看成無(wú)限延伸著的序列。
直覺(jué)主義反對(duì)排中律，這意味著直覺(jué)主義者可能和經(jīng)典的數(shù)學(xué)家對(duì)一個(gè)數(shù)學(xué)命題的含義有不同理解。排中律和同一律、矛盾律并稱(chēng)為形式邏輯的三大基本規(guī)律。傳統(tǒng)邏輯首先把排中律當(dāng)作事物的規(guī)律，意為任一事物在同一時(shí)間里具有某屬性或不具有某屬性，而沒(méi)有其他可能。排中律同時(shí)也是思維的規(guī)律，即一個(gè)命題是真的或不是真的，此外沒(méi)有其他可能。例如，說(shuō)A 或 B, 對(duì)于一個(gè)直覺(jué)主義者，是宣稱(chēng)A或B可以證明。但是，對(duì)于排中律, A 或 非 A, 是不被允許的，因?yàn)椴荒芗僭O(shè)人們總是能夠證明命題A或它的否命題。
直覺(jué)主義主要對(duì)抗的是形式主義。多個(gè)世紀(jì)以來(lái)，對(duì)數(shù)學(xué)規(guī)律的無(wú)懈可擊的精確性的信念的依據(jù)是數(shù)學(xué)哲學(xué)研究的主要對(duì)象。直覺(jué)主義表示，精確性存在于人類(lèi)心智之中，形式主義者認(rèn)為，存在于紙面上。[4]90
直覺(jué)主義具有非邏輯性和整體性。數(shù)學(xué)直覺(jué)是作為邏輯的對(duì)立面而介定的一種認(rèn)識(shí)方法,因此非邏輯性是數(shù)學(xué)直覺(jué)的最主要特性?？梢哉f(shuō)數(shù)學(xué)直覺(jué)的其他特性都是由它的非邏輯性所決定的,這是許多哲學(xué)家、科學(xué)家的共同見(jiàn)解。[6]直覺(jué)主義認(rèn)為，數(shù)學(xué)是心靈的創(chuàng)造活動(dòng)，心靈是豐富的，邏輯則是貧乏的。因此，堅(jiān)決不能用貧乏的邏輯規(guī)則來(lái)全面準(zhǔn)確地規(guī)劃豐富的心靈活動(dòng)。直覺(jué)主義的另一位代表人物阿倫特?海廷(Arend Heyting)說(shuō)：“邏輯屬于應(yīng)用數(shù)學(xué)”。在對(duì)于直覺(jué)主義整體性上，一個(gè)日本數(shù)學(xué)家有如下精辟的解釋?zhuān)寒?dāng)一個(gè)人已經(jīng)長(zhǎng)期而持續(xù)地從事了研究并已成為一個(gè)完全成熟的研究人員時(shí),他就已經(jīng)在自己的頭腦中形成了一種相對(duì)穩(wěn)定的知識(shí)體系。經(jīng)過(guò)他自己的努力,這種知識(shí)體系已被綜合成為一種特殊的,確定的形式。而且自己綜合的工作當(dāng)然本身就是一種極有價(jià)值的經(jīng)驗(yàn)。[7]
彭加勒在《數(shù)學(xué)中的直覺(jué)和邏輯》一文中寫(xiě)道：
哲學(xué)家告訴我們，純邏輯永遠(yuǎn)也不能使我們得到任何東西;它不能創(chuàng)造任何新東西，任何科學(xué)也不能僅僅從它產(chǎn)生出來(lái)。在某種憊義上，這些哲學(xué)家是對(duì)的;要構(gòu)成算術(shù)，像要構(gòu)成幾何學(xué)或構(gòu)成任何科學(xué)一樣，除了純邏輯之外，還需要其他東西。為了稱(chēng)呼這種東西，我們只好使用直覺(jué)這個(gè)詞?？墒牵谶@同一諭后，潛藏著多少不同的意思呢?比較一下這四個(gè)公理:(1)等于第三個(gè)最的兩個(gè)量相等;(2)若一定理對(duì)數(shù)1為真，假定它對(duì)N為真，如果我們證明它對(duì)N+1為真，則它對(duì)所有整數(shù)均為真;(3)設(shè)在一直線(xiàn)上，C點(diǎn)在A與B之間，D點(diǎn)在A與C之間，則D點(diǎn)將在A與B之間;(4)通過(guò)一個(gè)定點(diǎn)僅有一條直線(xiàn)與已知直線(xiàn)平行。所有這四個(gè)公理都?xì)w之于直覺(jué)，不過(guò)第一個(gè)闡明了形式邏輯諸法則中的一個(gè)法則;第二個(gè)是真實(shí)的先驗(yàn)綜合判斷，它是嚴(yán)格的數(shù)學(xué)歸納法的基礎(chǔ);第三個(gè)求助于想象:第四個(gè)是偽定義。直覺(jué)不必建立在感覺(jué)明白之上;感覺(jué)不久便會(huì)變得無(wú)能為力。[8]
值得注意的是，直覺(jué)主義不是神秘主義。直覺(jué)的“不可解釋性”并不等于直覺(jué)的“神秘性”，盡管直覺(jué)是“不可解釋”的，但它卻有著確定的本質(zhì)。我們認(rèn)為，直覺(jué)是認(rèn)識(shí)過(guò)程中的一種飛躍，因此它就不是一種經(jīng)驗(yàn)的認(rèn)識(shí)，而是原來(lái)的思想路線(xiàn)的中斷，不可能按照通常的思維方式，用結(jié)論和推理的環(huán)節(jié)把它連接起來(lái)，所以直覺(jué)是“不可解釋的”。[9]
三、從Kant到Dummett，直覺(jué)主義派的主要人物及其思想
伊曼努爾·康德(Immanuel Kant, 1724-1804)，從某種意義上來(lái)說(shuō)，直覺(jué)主義是由哲學(xué)家康德開(kāi)始的。1755到1770年，康德在哥尼斯堡大學(xué)教物理和數(shù)學(xué)，他認(rèn)為我們所有的感覺(jué)都來(lái)自于一個(gè)預(yù)先假定的外部世界。雖然這些感覺(jué)不能提供任何知識(shí)，但是被感知到的物體間相互作用就產(chǎn)生了知識(shí)。心智將這些感覺(jué)梳理清楚，得到對(duì)空間和時(shí)間的直覺(jué)?？档抡f(shuō)，感性直覺(jué)有兩個(gè)純形式，它們是先天知識(shí)的原則，這兩個(gè)純形式就是空間和時(shí)間?？臻g是外直覺(jué)的純形式，而時(shí)間是內(nèi)直覺(jué)的純形式，它們都不是從外鄰經(jīng)驗(yàn)得來(lái)的，而是必然的、先天的觀念?？臻g和時(shí)間不是客觀存在的，而是心智的創(chuàng)作。心智理解經(jīng)驗(yàn)，經(jīng)驗(yàn)喚醒心智。雖然康德的思想有著直覺(jué)主義的影子，但是依舊沒(méi)有直觀地提出直覺(jué)主義，就數(shù)學(xué)基礎(chǔ)的方法而言，直覺(jué)主義是現(xiàn)代的。[10]
亨利·彭加勒(常譯作龐加萊，Henry Poincare，1854-1912)，當(dāng)代語(yǔ)境中的數(shù)學(xué)直覺(jué)主義的先驅(qū)。后人評(píng)價(jià)為數(shù)學(xué)哲學(xué)與當(dāng)代數(shù)學(xué)直覺(jué)主義之間的一座橋梁。邏輯主義對(duì)于數(shù)學(xué)基礎(chǔ)的理解是虛幻的。它使數(shù)學(xué)失去基礎(chǔ)。然而數(shù)學(xué)的基礎(chǔ)是存在的，它就是我們的直覺(jué)。它賦予數(shù)學(xué)以意義，從而給數(shù)學(xué)以對(duì)象。彭加勒指明了一座(本來(lái)就)架在人類(lèi)精神和數(shù)學(xué)存在之間的橋梁，那便是我們的數(shù)學(xué)直覺(jué)。[11]彭加勒主張自然數(shù)是最基本的直覺(jué)，認(rèn)為數(shù)學(xué)歸納法是一種包含直觀的思維方法，是不能簡(jiǎn)單地歸結(jié)為邏輯的。他主張使用有限個(gè)詞能定義的概念，主張數(shù)學(xué)對(duì)象的可構(gòu)造性。他還在另一種意義上理解和強(qiáng)調(diào)數(shù)學(xué)直覺(jué)，將其看做選擇和發(fā)明的工具。彭加勒認(rèn)為，我們有多種直覺(jué)。然而，最重要的可以歸結(jié)為兩類(lèi)：一是“純粹直覺(jué)”，即他通常所說(shuō)的“純粹數(shù)的直覺(jué)”、“純粹邏輯形式的直覺(jué)”、“數(shù)學(xué)次序的直覺(jué)”等，這主要是解析家的直覺(jué);二是“可覺(jué)察的直覺(jué)”，即想象，這主要是幾何學(xué)家“形”的直覺(jué)。對(duì)于這兩類(lèi)直覺(jué)，他認(rèn)為都是必要的，各自發(fā)揮著不同的作用。他認(rèn)為，這兩類(lèi)直覺(jué)“似乎發(fā)揮出我們心靈的兩種不同的本能”，它們像“兩盞探照燈，引導(dǎo)陌生人相互來(lái)往于兩個(gè)世界”。[12]
布勞威爾(L.E.J.Brouwer，1881-1966)，直覺(jué)主義真正的創(chuàng)始人和奠基人是布勞威爾。布勞威爾在數(shù)學(xué)上的直覺(jué)主義立場(chǎng)來(lái)源于他的哲學(xué)。1907年他在博士論文《數(shù)學(xué)基礎(chǔ)》中提出直覺(jué)主義觀點(diǎn),認(rèn)為數(shù)學(xué)的基礎(chǔ)是先驗(yàn)的初始直覺(jué)。數(shù)學(xué)是起源于和產(chǎn)生于頭腦的人類(lèi)活動(dòng)，不存在于頭腦之外，因此，是獨(dú)立于真實(shí)世界的。布勞威爾認(rèn)為數(shù)學(xué)思維是智力構(gòu)造的一個(gè)過(guò)程，它建造自己的天地，獨(dú)立于經(jīng)驗(yàn)，并且只受到必須建立于基本的數(shù)學(xué)直覺(jué)之上的限制。[10]布勞維爾發(fā)表的《數(shù)學(xué)基礎(chǔ)》表明直覺(jué)主義的立場(chǎng)是強(qiáng)調(diào)“直覺(jué)”，這并不是說(shuō)否認(rèn)數(shù)學(xué)的邏輯性和嚴(yán)謹(jǐn)性,而只是突出直覺(jué)、靈感和創(chuàng)造力在數(shù)學(xué)中的地位。直覺(jué)主義者認(rèn)為數(shù)學(xué)不僅是最講究嚴(yán)格性的科學(xué),也是最富有創(chuàng)造性的科學(xué)。布勞維爾認(rèn)為數(shù)學(xué)的基礎(chǔ)是先驗(yàn)的初始直覺(jué),他和他的學(xué)生說(shuō)他們所說(shuō)的直覺(jué)正是人心對(duì)于它本身所構(gòu)造的東西的清晰理解。[13]布勞維爾修改了康德的先驗(yàn)時(shí)空學(xué)說(shuō)，放棄了“外直覺(jué)的純形式”的先驗(yàn)時(shí)空概念，以適應(yīng)非歐幾何的發(fā)展;池把數(shù)學(xué)的基本直覺(jué)建立在“內(nèi)直覺(jué)的純形式”的先驗(yàn)時(shí)間概念的基礎(chǔ)之上。[14]布勞威爾還提出了“二·一原則”(tow-oneness)。他認(rèn)為這是數(shù)學(xué)的基本直覺(jué)。即假設(shè)N成立，則N+1成立。這個(gè)過(guò)程可以無(wú)限重復(fù)，創(chuàng)造了一切有限序數(shù)，因?yàn)?ldquo;二·一原則”的元素之一可以被認(rèn)為是一個(gè)新的“二·一原則”。布勞威爾認(rèn)為，在這個(gè)數(shù)學(xué)的基本直覺(jué)中，聯(lián)通和分離、連續(xù)和離散得到統(tǒng)一，并直接引出了線(xiàn)性連續(xù)統(tǒng)的直覺(jué)，即“介于”(between)的直覺(jué)。(布勞威爾《直覺(jué)主義和形式主義》)[4]93
阿倫特·海廷(Arend Heyting，1898-1980)，他是布勞威爾的學(xué)生。繼承了布勞威爾有關(guān)數(shù)學(xué)直覺(jué)主義的思想。他認(rèn)為，直覺(jué)主義是從一定的、多少有點(diǎn)任意的假設(shè)出發(fā)的。它的主題是構(gòu)造性的數(shù)學(xué)思想。這使得它處于經(jīng)典數(shù)學(xué)之外。形式主義和直覺(jué)主義的差別在于，直覺(jué)主義的進(jìn)行獨(dú)立于形式化，形式化只能追隨在數(shù)學(xué)構(gòu)造的后面。邏輯不是直覺(jué)主義的立足點(diǎn)，數(shù)學(xué)構(gòu)造在頭腦中是很直接的，結(jié)論也應(yīng)該是很清楚的，所以不需要任何基礎(chǔ)。海廷主張，在描述直覺(jué)主義數(shù)學(xué)時(shí)，應(yīng)當(dāng)在日常生活中去理解。比如，在注視那邊樹(shù)木時(shí)，我確信我看到樹(shù)木，而實(shí)際上光波達(dá)到我眼中，使我構(gòu)造出樹(shù)木這一信念需要相當(dāng)?shù)挠?xùn)練。這種觀點(diǎn)是自然的。兩個(gè)人說(shuō)話(huà)，我向你灌輸意見(jiàn)，實(shí)際制造了空氣的震動(dòng)。這是理論的構(gòu)造。(阿倫特·海廷《論辯》)[4]77-88
邁克爾·達(dá)米特(又譯米歇爾·杜麥特Michael Dummett，1925-2011)，當(dāng)代數(shù)學(xué)直覺(jué)主義學(xué)派的代表人物。達(dá)米特認(rèn)為，數(shù)學(xué)首先是先驗(yàn)的，然后是分析的。達(dá)米特曾經(jīng)從語(yǔ)言學(xué)角度和意義理論角度為直覺(jué)主義辯護(hù)。直覺(jué)主義關(guān)于數(shù)學(xué)陳述意義的解釋避免了以真概念為核心概念的意義理論的不足，它把說(shuō)話(huà)者關(guān)于數(shù)學(xué)陳述的理解與說(shuō)話(huà)者使用這個(gè)陳述的實(shí)際能力結(jié)合在一起，因此具有很大的優(yōu)點(diǎn)。從直覺(jué)主義關(guān)于數(shù)學(xué)陳述的意義說(shuō)明出發(fā)，達(dá)米特提出了以證實(shí)為核心概念的新的意義理論的構(gòu)想。[15]202達(dá)米特指出：“對(duì)于直覺(jué)主義邏輯來(lái)說(shuō)，排中律的雙重否定是有效的語(yǔ)義原則，就像二值邏輯認(rèn)為排中律本身是有效的一樣：斷言任何陳述既不真也不假是不一致的。”[4]132
四、直覺(jué)主義的意義以及合理性
直覺(jué)主義對(duì)古典邏輯中的排中律和雙重否定律等原理中的部分原則以及非構(gòu)造性的結(jié)論持否定態(tài)度，也不承認(rèn)數(shù)學(xué)中的實(shí)無(wú)限的對(duì)象和方法。數(shù)學(xué)的歷史也表明，數(shù)學(xué)知識(shí)與理論不僅無(wú)法脫離對(duì)外部世界的永恒的依存關(guān)系，而且數(shù)學(xué)的錯(cuò)誤不是通過(guò)限制數(shù)學(xué)，如排斥非構(gòu)造數(shù)學(xué)和傳統(tǒng)邏輯而得到克服的。數(shù)學(xué)真理的積累以及對(duì)謬誤的拋棄是通過(guò)數(shù)學(xué)知識(shí)的不斷增長(zhǎng)和理論的不斷完善獲得的。一句話(huà)、數(shù)學(xué)的生命在于生生不息的創(chuàng)造過(guò)程中。慶幸的是，直覺(jué)主義由十其思想體系中某種先天的弱點(diǎn)而末成為數(shù)學(xué)的統(tǒng)治思想。但也應(yīng)看到其構(gòu)造思想的重要價(jià)值。[16]123-124可以說(shuō)，直覺(jué)主義學(xué)派在本質(zhì)上是主觀和荒謬的，以直覺(jué)上的可構(gòu)造性為由來(lái)絕對(duì)的肯定直覺(jué)派數(shù)學(xué)是不能真正解決問(wèn)題的。但是，直覺(jué)主義揭示了經(jīng)典邏輯只具有相對(duì)的真理性，在具體的數(shù)學(xué)工作中具有重要意義。
首先，數(shù)學(xué)哲學(xué)中的直覺(jué)主義學(xué)派高度認(rèn)可直覺(jué)和個(gè)人的創(chuàng)造性思維在科學(xué)實(shí)踐中的作用，推動(dòng)了現(xiàn)代遞歸函數(shù)論的建立和發(fā)展，這無(wú)疑對(duì)數(shù)學(xué)的進(jìn)步起到了很積極的作用。其次，直覺(jué)主義者倡導(dǎo)的構(gòu)造性的能行性的研究方法,促進(jìn)了人工智能和計(jì)算機(jī)科學(xué)的發(fā)展。這種積極探討可行性方法在計(jì)算機(jī)數(shù)學(xué)以及計(jì)算機(jī)科學(xué)中具有重大的現(xiàn)實(shí)意義。第三，直覺(jué)主義數(shù)學(xué)哲學(xué)的思想方法在素質(zhì)教育理論研究與實(shí)踐上，具有寶貴的參考價(jià)值。在數(shù)學(xué)教育中，邏輯的作用很明顯，其特征為，從已知知識(shí)出發(fā),依據(jù)邏輯規(guī)則進(jìn)行推導(dǎo)和演算,一步一步地達(dá)到對(duì)研究對(duì)象的認(rèn)識(shí)。而直覺(jué)主義可以跳躍式地認(rèn)知，雖然能一步得到正確答案，卻無(wú)法說(shuō)清楚其中的步驟。直覺(jué)主義雖排斥傳統(tǒng)邏輯，但與邏輯關(guān)系十分密切，對(duì)培養(yǎng)良好的數(shù)學(xué)邏輯觀念有著不可忽視的作用。另外，直覺(jué)主義有助于培養(yǎng)數(shù)學(xué)教育中大膽猜測(cè)的思維習(xí)慣。這種創(chuàng)新和探索精神有利于數(shù)學(xué)的進(jìn)步和發(fā)展。
參考文獻(xiàn)：
[1] 傅敏.直覺(jué)主義數(shù)學(xué)哲學(xué)研究及其對(duì)數(shù)學(xué)素質(zhì)教育的啟示[J].西北師范大學(xué)學(xué)報(bào)(自然科學(xué)版)，1996(1).
[2] 諸葛殷同.對(duì)傳統(tǒng)邏輯的有力挑戰(zhàn)——評(píng)《經(jīng)典邏輯與直覺(jué)主義邏輯》[J].哲學(xué)動(dòng)態(tài)，1990(4).
[3] 柯華慶.直覺(jué)主義數(shù)學(xué)哲學(xué)的兩個(gè)階段[J].學(xué)術(shù)研究，2005(2).
[4] 保羅·貝納塞拉夫(美)，希拉里?普特南(美).數(shù)學(xué)哲學(xué)[M].北京：商務(wù)印書(shū)館，2003.
[5] 黃秦安.數(shù)學(xué)哲學(xué)與數(shù)學(xué)文化[M].西安：陜西師范大學(xué)出版社，1999.
看了“數(shù)學(xué)與哲學(xué)的關(guān)系精選論文”的人還看了：