楊玉蘭

(重慶工商大學(xué)， 重慶 4300067)

邏輯學(xué)視域中的自然語(yǔ)言分析*

楊玉蘭

(重慶工商大學(xué)， 重慶 4300067)

從邏輯學(xué)視角出發(fā)，形式邏輯研究通過(guò)對(duì)“意義”概念的邏輯轉(zhuǎn)化來(lái)構(gòu)造作為工具的形式語(yǔ)言，并有效推進(jìn)自然語(yǔ)言分析的發(fā)展；以此為基礎(chǔ)，自然語(yǔ)言邏輯研究的興起在一定程度上彌補(bǔ)形式邏輯和傳統(tǒng)語(yǔ)法的欠缺。本研究初步梳理邏輯學(xué)中自然語(yǔ)言意義的分析情況并指出，如何將邏輯工具更有效地運(yùn)用于自然語(yǔ)言分析，如何更好地把邏輯學(xué)和語(yǔ)言學(xué)研究相結(jié)合，是自然語(yǔ)言邏輯研究須要進(jìn)一步思考的重要問(wèn)題。

邏輯學(xué)；自然語(yǔ)言；意義；自然語(yǔ)言邏輯

1 引言

在20世紀(jì)的語(yǔ)言研究發(fā)展史上，語(yǔ)言學(xué)家們通常把作為研究手段的形式邏輯引入語(yǔ)言結(jié)構(gòu)研究。這些研究包括索緒爾和葉姆斯列夫的語(yǔ)言形式與系統(tǒng)思想，也包括對(duì)語(yǔ)言結(jié)構(gòu)的形式化研究有重要突破的喬姆斯基和轉(zhuǎn)換生成學(xué)派的句法研究。雖然結(jié)構(gòu)主義在音位學(xué)、形態(tài)學(xué)、句法學(xué)等領(lǐng)域有突出的成就，但是當(dāng)涉及到語(yǔ)言的意義問(wèn)題時(shí)，就很少有被學(xué)術(shù)界所公認(rèn)的進(jìn)展。導(dǎo)致這一結(jié)果的原因大概就是早期語(yǔ)言學(xué)研究對(duì)語(yǔ)言的內(nèi)容層面，即語(yǔ)義研究的忽視。

初步考察相關(guān)研究可以發(fā)現(xiàn)，一些從形式邏輯出發(fā)的語(yǔ)言分析既關(guān)注了語(yǔ)言的結(jié)構(gòu)又揭示了語(yǔ)言的意義，這些研究“并沒(méi)有出現(xiàn)在狹義的語(yǔ)言學(xué)中，而是出現(xiàn)在形式邏輯中”(Allwood 1977：1)。雖然20世紀(jì)的邏輯學(xué)更多地將注意力集中在數(shù)理邏輯和數(shù)理語(yǔ)言學(xué)等方面，但是弗雷格(G. Frege)、羅素(B.Russell)、卡爾納普(R.Carnap)、賴辛巴赫(H.Reichenbach)、蒙塔古(R.Montague)等學(xué)者已經(jīng)開(kāi)始嘗試運(yùn)用邏輯方法對(duì)自然語(yǔ)言的結(jié)構(gòu)和語(yǔ)義展開(kāi)分析。盡管這些早期研究可能并不完善，但是現(xiàn)如今，在一般語(yǔ)言理論中采用數(shù)理邏輯的方法已經(jīng)變得日益普遍，深入考察相關(guān)研究的理論基礎(chǔ)，對(duì)于進(jìn)一步思考如何將邏輯工具更有效地運(yùn)用于自然語(yǔ)言分析，以及如何更好地把邏輯學(xué)和語(yǔ)言研究相結(jié)合等問(wèn)題無(wú)疑大有裨益。

2 邏輯學(xué)中的“意義”概念

普遍認(rèn)為，索緒爾的《普通語(yǔ)言學(xué)教程》沒(méi)有涉及語(yǔ)言意義問(wèn)題，布龍菲爾德的《語(yǔ)言論》也是在完全回避語(yǔ)言意義問(wèn)題的前提下研究語(yǔ)言的。早期語(yǔ)言學(xué)研究對(duì)意義的忽視很大程度上是由意義本身特點(diǎn)決定的?！罢Z(yǔ)言表達(dá)式的意義是一種具有抽象的和不可捉摸的性質(zhì)的實(shí)體?！?Allwood 1977：182)“意義具有模糊性”(李洪儒 2010：17)這個(gè)事實(shí)讓語(yǔ)義假設(shè)的證實(shí)或證否變得十分困難。這種語(yǔ)義假設(shè)促使形式邏輯重新解釋“意義”這一概念，以便盡可能將這類假設(shè)避開(kāi)。

