卡爾納普（1891～1970）

　　Carnap，Rudolf

　　美國(guó)哲學(xué)家。邏輯實(shí)證主義的主要代表。1891年5月18 日生于德國(guó)隆斯多夫，1970年9月14日卒于加州圣莫尼卡。早年受教于G.弗雷格門(mén)下，1921年獲耶拿大學(xué)博士學(xué)位，1926～1931年應(yīng)M.石里克之邀任教于維也納大學(xué)，1931～1935年任布拉格大學(xué)自然哲學(xué)教授，1935年底前往美國(guó)，并于1941年加入美國(guó)籍。1936～1952年任芝加哥大學(xué)哲學(xué)教授，1954年繼H.賴(lài)興巴赫之后接任加州大學(xué)洛杉磯分校教授，1961年退休。其哲學(xué)思想可作如下歸納：①一切關(guān)于世界的概念和知識(shí)最終來(lái)源于直接經(jīng)驗(yàn)。②哲學(xué)問(wèn)題被歸結(jié)為語(yǔ)言問(wèn)題，哲學(xué)方法就在于對(duì)科學(xué)語(yǔ)言進(jìn)行邏輯分析。③歸納推理可以而且應(yīng)當(dāng)像演繹推理一樣予以規(guī)則化和精確化，歸納邏輯提供據(jù)以評(píng)價(jià)人的合理信念和合理行為的標(biāo)準(zhǔn)。著有《世界的邏輯結(jié)構(gòu)》等。

　　 魯?shù)婪?middot;卡爾納普（Rudolf Carnap，又譯卡納普，1891年5月18日-1970年9月14日），是20世紀(jì)著名的美國(guó)分析哲學(xué)家，生于德國(guó)。經(jīng)驗(yàn)主義和邏輯實(shí)證主義代表人物，維也納學(xué)派的領(lǐng)袖之一�？�爾納普是學(xué)物理和數(shù)學(xué)出身的，在耶那大學(xué)曾受業(yè)于弗雷格門(mén)下，研究邏輯學(xué)、數(shù)學(xué)、語(yǔ)言的概念結(jié)構(gòu)。受伯特蘭·羅素（Bertrand Russell)和弗里德里希·路德維希·戈特洛布·弗雷格（Friedrich Ludwig Gottlob Frege）的著作影響。

　　哲學(xué)上早期受新康德派的影響，他最早的作品如《空間。論科學(xué)哲學(xué)》，《論物理學(xué)的任務(wù)和簡(jiǎn)化原則之應(yīng)用》等都可以看到這種影響的印跡。同時(shí)他受到了馬赫實(shí)證論和經(jīng)驗(yàn)論的影響，使他完全走上了實(shí)證論的道路�！妒澜绲倪壿嫎�(gòu)造》是卡爾納普的代表作。

　　[編輯]

