【提要】弗雷格在《算術(shù)基礎(chǔ)》中闡述了三條基本原理，這三條原理一方面說明他為什么要構(gòu)造他的人工語言系統(tǒng)，另一方面說明算術(shù)何以能夠建立在邏輯的基礎(chǔ)之上，這是從哲學(xué)的高度出發(fā)論證他的邏輯和數(shù)學(xué)思想的基礎(chǔ)。

　　弗雷格（Gottlob Friedrich Ludwig Frege，1848－1925）于1897年發(fā)表《概念文字：一種模仿算術(shù)語言構(gòu)造的純思維的形式語言》（Begriffsschrift，eine der arithmetischen nachgebildete Formelsprache des reinen Denkens）。這本薄薄的書可謂現(xiàn)代邏輯的開山之作。它奠定了數(shù)理邏輯中的命題邏輯和一階謂詞邏輯的基礎(chǔ)。然而，對于這本邏輯史上劃時代的專著，在當(dāng)時卻少有人問津。弗雷格反思其原因，認(rèn)為除人們對那陌生的符號系統(tǒng)望而生畏外，還不理解他為什么要構(gòu)造這一系統(tǒng)的理由。他在1884年發(fā)表了專著《算術(shù)基礎(chǔ)》（Grundlagen der Arithmetik）。在這本書中，他沒有使用數(shù)理邏輯的符號，而是哲學(xué)理論上論證他所構(gòu)造的人工語言系統(tǒng)的基本原理，指出嚴(yán)格區(qū)分心理的東西和邏輯的東西、主觀的東西和客觀的東西的必要性；
強(qiáng)調(diào)決不要忘記概念和客體之間的區(qū)別；
對當(dāng)時所流行的邏輯學(xué)和數(shù)學(xué)中的心理主義展開批判。他認(rèn)為邏輯是數(shù)學(xué)的基礎(chǔ)，數(shù)的概念可以被定義為邏輯的類的概念，而類則被看成概念的外延�？梢哉f，《算術(shù)基礎(chǔ)》一書是弗雷格在哲學(xué)的方面為他的數(shù)學(xué)基礎(chǔ)研究中的邏輯主義的方案奠定基礎(chǔ)。

　　弗雷格在《算術(shù)基礎(chǔ)》中所提出的原理一共只有三條，下面我們就結(jié)合考察這三條原理來評述弗雷格的邏輯和數(shù)學(xué)思想的哲學(xué)基礎(chǔ)。

　　一、邏輯規(guī)律的客觀性

　　在弗雷格所處的時代，邏輯研究中的心理主義占支配地位。按照這種心理主義的觀點(diǎn)，邏輯推理是一種思維的活動，思維的活動是一種心理的活動，所以邏輯的規(guī)律可以還原為心理的規(guī)律，邏輯的真理是一種主觀的真理。弗雷格認(rèn)為，這種心理的觀點(diǎn)就如壓在邏輯和數(shù)學(xué)成長之樹上的巨石一樣，為使邏輯和數(shù)學(xué)研究得以順利展開，必須搬開這塊巨石。為此，他在《算術(shù)哲學(xué)》導(dǎo)言中所列出的第一條原理就是：

　　“嚴(yán)格區(qū)分心理的東西和邏輯的東西、主觀的東西和客觀的東西�！盵1]

　　弗雷格認(rèn)為，這種心理主義的觀點(diǎn)混淆了邏輯本身和從事邏輯推理的心理活動。一個人在從事邏輯推理的時候，確實(shí)發(fā)生心理的活動。這種心理的活動是主觀的活動，是因人而異的。一個人的心理推論活動可能正確，也可能錯誤，但是邏輯規(guī)律本身則是不變的，邏輯的定理是永真的。有人可能把2＋2計算為5，但是2＋2＝4的真理性不以人的計算的心理活動為轉(zhuǎn)移。