2.1 “意義”與內(nèi)涵

以模型理論(model-theory)為基礎(chǔ)的邏輯語(yǔ)義學(xué)試圖用集合、函項(xiàng)這類純集合論的概念去解釋意義。由此，邏輯上所假定的語(yǔ)言表達(dá)式的內(nèi)涵是否可以和意義等同起來(lái)，這一問(wèn)題在某種意義上決定了邏輯語(yǔ)義學(xué)的理論基礎(chǔ)是否牢靠。

具體講，語(yǔ)言表達(dá)式的意義把它們同世界或世界中的實(shí)體相聯(lián)系，這種聯(lián)系有時(shí)具有復(fù)雜的形式。例如，一個(gè)謂詞和世界中能夠被它稱謂的實(shí)體的集合相聯(lián)系。如果要在邏輯語(yǔ)義學(xué)中避免假定抽象的、不可捉摸的實(shí)體，方法之一就是假設(shè)“如果一個(gè)人是講表達(dá)式的外延，那么就可以避免講表達(dá)式的意義”(Frege 1980：134)。然而這樣做就意味著必須把具有相同外延的非同義表達(dá)式(non-synonymous expression)如“現(xiàn)任美國(guó)總統(tǒng)”和“奧巴馬”看作是相同的，這就相當(dāng)于把表達(dá)式的內(nèi)涵和意義等同起來(lái)。事實(shí)上，了解一個(gè)表達(dá)式的外延并不必然地包含著了解它的內(nèi)涵，因?yàn)榉峭x表達(dá)式可能具有相同的外延。反之，如果一個(gè)人知道一個(gè)表達(dá)式的內(nèi)涵，也并不意謂著他一定知道這個(gè)表達(dá)式的外延，例如，我們完全了解表達(dá)式“是聰明的”的意義，可是并不確切知道誰(shuí)是聰明的，誰(shuí)是不聰明的。換言之，了解一個(gè)表達(dá)式的外延必須知道兩點(diǎn)：表達(dá)式的內(nèi)涵和現(xiàn)實(shí)世界中的事實(shí)。這可以說(shuō)是用內(nèi)涵規(guī)定外延的嘗試。用外延來(lái)解釋內(nèi)涵的概念可以把內(nèi)涵看作一個(gè)“外延決定原則”(extension-determining principle)(Allwood 1977：183)。這個(gè)原則是一個(gè)考察可能世界并找出一個(gè)表達(dá)式外延的規(guī)則。然而，把內(nèi)涵等同于從可能世界到外延的函項(xiàng)會(huì)產(chǎn)生很多困難。例如，模型論語(yǔ)義學(xué)(model-theoretical semantics)一般不會(huì)碰到這樣的困難：假定有某些邏輯上可能的世界，在那里司各特(W. Scott)沒(méi)有寫《威弗利》，那么作為兩個(gè)名詞短語(yǔ)‘司各特’和‘《威弗利》的作者’的內(nèi)涵的函項(xiàng)由于并不是對(duì)所有主目都有相同的值，因而彼此不同。然而，假如我們換一個(gè)弗雷格(1980：67)的例子：數(shù)學(xué)表達(dá)式“3+1”和“2+2”雖有相同的外延(“Bedeutung”)即“4”這個(gè)數(shù)，但有不同的內(nèi)涵(Sinn)。隱藏在這背后意思是，“3+1”和“2+2”表現(xiàn)了獲得相同結(jié)果的不同方式或程序?？墒牵绻袼阈g(shù)中對(duì)一個(gè)真值為真的語(yǔ)句所通常認(rèn)為的，“2+2=3+1”是一個(gè)邏輯真理，那么“2+2”和“3+1”的值在所有邏輯上可能的世界里都是相同的“4”這個(gè)數(shù)。換句話說(shuō)，表達(dá)式“3+1”和“2+2”相當(dāng)于從可能世界到數(shù)的相同的函項(xiàng)，因此必然具有相同的內(nèi)涵。概言之，如果我們把內(nèi)涵理解為從可能世界到實(shí)體的函項(xiàng)，那么邏輯上相等的表達(dá)式就表現(xiàn)為具有相同的內(nèi)涵。這一結(jié)論顯然就不再支持弗雷格內(nèi)涵是獲得外延的途徑的觀點(diǎn)。

學(xué)術(shù)界為了解決上述問(wèn)題提出很多方法，比如，Carnap(1947)認(rèn)為，語(yǔ)言上的同義(linguistic synonymy)不應(yīng)該定義為模型論意義上的內(nèi)涵同一，而是應(yīng)該包括他稱之為內(nèi)涵同構(gòu)(intentional isomorphism)的某種較強(qiáng)的東西。如果某種“組合表達(dá)式”(constituent expressions)具有相同內(nèi)涵，并且它們也同樣是由具有相同內(nèi)涵的成分構(gòu)成的，那么由這種組合表達(dá)式構(gòu)成的語(yǔ)言表達(dá)式就具有相同的內(nèi)涵。可以看出，這一觀點(diǎn)接近于弗雷格用Sinn所表示的意思。

