,,,,,,,單擊此處編輯母版標(biāo)題樣式,,單擊此處編輯母版文本樣式,,第二級(jí),,第三級(jí),,第四級(jí),,第五級(jí),,,*,數(shù)學(xué)教育哲學(xué)講座,,周 根 龍,2007年7月,,,一、引言,,,兩千多年來，數(shù)學(xué)一直處在絕對(duì)主義范式的統(tǒng)治,,下，這種認(rèn)識(shí)范式視數(shù)學(xué)本體上是不可誤的、數(shù)學(xué)是客,,觀真理、且數(shù)學(xué)遠(yuǎn)離人類事務(wù)和價(jià)值。,,當(dāng)今越來越多的哲學(xué)家和數(shù)學(xué)家對(duì)此提出了異議，,,如,Laktaos,(1976)、Davis,與,Hersh,(1980)、,Tymoczko,,(1986),,他們認(rèn)為數(shù)學(xué)是可誤的，像其它知識(shí)一樣，數(shù),,學(xué)是人類創(chuàng)造的產(chǎn)物。,,,這一變化的意義（放棄數(shù)學(xué)的可靠性）：,,●,導(dǎo)致人類根本沒有可靠的結(jié)論；,,●,放棄數(shù)學(xué)與生俱來的偽安全性；,,●,若數(shù)學(xué)是不可誤的客觀知識(shí)，則數(shù)學(xué)不必承擔(dān)任,,何社會(huì)責(zé)任；,,●,若數(shù)學(xué)是可誤的社會(huì)建構(gòu)，則數(shù)學(xué)就是一個(gè)探究,,和認(rèn)識(shí)的過程，是人類不斷創(chuàng)造和發(fā)明的廣闊天地，,,是不會(huì)終結(jié)的產(chǎn)物。,,,如此動(dòng)態(tài)的數(shù)學(xué)觀對(duì)教育的影響舉足輕重：,,●,數(shù)學(xué)教學(xué)的目的應(yīng)包括使學(xué)生獲得自我創(chuàng)造數(shù)學(xué),,知識(shí)的能力；,,●,數(shù)學(xué)至少在學(xué)校要更新形式，以便所有社會(huì)群體,,易于接受其概念，并容易得到由它帶來的財(cái)富和權(quán),,利,；,,●,再不可理所當(dāng)然地把數(shù)學(xué)活動(dòng)及其應(yīng)用的涵義置之,,一邊，而對(duì)數(shù)學(xué)的潛在價(jià)值作出深入的分析。,,,在教學(xué)領(lǐng)域與數(shù)學(xué)觀相聯(lián)系的一些基本問題：,,學(xué)習(xí)的本質(zhì)：,數(shù)學(xué)學(xué)習(xí)理論的基礎(chǔ)由哪些哲學(xué)假說或,,可能隱含的假說所構(gòu)成？應(yīng)采納何種認(rèn)識(shí)論和學(xué)習(xí)論？,,教育目的：,數(shù)學(xué)教育的目的是什么？誰提出的目的？,,為誰提出的目的？建立在什么價(jià)值標(biāo)準(zhǔn)上的目的？這,,個(gè)目的使誰受益，誰受損？,數(shù)學(xué)的本質(zhì)：,數(shù)學(xué)教學(xué)依據(jù)什么哲學(xué)假說或可能的,,隱含假說？這些假說可靠嗎？為達(dá)到數(shù)學(xué)教育目的,,應(yīng)采取何種方法？這些方法和目的一致嗎？,,,事實(shí)上，無論人們的意愿如何，一切數(shù)學(xué)教學(xué)法根,,本上都出于某一數(shù)學(xué)哲學(xué)，即便是很不規(guī)范的教學(xué)法也,,如此。（,Thom,1971）,問題并不在于教學(xué)的最好方式是什么，而在于數(shù),,學(xué)到底是什么。┄┄如果不正視數(shù)學(xué)的本質(zhì)問題，便,,解決不了關(guān)于教學(xué)上的爭(zhēng)議。（,Hersh,,1979）,教師專業(yè)數(shù)學(xué)思想的形成與他們表達(dá)數(shù)學(xué)內(nèi)容的,,典型方式存在著一致性，這有力說明了教師的數(shù)學(xué)觀、,,數(shù)學(xué)信仰和愛好的確影響著他們的教學(xué)活動(dòng)。,,,二、絕對(duì)主義觀和可誤主義觀,,,數(shù)學(xué)哲學(xué)是哲學(xué)的一個(gè)分支。它的任務(wù)是反思,,并解釋數(shù)學(xué)的本質(zhì)。,,數(shù)學(xué)知識(shí)是由具有證明的一組命題所構(gòu)成的，,,由于數(shù)學(xué)證明僅依據(jù)推理而不求助于經(jīng)驗(yàn)材料，,,因此認(rèn)為數(shù)學(xué)知識(shí)是所有知識(shí)中最為可靠的知識(shí)。,,,數(shù)學(xué)哲學(xué)傳統(tǒng)上把自己的任務(wù)看作為數(shù)學(xué)知識(shí)的,,可靠性提供基礎(chǔ)，即構(gòu)建一個(gè)系統(tǒng)。在這系統(tǒng)中能夠,,編排數(shù)學(xué)知識(shí)從而能系統(tǒng)地建立起數(shù)學(xué)的真理性。,,,這樣做取決于或明或暗地廣泛承認(rèn)的下列假設(shè)：,,,數(shù)學(xué)哲學(xué)的任務(wù)是為數(shù)學(xué)知識(shí)，也可以說是為了,,數(shù)學(xué)真理奠定一個(gè)系統(tǒng)的并且絕對(duì)可靠的基礎(chǔ)。這個(gè),,假設(shè)是基礎(chǔ)主義的依據(jù)，也就是這樣一個(gè)信條：數(shù)學(xué),,哲學(xué)的作用是否為數(shù)學(xué)知識(shí)奠定可靠的基礎(chǔ)。,基礎(chǔ)主義與數(shù)學(xué)知識(shí)的絕對(duì)觀密切相關(guān)，因?yàn)榛?,礎(chǔ)主義把驗(yàn)證數(shù)學(xué)知識(shí)的絕對(duì)性這一任務(wù)視為數(shù)學(xué)哲,,學(xué)的中心任務(wù)。,,,1.數(shù)學(xué)知識(shí)的本質(zhì),,,傳統(tǒng)上，數(shù)學(xué)知識(shí)一直作為可靠知識(shí)的范式。,Newton,,的《原理》和,Spinozn,的《倫理學(xué)》都采用了,Euclid,的《幾,,何原本》的形式（公理化思想）。長(zhǎng)期以來，數(shù)學(xué)一直作,,為人類所知的最可靠知識(shí)的源泉。,知識(shí)的本質(zhì)是什么？,,其哲學(xué)標(biāo)準(zhǔn)答案是，知識(shí)是已判定為合理的信念。,,,更準(zhǔn)確地說，命題型知識(shí)由得到承認(rèn)（即得到相,,信）的命題所組成，并有充分根據(jù)判定這些命題。,,,知識(shí)可以按照對(duì)它進(jìn)行論證的依據(jù)進(jìn)行分類。,先驗(yàn),,知識(shí)由僅僅根據(jù)推理而判定的那些命題所組成，而不依,,賴于對(duì)現(xiàn)實(shí)世界的觀察。,,,數(shù)學(xué)知識(shí)屬于先驗(yàn)知識(shí)，因?yàn)樗挥苫谕评矶鴶?,定的命題所組成。,,,推理包括演繹邏輯和所用的定義，連同我們所假定,,的數(shù)學(xué)公理或公設(shè)，構(gòu)成了推斷數(shù)學(xué)知識(shí)的基礎(chǔ)。因此,,數(shù)學(xué)知識(shí)的基礎(chǔ)，即確定數(shù)學(xué)命題真理性的依據(jù)，是由,,演繹證明所組成的。,,,數(shù)學(xué)知識(shí)的基礎(chǔ)，即確定數(shù)學(xué)命題真理性的依據(jù)，,,是由演繹證明所組成的。,在證明中往往用到兩種類型的假設(shè)：數(shù)學(xué)的和邏,,輯的。,,邏輯假設(shè)即推理規(guī)則（整個(gè)證明理論的一部分）,,和邏輯句法，被認(rèn)為是邏輯的基本組成部分，也是推,,理運(yùn)用過程的組成部分。因此我們認(rèn)為，邏輯毫無疑,,問是知識(shí)判定的依據(jù)。,,數(shù)學(xué)假設(shè)即數(shù)學(xué)公理或公設(shè)，是數(shù)學(xué)證明依賴的,,數(shù)學(xué)基礎(chǔ) 。,,數(shù)學(xué)假設(shè)的合理性又由誰來保證呢？,,,事實(shí)上，非歐幾何證明了，,Euclid,公理和平行公設(shè),,被人們不再看作是基本的或無可爭(zhēng)辯的真理，不再認(rèn)為,,任何這種真理之一遭否定或拒絕時(shí)都會(huì)引起矛盾?，F(xiàn)代,,數(shù)學(xué)知識(shí)包括了很多依賴于公理系假設(shè)的分支學(xué)科，而,,這些公理不可看作為基本的普遍真理，如群論公理或集,,合論公理。,,2.,數(shù)學(xué)知識(shí)的絕對(duì)主義觀,,絕對(duì)主義數(shù)學(xué)觀：,,,認(rèn)為數(shù)學(xué)真理是絕對(duì)可靠的,數(shù)學(xué),,,是一種而且也許是唯一的一種確定的、,,,不容置疑的客觀知識(shí)領(lǐng)域。,,演繹法為數(shù)學(xué)知識(shí)的斷定提供了保證。,,,斷定數(shù)學(xué)（和邏輯）提供絕對(duì)可靠知識(shí)即真,,理的依據(jù)如下：,,首先，證明中的基本陳述視其為真，數(shù)學(xué)公,,理假定為真，以便這樣考慮使系統(tǒng)得到發(fā)展，數(shù),,學(xué)定義令其為真，邏輯公理認(rèn)其為真。,,其次，邏輯推理規(guī)則保持著真理性，即只承,,認(rèn)由真理推導(dǎo)出來真理。,,,這種數(shù)學(xué)知識(shí)的絕對(duì)主義觀是建立在以下兩種假設(shè),,基礎(chǔ)上：涉及公理和定義假設(shè)的數(shù)學(xué)假設(shè)，以及涉及公,,理假設(shè)、推理規(guī)則和形式語言及其句法的邏輯假設(shè)。,羅素悖論,,,,Russel,通過定義“不是自身的一個(gè)元素”這一特性，,,提出了這個(gè)悖論。,Frege,規(guī)則允許這一特性的外延作為,,一個(gè)集合。但這樣一來，這個(gè)集合是自身的一個(gè)元素,,當(dāng)且僅當(dāng)它不是自身的一個(gè)元素，這就是一個(gè)矛盾。,,,這些矛盾的發(fā)現(xiàn)自然對(duì)數(shù)學(xué)知識(shí)的絕對(duì)主義,,觀是潛在的致命威脅。,,如果數(shù)學(xué)是可靠的，則它的所有定理都是可,,靠的，那么它的理論怎么會(huì)出現(xiàn)矛盾呢？,,,既然這虛張聲勢(shì)矛盾的出現(xiàn)并無錯(cuò)誤，那么,,必定在數(shù)學(xué)基礎(chǔ)中出現(xiàn)了問題。,,這些危機(jī)帶來的結(jié)果是，數(shù)學(xué)哲學(xué)的一些學(xué),,派發(fā)展起來，其目的是解釋數(shù)學(xué)知識(shí)的本質(zhì)并重,,建它們的可靠性。三大學(xué)派分別是邏輯主義、形,,式主義、構(gòu)造主義（直覺主義）。,,A,．,邏輯主義,,,邏輯主義是把純數(shù)學(xué)作為邏輯基本構(gòu)成成分的思,,想學(xué)派。,主要倡導(dǎo)者有,Leibniz,、,Frege,、,Russel,等人。,,,Russel,的觀點(diǎn)最為顯明。主要有兩個(gè)論點(diǎn)：,,（1）所有數(shù)學(xué)概念最終都可以歸結(jié)為邏輯概念；,,（2）所有數(shù)學(xué)真理都可以單作憑公理和邏輯推演,,規(guī)則得到證明。,,,,Russel,等人（1910-1913）用一系列的定義確立了上,,述第一論點(diǎn)，但是在第二點(diǎn)上失敗了。數(shù)學(xué)需要非邏輯,,公理如無窮公理（所有自然數(shù)的集合都是無窮的）和選,,擇公理。,,因此不是所有的數(shù)學(xué)定理（真理）都能單純從邏輯,,公理導(dǎo)出。許多重要的數(shù)學(xué)公理確實(shí)是獨(dú)立的，并且無,,論采用這些公理還是否定這些公理都不會(huì)引起矛盾。,,,后來邏輯主義想了許多方法來改進(jìn)，但后來都失敗,,了，因此把數(shù)學(xué)知識(shí)的確定性歸結(jié)為邏輯的確定性這一,,邏輯主義綱領(lǐng)已在原則上失敗了。邏輯不能為數(shù)學(xué)知識(shí),,提供可靠的基礎(chǔ)。,,B．,形式主義,,,通俗地說，形式主義是如下觀點(diǎn)：數(shù)學(xué)是按規(guī)則在,,紙上用符號(hào)所做的一種無意義的形式游戲。,,Hilbert,的形式主義綱領(lǐng)旨在把數(shù)學(xué)轉(zhuǎn)化為不予解,,釋的形式系統(tǒng)。,,Hilbert,借助一種有限制然而有意義的元數(shù)學(xué)，通過,,導(dǎo)出所有數(shù)學(xué)真理的形式的對(duì)應(yīng)產(chǎn)物來說明他的形式系,,統(tǒng)適合于數(shù)學(xué)，并通過相容性證明說明該形式系統(tǒng)對(duì)數(shù),,學(xué)是可靠的。,,,但,Godel,的不完全理論（,1931,）證明了這是一個(gè),,無法實(shí)現(xiàn)的綱領(lǐng)。,,其第一個(gè)定理證明了甚至不是所有算術(shù)定理都能,,由,Peano,公理（或任意一個(gè)更大的遞歸公理系統(tǒng)）導(dǎo),,出。,,第二個(gè)定理證明了對(duì)所要研究的系統(tǒng)而言，證明,,其相容性需要比維持系統(tǒng)的“自我完善”更強(qiáng)的元數(shù)學(xué)，,,所以也就根本無所謂系統(tǒng)的“自我完整”可言。(,形式系,,統(tǒng)無法保證自身的可靠性),,C,．,構(gòu)造主義,,,構(gòu)造主義綱領(lǐng)是數(shù)學(xué)知識(shí)的一種重建（數(shù)學(xué)活動(dòng)的,,改革），以防止數(shù)學(xué)意義的喪失或陷入矛盾。,最著名的構(gòu)造主義者是直覺主義者,Brouwer,.,,持構(gòu)造主義觀點(diǎn)的數(shù)學(xué)家的共同觀點(diǎn)是，經(jīng)典數(shù)學(xué),,或許靠不住，需要用“構(gòu)造”的方法和推理重建數(shù)學(xué)。,,他們主張數(shù)學(xué)真理和數(shù)學(xué)對(duì)象的存在性這兩者都必,,須由構(gòu)造的方法加以確定。這即是說，證實(shí)真理性和存,,在性，就需要數(shù)學(xué)地加以改造。這和利用矛盾加以證明,,的反證法相對(duì)立（他們也不承認(rèn)邏輯上的排中律）。,,,對(duì)于構(gòu)造主義者來說，知識(shí)必須通過構(gòu)造主義邏輯,,的構(gòu)造性證明加以確立。,數(shù)學(xué)術(shù)語或?qū)ο蟮囊饬x應(yīng)通過這一形式過程，使,,得數(shù)學(xué)術(shù)語或?qū)ο蟮靡詷?gòu)造出來。,,直覺主義是構(gòu)造主義的代表。其不僅無法解釋非構(gòu),,造性經(jīng)典數(shù)學(xué)的實(shí)質(zhì)，而且否定它的有效性。既沒有證,,實(shí)經(jīng)典數(shù)學(xué)所面臨的無法回避的問題，也沒有說明經(jīng)典,,數(shù)學(xué)的非協(xié)調(diào)性和非真實(shí)性。事實(shí)上，其綱領(lǐng)提出后，,,經(jīng)典的純粹和應(yīng)用數(shù)學(xué)的走勢(shì)越來越強(qiáng)，因此直覺主義,,遭到人們的拒絕。,,3,．可誤主義觀,,,可誤主義觀：數(shù)學(xué)真理是可誤的且是可以糾正的，,,決不能把數(shù)學(xué)知識(shí)看作是不能糾正或更改的真理。,反面的表達(dá)形式：,,,數(shù)學(xué)知識(shí)不是絕對(duì)真理，它沒有絕對(duì)有效性。,,正面的表達(dá)形式：,,,數(shù)學(xué)知識(shí)中可糾正的且永遠(yuǎn)要接受更正。,其代表人物是,Lakatos,。,,,三、 數(shù)學(xué)哲學(xué)的重新認(rèn)識(shí),,上面我們是在這樣的假設(shè)下進(jìn)行思考的：數(shù)學(xué)知識(shí)是,,一組附有證明的命題形式的真理，而數(shù)學(xué)哲學(xué)的功能就是,,建立這種知識(shí)的可靠性。當(dāng)我們發(fā)現(xiàn)這一假設(shè)站不住腳時(shí)，,,就不得不重新考慮數(shù)學(xué)哲學(xué)的本質(zhì)。,什么是數(shù)學(xué)哲學(xué)的功能和范圍呢？,,數(shù)學(xué)哲學(xué)不應(yīng)僅考慮其“內(nèi)在問題”，而應(yīng)把數(shù)學(xué)放在,,人類思想和人類歷史的大背景中來考慮。數(shù)學(xué)哲學(xué)應(yīng)該全,,面考慮人類創(chuàng)造知識(shí)的環(huán)境和數(shù)學(xué)的歷史根源。,,如果認(rèn)識(shí)論僅注重單一靜態(tài)的知識(shí)形式，而忽略知識(shí),,發(fā)展的動(dòng)態(tài)，那么它就不能恰當(dāng)?shù)亟忉屩R(shí)。,,絕對(duì)主義觀和可誤主義觀比較,絕對(duì)主義觀：,注重終結(jié)的或展現(xiàn)了的知識(shí)，以及知識(shí)的基礎(chǔ)和判定；,,把知識(shí)看作一種客觀成果的知識(shí)，常根本否定涉及知識(shí)發(fā)生的哲學(xué)合理性，并把知識(shí)發(fā)生問題推給心理學(xué)和社會(huì)科學(xué)（構(gòu)造主義除外）。,可誤主義觀：,注重知識(shí)發(fā)生和人類對(duì)創(chuàng)造知識(shí)的貢獻(xiàn)；,,能認(rèn)識(shí)到出錯(cuò)在數(shù)學(xué)中的作用,。,,絕對(duì)主義觀,：,,數(shù)學(xué)（連同邏輯）占有作為唯一可靠知識(shí)領(lǐng)域的地,,位，數(shù)學(xué)只依賴嚴(yán)格的證明，同時(shí)還否認(rèn)數(shù)學(xué)與歷史、,,知識(shí)發(fā)生以及人類環(huán)境條件相關(guān)的內(nèi)在聯(lián)系，這一切助長(zhǎng)了把數(shù)學(xué)當(dāng)作單獨(dú)的分離學(xué)科的觀點(diǎn)。,可誤主義觀,：,,可誤主義把更多的內(nèi)容納入了數(shù)學(xué)哲學(xué)的范圍。由于數(shù)學(xué)是可誤的，因此認(rèn)為數(shù)學(xué)絕不能與物理學(xué)及其他科學(xué)的經(jīng)驗(yàn)（因而是可誤的）知識(shí)相分離。,可誤主義注重?cái)?shù)學(xué)知識(shí)的發(fā)生及結(jié)果，從而把數(shù)學(xué),,看作是歷史及人類實(shí)踐的組成部分。數(shù)學(xué)不能脫離人類學(xué)和社會(huì)科學(xué)，或者一般地看作人類文化的一部分。數(shù)學(xué)與人類的整體知識(shí)結(jié)構(gòu)相關(guān)，是其不可分割的一部分。,,絕對(duì)主義觀,：,數(shù)學(xué)是客觀存在，無所謂價(jià)值，僅涉及數(shù)學(xué)本身的,,內(nèi)在邏輯。,僅從數(shù)學(xué)內(nèi)部考慮問題，因此把數(shù)學(xué)當(dāng)作是,,客觀的、絕對(duì)超道德的人性價(jià)值的知識(shí)。,,可誤主義觀,：,,數(shù)學(xué)充滿著像其他知識(shí)領(lǐng)域或人類奮斗一樣的人性,,價(jià)值。,通過數(shù)學(xué)歷史和社會(huì)淵源，把數(shù)學(xué)與其他人類聯(lián)系在一起，認(rèn)為數(shù)學(xué)賦有價(jià)值，充滿道德價(jià)值和社會(huì)價(jià)值，這些價(jià)值在數(shù)學(xué)應(yīng)用和發(fā)展中發(fā)揮著重要作用。,,數(shù)學(xué)哲學(xué)應(yīng)解釋,,（1）數(shù)學(xué)知識(shí)（它的本質(zhì)、判定和生成）；,一種合適的數(shù)學(xué)哲學(xué)標(biāo)準(zhǔn)：,過去對(duì)數(shù)學(xué)哲學(xué)是研究數(shù)學(xué)知識(shí)的邏輯基礎(chǔ)的錯(cuò)誤認(rèn)識(shí)掩蓋了數(shù)學(xué)哲學(xué)的上述任務(wù)。,,（2）數(shù)學(xué)對(duì)象（它們的本質(zhì)和根源）；,（3）數(shù)學(xué)應(yīng)用（在科學(xué)、技術(shù)和其他領(lǐng)域中數(shù)學(xué)的有效性）；,,（4）數(shù)學(xué)實(shí)踐（數(shù)學(xué)家的活動(dòng)：現(xiàn)在的和過去的）。,,運(yùn)用新標(biāo)準(zhǔn)對(duì)各哲學(xué)學(xué)派作進(jìn)一步分析：,A,,絕對(duì)主義學(xué)派,,,他們的任務(wù)本應(yīng)解釋數(shù)學(xué)的本質(zhì)，包括解釋諸如數(shù)學(xué),,運(yùn)用和數(shù)學(xué)生成等外在的社會(huì)及歷史因素。由于三大學(xué),,派狹隘、排他的固有偏見，因而他們不可能以寬廣的思,,路去構(gòu)想并表達(dá)數(shù)學(xué)（直覺主義可能除外）。他們不僅,,不能達(dá)到自己選擇的基礎(chǔ)主義的目標(biāo)，而且即使達(dá)到了，,,其數(shù)學(xué)哲學(xué)對(duì)于新標(biāo)準(zhǔn)來說仍是不夠恰當(dāng)?shù)摹?,,B,進(jìn)步絕對(duì)主義（相對(duì)形式絕對(duì)主義而言）,,,不同的絕對(duì)主義概念的關(guān)鍵在于它們對(duì)數(shù)學(xué)知識(shí)和理論,,采取靜態(tài)還是動(dòng)態(tài)觀。形式主義和邏輯主義是形式絕對(duì)主義，,,他們承認(rèn)在數(shù)學(xué)公理基礎(chǔ)上能夠發(fā)現(xiàn)和證明數(shù)學(xué)理論的新定,,理。而他們既不觸及數(shù)學(xué)理論的創(chuàng)造或變化，也不觸及非形,,式數(shù)學(xué)，更不用說觸及人類的作用。根據(jù)他們的觀點(diǎn)，數(shù)學(xué),,不過由固定、形式的理論所組成。,,進(jìn)步絕對(duì)主義哲學(xué)：,（1）接受公理理論的創(chuàng)造和變化；,（2）由于需要數(shù)學(xué)直覺作為理論創(chuàng)造的基礎(chǔ)，因而,,,承認(rèn)純形式數(shù)學(xué)之外還有其他類型的數(shù)學(xué)存在；,（3）承認(rèn)新知識(shí)和理論創(chuàng)造中人類活動(dòng)和活動(dòng)的結(jié)果。,,C,,柏拉圖主義,,,柏拉圖主義觀把數(shù)學(xué)對(duì)象當(dāng)作某個(gè)理念領(lǐng)域里的真,,實(shí)、客觀存在。數(shù)學(xué)結(jié)構(gòu)和對(duì)象不依賴于人類而真實(shí)存,,在，做數(shù)學(xué)即是發(fā)現(xiàn)這些結(jié)構(gòu)和對(duì)象的先驗(yàn)存在關(guān)系的,,過程。數(shù)學(xué)知識(shí)是由這些對(duì)象以及對(duì)其關(guān)系和結(jié)構(gòu)的描,,述所組成。,缺陷：,,（1）沒有恰當(dāng)?shù)亟忉寯?shù)學(xué)家們?nèi)绾潍@得柏拉圖王國中,,的知識(shí)；,,（2）既不內(nèi)在也不可外在地恰當(dāng)?shù)亟忉寯?shù)學(xué)。,真實(shí)性、客觀存在性、似自主性——即數(shù)學(xué)服從于,,自身的內(nèi)在規(guī)律和邏輯）,,,D,,約定主義,,數(shù)學(xué)約定主義觀認(rèn)為，數(shù)學(xué)知識(shí)和真理基于語言,,約定。特別認(rèn)為邏輯和數(shù)學(xué)的真理性，可根據(jù)所涉及,,的術(shù)語的意義加以分析。把語言約定作為基本數(shù)學(xué)定,,理的根基，數(shù)學(xué)大廈建構(gòu)在這一根基上。它指明了數(shù),,學(xué)的基本社會(huì)性質(zhì)。,,E,,經(jīng)驗(yàn)主義,,數(shù)學(xué)真理是經(jīng)驗(yàn)的概括。,數(shù)學(xué)概念起源于經(jīng)驗(yàn)。,數(shù)學(xué)真理可用經(jīng)驗(yàn)來判斷，即數(shù)學(xué)真理來自于,,對(duì)物理世界的觀察。,,F,,擬經(jīng)驗(yàn)主義,數(shù)學(xué)是數(shù)學(xué)家做的或曾經(jīng)做過的事情，它具有任,,何人類活動(dòng)或創(chuàng)造所固有的不完善性。擬經(jīng)驗(yàn)主義把,,數(shù)學(xué)實(shí)踐放在首位。,,擬經(jīng)驗(yàn)主義數(shù)學(xué)觀要點(diǎn)：,數(shù)學(xué)是處理數(shù)學(xué)問題時(shí)人與人之間的對(duì)話。數(shù)學(xué),,是可誤的，決不可認(rèn)為數(shù)學(xué)結(jié)果（包括概念和證明）,,是最終的或完善的，它們可以嚴(yán)密性的標(biāo)準(zhǔn)的變化，,,或隨著新的挑戰(zhàn)、新意義的產(chǎn)生，而需要重新商榷。,,由于數(shù)學(xué)是人類的活動(dòng)，因此我們就不能把它與它的,,歷史以及在其他領(lǐng)域中的應(yīng)用割裂開來。,擬經(jīng)驗(yàn)主義代表著“近代數(shù)學(xué)哲學(xué)中經(jīng)驗(yàn)主義的復(fù)興”。,,擬經(jīng)驗(yàn)主義的五個(gè)觀點(diǎn)：,,（1）數(shù)學(xué)是可誤的；,（2）數(shù)學(xué)是假設(shè)-演繹的；,（3）歷史是核心；,（4）斷定非形式數(shù)學(xué)的首要性；,（5）知識(shí)創(chuàng)造理論。,,,數(shù)學(xué)發(fā)現(xiàn)或非形式化數(shù)學(xué)理論的發(fā)展有一個(gè)簡(jiǎn)單,,模式，它包括下列步驟：,,（1）最初設(shè)想；,（2）證明；,（3）產(chǎn)生“總體”反例（最初設(shè)想的反例）；,（4）重新檢驗(yàn)證明；,（5）檢查其他定理的證明，以便觀察在這些證明中是否出,,現(xiàn)那個(gè)新發(fā)現(xiàn)的引理或那個(gè)新的產(chǎn)生于證明的概念；或許,,發(fā)現(xiàn)這個(gè)概念處于不同證明的交合處，出現(xiàn)這種情況帶有,,基本重要的意義；,（6）檢驗(yàn)?zāi)切┦芘g的最初設(shè)想的而迄今仍被承認(rèn)的結(jié)果；,（7）反例變成新例子——開辟新的研究領(lǐng)域。,,,Lakatos,的數(shù)學(xué)哲學(xué)的實(shí)質(zhì)在于數(shù)學(xué)知識(shí)的發(fā)生論，,,這是數(shù)學(xué)實(shí)踐的理論，所以也是數(shù)學(xué)歷史的理論。,,,Lakatos,未指出數(shù)學(xué)創(chuàng)造或發(fā)現(xiàn)的心理學(xué)理論，因,,為他沒有研究個(gè)體頭腦中的公理、定義和猜想的起因，,,而注重于將個(gè)人的創(chuàng)造轉(zhuǎn)換成大家承認(rèn)的公開的數(shù)學(xué),,知識(shí)這個(gè)過程——一個(gè)主要包括批判和再形成的過程。,擬經(jīng)驗(yàn)主義部分地論述了數(shù)學(xué)知識(shí)的本質(zhì)、它的發(fā),,生和判定。,,,,Lakatos,把數(shù)學(xué)知識(shí)的本質(zhì)解釋成假設(shè)——演繹式,,的、擬經(jīng)驗(yàn)的，形成了與波普爾的科學(xué)哲學(xué)極其想像的,,結(jié)果。,,,,,Lakatos,哲學(xué)一個(gè)關(guān)鍵長(zhǎng)處在于它不是規(guī)定性的,,而是表述性的，他努力表述數(shù)學(xué)的本來面目，而不是,,表述它應(yīng)該如何加以實(shí)踐數(shù)學(xué)。,缺陷：沒有解釋數(shù)學(xué)的可靠性，沒有論述數(shù)學(xué)對(duì),,象或其發(fā)生的本質(zhì)，沒有解釋應(yīng)用數(shù)學(xué)的本質(zhì)，沒有,,證實(shí)把數(shù)學(xué)史作為其數(shù)學(xué)哲學(xué)的實(shí)質(zhì)點(diǎn)的這種做法的,,合理性。,,四、作為數(shù)學(xué)哲學(xué)的社會(huì)建構(gòu)主義,,社會(huì)建構(gòu)主義將數(shù)學(xué)視為社會(huì)的建構(gòu)，它吸取了約定主,,義的思想，承認(rèn)人類知識(shí)、規(guī)則和約定對(duì)數(shù)學(xué)真理的確定和,,判定起著關(guān)鍵作用。,它汲取擬經(jīng)驗(yàn)主義的可誤主義認(rèn)識(shí)論，其中包括數(shù)學(xué)知,,識(shí)和概念是發(fā)展和變化的思想。,它還采納,Lakatos,的哲學(xué)論點(diǎn)，即按照一種數(shù)學(xué)發(fā)現(xiàn)的,,邏輯，數(shù)學(xué)知識(shí)在猜想和反駁中得到發(fā)展。,社會(huì)建構(gòu)主義相對(duì)規(guī)定性哲學(xué)來說是一種描述性數(shù)學(xué),,哲學(xué)，旨在合適的標(biāo)準(zhǔn)下解釋普遍所理解的數(shù)學(xué)的本質(zhì)。,,,之所以采用社會(huì)建構(gòu)的說法，其依據(jù)是：,（1）數(shù)學(xué)知識(shí)的基礎(chǔ)是語言知識(shí)、約定和規(guī)則，而,,語言是一種社會(huì)建構(gòu)。,（2）個(gè)人的主觀數(shù)學(xué)知識(shí)公布后轉(zhuǎn)化為使人接受的,,客觀數(shù)學(xué)知識(shí)，這需要人際交往的社會(huì)過程。,（3）客觀性本身應(yīng)理解為社會(huì)的。,,像擬經(jīng)驗(yàn)主義一樣，社會(huì)建構(gòu)主義的核心是數(shù)學(xué)知識(shí),,的生成，而不是數(shù)學(xué)知識(shí)的判定。,新知識(shí)可以是主觀知識(shí)或客觀知識(shí)，其獨(dú)到之處在于,,同時(shí)考慮這兩種知識(shí)形式，并將主觀知識(shí)和客觀知識(shí)循環(huán),,聯(lián)系起來，其中每一個(gè)促進(jìn)另一個(gè)的更新。,在這個(gè)循環(huán)中，新的主觀知識(shí)從主觀知識(shí)（個(gè)體的個(gè),,人創(chuàng)造）開始，經(jīng)發(fā)表而形成客觀知識(shí)（通過主體間的審,,視、再形成和接受）。,,在數(shù)學(xué)學(xué)習(xí)過程中客觀知識(shí)被個(gè)體內(nèi)化和再建構(gòu)，成為,,個(gè)體的主觀知識(shí)。根據(jù)這個(gè)知識(shí)，個(gè)體創(chuàng)造并發(fā)表新的數(shù)學(xué),,知識(shí)，從而形成循環(huán)。,,,因此數(shù)學(xué)主觀知識(shí)和客觀知識(shí)彼此促成對(duì)方的產(chǎn)生和,,再產(chǎn)生。,,知識(shí)產(chǎn)生的社會(huì)建構(gòu)主義學(xué)說的基本假說：,,,（1）個(gè)體具有主觀數(shù)學(xué)知識(shí)（再建構(gòu)的客觀知識(shí)和,,新創(chuàng)造的主觀數(shù)學(xué)知識(shí)）。,（2）發(fā)表是主觀數(shù)學(xué)知識(shí)變成客觀知識(shí)所必要的。,,,（3）發(fā)表的數(shù)學(xué)知識(shí)歷經(jīng),Lakatos,所說的啟發(fā)式,,過程變?yōu)榭陀^的知識(shí)（社會(huì)性的接受）。,（,4）啟發(fā)式過程取決于客觀標(biāo)準(zhǔn)（即審視、評(píng)判,,數(shù)學(xué)知識(shí)的標(biāo)準(zhǔn)）。,,,（5）評(píng)判發(fā)表了的數(shù)學(xué)知識(shí)，其客觀標(biāo)準(zhǔn)是建,,立在客觀語言知識(shí)及數(shù)學(xué)知識(shí)的基礎(chǔ)上。,（6）數(shù)學(xué)主觀知識(shí)根本上是內(nèi)化了的，再建構(gòu)了,,的客觀知識(shí)。,,（7）在數(shù)學(xué)知識(shí)的增添、再建或再現(xiàn)方面，個(gè)人,,能夠發(fā)揮作用。,,,1.客觀知識(shí)和主觀知識(shí),,我們稱物質(zhì)世界為“第一世界”，我們的意識(shí)經(jīng)驗(yàn)世界,,為“第二世界”，書本、圖書館、電腦以及類似東西中的邏,,輯內(nèi)容為“第三世界”。,,主觀知識(shí)是第二世界的知識(shí)，客觀知識(shí)是第三世界的,,知識(shí)，它包括人類思想的產(chǎn)物，如發(fā)表的定理、對(duì)這些定,,理中有關(guān)問題的討論以及定理證明；客觀知識(shí)是由人創(chuàng)造,,的、是變化的。對(duì)于客觀知識(shí)是指共有的、主體間的知識(shí)，,,即使是隱含、未充分表達(dá)清楚的也算在其中。,,,客觀數(shù)學(xué)知識(shí)的作用：,,根據(jù)社會(huì)建構(gòu)主義的看法，公開了的數(shù)學(xué)，即在公開,,領(lǐng)域中用符號(hào)表現(xiàn)的數(shù)學(xué)有可能成為客觀知識(shí)。,把,Lakatos,的數(shù)學(xué)發(fā)現(xiàn)邏輯用于公開了的數(shù)學(xué)，這是一,,個(gè)獲得社會(huì)承認(rèn)進(jìn)而獲得客觀性的過程。數(shù)學(xué)公理、定理、,,猜想以及證明一旦形成并公開（即使是口頭上），自動(dòng)的,,（即社會(huì)承認(rèn)的）啟發(fā)即開始進(jìn)行。,,無論這個(gè)過程還是它的結(jié)果都是為社會(huì)所接受的，因,,而是客觀的。同樣獲得社會(huì)性承認(rèn)的語言、邏輯約定和規(guī),,則（隱含的或明確的）也是客觀的，這些約定和規(guī)則是啟,,發(fā)式過程的依據(jù)。,根據(jù)約定主義觀，我們斷言，正是這些約定和規(guī)則構(gòu)成,,數(shù)學(xué)知識(shí)（包括邏輯）的基礎(chǔ)，因?yàn)樗鼈兲峁┝诉壿嫼蛿?shù)學(xué),,定義的根據(jù)，同樣也提供了邏輯和數(shù)學(xué)公理及規(guī)則的依據(jù)。,,數(shù)學(xué)主觀知識(shí)的作用：,主觀知識(shí)維持并更新著客觀知識(shí)，不管是,,,數(shù)學(xué)、邏輯或語言的知識(shí)。主觀知識(shí)在社會(huì)建,,,構(gòu)主義的數(shù)學(xué)哲學(xué)中居于核心地位。,,2.社會(huì)建構(gòu)學(xué)說對(duì)數(shù)學(xué)的哲學(xué)解釋：,,A,,數(shù)學(xué)的客觀性,,通過對(duì)絕對(duì)主義的有力批判，我們接受了數(shù)學(xué)知識(shí)的可,,誤性。,數(shù)學(xué)知識(shí)的可誤性是社會(huì)建構(gòu)主義的核心假說，然而，,,人們?nèi)匀黄毡榘褦?shù)學(xué)知識(shí)及數(shù)學(xué)對(duì)象的客觀性作為數(shù)學(xué)的特,,性，所以任何一個(gè)數(shù)學(xué)哲學(xué)都必須對(duì)此作出解釋。,我們已經(jīng)明確，客觀性應(yīng)理解為在于公眾，在于主體之,,間的約定，即客觀性是社會(huì)的。因此數(shù)學(xué)的客觀性即是說數(shù),,學(xué)知識(shí)和對(duì)象是自主存在的，對(duì)于這個(gè)存在，主體間是有約,,定的，而與任何個(gè)體的主觀知識(shí)無關(guān)。,為數(shù)學(xué)客觀性提供基礎(chǔ)的基質(zhì)是語言。,,B,,數(shù)學(xué)對(duì)象,,數(shù)學(xué)知識(shí)的客觀性是社會(huì)性的，它建立在人們對(duì)語言規(guī)則,,的接受上，而語言規(guī)則是人們交流所必須的。,社會(huì)性接受也是數(shù)學(xué)對(duì)象獨(dú)立存在的基礎(chǔ)。數(shù)學(xué)概念和數(shù),,學(xué)對(duì)象具有客觀實(shí)在性?？陀^的數(shù)學(xué)定義和真理明確決定數(shù)學(xué),,對(duì)象的規(guī)則和性質(zhì)。,這就使它們具有同其他社會(huì)概念一樣多的客觀存在意義。,,正如普通語言術(shù)語具有社會(huì)存在意義一樣，數(shù)學(xué)對(duì)象通過數(shù)學(xué),,知識(shí)的客觀性而獲得了穩(wěn)定性（即定義的穩(wěn)定性），接著又使,,自己得到了永久性和客觀存在性。,數(shù)學(xué)對(duì)象的客觀性是不可避免地伴隨著對(duì)某些論題形式的,,承認(rèn)而來的本體論的承諾。,,,數(shù)學(xué)對(duì)象也有不同，從描述感知世界的自然語言中相,,對(duì)具體的事物，到抽象的數(shù)學(xué)理論實(shí)體，許多東西離其基,,礎(chǔ)都相當(dāng)遠(yuǎn)了。,,許多初等數(shù)學(xué)術(shù)語和概念都是在現(xiàn)實(shí)世界中有實(shí)例和,,具體的應(yīng)用，因?yàn)樗鼈兪怯靡悦枋鲎匀唬ㄉ鐣?huì)）世界的語,,言的一部分。,用說明數(shù)學(xué)知識(shí)是客觀知識(shí)的同樣方式可以說明數(shù)學(xué),,對(duì)象是客觀的，它們是普通的語言對(duì)象，其中有些是具體,,的，但多數(shù)是抽象的。,,,C,,數(shù)學(xué)知識(shí)的發(fā)生,,承認(rèn)數(shù)學(xué)是社會(huì)建構(gòu)的，就是承認(rèn)客觀數(shù)學(xué)知識(shí)是人類,,的產(chǎn)物。,個(gè)體的數(shù)學(xué)思想是主觀思想，書寫是典型的表現(xiàn)形式。,,經(jīng)過公開的批判審視，一經(jīng)公布的主觀思想變成了客觀思想，,,其關(guān)鍵在于社會(huì)的接受。,數(shù)學(xué)知識(shí)發(fā)生的決定性特征是從公開表示的（主觀）,,數(shù)學(xué)知識(shí)向客觀知識(shí)的轉(zhuǎn)換，即變成社會(huì)接受的數(shù)學(xué)知識(shí)。,,這一轉(zhuǎn)換取決于能否經(jīng)受公開審視和批判的過程。,,D,,數(shù)學(xué)創(chuàng)造的多樣性,,某些知識(shí)的增加形成了內(nèi)容上的增加，而另外一些知,,識(shí)卻是現(xiàn)有知識(shí)的再構(gòu)造或再闡述。,數(shù)學(xué)家是在已經(jīng)建立的數(shù)學(xué)理論下從事工作，許多工,,作是在理論的現(xiàn)有方面發(fā)展新結(jié)果，或把理論中的現(xiàn)有方,,法用于一些問題。,如果這些工作富有成果，那么就會(huì)使數(shù)學(xué)知識(shí)在整體,,上有所增加。,,數(shù)學(xué)家還把一個(gè)理論中的概念和方法用于另一個(gè)理論，,,或設(shè)法使以前分隔開存在的理論有所聯(lián)系。,這些工作使分隔的數(shù)學(xué)間形成了新的結(jié)構(gòu)聯(lián)系，這就,,形成了新的數(shù)學(xué)再構(gòu)造。如果在新的聯(lián)系作用下，兩個(gè)理,,論被重新構(gòu)造、重獲闡述并緊密地結(jié)合起來，那么這個(gè)工作,,就值得考慮了。,最后在某些往往是為了解決某個(gè)問題的理論研究中，,,會(huì)產(chǎn)生新的數(shù)學(xué)理論，這些可能是額外的新理論，也可能,,把先前的理論納入更大的、更一般的（普遍）的理論中去，,,像這樣逐步走向更抽象和更一般化，是數(shù)學(xué)知識(shí)再建構(gòu)的,,主要因素。因?yàn)樵揭话慊睦碚撈溥\(yùn)用范圍越廣，一些專,,門的前期理論可以歸入更一般的結(jié)構(gòu)中去（如集合論）。,,E,,數(shù)學(xué)的可應(yīng)用性,社會(huì)建構(gòu)主義要成為恰當(dāng)?shù)睦碚?，就必須解釋“?shù)學(xué)在,,科學(xué)中不可思議的有效性”（,Wigner,,1960）。,社會(huì)建構(gòu)主義可以從以下兩個(gè)方面解釋數(shù)學(xué)的（實(shí)際）,,可應(yīng)用性：,（1）數(shù)學(xué)建立在我們經(jīng)驗(yàn)的自然語言基礎(chǔ)上；,（2）擬經(jīng)驗(yàn)主義的數(shù)學(xué)觀說明了數(shù)學(xué)與經(jīng)驗(yàn)科學(xué)無論如何,,沒什么多大差別。,,,,人們?nèi)绾潍@取主觀知識(shí)包括語言知識(shí)？,兩大要點(diǎn)：,,第一，在經(jīng)驗(yàn)以往知識(shí)的基礎(chǔ)上，存在著知識(shí)的主,,動(dòng)建構(gòu)，典型的有概念和假設(shè)，它們?yōu)槔斫獯蛳禄A(chǔ)，,,并指導(dǎo)未來的行為。,第二，在實(shí)際行動(dòng)和講話模式中，人的經(jīng)驗(yàn)以及物,,質(zhì)世界的相互作用發(fā)揮了必不缺少的作用。,3.主觀知識(shí)的獲取,,主要結(jié)論：,（1）主觀知識(shí)不是被動(dòng)接受的，而是由認(rèn)知主體主動(dòng),,建構(gòu)的。認(rèn)知的功能是適應(yīng)并應(yīng)用于個(gè)人經(jīng)驗(yàn)世界的組構(gòu)；,,（,Glasersfeld,,1989）,（2）,這個(gè)過程解釋了世界和語言（包括數(shù)學(xué)）的主觀,,知識(shí)。,（3）物質(zhì)和社會(huì)的客觀制約對(duì)主觀知識(shí)具有塑造作用，,,這種作用使得主觀知識(shí)與客觀知識(shí)之間相一致；,（4）意義只能由個(gè)體賦予，而不是由任何符號(hào)體系固有的。,,4.數(shù)學(xué)知識(shí)的建構(gòu),語言知識(shí)為客觀數(shù)學(xué)知識(shí)提供了基礎(chǔ)（發(fā)生的和判定,,的）。獲取數(shù)學(xué)知識(shí)要從獲得語言知識(shí)開始。,從基本數(shù)學(xué)術(shù)語的自然語言記載、這些術(shù)語的日常使,,用知識(shí)以及術(shù)語間的聯(lián)系知識(shí)，并從提供邏輯和邏輯真理,,基礎(chǔ)的規(guī)則和約定中，我們看到自然語言包含數(shù)學(xué)之基礎(chǔ)。,因?yàn)閿?shù)學(xué)的發(fā)生的判定基礎(chǔ)都是通過語言獲得的，因,,為數(shù)學(xué)概念和命題發(fā)生的基礎(chǔ)都是通過語言獲得的，因?yàn)?,數(shù)學(xué)概念和命題發(fā)生的基礎(chǔ)以及命題型數(shù)學(xué)知識(shí)的判定基,,礎(chǔ)都是建立在語言知識(shí)上。另外，主觀數(shù)學(xué)知識(shí)的結(jié)構(gòu)，,,特別是它的概念結(jié)構(gòu)亦是通過語言獲得而建立的。,,數(shù)學(xué)知識(shí)的特點(diǎn)之一是它具有等級(jí)性和層次性，在術(shù),,語和概念中尤其如此，這就是數(shù)學(xué)知識(shí)的邏輯性質(zhì)，它既,,顯現(xiàn)在公開展現(xiàn)的客觀數(shù)學(xué)知識(shí)中，又顯現(xiàn)在主觀數(shù)學(xué)知,,識(shí)中。,,客觀數(shù)學(xué)知識(shí)的層次性：無論科學(xué)還是數(shù)學(xué)中的概念,,和術(shù)語，在任何理論中都可以分為加以定義的和當(dāng)作初始,,的、不加定義的兩部分。,加以定義的術(shù)語是其他術(shù)語來定義的，經(jīng)過有限次定,,義環(huán)節(jié)后，從一連串定義最終可以尋蹤到初始的術(shù)語，不,,然定義就會(huì)基于或造成無限回歸狀態(tài)。,,根據(jù)術(shù)語分為初始的和加以定義的兩類，我們可作出,,一個(gè)簡(jiǎn)單的歸納法定義，來規(guī)定層次結(jié)構(gòu)中每個(gè)術(shù)語的水,,平。,在主觀知識(shí)領(lǐng)域，至少從理論上我們能夠把概念類似,,地分為初始的觀察得到的概念和用其他概念的抽象概念。,,這樣或以賦予主觀數(shù)學(xué)理論的術(shù)語和概念以層次結(jié)構(gòu)。較,,高層次的術(shù)語是用較低層次的術(shù)語定義的。,個(gè)人數(shù)學(xué)上的主觀概念知識(shí)是按層次排序的。主觀知,,識(shí)的縱向過程包括概括、抽象、具體化以及概念的形成。,,主觀數(shù)學(xué)知識(shí)的逐漸增加的復(fù)雜性可歸因于對(duì)概念,,和性質(zhì)作詳盡解釋和澄清的橫向過程。這兩種過程的方,,向與歸納、演繹過程所涉及的方向分別類似,。,,主觀數(shù)學(xué)知識(shí)的概念和命題的發(fā)生有如下四個(gè)結(jié)論：,,（1）數(shù)學(xué)概念和命題來源并植根于自然語言的概念,,和命題中，它伴隨語言能力而被人獲取（被構(gòu)造）。,,（2）它們可分為初始的和導(dǎo)出的概念和命題。概念可,,分為基于觀察、直接感知經(jīng)驗(yàn)的概念和用其他術(shù)語和概念,,語言定義的或從中抽象出來的概念。同樣，命題也包括由,,語言獲得的命題和從原有數(shù)學(xué)命題中推導(dǎo)出來的命題。,（3）概念的區(qū)分以及這些概念定義的排序?qū)е滦纬闪?,概念的主觀（或個(gè)人的）層次結(jié)構(gòu)（命題按其構(gòu)成的概念,,與該層次結(jié)構(gòu)發(fā)生聯(lián)系）。,（4）主觀數(shù)學(xué)概念和命題的發(fā)生利用導(dǎo)出概念和命題,,的縱向和橫向過程。這些過程采取歸納和演繹推理的形式。,,5.主觀知識(shí)與客觀知識(shí)間的關(guān)系,,數(shù)學(xué)客觀知識(shí)和主觀知識(shí)的關(guān)系是社會(huì)建構(gòu)主義數(shù)學(xué)哲,,學(xué)的核心。,根據(jù)這一哲學(xué)認(rèn)識(shí)，兩種知識(shí)相互依存并有助于彼此再,,創(chuàng)造。首先，在教師和他人的相互作用下，并通過解釋課文,,及其他無生命的資料，個(gè)人把客觀數(shù)學(xué)知識(shí)再建構(gòu)為主觀知,,識(shí)。正如強(qiáng)調(diào)的那樣，與他人的相互作用（特別是通過負(fù)面,,反饋）提供了促進(jìn)個(gè)人主觀數(shù)學(xué)知識(shí)與社會(huì)接受的客觀數(shù)學(xué),,相適應(yīng)的方式?！霸俳?gòu)”這一用于對(duì)數(shù)學(xué)知識(shí)的主觀表現(xiàn)的,,術(shù)語，決不能認(rèn)為它意味著這一主觀表現(xiàn)能與客觀數(shù)學(xué)知識(shí),,相匹配。再建構(gòu)更應(yīng)看成是主觀知識(shí)或多或少地適合于社會(huì),,接受的數(shù)學(xué)知識(shí)（以一種或多種表示形式）。,,其次，主觀數(shù)學(xué)知識(shí)以兩種途徑對(duì)客觀知識(shí)產(chǎn)生影響。,,其中一個(gè)途徑是個(gè)人的數(shù)學(xué)創(chuàng)造經(jīng)過評(píng)判而成為客觀數(shù)學(xué)知,,識(shí)的一部分。這一途徑代表著新的創(chuàng)造（包括原有數(shù)學(xué)的再,,建構(gòu)）加入客觀數(shù)學(xué)知識(shí)體中的途徑。它還表示現(xiàn)有數(shù)學(xué)理,,論的再形成、相互聯(lián)系或得到統(tǒng)一的方法。因此它不僅包括,,處于數(shù)學(xué)知識(shí)邊緣的創(chuàng)造，而且還包括貫穿于整個(gè)數(shù)學(xué)知識(shí),,體的創(chuàng)造。這是主觀數(shù)學(xué)知識(shí)明顯有助于客觀數(shù)學(xué)知識(shí)創(chuàng)造,,的方式。,然而主觀數(shù)學(xué)知識(shí)對(duì)客觀知識(shí)的貢獻(xiàn)還有一個(gè)影響更深遠(yuǎn)但卻是隱含的方式。,,,社會(huì)建構(gòu)主義認(rèn)為，客觀數(shù)學(xué)知識(shí)是社會(huì)的，不包括在,,課本或其他記載材料中，也不包括在某種理念領(lǐng)域中。,客觀數(shù)學(xué)知識(shí)存在于社會(huì)個(gè)體成員共有的規(guī)則、約定、,,理解和取義中，同時(shí)亦存在于它們（必然還有其社會(huì)途徑）,,的相互作用中。,因此，隨著主觀知識(shí)的增長(zhǎng)，客觀數(shù)學(xué)知識(shí)在無數(shù)個(gè)人,,頭腦中不斷得到再創(chuàng)造和再更新。這就奠定了客觀知識(shí)的基,,礎(chǔ)，國為正是通過主觀表現(xiàn)，社會(huì)、語言規(guī)則和約定以及人,,類相互作用才得以維持。,,反之，這些彼此遵守的規(guī)則使某些已形成的數(shù)學(xué)合理,,地成為人們可接受的客觀數(shù)學(xué)知識(shí)。因此，客觀數(shù)學(xué)知識(shí),,通過社會(huì)群體自身的延續(xù)和繁衍面保留下來，客觀數(shù)學(xué)知,,識(shí)通過主觀數(shù)學(xué)知識(shí)（包括關(guān)于出版的數(shù)學(xué)文本中符號(hào)意,,義的知識(shí)）的傳遞而代代相傳。,客觀數(shù)學(xué)知識(shí)的生存依賴于社會(huì)成員的主觀知識(shí)。,主觀知識(shí)的總和并不等于客觀知識(shí)。主觀知識(shí)本質(zhì)上是,,個(gè)人所有的，而客觀知識(shí)是公開的和社會(huì)的，所以雖然數(shù)學(xué),,客觀知識(shí)建立在對(duì)其不斷地進(jìn)行再創(chuàng)造的主觀知識(shí)基礎(chǔ)上，,,但它不能歸約為主觀知識(shí)。,,,數(shù)學(xué)客觀知識(shí)存在并貫穿于人類的活動(dòng)、相互作用和,,規(guī)則的社會(huì)世界中；客觀知識(shí)由個(gè)人的主觀數(shù)學(xué)（以及語,,言和社會(huì)生活）知識(shí)來維系，這些知識(shí)需要不斷的再創(chuàng)造。,,主觀數(shù)學(xué)知識(shí)再創(chuàng)造客觀知識(shí)而后者不能歸約為前者。,通過社會(huì)作用和社會(huì)承認(rèn)的媒介，主觀知識(shí)導(dǎo)致數(shù)學(xué),,知識(shí)的發(fā)生，同時(shí)它還維持并再創(chuàng)造建立在個(gè)人主觀知識(shí)基,,礎(chǔ)上的客觀知識(shí)?？陀^知識(shí)所體現(xiàn)的，正是主觀知識(shí)生成和,,再創(chuàng)造得到允許的那些東西。于是得到一個(gè)循環(huán)關(guān)系：主觀,,知識(shí)創(chuàng)造客觀知識(shí)，反過來客觀知識(shí)又導(dǎo)致主觀知識(shí)的產(chǎn)生。,,,對(duì)社會(huì)建構(gòu)主義的批評(píng)：,（1）數(shù)學(xué)是隨意和相對(duì)的。,（數(shù)學(xué)的隨意性來自數(shù)學(xué)知識(shí)建立在語言約定和規(guī)則之上,,這一事實(shí)?？陀^知識(shí)是特定人群在特定時(shí)期的知識(shí)。）,（2）社會(huì)建構(gòu)主義的社會(huì)群體不明。,,