　　我們?nèi)绾蔚贸瞿骋粋�結(jié)論涉及一個心理活動的過程，但是我們憑什么論證這一結(jié)論的正確性卻不能靠主觀的經(jīng)驗(yàn)和心理的規(guī)律。某一理論體系的創(chuàng)立是研究者的創(chuàng)造性的思維活動的結(jié)果，這里涉及研究者的想象力等心理特性，但是對于這一理論體系的論證要依靠邏輯，邏輯并不是依研究者的心理特征為轉(zhuǎn)移的。所以弗雷格強(qiáng)調(diào)：

　　“因此，擺在我們面前的一個普遍問題是分清我們?nèi)绾潍@得一個判斷的內(nèi)容和我們憑什么論證我們的斷言”。[2]

　　弗雷格終其一生都在與心理主義作斗爭。在其晚年的“思想”一文中，再次強(qiáng)調(diào)要抵制心理主義的誘惑，要分清把某物看作真的心理過程和對把某物看作真這一過程的證明。他寫道：“根據(jù)心理學(xué)定律，把假看作真和把真看作真這兩種情況都會出現(xiàn)。從這些情況進(jìn)行的推導(dǎo)和對把某物看作真所經(jīng)歷的心理過程的說明，絕不能代替對把某物看作真所相關(guān)的證明”。[3]

　　弗雷格在《算術(shù)基礎(chǔ)》中，主要考慮的數(shù)的客觀性的問題。他認(rèn)為，數(shù)像外部世界中的對象一樣是客觀的東西，數(shù)的存在不依賴于人的主觀意識是否想到它們，正如外部世界中的對象的存在不依賴于人是否感知到它們一樣。數(shù)不是像人的情感一樣的心理的東西，數(shù)不是當(dāng)人思考數(shù)的心理活動發(fā)生的時候就發(fā)生，停止的時候就停止的心理活動的伴隨現(xiàn)象，而是客觀存在的對象。他認(rèn)為：

　　“數(shù)不是心理學(xué)的對象或心理過程的結(jié)果，正如北海不是這樣的對象或結(jié)果一樣�！盵4]

　　當(dāng)人們說“北海的面積約一萬平方?jīng)伞睍r，所斷言的是一個客觀的事實(shí)。北海的大小不依賴于人們的主觀印象，不會因?yàn)槟承┤烁杏X到它大些而大些，或感覺到它小些而小些。同樣，這個判斷的真值取決于它是否符合北海面積的客觀事實(shí)。如果它不符合，那么它就是假的；
反之，則真的。如果把數(shù)僅僅當(dāng)作主觀的表象的話，那么當(dāng)人的意識中浮現(xiàn)出數(shù)的表象的時候，數(shù)就存在；
不浮現(xiàn)出數(shù)的表象的時候，數(shù)就不存在。然而，北海面積約一萬平方?jīng)蛇@個事實(shí)則不依賴于人有關(guān)它的思想活動的產(chǎn)生而產(chǎn)生，停止而停止。即使從來沒有想到過北海，北海面積的數(shù)量關(guān)系依然是客觀的存在。這種數(shù)量關(guān)系不是人的主觀想象的產(chǎn)物，正如北海本身不是人的主觀想象的產(chǎn)物一樣。人不是發(fā)明數(shù)量關(guān)系，而是發(fā)現(xiàn)數(shù)量關(guān)系。

　　弗雷格還認(rèn)為，把數(shù)理解為人的主觀的表象會導(dǎo)致荒謬的結(jié)論。因?yàn)槿说谋硐笫歉鞑幌嗤�的。即使兩個人看同一樣?xùn)|西，鑒于他們的視力的不同，所處的位置的不同，心理狀況的不同，會產(chǎn)生不同的視覺表象。如果說數(shù)是人的表象的話，那些對于甲來說某物的面積就可以不同于對于乙來說某物的面積。對于甲來說2＋2＝4，對于乙來說就可以2＋2＝5。這當(dāng)然是荒唐的。再之，不同人之間的表象不可相互直接比較。我不知道你的表象，你不知道我的表象。你的表象不可以移植到我的頭腦中來。在我的頭腦中的關(guān)于你的表象，實(shí)際上不是你的表象，而是我表象。然而，數(shù)量關(guān)系是可以相互比較的。數(shù)學(xué)的真理具有普遍的有效性。盡管不同的人對某一數(shù)量關(guān)系的主觀表象可能不同，但他們都必須承認(rèn)這一數(shù)量關(guān)系的客觀的真理性。

