滿海霞

一、引 言

邏輯語義學(xué)(又稱形式語義學(xué)、語言邏輯)是邏輯學(xué)和語言學(xué)的交叉學(xué)科。它始于20世紀(jì)70年代初，以美國邏輯學(xué)家蒙太格(Montague)發(fā)表的The Proper Treatment of Quantification in Ordinary English為標(biāo)志。邏輯語義學(xué)以自然語言的意義為研究對(duì)象，利用現(xiàn)代邏輯為其研究工具，探索復(fù)合表達(dá)式的意義如何由其組成部分的意義組合而來。這一核心思想，被稱為組合原則①關(guān)于組合性原則的討論，參見鄒崇理《組合原則》，《邏輯學(xué)研究》2008年第1期。(Principle of Compositionality)。邏輯語義學(xué)還認(rèn)為，語義不是孤立的，語義與句法之間具有同構(gòu)關(guān)系，語義上由小到大的組合，與句法的組合方式也有關(guān)系。比如，在蒙太格語法(Montague Grammar)中，以上同構(gòu)關(guān)系表現(xiàn)為一條句法規(guī)則匹配一條語義規(guī)則，因此，這一思想也被稱為規(guī)則對(duì)規(guī)則假設(shè)。組合原則是邏輯語義學(xué)的核心法則。

對(duì)于自然語言來說，語義不如句法直觀，它看不見、摸不著，不容易檢驗(yàn)，所以通常情況下，對(duì)組合原則的探索除了借助語義推理運(yùn)算，一個(gè)更重要的依據(jù)是它與句法間的同構(gòu)關(guān)系。采取什么樣的句法理論往往決定了語義系統(tǒng)的本質(zhì)和刻畫精度。在過去近半個(gè)世紀(jì)時(shí)間里，從“原創(chuàng)”句法規(guī)則(如蒙太格的PTQ系統(tǒng))，到吸納和借鑒當(dāng)代句法理論的已有成果為己所用②B.Partee，Compositionality in Formal Semantics:Selected papers by Barbara H.Partee，Malden:Blackwell Publishing，2005;A.Kratzer，Modals and Conditionals，Oxford:Oxford University press，2012.，邏輯語義學(xué)家越來越關(guān)注當(dāng)代句法學(xué)的理論成就。由于采用了更精致的句法系統(tǒng)，邏輯語義學(xué)對(duì)語義的生成愈加細(xì)致精準(zhǔn)。

邏輯語義學(xué)借鑒的句法框架大致可分為轉(zhuǎn)換生成語法和非轉(zhuǎn)換生成語法兩種。前者作為探索自然語言生成過程的機(jī)制非常成功，但是由于它將自然語言分為表層和底層，不適于只能看到表層字符串的機(jī)器進(jìn)行語言處理。因此，計(jì)算語言學(xué)家構(gòu)建了一批與轉(zhuǎn)換生成語法生成力等價(jià)且不使用轉(zhuǎn)換手段的單層結(jié)構(gòu)語法。兩類語法一個(gè)關(guān)照細(xì)瑣的語言事實(shí)，一個(gè)照顧信息處理的需求，各有所長。本文將借助Heim＆Krater的語義系統(tǒng)和組合范疇語法CCG分別討論在兩類句法框架下如何實(shí)現(xiàn)句法和語義的平行推演，兩種方法之間有何種轉(zhuǎn)換關(guān)系，最后利用轉(zhuǎn)換生成語法對(duì)表存在和完成的兩類“有”的分析在CCG框架下做出統(tǒng)一的語義生成。

二、基于轉(zhuǎn)換語法和非轉(zhuǎn)換語法的邏輯語義系統(tǒng)

(一)Heim＆Kratzer的邏輯語義系統(tǒng)

在《生成語法的語義學(xué)》①I.Heim，A.Kratzer，Semantics in Generative Grammar，Oxford:Blackwell Publishers，1998.一書中，Heim＆Kratzer以轉(zhuǎn)換語法的生成樹結(jié)構(gòu)為句法系統(tǒng)構(gòu)建了一套外延語義系統(tǒng)，對(duì)修飾語、代詞、量詞等具體語言問題做了語義生成。該書對(duì)語義系統(tǒng)(以下簡稱HM語義系統(tǒng))的構(gòu)造方法基本成為本方向研究的公認(rèn)做法。HM語義系統(tǒng)是蒙太格語法利用生成句法系統(tǒng)的延續(xù)，它首先定義句法樹上終端節(jié)點(diǎn)成分的語義值，使得兩個(gè)句法組成成分在毗連組成更大句法成分的同時(shí)，其語義值根據(jù)語義運(yùn)算規(guī)則運(yùn)算出更大句法成分的語義，直到得到語句的成真條件(truth－condition)，獲得語句的意義②HM系統(tǒng)仍使用真值條件模型論的方法，認(rèn)為句子的意義就是它的成真條件。其運(yùn)算方式既可以從句法樹的最底端向上逐步推進(jìn)，也可以始自頂部，假設(shè)該句成真，向下將其化整為零，最后亦可同樣得到成真條件。此處主要介紹自底向頂?shù)淖龇?，二者道理相同。?/p>

