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