　　弗雷格意識到，數(shù)的存在與物的存在具有不同的特點(diǎn)。物是在時間和空間中存在的東西，而數(shù)不是在時間和空間中的存在的東西。我們可以說某宮殿造于某時某地，毀于某時某地；
但不可以說，某數(shù)產(chǎn)生于某時某地，消失于某時某地。然而，物和數(shù)又都是客觀存在的東西。有鑒于此，弗雷格把物稱為“客觀實(shí)在的東西”（das objektiv Wirkliche），把數(shù)稱為“客觀非實(shí)在的東西”（das objektiv Nichtwirkliche）。在此，實(shí)在的東西就是指在時空中存在的東西；
非實(shí)在的東西就是指不是在時空中存在的東西。

　　弗雷格和胡塞爾都是十九世紀(jì)末和二十世紀(jì)初奮起反對邏輯研究中的心理主義觀點(diǎn)的代表人物。有鑒于弗雷格的《算術(shù)基礎(chǔ)》發(fā)表于1884年，早于胡塞爾的《邏輯研究》第一卷（1900年）。而且，在此之前，胡塞爾持心理主義的觀點(diǎn)，在弗雷格的影響之下他轉(zhuǎn)而反對心理主義。所以，弗雷格在反心理主義方面的貢獻(xiàn)具有特別重大的哲學(xué)意義。

　　二、語言運(yùn)用的基本單位是句子

　　在以往的語言理論中，人們習(xí)慣于把詞當(dāng)作語言運(yùn)用的基本單位。弗雷格發(fā)現(xiàn)，詞的意義離不開它們在句子中的功用。脫離了詞在句子中的前后關(guān)系，就不可能把握詞的意義。因此他主張，語言運(yùn)用的基本單位不是詞而是句子。

　　弗雷格認(rèn)為這一關(guān)于詞的意義的語境觀點(diǎn)很重要，在他的《算術(shù)哲學(xué)》中，這被確立為他的邏輯和數(shù)學(xué)思想的第二條原理：

　　“必須在句子的關(guān)聯(lián)中尋問詞的意義，而不是孤立地尋問詞的意義�！盵5]

　　弗雷格論證，單獨(dú)的一個詞無法確定其意義。就拿語言中最常用的一個詞“是”來說，它在不同的語句的關(guān)聯(lián)中具有不同的意義。在“晨星是行星”中，“是”表示一種歸屬關(guān)系，即晨星歸屬于行星。在“晨星是金星”中，“是”表示某種同一的關(guān)系，即晨星和金星指稱同一個對象。因此，只有在一個特定的句子中，我們根據(jù)“是”這個系動詞所處的上下關(guān)系，才能確定它究竟表示歸屬關(guān)系，還是表示某種同一關(guān)系。

　　弗雷格主張詞的意義的語境原則還與他反對心理主義的立場有關(guān)。按照當(dāng)時流行的“意義的指稱理論”，一個詞的意義在于它所指稱的對象。心理主義者設(shè)想，既然表達(dá)邏輯和數(shù)學(xué)概念的那些詞在外部世界中不存在所指稱的對象，那些它們就指稱內(nèi)在于意識中的東西，即心理的表象。弗雷格認(rèn)為，我們并沒有數(shù)的心理的表象。對于“一千”和“一百萬”這兩個數(shù)，我并沒有一個較小的“一千”的表象和一個較大的“一百萬”的表象。我們是根據(jù)數(shù)學(xué)的規(guī)律知道一百萬是一千的一千倍。同樣，對于數(shù)學(xué)和邏輯中的運(yùn)算符號的意義，如“加”、“減”、“乘”、“除”、“等于”、“同一”、“歸屬”等，我們并不是根據(jù)其相對的心理的表象來知道它們的意義的，而是根據(jù)定義和它們在句子中的用法來知道它們的意義的。