在HM語義系統(tǒng)中，可能作為語義值的有:(1)a ∈De，De為個(gè)體的集合;(2)b ∈Dt，Dt為真值集合{0，1};(3)c∈DDte。對(duì)于句法樹上的任意節(jié)點(diǎn)α，其語義值［|α|］是基于類型的λ－項(xiàng)，若α為終端節(jié)點(diǎn)，則［|α|］在詞庫中有定義。分叉樹上的節(jié)點(diǎn)根據(jù)以下六條規(guī)則進(jìn)行語義運(yùn)算:

a.終端節(jié)點(diǎn)規(guī)則(TN):如果α是終端節(jié)點(diǎn)，則［|α|］為α在詞庫中的語義定義。

b.非終端節(jié)點(diǎn)規(guī)則(NN):如果α是非終端節(jié)點(diǎn)，β是其唯一子節(jié)點(diǎn)，則［|α|］ = ［|β|］。

c.函項(xiàng)應(yīng)用規(guī)則(FA):如果α是二分叉樹的母節(jié)點(diǎn)，{β，γ}是α的子節(jié)點(diǎn)集，且［|β|］是函項(xiàng)，［|β|］的定義域包含［|γ|］，則［|α|］ =［|β|］(［|γ|］)。

d.謂詞修飾規(guī)則(PM):如果α是二分叉樹的母節(jié)點(diǎn)，{β，γ}是α的子節(jié)點(diǎn)集，且［|β|］和［|γ|］都在 D〈e，t〉中，那么 ［|α|］ = λx.［|β |］(x)∧［|γ|］(x)。

e.語跡和代詞規(guī)則(TP):如果α是代詞或者語跡t，g是對(duì)變?cè)囊粋€(gè)賦值，i在g的定義域中，則［|αi|］g=g(i)。

f.謂詞抽象規(guī)則(PA):若α是二分叉樹的母節(jié)點(diǎn)，它包含且僅包含β和γ為其子節(jié)點(diǎn)，如果β只統(tǒng)治數(shù)字索引標(biāo)記i，那么，對(duì)于任何變?cè)x值 g，［|α|］g= λx. ［|γ|］ax/i。

用實(shí)例分析如下:

(1)是著名的量化歧義句，它有全稱量詞取寬域(對(duì)于每個(gè)語言學(xué)家，都有一位可能不同的邏輯學(xué)家喜歡他)和存在量詞取寬域(存在至少一位邏輯學(xué)家，他喜歡每一位語言學(xué)家)兩種解讀，句法結(jié)構(gòu)分別對(duì)應(yīng)(2)和(3)。先看全稱量詞取寬域解讀的生成。依據(jù)句法結(jié)構(gòu)(2)、語義運(yùn)算規(guī)則a－f和詞庫定義，Sa成真條件的具體演算過程如(4)所示。

(2)

(3)

因此得到(2)式解讀的成真條件:?z［linguist′(z)→ ?x［logician ′(x)∧likes ′(z)(x)］］。類似的，依據(jù)句法樹(3)，可以計(jì)算得到存在量詞取寬域的成真條件為?x［logician′(x)∧?z［linguist′(z)→likes′(z)(x)］］，因?yàn)榫浞?3)較(2)多了一次量詞移位，所以依據(jù)(3)的語義運(yùn)算過程需要多進(jìn)行一次謂詞抽象和一次針對(duì)語跡的變?cè)x值。

