卡爾納普意義理論

　　卡爾納普的意義理論是邏輯學(xué)發(fā)展史上的一個(gè)重要的環(huán)節(jié)，對(duì)邏輯學(xué)的許多分支如模態(tài)邏輯、蒙塔古內(nèi)涵邏輯等產(chǎn)生過(guò)重大影響?？柤{普繼承了羅素和維特根斯坦的主張，用邏輯來(lái)解決哲學(xué)問(wèn)題。他認(rèn)為哲學(xué)的對(duì)象是語(yǔ)言而不是世界，而語(yǔ)言的核心問(wèn)題是語(yǔ)言的意義，因此意義問(wèn)題就成了哲學(xué)的中心問(wèn)題。他的意義理論大體上可以分成互相聯(lián)系的兩個(gè)方面：邏輯的方面和哲學(xué)方面。在哲學(xué)方面的最重要體現(xiàn)是意義證實(shí)論，但本書主要討論其邏輯方面。卡爾納普意義理論經(jīng)歷了一個(gè)從邏輯句法到語(yǔ)義學(xué)的變化過(guò)程。以1935年為界，卡爾納普先后提出了所謂邏輯句法和語(yǔ)義學(xué)。在句法階段，他的整個(gè)工作可以描述為尋找一個(gè)邏輯—數(shù)學(xué)陳述的有效性標(biāo)準(zhǔn)（分析性的定義）的努力。他認(rèn)為語(yǔ)言可以脫離開(kāi)具體的意義來(lái)形式地考慮，這就是建立一種形式語(yǔ)言，其中符號(hào)沒(méi)有意義。我們僅通過(guò)考察符號(hào)的類別和順序（句法規(guī)則）就可以確定意義關(guān)系問(wèn)題，尤其是能夠確定邏輯—數(shù)學(xué)語(yǔ)句的真值，這就是分析性定義所確立的有效性標(biāo)準(zhǔn)。然而，他最終還是背離了句法原則：非確定概念的接受使得他必須使用具有語(yǔ)義學(xué)性質(zhì)的賦值方法。塔斯基的真理定義使他最終確認(rèn)只有語(yǔ)義學(xué)才是他要尋找的東西，邏輯真理是語(yǔ)義學(xué)性質(zhì)的概念，只有在語(yǔ)義學(xué)的范圍內(nèi)才能給出恰當(dāng)?shù)亩x，他給出的定義是“在所有的狀態(tài)描述中為真”。在語(yǔ)義學(xué)中，意義被分析為外延和內(nèi)涵兩個(gè)方面。通過(guò)一系列L—概念，可以刻畫各種表達(dá)式的內(nèi)涵和外延。因此他所理解的語(yǔ)義學(xué)不是外延語(yǔ)義學(xué)，而是一種內(nèi)涵語(yǔ)義學(xué)，外延內(nèi)涵方法是他的語(yǔ)義學(xué)的基本方法?？柤{普的意義理論是對(duì)邏輯學(xué)發(fā)展的重大貢獻(xiàn)，也對(duì)哲學(xué)的進(jìn)步起到了積極作用。他提出的邏輯句法方法使對(duì)形式語(yǔ)言的研究進(jìn)入了新時(shí)期，通過(guò)對(duì)分析性概念的定義使對(duì)邏輯真理的認(rèn)識(shí)更加深入；同時(shí)把一切哲學(xué)問(wèn)題看作是語(yǔ)言的邏輯句法問(wèn)題，促使哲學(xué)發(fā)展中語(yǔ)言學(xué)轉(zhuǎn)向的完成。在其思想發(fā)展后期提出的外延內(nèi)涵方法，在邏輯史上對(duì)內(nèi)涵概念第一次進(jìn)行了形式刻畫，并給模態(tài)邏輯提供了第一個(gè)語(yǔ)義解釋，開(kāi)創(chuàng)了邏輯語(yǔ)義學(xué)和模態(tài)邏輯的研究的新局面，并對(duì)哲學(xué)中分析與綜合的區(qū)分以及語(yǔ)言意義問(wèn)題的討論提供了新的思想來(lái)源。

　　馬亮，男，生于1966年，甘肅省張家川縣人，回族?，F(xiàn)為廣西大學(xué)公共管理學(xué)院副教授，哲學(xué)博士。2003年畢業(yè)于中國(guó)社會(huì)科學(xué)院研究生院哲學(xué)系邏輯學(xué)專業(yè)，獲哲學(xué)博士學(xué)位。長(zhǎng)期從事邏輯學(xué)和西方哲學(xué)的研究，發(fā)表哲學(xué)及邏輯學(xué)論文10余篇，參著《廣義模態(tài)邏輯及其應(yīng)用》。承擔(dān)國(guó)家社科基金項(xiàng)目一項(xiàng)：“卡爾納普意義理論及其當(dāng)代發(fā)展”；參加國(guó)家社會(huì)科學(xué)基金項(xiàng)目一項(xiàng)：“多值邏輯函數(shù)完全性研究”。