　　既然“數(shù)”等“客觀的非實(shí)在的東西”沒有心理的表象，那么它們的意義何在呢？弗雷格決不想否定它們的意義，而且弗雷格也不想完全否定意義的指稱理論。弗雷格認(rèn)為，問題是出在孤立地考察詞的意義。如果我們在一個完整的句子中來考察詞的意義，情況就會完全不同。

　　弗雷格這里所考慮的句子，是指判斷句，即邏輯中所說的命題。他認(rèn)為，在此可以區(qū)分二類命題，一類是分析命題，另一類是綜合命題。分析命題是根據(jù)邏輯的規(guī)律和定義就能知道其真假的命題。綜合命題則要根據(jù)與事實(shí)的對照才能知道其真假。在對分析命題的論證中，我們不需要求助于事實(shí)，只要看它是否符合邏輯規(guī)律和定義就夠了。在對綜合命題的論證中，單靠規(guī)律和定義還不夠，還需要求助于事實(shí)。這里所說的規(guī)律是指本身既不需要也不允許證明的規(guī)律，即自明的規(guī)律。

　　因此，對于分析命題中所涉及的詞的意義，我們是根據(jù)規(guī)律和定義來理解的。由于定義和規(guī)律必然要用句子來表達(dá)，所以只有在句子中才能弄清楚分析命題所涉及的概念的意義。在此我們不應(yīng)孤立地追問它們所指的對象，而是要通過分析在它所在句子中的用法來了解它們的規(guī)律和定義。在這里，不需要也不應(yīng)該依靠意義的指稱理論。換句話說，意義的指稱理論不適用于分析命題。

　　對于綜合命題來說，弗雷格認(rèn)為意義的指稱理論還是有用武之地的。雖然孤立地尋問詞所指稱的對象，我們往往找不到許多抽象的詞所指稱的對象，但是綜合命題必定與經(jīng)驗(yàn)事實(shí)相關(guān)聯(lián)。由于綜合命題涉及事實(shí)，所以綜合命題是通過與事實(shí)的對照來確定其真假的。因此，綜合命題的意義在于它的真值條件。由于單個的詞不能確定其真值條件，只有句子才能確定其真值條件，所以句子才是意義的基本單位。一旦句子的意義得到確立，我們就有可能通過詞在句子中的用法，來理解詞的意義。

　　總而言之，弗雷格看到了意義的指稱理論的局限性，從而主張用意義的語境原則來取代意義的指稱理論。意義的指稱理論或許適用于表達(dá)外在世界中的對象的專名，但不適用于抽象的詞，特別是那些表達(dá)數(shù)和邏輯的概念的詞。如果強(qiáng)求在詞的意義問題上貫徹這種指稱理論，就會陷入心理主義的泥潭，就會誘使我們把內(nèi)在的心理表象當(dāng)作那些詞所指稱的東西。然而事實(shí)上，并不存在那樣的心理的表象。所以弗雷格在區(qū)分分析命題和綜合的基礎(chǔ)上，把意義的指稱修正為意義的語境原則。弗雷格的意義的語境原則并不完全排斥意義的指稱理論，而是把它擴(kuò)展為句子的意義取決于它的真值條件的理論。分析命題的真值條件是其相關(guān)的邏輯規(guī)則和定義。綜合命題的真值條件是其相關(guān)的經(jīng)驗(yàn)事實(shí)。所以句子才是意義的基本單位，詞的意義要在句子的關(guān)聯(lián)中去理解。

　　弗雷格的這一思想直接影響到維特根斯坦和羅素的關(guān)于基本命題（原子命題）是語言的基本單位的思想，以及命題與事實(shí)的關(guān)系的思想，并影響到維也納學(xué)派的意義理論和證實(shí)標(biāo)準(zhǔn)。

　　三、區(qū)分概念和對象以及概念的等級

　　弗雷格在《算術(shù)基礎(chǔ)》中列出的第三條原理（總共三條原理中的最后一條原理）是區(qū)分概念和對象：

　　“要時刻看到概念和對象的區(qū)別�！盵6]