以上運(yùn)算說明，利用轉(zhuǎn)換生成語法作為句法系統(tǒng)計(jì)算自然語言語句的語義，優(yōu)點(diǎn)大致有三:其一，轉(zhuǎn)換生成樹為二分叉結(jié)構(gòu)，根據(jù)語義運(yùn)算規(guī)則FA①HM系統(tǒng)中的其他規(guī)則從根本上講也都遵守函項(xiàng)貼合思想，可以由FA規(guī)則直接或間接推得。比如PM規(guī)則實(shí)際是廣義布爾合取規(guī)則的簡化。關(guān)于廣義布爾合取規(guī)則的討論，參見B.Partee，R.Mats，Generalized Conjunction and Type Ambiguity，R.B?uerle，C.Shwarze，von Stechow(eds.).Meaning，Use and Interpretation of Language，New York:Walter de Gruyter.1983.，同一母節(jié)點(diǎn)下的兩個(gè)子節(jié)點(diǎn)在語義上一個(gè)是函項(xiàng)、一個(gè)是論元，使二分樹直觀地貫徹了語義的函項(xiàng)貼合思想，保證兩個(gè)同級(jí)節(jié)點(diǎn)做句法毗連結(jié)合成更大句法單位的同時(shí)，其語義值做函項(xiàng)貼合運(yùn)算生成相應(yīng)的語義值。其二，轉(zhuǎn)換生成語法將語句的句法結(jié)構(gòu)分為表層結(jié)構(gòu)②即直接成分結(jié)構(gòu)。和深層結(jié)構(gòu)，語句的語義解讀由深層結(jié)構(gòu)決定。這樣一來，轄域歧義句(1)之所以有兩種解讀，是因?yàn)樗诰浞ㄉ顚訉?duì)應(yīng)兩個(gè)結(jié)構(gòu)(2)和(3)，每種句法結(jié)構(gòu)產(chǎn)生一種轄域解讀。其三，轉(zhuǎn)換生成語法對(duì)特定語言現(xiàn)象的句法解釋，對(duì)語義生成也有所助益。例如，轉(zhuǎn)換生成語法認(rèn)為量詞詞組與普通名詞短語不同，不能處在動(dòng)詞的論元位置，而需提升到S節(jié)點(diǎn)以上，并在其原來的論元位置上留下受到量詞詞組約束的語跡t③梅德明、楊春雷:《英語量詞理論的對(duì)比研究》，《外國語》2002年第5期。，這種量詞提升的操作在語義上解決了量詞短語(語義類型為〈〈e，t〉，〈〈e，t〉，t〉④加類型的λ－項(xiàng)之間按照以下規(guī)則進(jìn)行運(yùn)算:(i)如果t1是類型為＜a，b＞的項(xiàng)，t2是類型為a的項(xiàng)，則t1(t2)是類型為b的項(xiàng);(ii)如果t是類型為b的項(xiàng)，x是類型為a的變?cè)?，則λx.t的類型為＜a，b＞。)做賓語與謂語動(dòng)詞(類型為〈e，〈e，t〉〉)語義類型不匹配的問題。

毋庸置疑，基于轉(zhuǎn)換生成語法思想探索意義的組合原則是從蒙太格系統(tǒng)中規(guī)則對(duì)規(guī)則操作向前邁進(jìn)的一步，它對(duì)當(dāng)代句法理論的選擇性接受使得語義生成愈加精細(xì)。但是，從信息處理角度看，轉(zhuǎn)換生成語法所提供的深層句法結(jié)構(gòu)往往偏離語句的表層結(jié)構(gòu)甚遠(yuǎn)，若要讓只能看到表層字符串的計(jì)算機(jī)依據(jù)深層句法進(jìn)行語句識(shí)別和語義生成，執(zhí)行難度非同一般。計(jì)算語言學(xué)家關(guān)心的，是轉(zhuǎn)換生成語法的描述和發(fā)現(xiàn)能否用非轉(zhuǎn)換的語法表達(dá)出來，從而讓機(jī)器可以直接通過語句的表層結(jié)構(gòu)計(jì)算句子的句法甚至語義。出于這一思考，Steedman①A.Ades，M.Steedman，On The Order of Words，Linguistics and Philosophy，vol.4，no.4，1982;M.Steedman，Surface Structure and Interpretation，Cambridge MA:MIT Press.1996;M.Steedman，The Syntactic Process，Cambridge，Massachusetts:MIT Press.2000;M.Steedman，Scope taking:the Natural Semantics of Quantifiers，Cambridge＆ London:MIT press.2012.構(gòu)造了與轉(zhuǎn)換生成語法生成力相同、但不使用轉(zhuǎn)換規(guī)則的單層語法——組合范疇語法CCG。②滿海霞:《組合范疇語法與其計(jì)算特征》，《畢節(jié)學(xué)院學(xué)報(bào)》2013年第6期。

(二)單層語法CCG