2.2 “意義”與真值條件

在語(yǔ)言學(xué)中，把意義轉(zhuǎn)化為“真值條件”遭到很多學(xué)者的反對(duì)。很多從事語(yǔ)言哲學(xué)和邏輯學(xué)研究的人對(duì)“語(yǔ)句S是真的，當(dāng)且僅當(dāng)……”這一觀點(diǎn)非常熟悉，然而， 很多語(yǔ)言學(xué)家一聽(tīng)到“‘Snow is white.’當(dāng)且僅當(dāng)‘雪是白的’……”，就立即表示反對(duì)并指出，“真同語(yǔ)言學(xué)研究毫無(wú)關(guān)系”，并且，“說(shuō)明哪個(gè)語(yǔ)句是真的，哪個(gè)語(yǔ)句是假的，不是語(yǔ)言學(xué)家的任務(wù)”(Baldinger 1980：12)。這種反對(duì)事實(shí)上混淆了兩種完全不同的東西：一個(gè)語(yǔ)句的真值和一個(gè)語(yǔ)句的真值條件。說(shuō)明一種語(yǔ)言中哪些語(yǔ)句實(shí)際上是真的確實(shí)不是語(yǔ)言學(xué)研究的任務(wù)；然而說(shuō)明語(yǔ)句為真的條件，即這個(gè)語(yǔ)句在何種條件下是真的就須要考察語(yǔ)言的意義問(wèn)題。

如上文所述，假設(shè)我們把一個(gè)語(yǔ)句的內(nèi)涵看作一種原則，依據(jù)這種原則，我們可以在每個(gè)可能世界中賦予這個(gè)語(yǔ)句以真值，并且希望我們的理論具有某種“心理實(shí)在性”，即語(yǔ)言表達(dá)式所描寫的成分在某些方面與出現(xiàn)在語(yǔ)言使用者的心靈中的東西相對(duì)應(yīng)。如果事實(shí)如此，就會(huì)產(chǎn)生這樣的問(wèn)題：在賦值于一個(gè)語(yǔ)句以作為它的解釋，以及在了解一個(gè)陳述(statement)的實(shí)際表述時(shí)我們所做的，這二者之間是否具有任何相互關(guān)系。以語(yǔ)言表達(dá)式具有真值條件為基礎(chǔ)，我們可以期望當(dāng)聽(tīng)到一個(gè)陳述句時(shí)，就可以觀察這個(gè)世界并對(duì)在這個(gè)世界中這個(gè)語(yǔ)句是真的還是假的進(jìn)行考察。我們甚至還須要想象一下，當(dāng)這個(gè)語(yǔ)句是真的時(shí)候這個(gè)世界應(yīng)該是什么樣子；并且，如果我們認(rèn)為說(shuō)話人是值得信賴的，我們可以相應(yīng)地改變我們所想象的世界的觀念。這樣，似乎在真值條件語(yǔ)義學(xué)(truth conditional semantics)中關(guān)于語(yǔ)句的解釋和語(yǔ)句的了解過(guò)程之間并不是十分符合的。雖然如此，邏輯學(xué)家對(duì)這一點(diǎn)還是做出了相應(yīng)的研究。其中，這兩個(gè)觀點(diǎn)是值得借鑒的：“把可能的語(yǔ)言或語(yǔ)法作為抽象的語(yǔ)義系統(tǒng)來(lái)描寫，因而符號(hào)是與世界的各個(gè)方面相聯(lián)系的”，以及“關(guān)于心理的和社會(huì)的事實(shí)的描寫，因而這類抽象系統(tǒng)中的一個(gè)特殊系統(tǒng)是由個(gè)人或人群使用的系統(tǒng)”(Lewis 1972：170)。邏輯語(yǔ)義學(xué)只討論第一個(gè)問(wèn)題，而關(guān)于語(yǔ)言表達(dá)式的運(yùn)用問(wèn)題則與它無(wú)關(guān)。按照Lewis的觀點(diǎn)，“混淆”這兩個(gè)問(wèn)題“只能引起混亂”。當(dāng)然也有人反對(duì)這一觀點(diǎn)并認(rèn)為，相關(guān)研究只有從語(yǔ)言符號(hào)使用的研究中進(jìn)行抽象才有可能實(shí)現(xiàn)，因此應(yīng)該把語(yǔ)言作為聯(lián)系符號(hào)和世界各個(gè)方面的一種系統(tǒng)來(lái)研究。