　　弗雷格所說的概念和對象有著專門的含義，是他通過把數(shù)學(xué)中的函數(shù)和自變元與我們的語言中的判斷句的構(gòu)成成分進(jìn)行有效的類比后引入的術(shù)語。讓我們來看以下一組數(shù)學(xué)中的表達(dá)式：

　　12、22、32、42、52 ……

　　這組表達(dá)式可以分為二個部分：（1）函數(shù)表達(dá)式：( )2；
（2）自變元表達(dá)式：1、2、3、4、5等。

　　一個函數(shù)表達(dá)式的最主要的標(biāo)志是它的不完全性或可填補(bǔ)性，這一特征由括號表示出來。只有當(dāng)一個函項(xiàng)表達(dá)式與一個自變元相結(jié)合時，即由一個自變元填補(bǔ)函數(shù)的括號時，它們才共同構(gòu)成一個完整的表達(dá)式。(點(diǎn)擊此處閱讀下一頁)

　　弗雷格把函數(shù)刻畫為“不飽和的”（unges?ttigt），把自變元刻畫為“飽和的”（ges?ttigt）。

　　弗雷格認(rèn)為，一個語句也可以折分為類似于函數(shù)和自變元的二個成分。在句子“蘇格拉底是哲學(xué)家”中，我們可以折分為“（ ）是哲學(xué)家”和“蘇格拉底”兩個部分。前者是函項(xiàng)，后者是自變元。蘇格拉底可由柏拉圖、亞里士多德代替，去充實(shí)“（ ）是哲學(xué)家”這一函項(xiàng)。

　　正是從這一思路出發(fā)，弗雷格區(qū)分概念和對象。概念詞是在句子中起著函項(xiàng)功能的詞，對象詞是在句子中起著自變元功能的詞。以上例子中的“（ ）是哲學(xué)家”為概念詞，“蘇格拉底”等為對象詞。概念詞表達(dá)概念，對象詞表達(dá)對象。正如數(shù)學(xué)中的函數(shù)的自變元有一個取值范圍一樣，句子中與概念詞相對應(yīng)的對象詞也有一個取值范圍。在數(shù)學(xué)表達(dá)式( )2中，填入某一個數(shù)字，例如2，這個表達(dá)式是一個有意義的表達(dá)式，但是如果填入的不是數(shù)字，如填入“＝”，則成為沒有意義的表達(dá)式。同樣，在句子中，相對于概念詞“（ ）是哲學(xué)家”，填入某一個人，例如蘇格拉底，構(gòu)成一個有意義的句子，但如填入“紅”、“3”等不屬于它的取值范圍的詞，則成為無意義的句子。

　　一個函數(shù)方程式的真假取決于所填入的自變元的數(shù)值，如對于“( )2＝4”來說，填入“2”或“－2”該方程式為真，否則為假。一個命題函項(xiàng)也是這樣。例如，對于“（ ）殺了凱撒”來說，填入“布魯修斯”為真，否則為假。

　　對象詞與概念詞的關(guān)系是相對的。什么詞是對象詞，完全取決于與之相對應(yīng)的概念詞。離開了概念詞，我們不知道對象詞的取值范圍。只有當(dāng)概念詞和對象詞組成有意義的結(jié)合，即把適當(dāng)?shù)膶ο笤~填入不飽和的概念詞之中，構(gòu)成充實(shí)的句子之后，我們才能判斷其真假。

　　弗雷格不僅注意到，概念與對象之間關(guān)系是相對的，而且注意到概念本身也可區(qū)分不同的等級。這種概念與對象之間的區(qū)分、概念等級的區(qū)分必須相對于語言的應(yīng)用而確定，即必須遵循語境的原則。

　　同樣的一個詞，在不同的語句中，可以被視為對象詞，也可以被視為概念詞，甚至是第二級的概念詞。舉例來說，在語句“3是一個數(shù)”中，“3”是一個對象詞。然而，在語句“這里有3匹馬中”，“3”就不是一個對象詞，而是一個概念詞，并且是一個第二級的概念詞。