　　1891年5月18日,卡爾納普生于德國(guó) 隆斯多夫；1970年 9月14日卒于美國(guó)加利福尼亞州 圣莫尼卡。1910～1914年，他在德國(guó)耶拿大學(xué)和弗賴(lài)堡大學(xué)學(xué)習(xí)數(shù)學(xué)、物理和哲學(xué)，是弗里德里希·路德維希·戈特洛布·弗雷格（Friedrich Ludwig Gottlob Frege）為數(shù)不多的學(xué)生之一。弗雷格的數(shù)理邏輯和語(yǔ)言哲學(xué)對(duì)他產(chǎn)生了很大影響。第一次世界大戰(zhàn)期間，卡爾納普在德國(guó)軍隊(duì)中服役。這一時(shí)期,他認(rèn)真研究了A.愛(ài)因斯坦的相對(duì)論,尤其關(guān)心和相對(duì)論有關(guān)的方法論問(wèn)題。戰(zhàn)后，他從研究實(shí)驗(yàn)物理學(xué)轉(zhuǎn)向理論物理學(xué)與哲學(xué)。由于受到弗雷格的影響，他開(kāi)始鉆研阿弗烈·諾夫·懷海德（Alfred North Whitehead）與伯特蘭·羅素(Bertrand Arthur William Russell)]]合著的《數(shù)學(xué)原理》，并嘗試用符號(hào)邏輯表述和研究哲學(xué)問(wèn)題。1921年，卡爾納普以關(guān)于空間概念的論文在耶拿獲博士學(xué)位。嗣后數(shù)年，他在家研究邏輯和物理學(xué)基礎(chǔ)，寫(xiě)了一系列關(guān)于時(shí)空問(wèn)題、因果性問(wèn)題的論文。1926年秋，他應(yīng)M.石里克之邀去維也納大學(xué)擔(dān)任哲學(xué)講師。在維也納的五年中，卡爾納普成為石里克所領(lǐng)導(dǎo)的邏輯實(shí)證主義的維也納學(xué)派中最有影響的成員。1928年，他醞釀了好幾年的著作《世界的邏輯結(jié)構(gòu)》正式出版。該書(shū)的內(nèi)容經(jīng)過(guò)維也納小組的反復(fù)討論，是早期邏輯實(shí)證主義的一部重要的代表作。卡爾納普在這一著作中，從經(jīng)驗(yàn)主義的立場(chǎng)出發(fā)，力圖運(yùn)用羅素在《數(shù)學(xué)原理》中所闡述的符號(hào)邏輯的方法進(jìn)而闡明知識(shí)的基礎(chǔ)，并試圖完成由羅素所開(kāi)創(chuàng)的在感覺(jué)經(jīng)驗(yàn)基礎(chǔ)上構(gòu)造出全部人類(lèi)知識(shí)的工作。從1930年開(kāi)始，他與H.賴(lài)興巴赫合作編輯出版邏輯經(jīng)驗(yàn)主義的《認(rèn)識(shí)》期刊，這一工作一直持續(xù)到1940年由于戰(zhàn)爭(zhēng)而停止。1931年,卡爾納普接受物理學(xué)家P.弗蘭克的邀請(qǐng),前往布拉格大學(xué)任自然科學(xué)分部的自然哲學(xué)教授。1934年，他發(fā)表《語(yǔ)言的邏輯句法》，書(shū)中體現(xiàn)卡爾納普把邏輯分析僅限于句法分析的思想。由于納粹勢(shì)力在捷克斯洛伐克的擴(kuò)張，卡爾納普于1935年底離開(kāi)布拉格前往美國(guó)任教，并于1941年加入美國(guó)籍。1936～1952年，他擔(dān)任芝加哥大學(xué)哲學(xué)教授。30年代中期，卡爾納普開(kāi)始轉(zhuǎn)向語(yǔ)義學(xué)研究，并陸續(xù)出版了這方面的著作,主要有:《語(yǔ)義學(xué)導(dǎo)論》(1942)、《邏輯的形式化》(1943)、《意義和必然》(1947)。從1937年開(kāi)始，卡爾納普與O.紐拉特、C.W.莫里斯一起主持編輯出版《國(guó)際統(tǒng)一科學(xué)百科全書(shū)》。在40年代�？�爾納普逐漸轉(zhuǎn)向歸納邏輯的研究，1950年出版了《概率的邏輯基礎(chǔ)》。1954年賴(lài)興巴赫突然去世，卡爾納普接替其擔(dān)任加利福尼亞大學(xué)洛杉磯分校的哲學(xué)教授席位。1961年退休�？�爾納普的其他重要著作還有：闡明他早期反形而上學(xué)主張的《哲學(xué)中的假問(wèn)題》(1928)；從句法構(gòu)造和語(yǔ)義構(gòu)造兩個(gè)角度，精確地處理形式語(yǔ)言并闡明數(shù)理邏輯應(yīng)用的《符號(hào)邏輯導(dǎo)論》(1954)；作為科學(xué)哲學(xué)入門(mén)的《物理學(xué)的哲學(xué)基礎(chǔ)》(1966)�！≡谡�治上，卡爾納普是一個(gè)和平主義者和民主主義者。他主張各民族之間的友好合作，并結(jié)合其人工語(yǔ)言思想熱衷于推行國(guó)際語(yǔ)和世界語(yǔ)。他從對(duì)科學(xué)方法的信念出發(fā)，逐步批判乃至最終放棄了宗教信仰，成為一個(gè)無(wú)神論者。他的結(jié)論是：要說(shuō)明自然界包括人類(lèi)社會(huì)中的任何事件，并不需要什么上帝。他認(rèn)為，人生的任務(wù)對(duì)個(gè)人來(lái)說(shuō)就是要不斷地提高自己，建立一種互相合作、富于收獲的人與人的關(guān)系，從而使全人類(lèi)達(dá)到大同的境界，每個(gè)人都能過(guò)著滿(mǎn)意的生活并共享文化的成果，而確立這種目標(biāo)就是人生的意義。