事實(shí)上，邏輯語(yǔ)義學(xué)很少或者根本沒(méi)有明確說(shuō)明應(yīng)該怎樣對(duì)一個(gè)簡(jiǎn)單表達(dá)式的意義進(jìn)行解釋；相關(guān)研究仍然沿襲了傳統(tǒng)邏輯學(xué)中的觀點(diǎn)，這就使得意義看似很抽象。然而邏輯語(yǔ)義學(xué)對(duì)傳統(tǒng)邏輯的發(fā)展就在于，它對(duì)語(yǔ)義問(wèn)題研究的推進(jìn)使我們更加清楚地看到，從簡(jiǎn)單表達(dá)式的解釋獲得復(fù)雜表達(dá)式的解釋的方法。這可以說(shuō)是形式對(duì)語(yǔ)言意義研究的最重要貢獻(xiàn)。正因如此，“我們不應(yīng)該希望邏輯語(yǔ)義學(xué)確切地告訴我們?cè)谑裁辞闆r下‘下雨了’這樣的語(yǔ)句是真的；但是它能告訴我們?cè)谶@個(gè)語(yǔ)句和它的否定‘沒(méi)下雨’為真的各自情況下，它們之間的關(guān)系”(Allwood 1977：188)。

3 邏輯與自然語(yǔ)言分析

以對(duì)語(yǔ)言意義的形式轉(zhuǎn)化為基礎(chǔ)，邏輯學(xué)研究構(gòu)造了形式語(yǔ)言，它是進(jìn)一步分析自然語(yǔ)言意義的工具。隨著謂詞邏輯的局限性逐漸暴露，邏輯對(duì)于自然語(yǔ)言分析的適用性曾經(jīng)一度遭到質(zhì)疑，這直接導(dǎo)致了與形式邏輯相對(duì)立的自然語(yǔ)言邏輯研究的興起與發(fā)展。

3.1 作為工具的形式語(yǔ)言

我們普遍接受的觀點(diǎn)是，構(gòu)造自然語(yǔ)言語(yǔ)句的邏輯具有“隱性特征”。這就意味著，如果要把只關(guān)注語(yǔ)句形式的演繹規(guī)則加以形式化，就不能用自然語(yǔ)言為這些語(yǔ)句構(gòu)造這些演繹規(guī)則公式，而必須構(gòu)造一種用以翻譯自然語(yǔ)言的“形式語(yǔ)言/理想語(yǔ)言”(李洪儒 2006：29)。弗雷格與羅素都曾明確提到，這就是創(chuàng)立形式語(yǔ)言的主要?jiǎng)訖C(jī)之一(Frege 1980，Russel 1995)。

隱性結(jié)構(gòu)的概念在喬姆斯基的轉(zhuǎn)換語(yǔ)法中也很受重視，這是因?yàn)樵谵D(zhuǎn)換語(yǔ)法里表層結(jié)構(gòu)和深層結(jié)構(gòu)之間的區(qū)別對(duì)于構(gòu)造轉(zhuǎn)換規(guī)則具有重要作用。在喬姆斯基的“標(biāo)準(zhǔn)理論”(standard theory)(1965)中，一個(gè)語(yǔ)句的深層結(jié)構(gòu)是處在底層的語(yǔ)法結(jié)構(gòu)，它決定這個(gè)語(yǔ)句的語(yǔ)義解釋。標(biāo)準(zhǔn)理論所帶來(lái)的語(yǔ)義研究熱潮導(dǎo)致了生成語(yǔ)義學(xué)派的形成。這一學(xué)派的主要代表人物有Lakoff，McCawley，Postal，Ross等。這些學(xué)者認(rèn)為，語(yǔ)句的深層結(jié)構(gòu)同它的“語(yǔ)義表現(xiàn)”(semantic representation)(Lakoff 1987)是相同的。這種“語(yǔ)義表現(xiàn)”與謂詞邏輯中的公式非常相似。進(jìn)一步講，Lakoff等人所提出的“語(yǔ)義表現(xiàn)”和Chomsky的“語(yǔ)義解釋”具有顯著區(qū)別。一個(gè)語(yǔ)義表現(xiàn)是顯示一個(gè)語(yǔ)句的意義的方式，而不是意義本身。因此，一個(gè)語(yǔ)義表現(xiàn)實(shí)際上往往是使用另一種語(yǔ)言的表達(dá)式。特別是當(dāng)我們把謂詞邏輯中的公式看作英語(yǔ)或其他人類語(yǔ)言的表達(dá)式的語(yǔ)義來(lái)表現(xiàn)的時(shí)候，這一點(diǎn)是顯而易見(jiàn)的：這些表現(xiàn)也是一種具有自己的語(yǔ)法和語(yǔ)義的語(yǔ)言——謂詞邏輯語(yǔ)言中的表達(dá)式。換言之，同語(yǔ)義表現(xiàn)和表層結(jié)構(gòu)形式有關(guān)的規(guī)則必須由解釋語(yǔ)義表現(xiàn)的規(guī)則來(lái)補(bǔ)充。