　　弗雷格是如何區(qū)分概念的等級的呢？讓我們說明他的思路。句子“這里有3匹白馬”表達(dá)這里存在3個個體，它們是馬，并且它們是白色的。我們當(dāng)然也可以分別用一個不帶馬字的專名來代替它們。我們可以用“馬甲”、“馬乙”、“馬丙”來表示它們。為表述方便，我們權(quán)且把“馬甲”、“馬乙”、“馬丙”當(dāng)作專名，分別指稱個體的馬。在這里，馬甲、馬乙、馬丙是對象，而馬是概念。弗雷格發(fā)現(xiàn)，句子“馬甲是馬”是有意義的，句子“馬甲是白色的”以及“馬甲是白馬”也是有意義的，但是說“馬甲是3”則無意義。在以上句子中，用“馬乙”或“馬丙”代替“馬甲”情況也是一樣。弗雷格追問為什么會造成前一種表達(dá)式有意義，而后一種表達(dá)式無意義的原因。答案是馬甲、馬乙、馬丙具有馬的屬性和白的屬性，而不具有“3”的屬性。3不可能是任何個體的對象的屬性。那么“3”在此的含義是什么呢？“3”在此不是用來表達(dá)馬的屬性，而是針對馬的群（馬的個體的組合）而說的，即這群馬有三匹，或這個組合有三個個體。因此在句子“這里有3匹白馬”中包含二個等級的概念詞；
第一等級的概念詞是“馬”，“白”或“白馬”，第二等級的概念詞是3。“馬甲”、“馬乙”“馬丙”是“馬”、“白”或“白馬”的對象詞，3的對象詞則是這個白馬的群，表達(dá)這個群（這個組合）有3個個體，是一個3元組合。

　　從表面上看，在“3匹白馬”這一表達(dá)中，3和白雖然都作為形容詞用，但有著以下重大差別。白刻劃屬性，而3表達(dá)存在的個體的數(shù)量。因此“3匹白馬”包含著“這些馬是白的”和“這群馬有3匹”這二層意思。系動詞“是”用來刻畫馬的屬性，“有”則表達(dá)存在。當(dāng)我們指出某物的屬性的時候，并不意謂著斷定某物的存在。但是當(dāng)我們使用量詞的時候，常包含斷定存在的意思。量詞的概念往往與存在的概念聯(lián)系在一起。弗雷格的分析表明，作為形容詞使用的量詞是一個第二級的概念詞，存在也是一個第二級的概念。量詞在此用來表達(dá)某一類東西的個體的數(shù)量，“存在”則指出這些個體的存在。說某某東西存在，并不是在刻畫這個東西的屬性，而是表達(dá)了另一個層次上的意思，即表達(dá)相關(guān)的個體的存在�？档乱呀�(jīng)意識到“存在”不是一個恰當(dāng)?shù)闹^詞。弗雷格對此的分析則進(jìn)了一步。弗雷格用概念詞來取代含義不清的謂詞，并區(qū)分了概念詞的等級，使語言中的有關(guān)數(shù)量和存在的概念得到更加明確的表達(dá)。

　　在弗雷格那里，數(shù)學(xué)和邏輯是相通的，數(shù)學(xué)的基礎(chǔ)是邏輯，他認(rèn)為他所構(gòu)造的邏輯哲學(xué)的基本原理也就是他的數(shù)學(xué)哲學(xué)的基本原理。弄清楚弗雷格在《算術(shù)基礎(chǔ)》所提出的基本原理，不僅對于理解他為什么和依據(jù)什么建立他的形式語言系統(tǒng)，而且對于理解他為什么主張純數(shù)學(xué)可以還原為邏輯的思想都十分重要。

　　研究弗雷格的哲學(xué)思想，對于弄清楚分析哲學(xué)的淵源具有重大意義。弗雷格沒有自命為哲學(xué)家，他沒有什么哲學(xué)派系觀點(diǎn)。他只是在研究邏輯、數(shù)學(xué)和語言的時候，發(fā)現(xiàn)了一些與哲學(xué)相關(guān)的重大問題。為解決這些問題，他摸索各種解決辦法，他沒有固定的哲學(xué)套路，也沒有自成體系的哲學(xué)術(shù)語。有時他為了表達(dá)自己的觀點(diǎn)，不得不創(chuàng)造一些術(shù)語，如“概念詞”、“對象詞”等。他對這些術(shù)語的用法，與人們通常的用法有所不同，這造成了閱讀他的著作時理解上的困難。但是他創(chuàng)造這些術(shù)語自有他的苦心，這是遇到新問題和發(fā)現(xiàn)新思想時常會出現(xiàn)的情況。一旦人們了解了他的思路，就會領(lǐng)會這些術(shù)語的奧秘。