　　[編輯]

　　卡爾納普的哲學(xué)從以下基本信念出發(fā)：

　　①在科學(xué)及科學(xué)方法上，認(rèn)為科學(xué)是人類(lèi)所具有的唯一的有系統(tǒng)、有根據(jù)的知識(shí)，科學(xué)方法是唯一能使人們?nèi)〉眠@種知識(shí)的方法。

　�、谠跀�(shù)理邏輯方面，認(rèn)為弗雷格和羅素所開(kāi)創(chuàng)的邏輯分析方法使哲學(xué)進(jìn)入了新的階段，它是研究哲學(xué)的唯一有效的方法。

　�、壅軐W(xué)的最終目的，在于運(yùn)用邏輯分析方法消除舊哲學(xué)的混亂和錯(cuò)誤，并從邏輯上闡明科學(xué)的經(jīng)驗(yàn)基礎(chǔ)。

　　卡爾納普的哲學(xué)具有如下主要特點(diǎn)：

　�、僖磺嘘P(guān)于世界的概念和知識(shí)最終來(lái)源于直接經(jīng)驗(yàn)。

　�、谡軐W(xué)問(wèn)題被歸結(jié)為語(yǔ)言問(wèn)題，哲學(xué)就是科學(xué)語(yǔ)言的邏輯，哲學(xué)方法就在于對(duì)科學(xué)語(yǔ)言進(jìn)行邏輯分析。

　�、蹥w納推理可以而且應(yīng)當(dāng)象演繹推理一樣予以規(guī)則化和精確化，歸納邏輯提供據(jù)以評(píng)價(jià)人的合理信念和合理行為的標(biāo)準(zhǔn)。

　　 經(jīng)驗(yàn)知識(shí)的基礎(chǔ)

　　卡爾納普贊同從大衛(wèi)·休謨(David Hume)以來(lái)已被經(jīng)驗(yàn)主義普遍接受的關(guān)于分析命題與綜合命題的兩分法，認(rèn)為，數(shù)學(xué)與邏輯命題是分析命題，綜合命題來(lái)源于經(jīng)驗(yàn),最基本的經(jīng)驗(yàn)命題是原始記錄語(yǔ)句或稱(chēng)始錄語(yǔ)句,即記錄直接觀察結(jié)果的陳述。他指出，闡明經(jīng)驗(yàn)知識(shí)的基礎(chǔ)不需要考察人類(lèi)獲得知識(shí)的實(shí)際過(guò)程，而是要探討如何把科學(xué)命題和概念還原為記錄直接經(jīng)驗(yàn)的命題和概念的問(wèn)題。這樣，也就排除了從心理學(xué)角度研究認(rèn)識(shí)過(guò)程的古典認(rèn)識(shí)論。