由于把語(yǔ)義表現(xiàn)沒(méi)有歧義看作區(qū)別語(yǔ)義表現(xiàn)和表層語(yǔ)法結(jié)構(gòu)的主要特點(diǎn)之一，我們可以說(shuō)，當(dāng)我們提供語(yǔ)義表現(xiàn)而不管它們的實(shí)際語(yǔ)義到底是什么的時(shí)候，一種無(wú)歧義的語(yǔ)言就被創(chuàng)造出來(lái)了，這種語(yǔ)言不是為一個(gè)語(yǔ)句提供語(yǔ)義解釋的最后結(jié)果，而僅僅是中間的一個(gè)必要的步驟。因此，應(yīng)該遵循的過(guò)程是“語(yǔ)法結(jié)構(gòu)——無(wú)歧義語(yǔ)言中的表達(dá)式——語(yǔ)義解釋”。此處可能產(chǎn)生的疑問(wèn)是，中間步驟是否完全必要，我們?yōu)槭裁床荒苡谩罢Z(yǔ)法結(jié)構(gòu)——語(yǔ)義解釋”的簡(jiǎn)單模式來(lái)代替。事實(shí)上，語(yǔ)義解釋規(guī)則可以不受任何限制而使一個(gè)語(yǔ)句具有不同的輸出。對(duì)于中間步驟這一問(wèn)題，可以提出幾種可能的解釋，比如，語(yǔ)言表達(dá)式的語(yǔ)義分析要求能夠建立形式演繹規(guī)則(Carnap 1947)。本研究認(rèn)為，使用一種無(wú)歧義語(yǔ)言從根本上是因?yàn)?，我們?cè)谌魏吻闆r下都需要某種論及語(yǔ)義解釋的方法，從而必須構(gòu)造一種無(wú)歧義的語(yǔ)言來(lái)達(dá)到這一目的。這是因?yàn)椤罢Z(yǔ)義表現(xiàn)”或無(wú)歧義語(yǔ)言中的表達(dá)式僅僅是一種具有輔助作用的工具性設(shè)計(jì)，它們本身并沒(méi)有獨(dú)立地位。在使用這種形式語(yǔ)言時(shí)，我們須要注意的是不能把無(wú)歧義語(yǔ)言的語(yǔ)法范疇，即“語(yǔ)句”、“謂詞”等，和語(yǔ)義解釋的范疇，即“命題”、“屬性”等概念混為一談。

在后來(lái)的邏輯語(yǔ)義學(xué)研究中，把形式語(yǔ)言作為賦予英語(yǔ)語(yǔ)句以語(yǔ)義解釋過(guò)程中的一個(gè)中間步驟，這已經(jīng)被蒙塔古在他的一些論文中所驗(yàn)證并使用。在他的著作中，無(wú)歧義的形式語(yǔ)言的輔助性質(zhì)，即工具性被十分清楚的展現(xiàn)出來(lái)。

3.2 謂詞邏輯的局限性

自然語(yǔ)言研究的不斷發(fā)展引出這一問(wèn)題，即由謂詞邏輯所構(gòu)成的形式語(yǔ)言作為輔助自然語(yǔ)言分析的語(yǔ)義模式并不完善。因?yàn)橐浑A謂詞邏輯常常被看作一種古典的邏輯系統(tǒng)，所以我們可以嘗試對(duì)自然語(yǔ)言中的某些區(qū)別在謂詞邏輯中有無(wú)相應(yīng)的體現(xiàn)作出判斷，并且進(jìn)一步思考這些區(qū)別是否具有語(yǔ)言意義上的相關(guān)性。