CCG的理論基礎(chǔ)是范疇語法，顧名思義，CCG句法將自然語言語詞之間的毗連貼合體現(xiàn)為基于語詞所對(duì)應(yīng)范疇的推演運(yùn)算。比如英語語句“John hits Mary”的CCG推演為(5)，其中“hits”的句法范疇(6a)與其兩個(gè)論元分別依據(jù)向前(＞)和向后(＜)的范疇貼合規(guī)則做運(yùn)算。我們將(5)自底部翻轉(zhuǎn)過來，將每兩個(gè)節(jié)點(diǎn)的結(jié)合過程轉(zhuǎn)換成一個(gè)二分叉樹，便得到類似(2)和(3)中的轉(zhuǎn)換生成樹。這種相似絕非偶然，而恰恰代表了改進(jìn)早期形式句法分析理論—短語結(jié)構(gòu)語法③直接成分分析法所對(duì)應(yīng)的語法系統(tǒng)。它由一系列改寫規(guī)則構(gòu)成。比如(5)中語句的生成過程用短語結(jié)構(gòu)語法可以表示為:S→NP VP;VP→V NP;NP→Det N。但是短語結(jié)構(gòu)語法作為生成自然語言語句的語法，存在諸多缺陷與不足，見N.Chomsky，Three Models for The Description of Language，IRE Transactions on information theory 2，1956;N.Chomsky，Syntactic Structures，Berlin:Mouton，1957/2002。的那兩條思路:轉(zhuǎn)換方法與非轉(zhuǎn)換方法。

(5)

利用非轉(zhuǎn)換的手段獲得類似轉(zhuǎn)換操作的效果，方法大致有三:

其一，精細(xì)化范疇所帶的信息。比如為“hit”的主語論元增加下標(biāo)值agr代表“hit”的一致性特征，那么，hits的范疇就是(6b)。3S表示這個(gè)論元為第三人稱單數(shù)，如果“hits Mary”碰到范疇為NP3S的John，則可生成合語法的句子，如果碰見范疇為NPPL的復(fù)數(shù)名詞“the men”，生成過程停止。

其二，適當(dāng)添加句法規(guī)則。表1是CCG向傳統(tǒng)范疇語法中添加的三條組合規(guī)則。這三條組合規(guī)則是組合邏輯中對(duì)函項(xiàng)進(jìn)行運(yùn)算的三個(gè)語義組合算子的句法版本。有了這三條規(guī)則，CCG的句法規(guī)則直接保證生成轉(zhuǎn)換生成語法需要借助移位、拷貝、刪除等假設(shè)才能生成的非成分并列等無界依存現(xiàn)象，無須額外添加假設(shè)或者任何破壞表層句法結(jié)構(gòu)的操作④關(guān)于這一點(diǎn)更詳細(xì)的介紹，讀者可以參閱Steedman(2000)，以及J.Baldridge，G.Kruijff，Multi－Modal Combinatory Categorial Grammar，Proceedings of 11th Annual Meetings of the European Association for Computational Linguistics，Budapest，2003.。

表1 CCG組合規(guī)則所對(duì)應(yīng)的組合算子

(7)給定基本范疇集B，τ是從 CAT(B)到類型集TYPE的一個(gè)函數(shù)。τ是范疇到類型的對(duì)應(yīng)函數(shù)當(dāng)且僅當(dāng)τ(AB)=τ(B/A)= 〈τ(A)，τ(B)〉。

從以上三點(diǎn)可見，CCG突出體現(xiàn)了“小句法、大詞庫”的詞匯主義特征，是典型的詞匯主義語法。CCG之所以能夠用單層結(jié)構(gòu)實(shí)現(xiàn)等價(jià)于轉(zhuǎn)換生成語法的生成力，詞庫的貢獻(xiàn)功不可沒。反過來，轉(zhuǎn)換生成語法從句法角度的觀察和發(fā)現(xiàn)，又是CCG對(duì)特殊詞條做句法和語義賦值的思想源泉。以下我們將利用以上想法，嘗試借助轉(zhuǎn)換生成語法對(duì)漢語存在量詞的探討，構(gòu)造漢語CCG的存在量化語義。

三、一點(diǎn)嘗試——“有”的分析