　　卡爾納普力圖建立一個(gè)嚴(yán)密的邏輯構(gòu)成系統(tǒng)，用以表示一切可知對(duì)象的領(lǐng)域。這一邏輯構(gòu)成系統(tǒng)可以通過(guò)一系列構(gòu)成定義把一個(gè)領(lǐng)域還原為少量的一組概念。卡爾納普把已知的對(duì)象分為4種類(lèi)型：①社會(huì)文化對(duì)象;②他人的心；③物理對(duì)象；④本人經(jīng)驗(yàn)。他選擇④作為認(rèn)識(shí)論基礎(chǔ)，并在其中再選出一種最簡(jiǎn)單、最原始的對(duì)稱(chēng)關(guān)系，即Er關(guān)系，指對(duì)相似性的記憶；基本經(jīng)驗(yàn)則可定義為Er關(guān)系的領(lǐng)域。他用部分類(lèi)似性表示相同經(jīng)驗(yàn)之間的關(guān)系，即雙向的Er關(guān)系；而類(lèi)似性區(qū)域則為部分類(lèi)似性的抽象的類(lèi)。這樣，通過(guò)應(yīng)用更復(fù)雜的定義就可進(jìn)而構(gòu)造"感覺(jué)"、"時(shí)間次序"等概念，并進(jìn)而定義時(shí)空世界、知覺(jué)世界、生物界、人類(lèi)、人類(lèi)文化對(duì)象。

　　對(duì)卡爾納普來(lái)說(shuō)。唯我論基礎(chǔ)的選擇只具有方法論意義而沒(méi)有本體論意義。這僅僅表明卡爾納普前期在認(rèn)識(shí)論上傾向于E.馬赫、羅素等人所主張的現(xiàn)象主義。他認(rèn)為從邏輯上同樣也可以選擇物理對(duì)象為基礎(chǔ)。卡爾納普指出，選擇之不同只表示所使用的語(yǔ)言類(lèi)別不同、始錄語(yǔ)句的性質(zhì)和形式不同。他對(duì)哲學(xué)上不同學(xué)派的爭(zhēng)論持中立態(tài)度，認(rèn)為人們可以自由選擇自己所喜歡的語(yǔ)言，唯心論與實(shí)在論、現(xiàn)象主義與物理主義之間的分歧，僅僅是哲學(xué)家選擇不同語(yǔ)言的結(jié)果。

　　卡爾納普后期在紐拉特的影響下轉(zhuǎn)向物理主義，認(rèn)為物理語(yǔ)言是始錄語(yǔ)句最可取的形式，因?yàn)槲锢碚Z(yǔ)言不僅可以表達(dá)全部知識(shí)（包括心理學(xué)知識(shí)），而且它還具有互觀性。因而他接受并積極參加了紐拉特提出的"統(tǒng)一科學(xué)"的工作，試圖把社會(huì)科學(xué)、人文科學(xué)、自然科學(xué)都統(tǒng)一到物理語(yǔ)言的基礎(chǔ)上來(lái)。

　　 理論概念的還原

　　卡爾納普早期認(rèn)為，理論概念能夠通過(guò)顯定義還原為一組觀察概念，被還原概念等值于這一組還原概念。這種還原意味著理論概念可用觀察概念代替，并因此成為一種嚴(yán)格的經(jīng)驗(yàn)主義。后來(lái)，他認(rèn)識(shí)到如可溶性，脆性等不能實(shí)現(xiàn)這種還原，不能由直接經(jīng)驗(yàn)給出顯定義,因而就把這一要求放寬,另外規(guī)定了一種還原語(yǔ)句。這種還原語(yǔ)句采用條件句的形式，給出在指定的場(chǎng)合下被還原概念與直接經(jīng)驗(yàn)的聯(lián)系。還原語(yǔ)句與定義性還原的區(qū)別在于，前者不能把理論陳述完全地還原為代表直接經(jīng)驗(yàn)的始錄語(yǔ)句，它只能導(dǎo)出依不同的實(shí)驗(yàn)條件而改變的各個(gè)觀察陳述。這就從根本上動(dòng)搖了早期邏輯實(shí)證主義作為有意義命題標(biāo)準(zhǔn)的證實(shí)原則�？�爾納普代之以確認(rèn)原則與檢驗(yàn)原則，認(rèn)為科學(xué)關(guān)于不可觀察對(duì)象的假設(shè)雖然永遠(yuǎn)不能被觀察證據(jù)所證實(shí)，但卻可以得到觀察證據(jù)的或多或少的確認(rèn)。對(duì)確認(rèn)程度的定量研究促使卡爾納普后期從事邏輯概率方面的工作。 卡爾納普在對(duì)自然科學(xué)的基礎(chǔ)研究中，提出了關(guān)于理論結(jié)構(gòu)雙層語(yǔ)言學(xué)說(shuō)。他把科學(xué)語(yǔ)言分為觀察語(yǔ)言和理論語(yǔ)言，認(rèn)為理論語(yǔ)言只能通過(guò)對(duì)應(yīng)規(guī)則間接地部分地得到解釋?zhuān)�而且理論概念的意義還依賴(lài)于其所表述的理論本身。這樣，卡爾納普的經(jīng)驗(yàn)主義定義就被進(jìn)一步放寬，表明他離開(kāi)原來(lái)的實(shí)證主義立場(chǎng)已經(jīng)較遠(yuǎn)了。