相關(guān)研究早已發(fā)現(xiàn)，只有少數(shù)自然語(yǔ)言的“語(yǔ)句聯(lián)接詞”(并列連詞)和“量詞”(數(shù)詞、表示量的形容詞等)可以直接翻譯到謂詞邏輯中。并且很多研究已經(jīng)證明，對(duì)“所有女孩子都是漂亮的”這類語(yǔ)句的形式化始終存在著一些疑問(wèn)。其中主要有，自然語(yǔ)言的主要詞匯類別(名詞、形容詞和動(dòng)詞)之間的區(qū)別沒(méi)有在謂詞邏輯中得到確認(rèn)；專有名詞被譯為個(gè)體名詞；普通名詞、形容詞和動(dòng)詞則合在一起作為謂詞。有些邏輯學(xué)家和生成語(yǔ)義學(xué)的支持者主張，這既是謂詞邏輯的一個(gè)優(yōu)點(diǎn)，也是傳統(tǒng)語(yǔ)法的一個(gè)缺點(diǎn)。然而詞匯類型顯然是在語(yǔ)義上具有相關(guān)性的。怎樣才能掌握它們中間的區(qū)別，仍然是一個(gè)沒(méi)有解決的問(wèn)題。此外，普通名詞的次類(可數(shù)名詞和物質(zhì)名詞)在謂詞邏輯中也沒(méi)有對(duì)應(yīng)的部分。一般來(lái)說(shuō)，帶有物質(zhì)名詞的語(yǔ)句很難用謂詞邏輯的語(yǔ)言加以公式化，例如：

① Gold is scarce these days but I bought some today.

還有一些詞類在邏輯中甚至完全沒(méi)有相應(yīng)的部分，如從屬連詞、介詞以及各種副詞等。除了語(yǔ)義相關(guān)的詞類對(duì)應(yīng)上的空缺，謂詞邏輯最嚴(yán)重的局限大概就是它只能討論直陳句，命令句和疑問(wèn)句則完全排除在系統(tǒng)之外，因?yàn)檫@些類型的語(yǔ)句在言語(yǔ)活動(dòng)中具有完全不同的功能——它們不是用來(lái)傳達(dá)關(guān)于世界的知識(shí)的。雖然邏輯學(xué)領(lǐng)域相關(guān)研究已經(jīng)作出了建立“命令邏輯”和“問(wèn)題邏輯”(Montague 1974)的努力。但是，相關(guān)研究在如何正確處理這些語(yǔ)句的類型上產(chǎn)生分歧。有些邏輯學(xué)家和語(yǔ)言學(xué)家認(rèn)為，把這類語(yǔ)句作為特殊類型的直陳句是可能的，并且，這種嘗試將有可能賦予這些語(yǔ)句以真值條件。一個(gè)廣為流傳的理論與“假說(shuō)運(yùn)用”(performative hypothesis)相關(guān)。按照這一理論，所有語(yǔ)句都應(yīng)該有底層結(jié)構(gòu)，在底層結(jié)構(gòu)中最高級(jí)別的從句(clause)是說(shuō)話人說(shuō)出的關(guān)于他正在進(jìn)行的言語(yǔ)活動(dòng)的一個(gè)陳述；例如，一個(gè)命令語(yǔ)句可能具有底層結(jié)構(gòu)“我命令你S”(I order you that S)。然而，陳述句的意義就是我們?cè)谝话闱闆r下所了解的意義，有些很難解釋其真值條件。例如，很難設(shè)想這樣一種情況，雖然②a里的一個(gè)語(yǔ)句可能是真的，同時(shí)②b是假的，但是二者還是在意義上有明確的區(qū)分。

② a. 這只玻璃杯是半空的。

b. 這只玻璃杯是半滿的。

另外，還有人提出直陳句語(yǔ)義的哪一方面可以看作真值條件也是存在分歧的。我們可以提出③和④這類表示價(jià)值判斷的語(yǔ)句，而這類語(yǔ)句通常無(wú)法判斷真假。

③ 沒(méi)有結(jié)婚而發(fā)生性關(guān)系是不道德的。

④ 彌爾頓是一位偉大的詩(shī)人。

雖然謂詞邏輯具有諸多局限性，但是邏輯學(xué)家和語(yǔ)言學(xué)家現(xiàn)在仍然力求擴(kuò)展謂詞邏輯，或者建立更加適用于作為自然語(yǔ)言的語(yǔ)義模式的其他系統(tǒng)。當(dāng)然，對(duì)于他們的工作到底能否取得突破性的進(jìn)展，以及邏輯語(yǔ)義學(xué)的基本概念是否適宜于處理自然語(yǔ)言等問(wèn)題，還有待進(jìn)一步研究。

3.3 自然語(yǔ)言邏輯研究