最早討論漢語如何表達(dá)邏輯量化的可能是趙元任先生，他在Notes on Chinese Grammar and Logic①Y.Chao，Notes on Chinese Grammar and Logic，Philosophy East and West，vol.5，no.1，1955.中敏銳地注意到，漢語不像英語，沒有專職的量化限定詞②他稱之為量化形容詞，如英語中有“SOME/A”和“ALL”。，若要表達(dá)邏輯中“存在至少一個(gè) x滿足x具有性質(zhì)φ(即?x φ(x))”的概念，英語中可以說“SOME logician loves Mary”，漢語中最近似的表達(dá)是“有位邏輯學(xué)家喜歡瑪麗”?！坝小贝嬖诹炕α吭跐h語學(xué)界基本得到了共識(shí)③沈家煊:《詞序與轄域——英漢比較》，《語言教學(xué)與研究》1985年第1期;陳宗明(主編):《漢語邏輯概論》，北京:人民出版社，1993;吳平:《量化詞轄域歧義在Prolog語言中的消歧方案》，《外語與外語教學(xué)》2004年第12期;吳平:《漢語量化句的邏輯語義分析與計(jì)算》，《湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2007年第1期。，但是“有”不如“some”單純，它除了表存在量化，至少還兼表另兩個(gè)重要的概念——“存在”和“擁有”。袁毓林等人④袁毓林、李湘、曹宏等:《‘有’字句的情景語義分析》，《世界漢語教學(xué)》2009年第3期。通過對(duì)大量語料的分類分析，發(fā)現(xiàn)“有”的各種意義之間緊密相關(guān)，表存在量化的“有”是其存在和擁有含義徹底虛化的結(jié)果，它將其后無定性成分轉(zhuǎn)變成話題。轉(zhuǎn)換生成語法則從句法深層結(jié)構(gòu)解讀了這類“有”與表完成貌的“有”之間的關(guān)系。黃正德⑤黃正德:《說‘是’和‘有’》，《中研院史語所集刊》1988年第59本第1分冊(cè)。指出，“有”的三種用法格局(9)中，除了a格局中典型的動(dòng)詞領(lǐng)屬用法，表完成貌的b格局和表存在的c格局在深層句法結(jié)構(gòu)上都是一個(gè)以子句為賓語的無主句結(jié)構(gòu)(10a)。不同的是，b中的主語可以經(jīng)過提升移到母句的主語位置，呈(10b)形式，c格局因?yàn)闈h語中主語傾向于有定，主語“一個(gè)人”作為無定名詞組不能提升，因此留在原位，參見(10c)。

(9)a.主語…有…賓語(他們有很多錢。)

b.主語…有…謂語(張三沒有看見李四。)

c.有…主語…謂語(有一本書放在桌子上。)

(10)

b、c兩個(gè)格局雖在表面上作完成句和存在句之分，語義上實(shí)際都表示一種存在量化，完成句意指事件或者動(dòng)作的存在，存在句指人或物的存在。從句法的角度解釋，b格局因?yàn)橹髡Z未提升，“有”后接主語，因而表示主語的存在;而c格局的主語被提升，“有”后接謂語，因而表示謂語所指涉事件的存在，即動(dòng)作的完成。從語義的角度解釋，c中“有”與其后主語結(jié)合，類似英語存在量詞，斷定存在至少一個(gè)這樣的個(gè)體具有謂詞所描述的性質(zhì)，b中“有”與其后謂語結(jié)合，斷定存在至少一個(gè)這樣的性質(zhì)。將此對(duì)助動(dòng)詞“有”的句法、語義分析結(jié)果分別轉(zhuǎn)化為CCG的句法范疇和語義λ－項(xiàng)，可以得到“有”的兩個(gè)賦值(11a－b):

由此對(duì)(9b－c)中兩句分別進(jìn)行CCG的句法語義推演(12a－b)①因(12b)中的“一個(gè)人”在語義上無定指，相當(dāng)于一個(gè)通名，而本文并沒有區(qū)分專名和通名(即NP與N)，所以我們采納蒙太格語法的做法，認(rèn)為通名與不及物動(dòng)詞短語都表示性質(zhì)的集合，對(duì)應(yīng)句法范疇為(SNP)。雖然兩句中“(沒)有”的表層句法位置不同，但我們最后計(jì)算得到的語義真值條件都是存在式，一個(gè)表示動(dòng)詞短語所表示的事件Q的存在，一個(gè)表示主語個(gè)體x的存在。

四、結(jié) 語

在邏輯語義學(xué)探索語義組合原則的旅程中，句法理論的選擇往往決定了語義生成的精準(zhǔn)程度。縱觀邏輯語義學(xué)的發(fā)展歷程，借助成熟的句法理論來發(fā)展語義的趨勢(shì)越來越突出，這些句法理論若溯本逐源，都可以歸到喬姆斯基的轉(zhuǎn)換生成語法。所以，目前我們亟須解決的問題，就是如何將轉(zhuǎn)換生成語法的句法成果轉(zhuǎn)化為適合邏輯語義構(gòu)造的句法機(jī)制，使其切切實(shí)實(shí)地為語義服務(wù)。Heim、Kratzer等人在生成樹上構(gòu)造的語義系統(tǒng)、Steedman在CCG框架下進(jìn)行的詞匯主義轉(zhuǎn)換以及我們對(duì)助動(dòng)詞“有”的討論都是這方面有益的嘗試。

責(zé)任編校:徐玲英