　　 人工語(yǔ)言

　　卡爾納普區(qū)分了語(yǔ)言分析中的對(duì)象語(yǔ)言和元語(yǔ)言。元語(yǔ)言可以表述關(guān)于對(duì)象語(yǔ)言的理論，這一理論就是元邏輯，邏輯語(yǔ)法是其中的一部分�？�爾納普力圖使元語(yǔ)言精確化，構(gòu)造出一個(gè)精確的邏輯語(yǔ)法的概念系統(tǒng)。卡爾納普把邏輯語(yǔ)法嚴(yán)格地限于處理語(yǔ)言表述式的形式而不涉及其意義。在他看來(lái)，邏輯語(yǔ)法包括形成規(guī)則和變形規(guī)則，前者用以指定所用符號(hào)及規(guī)定符號(hào)如何構(gòu)成語(yǔ)句，后者指邏輯推理規(guī)則。卡爾納普認(rèn)為邏輯規(guī)則只涉及語(yǔ)言的形式，給定這兩種規(guī)則就是給定了一種語(yǔ)言。嚴(yán)格遵循這些規(guī)則所構(gòu)造出來(lái)的人工語(yǔ)言，可以精確地實(shí)現(xiàn)知識(shí)的邏輯重構(gòu)�？�爾納普提出了語(yǔ)言選擇的寬容原則，即人們可以自由地選擇不同的規(guī)則系統(tǒng)，從而選擇不同的邏輯，不同的語(yǔ)言。