　　弗雷格在研究邏輯和數(shù)學(xué)的基礎(chǔ)問題時所探討的哲學(xué)問題，在今天被稱為邏輯哲學(xué)、數(shù)學(xué)哲學(xué)、語言哲學(xué)。今天的分析哲學(xué)家已經(jīng)看清楚，邏輯和人工語言不是脫離哲學(xué)而獨(dú)自存在的，邏輯和人工語言本身都有它們的元哲學(xué)的問題。但是在上個世紀(jì)30年代至50年代，當(dāng)分析哲學(xué)處于全盛時期時，邏輯實(shí)證主義的分析哲學(xué)家提出通過邏輯分析和語言批判消解哲學(xué)的觀點(diǎn)，他們沒有看到或“忘記了”作為分析哲學(xué)的鎮(zhèn)山之寶的數(shù)理邏輯和人工語言是伴隨著與其相關(guān)的邏輯哲學(xué)、數(shù)學(xué)哲學(xué)和語言哲學(xué)一起產(chǎn)生的。

　　弗雷格為了建立他的以命題邏輯和謂詞邏輯為基礎(chǔ)的人工語言，不得不對日常語言的諸多用法進(jìn)行規(guī)范。他一方面認(rèn)識到日常語言的缺陷和他所建立的人工語言對于澄清日常語言的缺陷具有重大幫助，另一方面他也充分意識到他的人工語言不能取代日常語言的全部功能。弗雷格首先探討了語句的認(rèn)識價值和真值的關(guān)系問題。他主張對語句的真值的尋問固然具有重大的認(rèn)識意義，但是語句的認(rèn)識價值并不僅僅在于語句的真值，它應(yīng)該包括對語句的涵義理解和對所指的真值的尋問這兩個方面。但是，許多從弗雷格的思想中得到啟發(fā)并使用弗雷格所開發(fā)的人工語言的分析哲學(xué)家，卻把弗雷格的思想簡單化了。他們片面夸大了人工語言的作用，并主張語句的意義就是語句的真值條件。這特別表現(xiàn)在作為邏輯實(shí)證主義的基本綱領(lǐng)的“意義標(biāo)準(zhǔn)”和“證實(shí)原則”中。

　　仔細(xì)閱讀弗雷格的著作，可以發(fā)現(xiàn)許多分析哲學(xué)的觀點(diǎn)的來源，可以從源頭上把握分析哲學(xué)發(fā)展的思想脈絡(luò)。在今天，當(dāng)分析哲學(xué)走過了一百年迂回曲折道路，再從源頭上來思考它所發(fā)現(xiàn)的諸多問題和尋求的解決方案時，弗雷格哲學(xué)的偉大意義將更充分地顯示出來。

　　注釋：

　　[1] G. Frege，Die Grundlage der Arithmetik. Eine Logisch-mathematische Untersuchung über den Begriff der Zahl（《算術(shù)基礎(chǔ)：對數(shù)的概念的邏輯數(shù)學(xué)的研究》），Breslau 1884，第23頁。

　　[2] 同上，第27頁。

　　[3] G. Frede，Der Gedanke，Philosophie des deutschen Idealismus；
I. Band（1918/ 19），第 58－59頁；
引自G. Frege，Kleine Schriften，Damstadt 1967，第342頁。

　　[4] 同上，第56頁。

　　[5] 同上，第23頁。

　　[6] Frege，Die Grundlage der Arithmetik，第23頁。

相關(guān)熱詞搜索：邏輯 哲學(xué) 思想 數(shù)學(xué) 基礎(chǔ)