“語(yǔ)言邏輯”一詞最早出現(xiàn)在維特根斯坦的《邏輯哲學(xué)論》中。只是前期維特根斯坦所說(shuō)的語(yǔ)言邏輯主要針對(duì)理想語(yǔ)言而言(謝萌 2012：13)，并不是此處所討論的“自然語(yǔ)言邏輯”。目前，學(xué)術(shù)界普遍把誕生于20世紀(jì)70年代的蒙太格語(yǔ)法作為自然語(yǔ)言邏輯誕生的標(biāo)志，這大概是因?yàn)槊商裨诜懂犝Z(yǔ)法的基礎(chǔ)上，采用模型論方法構(gòu)造自然語(yǔ)言的語(yǔ)義解釋，開(kāi)創(chuàng)了全面系統(tǒng)運(yùn)用現(xiàn)代邏輯工具研究自然語(yǔ)言的方向，即自然語(yǔ)言的形式語(yǔ)義學(xué)研究方向。也有學(xué)者認(rèn)為(夏年喜 2004)，最先明確提出建立自然語(yǔ)言邏輯的是美國(guó)當(dāng)代語(yǔ)言學(xué)家Lakoff在LinguisticsandnaturalLogic(1989)一文指出，“自然邏輯，一種為自然語(yǔ)言建立的邏輯，其目標(biāo)是表達(dá)所有可以在自然語(yǔ)言中加以表達(dá)的概念，說(shuō)明所有可以用自然語(yǔ)言做出的有效推理，而且結(jié)合這些對(duì)所有的自然語(yǔ)言進(jìn)行適當(dāng)?shù)恼Z(yǔ)言學(xué)描述”。然而，無(wú)論以哪位學(xué)者的研究為開(kāi)端和標(biāo)志都不可否認(rèn)的是，運(yùn)用現(xiàn)代邏輯工具研究自然語(yǔ)言在邏輯學(xué)界、語(yǔ)言學(xué)界已成為一種時(shí)尚。由于和數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能都有著密切的聯(lián)系，形式語(yǔ)義學(xué)已經(jīng)處于邏輯學(xué)、語(yǔ)言學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能等研究的交匯點(diǎn)。這使得自然語(yǔ)言邏輯研究不僅具有理論價(jià)值，而且具有實(shí)用價(jià)值。

在形式邏輯不斷受到質(zhì)疑的同時(shí)，邏輯學(xué)界和語(yǔ)言學(xué)界共同展開(kāi)對(duì)自然語(yǔ)言邏輯的研究。因此可以說(shuō)，“自然語(yǔ)言邏輯是邏輯學(xué)和語(yǔ)言學(xué)相互作用、相互滲透的產(chǎn)物，是介于現(xiàn)代邏輯和形式語(yǔ)言學(xué)之間的交叉學(xué)科。它既不同于通常意義下的邏輯學(xué)，不屬于純邏輯；也不同于通常意義下的語(yǔ)言學(xué)，不屬于純語(yǔ)言學(xué)。但它蓬勃發(fā)展的態(tài)勢(shì)、強(qiáng)勁的生命力，卻是邏輯學(xué)和語(yǔ)言學(xué)的其他分支所不能比擬的”(夏年喜 2004：28)。目前，關(guān)于自然語(yǔ)言邏輯的研究已經(jīng)形成了一定成果。就國(guó)內(nèi)學(xué)術(shù)界而言，首先提出研究自然語(yǔ)言邏輯的是周禮全先生。在他的倡導(dǎo)下，一批學(xué)者埋頭于相關(guān)研究并形成了豐碩的研究成果，如馬佩(1987)《語(yǔ)言邏輯基礎(chǔ)》、胡澤洪(1991)《語(yǔ)言邏輯與言語(yǔ)交際》和(1995)《語(yǔ)言邏輯與認(rèn)識(shí)論邏輯》、張惠民(1995)《語(yǔ)言邏輯辭典》、周曉林(1999)《自然語(yǔ)言邏輯引論》。鄒崇理(1995)《邏輯、語(yǔ)言和蒙太格語(yǔ)法》、(2000)《自然語(yǔ)言邏輯研究》和(2002)《邏輯、語(yǔ)言和信息》不僅全面系統(tǒng)地介紹了國(guó)外自然語(yǔ)言邏輯，尤其是邏輯語(yǔ)義學(xué)的研究成果，而且還嘗試性地對(duì)漢語(yǔ)時(shí)態(tài)范疇做出形式語(yǔ)義學(xué)處理。

4 結(jié)束語(yǔ)

無(wú)論是形式邏輯還是自然語(yǔ)言邏輯，無(wú)論是邏輯語(yǔ)言分析還是自然語(yǔ)言分析，邏輯學(xué)和語(yǔ)言學(xué)研究致力于解決的核心問(wèn)題都是語(yǔ)言的意義問(wèn)題。J. Allwood(1977：195)指出，對(duì)邏輯學(xué)基本思想和概念的掌握對(duì)于學(xué)習(xí)任何當(dāng)代語(yǔ)義學(xué)著作都是重要的；邏輯學(xué)家所考察的很多問(wèn)題同時(shí)也是幾乎所有語(yǔ)言意義研究的中心問(wèn)題，例如，哪一類對(duì)象或?qū)嶓w是語(yǔ)言表達(dá)式的意義？語(yǔ)言表達(dá)式是怎樣與外在世界中的事物產(chǎn)生聯(lián)系的？我們?cè)鯓佑糜邢薜恼Z(yǔ)義規(guī)則去描寫無(wú)限的語(yǔ)句意義？等等。即使對(duì)這些問(wèn)題的現(xiàn)有回答并不完善，傳統(tǒng)邏輯學(xué)和生成語(yǔ)法的有益嘗試表明，我們還是可以透過(guò)相關(guān)問(wèn)題的分歧和局限獲得關(guān)于語(yǔ)言新的理解。

