《語言的邏輯句法》是卡爾納普最重要的哲學著作,它系統(tǒng)闡述了卡爾納普成熟期的基本哲學思想。卡爾納普認為:所謂語言的邏輯句法指的是對一種語言形式化理論的系統(tǒng)表述,亦即對約束語言的形式化規(guī)則以及根據(jù)規(guī)則所獲得的后承的系統(tǒng)表述。邏輯句法的目標是提供一個概念系統(tǒng),即提供一種語言,這種系統(tǒng)可以精確表述邏輯分析的結果。所以,本書試圖提供的是一種以精確的句法方法為形式,解決諸多科學邏輯問題的必要工具。 《語言的邏輯句法》要解決的問題來源于哲學與數(shù)學基礎研究兩個方面,適合哲學、邏輯學和數(shù)學的研究者和愛好者閱讀?柤{普在本書中討論的語言框架和寬容原則,影響了相關領域的討論。
本書作者卡爾納普哲學思想的發(fā)展,一般說來,有語義、句法、語用三個階段。在句法這個階段,他強調(diào)把哲學變成科學語言的元語言即句法。旨在把科學研究的內(nèi)容與科學的語言形式分別開來。他認為,內(nèi)容或?qū)ο髮儆诰唧w的自然科學范圍,與哲學無關。
魯?shù)婪?middot;卡爾納普(Rudolf Carnap,1891-1970)出生于德國,在耶拿大學學習物理學與哲學并獲得博士學位,博士論文是研究幾何學及時空理論的邏輯與哲學問題。在耶拿大學期間,卡爾納普曾跟隨弗雷格學習數(shù)理邏輯,并系統(tǒng)研究了懷特海與羅素的《數(shù)學原理》。1926-1931年卡爾納普任教于維也納大學,成為維也納小組的核心成員之一。1931-1935年卡爾納普任教于布拉格德語大學(the German University in Prague),《語言的邏輯句法》成書于期間。1936年卡爾納普移居美國,先在芝加哥大學任教(1936-1952),1954年起在加州大學洛杉磯分校任教至1961年退休!墩Z言的邏輯句法》的德文版出版于1934年,英文版出版于1937年,英文版對德文版有所補充。此中譯本是依據(jù)英文版翻譯的!墩Z言的邏輯句法》是卡爾納普最重要的哲學著作,它首次系統(tǒng)地闡述了卡爾納普成熟期的基本哲學思想。其后,卡爾納普在意義理論、模態(tài)性、概率與歸納的哲學等領域繼續(xù)他的哲學研究,但一直到1963年為施爾普(P.A.Schilpp)所編輯的《魯?shù)婪?middot;卡爾納普的哲學》(The philosophy of Rudolf Carnap)寫學術自傳時,他還是堅持《語言的邏輯句法》中的觀點。所以,雖然《語言的邏輯句法》成書較早,但它反映了卡爾納普一生中最成熟的哲學思想!
《語言的邏輯句法》要解決的問題來源于哲學與數(shù)學基礎研究兩個方面。首先,在哲學方面,部分地由于維特根斯坦的《邏輯哲學論》的影響,早期邏輯經(jīng)驗主義者,包括維也納小組的成員們,都傾向于將邏輯與數(shù)學真理看成沒有事實內(nèi)容的真理,如此,我們所認識的真理就可以簡潔地分成沒有事實內(nèi)容的、分析的邏輯與數(shù)學真理,和有事實內(nèi)容的、綜合的經(jīng)驗科學真理,因此可以放棄所謂先天綜合真理這一范疇。但是,維特根斯坦的《邏輯哲學論》所考慮的、沒有事實內(nèi)容的真理,僅僅相當于現(xiàn)代數(shù)理邏輯的命題邏輯中的重言式,這遠遠不足以涵蓋現(xiàn)代數(shù)學。特別地,現(xiàn)代數(shù)學接受的一些數(shù)學公理,比如集合論中的無窮公理、選擇公理,似乎是直接地、無條件地斷定某些事物即某些集合存在。因此,至少從表面上看,它們不是對世界無所斷定的、沒有事實內(nèi)容的判斷。所以,如果邏輯經(jīng)驗主義者還要堅持說邏輯與數(shù)學真理是沒有事實內(nèi)容的,那么他們就必須突破《邏輯哲學論》的框架,對邏輯與數(shù)學真理究竟在什么意義上是沒有事實內(nèi)容的,或?qū)壿嬇c數(shù)學真理究竟如何有別于其它經(jīng)驗科學真理這一點,做出更好的解說。為此,卡爾納普在《語言的邏輯句法》中,一方面提出了語言框架這一概念,作為對我們的數(shù)學與科學實踐的分析、描述,另一方面提出了寬容原則,作為指導數(shù)學與科學實踐的方法論原則。語言框架這一概念是要說明,我們需要選擇一個語言框架來表達我們的科學知識,而邏輯與數(shù)學是我們所選擇的語言框架中的約定部分,包括無窮公理、選擇公理等存在性判斷也是依約定而被接受的,因此它們有別于其它的經(jīng)驗科學假說,因為后者不是約定的,它們需要接受觀察的檢驗。正是在這個意義上邏輯與數(shù)學是沒有事實內(nèi)容的。寬容原則則是提醒人們,有事實內(nèi)容與沒有事實內(nèi)容之間的劃分,是相對于一個所選擇的語言框架的,因此是約定的,不是傳統(tǒng)哲學所追求的那種絕對的劃分,因為我們可以相當任意地選擇不同的語言框架,而不同語言框架之間的差別僅僅是實用上便利或不便利之間的差別,不是傳統(tǒng)哲學所理解的那種絕對的正確與錯誤之間的區(qū)別。
卡爾納普,經(jīng)驗主義和邏輯實證主義代表人物,維也納學派的領袖之一。主要著作有《語言的邏輯句法》、《世界的邏輯構造》,等等。
譯者簡介:
夏年喜,首都師范大學哲學系教授。
梅劍華,山西大學哲學系教授。
葉峰,首都師范大學教授。
英文版前言
序言
導論
第一部分 確定的語言Ⅰ
第二部分 語言Ⅰ句法的形式構造
第三部分 不確定的語言Ⅱ
第四部分 一般句法
第五部分 哲學與句法
參考文獻和人名索引
索引
譯后記