分析哲學之二：弗雷格
分析哲學是現代西方影響最大的哲學思潮之一。德國數學家、數理邏輯學家、哲學家弗雷格被公認為是這一思潮的精神先驅。
戈特洛布.弗雷格(1848-1925年）曾先后就讀于耶拿大學和哥廷根大學，1873年獲哲學博士學位，1879年開始在耶拿大學執教，直到1918年退休。主要著作有《概念語言》(1879）、《算術基礎》(1884）、《函數與概念》(1891）、《論概念與對象》(1892）、《論涵義與指稱》(1892）、《算術的基本規則》(第一卷1893，第二卷1903）、《思想：邏輯研究》(1918-1919)等。
1.反對心理主義
數學一向被認為是嚴密科學，數學知識歷來被公認為是必然的和普遍有效的知識。但對這種知識的基礎究竟是什么，不同哲學立場的人有不同的解釋。心理主義者認為數是一種觀念，數學的基礎是人的心理過程。經驗主義者則把數學的概念和原理都視為對經驗活動的概括。弗雷格從研究數學的基礎步入哲學之門。他在《算術基礎》一書中嚴厲批判了心理主義和經驗主義，認為二者的共同錯誤是把數學的基礎歸結為主觀的東西(人的心理過程或經驗活動），從而無法說明數學知識的必然性和普遍有效性。
在他看來，一種普遍必然性的知識的基礎決不可能是沒有客觀性和必然性的東西，而只能是絕對必然性和普遍有效性；邏輯就具有這種性質，因此數學的基礎是邏輯。數不是觀念，也不是來自對事物性質的抽象。數是概念，是一個邏輯規定；數、函數、極限、分數、負數、復數等，都只能由邏輯來定義。所以他強調，必須"始終把心理的東西和邏輯的東西，主觀的東西和客觀的東西嚴格區別開來。"
由于把數學歸結為邏輯，弗雷格致力于數學表達式的邏輯形式的研究，在建立數理邏輯系統方面進行了卓有成效的創造。與此同時，他把知識與表達聯系起來，從知識的表達形式入手研究一般知識的性質問題，認為知識的本性是它的客觀性和可表達性；而可表達性要求語言具有高度的嚴密性和普遍性。自然語言顯然不具有這種嚴密性和普遍性，它往往含義模糊或包含感情色彩，不能準確表達知識，尤其不能精確表達科學知識。所以他力圖把自然語言符號化，構造出一種純形式語言，以此來確保知識的客觀性和確定性。
2.函項學說
既然數學的基礎是邏輯，那么就可以把數學表達式視為函數式或函項式。弗雷格在對函數的性質作了深入研究后指出，函數包含變項，具有不完滿性，因而需要用對象去充實；在函數中變項的位置代入對象，就可使函數獲得完滿性，并得到一個函數值；函數值有真值，也有假值。他進一步指出，函數式中不變的成分，代表函數式的形式方面，代表關系的整體，是函數式的普遍性方面，它對函數來說是本質性的；而函數式中可變的部分，即可被確定的對象代替的部分，代表函數式的內容方面。
弗雷格進而將上述思想運用于對語句的哲學分析，把語句的邏輯結構也分解成函項和自變項。函項是句子中的不變成分，大體相當于句子的謂詞，它表達命題的普遍有效性；自變項是句子中的可變部分，大體相當于句子的主詞，它具有特殊的意義。例如，"保羅是牧師"這個句子，自變項為"保羅"，函項為" …是牧師"。函項代表關系的整體，自變項代表關系中的對象，二者的關系是一般與個別的關系，是整體中的整體與項的關系，而項可以是多重的，例如，必然有許多可以代替"保羅"的專名，如果在函項" …是牧師"中填入其他專名，這個句子就改變了。因此，關系可以是多重的。
他還強調，句子是意義的基本單位，詞不能離開它出現于其中的句子而單獨具有意義："決不孤立地詢問一個詞的意義，而只在命題的關系中詢問詞的意義。"弗雷格的這些思想包含著對自亞里士多德以來的傳統邏輯的重大變革。傳統的形式邏輯是主謂邏輯，其邏輯分析是主謂分析，認為每個句子只有一個主詞，而謂詞則是主詞的性質。這種分析無法處理諸如a大于b之類的關系命題，而對具有多重關系的命題更是束手無策。弗雷格的函項學說用關系邏輯取代了主謂邏輯，極大地拓展了邏輯學的范圍，并對分析哲學家造成了重大影響。
3.涵義與指稱學說
在傳統哲學看來，a＝a和a＝b這兩種同一性命題的邏輯地位是不同的：前者是分析命題，沒有提供新的信息，沒有擴大我們的知識，因而沒有認識價值；后者是綜合命題，提供某種新的信息，增加了我們的知識，因而具有與前者不同的認識價值。
弗雷格不滿于傳統哲學對同一性命題的解釋。在《論涵義與指稱》一文中，他從考察提供新信息的同一命題a＝b何以可能入手，討論了符號的涵義與指稱之間的根本區別，認為只有把涵義與指稱嚴格區分開來，才能說明a＝b這樣的同一命題：a＝b是真的，當且僅當a與b指稱了同一個對象。
在他看來，無論專名或句子都有涵義與指稱的區別。專名的指稱是對象，專名的涵義是其指稱方式。句子的涵義是其表達的思想，句子的指稱是其斷定的真值。因此，涵義與指稱是不同的。涵義與指稱的區別表現在，不同的表達式，指稱相同而涵義卻不同。例如，"晨星是被太陽照亮的天體"和"暮星是被太陽照亮的天體"，這兩個表達式確定的是同一個對象——金星，即兩個表達式的指稱是相同的。但二者的涵義卻不同，因為確定對象的方式和提供的信息內容各不相同。
弗雷格舉了包括概念詞、函項式和關系表達式在內的大量例子來說明這種情況。此外，一個指稱可以有很多涵義。例如，"亞歷山大"這個專名，它的涵義可以有"哲學家亞里士多德的學生"、"馬其頓國王"、"亞歷山大帝國的締造者"等等。這種涵義與指稱不同一的情況是普遍存在的。
他由此得出結論：由指稱的同一不能推出所表達的思想的同一。涵義與指稱的區別還表現在，有些表達式只有涵義而沒有指稱。這類表達式一般出現于神話和詩歌中，自然語言本身無法避免這種缺陷。
弗雷格認為，無指稱的專名，無所斷定的句子都是沒有真值和沒有意義的；用于科學目的的表達式必須有指稱，必須把涵義與指稱聯系起來確定其真值。弗雷格斷言，他竭力企圖構造的形式語言決不會出現沒有指稱的情況，在這種語言中，指稱與涵義是嚴格對應的。
弗雷格還通過區分習慣指稱與間接指稱，討論了間接語境的情況，分析了條件句、關系從句、主語從句和語氣不同的復合句中主句與從句的意義關系。他的這些思想開啟了分析哲學關于意義理論的研究。
總之，弗雷格反對心理主義，把數學的基礎歸結為邏輯，把數學知識的本性歸結為數學表述的本性，進而認為一般知識的本性問題就是表述知識的語言的本性問題，并用他構造的數理邏輯系統分析語言，分析人類知識。這些開創性的貢獻使得他成為分析哲學的當之無愧的思想先驅。后來的分析哲學家，尤其是羅素(1872-1970)、維特根斯坦(1889-1951)、卡爾納普(1891-1970)等人都對得自弗雷格的教誨和裨益直言不諱。