從邏輯學(xué)視角出發(fā)，語(yǔ)言意義的形式化研究有效地推進(jìn)了自然語(yǔ)言分析的發(fā)展，尤其是自然語(yǔ)言邏輯研究的興起在一定程度上彌補(bǔ)了形式邏輯和傳統(tǒng)語(yǔ)法的欠缺。盡管自然語(yǔ)言邏輯還未形成明確的學(xué)科體系，但是相應(yīng)的邏輯學(xué)和語(yǔ)言學(xué)研究都或多或少地預(yù)示了相關(guān)研究的未來(lái)發(fā)展趨勢(shì)。如何將邏輯工具更有效地運(yùn)用于自然語(yǔ)言分析、如何更好地把邏輯學(xué)和語(yǔ)言學(xué)研究相結(jié)合等是這門新興交叉學(xué)科所面臨的重要問(wèn)題。

李洪儒. 系詞——人在語(yǔ)句中的存在家園——語(yǔ)言哲學(xué)系列探索之二[J]. 外語(yǔ)學(xué)刊, 2006(2).

李洪儒. 索緒爾語(yǔ)言學(xué)的語(yǔ)言本體論預(yù)設(shè)——語(yǔ)言主觀意義論題的提出[J]. 外語(yǔ)學(xué)刊, 2010(6).

夏年喜. 自然語(yǔ)言邏輯研究的現(xiàn)狀與趨勢(shì)[J]. 哲學(xué)動(dòng)態(tài), 2004(6).

謝 萌. “圖像論”意義觀的本體論解讀[J]. 外語(yǔ)學(xué)刊, 2012(6).

鄒崇理. 邏輯、語(yǔ)言和蒙太格語(yǔ)法[M]. 北京：社會(huì)科學(xué)文獻(xiàn)出版社, 1995.

鄒崇理. 自然語(yǔ)言邏輯研究[M]. 北京：人民出版社, 2000.

Allwood, J.LogicinLinguistics[M]. Cambridge: Cambridge University Press, 1977.

Baldinger, K.SemanticTheory:TowardsaModernSemantics[M]. Oxford: Basil Blackwell, 1980.

Carnap, R.MeaningandNecessity[M]. Chicago: University of Chicago Press, 1947.

Chomsky, N.AspectsofaTheoryofSyntax[M]. Cambridge, Mass.: M. I. T. Press, 1965.

Frege, G.TheFoundationsofArithmetic[M]. Oxford: Blackwell, 1980.

Lakoff, G.Women,Fire,andDangerousThings:WhatCate-goriesRevealabouttheMind[M]. Chicago: The University of Chicago Press, 1987.

Lakoff, G. Linguistics and Natural Logic[J].SemanticsofNaturalLanguage, Vol. 5(2), 1989.

Lewis, D.GeneralSemantics[M]. Oxford: Blackwell, 1972.

Montague, R.FormalPhilosophy:SelectedPapersofRichardMontague[C]. New Haven & London: Yale University Press, 1974.

Reichenbach, H.ElementsofSymbolicLogic[M]. New York: Free Press, 1966.

Russell, B.MyPhilosophicalDevelopment[M]. Philadelphia: Psychology Press, 1995.

【責(zé)任編輯謝 群】

NaturalLanguageAnalysisinViewofLogic

Yang Yu-lan

(Chongqing Technology and Business University，Chongqing 4300067，China)

From the view of Logic, by logical transformation of the concept “meaning”, formal logic study constructs formal language as a type of tool, by which the promotion of natural language analysis development has been successfully pushed forward. On this basis, the rise of natural language logic study made up for the deficiency of formal logic and traditional grammar to some extent. This article preliminarily based logic study on natural language meaning analysis and bring up the idea that, questions like ‘how to make use of logic tool more effectively in natural language analysis’, ‘how to better integrated Logic research and Linguistics study’, etc. are main issues which need further consideration in natural language logic study.

logic; natural language; meaning; natural language logic

B81

A

1000-0100(2014)04-0088-5

*本文系教育部重點(diǎn)基地重大項(xiàng)目“語(yǔ)言哲學(xué)與語(yǔ)言學(xué)的整合性研究”(10JJD740004)的階段性成果。

2013-06-21