　　卡爾納普區(qū)分了實(shí)質(zhì)的說(shuō)話(huà)方式與形式的說(shuō)話(huà)方式。他指出,在自然語(yǔ)言中,由于有一些論述語(yǔ)法的語(yǔ)句在形式上與論述對(duì)象的語(yǔ)句十分相似，因而被人們誤認(rèn)為是對(duì)象語(yǔ)句�？�爾納普把這些語(yǔ)句看作是偽對(duì)象語(yǔ)句，并認(rèn)為它們是哲學(xué)中偽問(wèn)題的一個(gè)重要來(lái)源。在他看來(lái)，這類(lèi)錯(cuò)誤之所以產(chǎn)生，就是因?yàn)槿藗冋`用了實(shí)質(zhì)方式表達(dá)本來(lái)應(yīng)該由形式方式表達(dá)的東西。一旦改用形式方式，即把它們譯成元語(yǔ)言的語(yǔ)法語(yǔ)句，就可以消除混亂和錯(cuò)誤。

　　卡爾納普在其早期,認(rèn)為哲學(xué)問(wèn)題只是語(yǔ)法問(wèn)題,元理論只包括語(yǔ)法。后來(lái)，由于受A.塔爾斯基的影響，認(rèn)識(shí)到哲學(xué)還應(yīng)包括語(yǔ)義分析，并把語(yǔ)義學(xué)看作是元理論的一部分�？�爾納普關(guān)于語(yǔ)義學(xué)的基本概念是事實(shí)真與邏輯真。他還區(qū)別內(nèi)涵和外延，認(rèn)為內(nèi)涵語(yǔ)義學(xué)的基本概念是名字和語(yǔ)句的意義、表達(dá)式的同義性、命題的分析性；外延語(yǔ)義學(xué)所處理的基本概念是個(gè)體、類(lèi)、真值等等。在此基礎(chǔ)上，卡爾納普用語(yǔ)義學(xué)概念解釋模態(tài)邏輯的概念，把命題的模態(tài)解釋為表述該命題的相應(yīng)語(yǔ)句的語(yǔ)義性質(zhì)。

　　 邏輯概率和歸納邏輯

　　卡爾納普為了修正他早期所提出的證實(shí)原則，便代之以確認(rèn)原則，主張科學(xué)知識(shí)與直接經(jīng)驗(yàn)之間的關(guān)系是科學(xué)假設(shè)從經(jīng)驗(yàn)證據(jù)取得一定程度的確認(rèn)。這一理論的中心概念是確認(rèn)度，也就是邏輯概率或稱(chēng)歸納概率。所謂邏輯概率就是把概率作為一個(gè)邏輯概念來(lái)處理，區(qū)別于以相對(duì)頻率為根據(jù)的統(tǒng)計(jì)概率。卡爾納普認(rèn)為，邏輯概率是一切不具有演繹必然性的歸納推理的基礎(chǔ)，關(guān)于邏輯概率的理論就是歸納邏輯。他指出，邏輯概率不屬于科學(xué)本身，而屬于科學(xué)邏輯即科學(xué)方法論，它要用元語(yǔ)言表述。邏輯概率的特點(diǎn)是，其概率值取決于語(yǔ)句之間的邏輯關(guān)系，而與經(jīng)驗(yàn)無(wú)關(guān)。邏輯概率的陳述是分析陳述，它確定語(yǔ)句之間定量的確認(rèn)關(guān)系，類(lèi)似于演繹邏輯確定語(yǔ)句之間的推論關(guān)系，從而歸納邏輯可給出假說(shuō)的相對(duì)于給定證據(jù)的確認(rèn)度。因此，他認(rèn)為歸納邏輯與演繹邏輯、歸納推理與演繹推理之間沒(méi)有根本性質(zhì)的區(qū)別。

　　卡爾納普設(shè)想了一套形式化的歸納邏輯，其中包括定義的確認(rèn)函數(shù)和給出一種普遍的估計(jì)理論。他還運(yùn)用歸納邏輯的思想，結(jié)合關(guān)于陳述內(nèi)容的語(yǔ)義學(xué)概念，對(duì)信息概念作了語(yǔ)義學(xué)的解釋。

　　卡爾納普的歸納邏輯研究存在著很多技術(shù)上的困難，他本人在這方面的工作遠(yuǎn)遠(yuǎn)沒(méi)有達(dá)到自己所設(shè)想的目標(biāo)。對(duì)他的這套設(shè)想，西方哲學(xué)界有不少人持懷疑態(tài)度。

　　[編輯]

　　卡爾納普的意義理論是邏輯學(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í)論，但本書(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)的類(lèi)別和順序（句法規(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ù)亩�義，他給出的定義是“在所有的狀態(tài)描述中為真”。在語(yǔ)義學(xué)中，意義被分析為外延和內(nèi)涵兩個(gè)方面。通過(guò)一系列L—概念，可以刻畫(huà)各種表達(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)行了形式刻畫(huà)，并給模態(tài)邏輯提供了第一個(gè)語(yǔ)義解釋?zhuān)�開(kāi)創(chuàng)了邏輯語(yǔ)義學(xué)和模態(tài)邏輯的研究的新局面，并對(duì)哲學(xué)中分析與綜合的區(qū)分以及語(yǔ)言意義問(wèn)題的討論提供了新的思想來(lái)源。