(四川師范大學(xué) 邏輯與信息研究所，成都 610066)

古漢語中雙賓語出現(xiàn)的頻率很高，因此，對古漢語進(jìn)行研究必須對雙賓語加以關(guān)注。雙賓語語句可表示為S. V←Om←Op，其中，Om是移動(dòng)性賓語(即直接賓語)，Op是表象性賓語(即間接賓語)[1]100。例如，在《前漢書》卷三十五中有一句“太后賜張卿千金”，此處“張卿”就是表象性賓語Om，“千金”是移動(dòng)性賓語Op。一般說來，古漢語中的雙賓語句具有三個(gè)語法特征：(1)Op與Om之間沒有任何結(jié)構(gòu)上的關(guān)系；(2)Op與Om可分別和介詞搭配構(gòu)成介賓短語且充當(dāng)原述賓短語的修飾或補(bǔ)充成分；(3)雙賓句的深層結(jié)構(gòu)為NPSV NPPNPm[1]100。

在古漢語中，使動(dòng)雙賓語語句是雙賓語語句中一個(gè)特殊的門類，該句式的主語和表象性賓語Op都指人物，一般表示Op在主語的作用下接受Om所指的結(jié)果。這類雙賓語的語序是固定的，Op靠近動(dòng)詞，處于近賓位，Om處于遠(yuǎn)賓位[1]101。例如，在《左傳·僖公二十七年》中有：“國老皆賀子文，子文飲之酒?！薄帮嬛啤敝械摹爸保复鷩?，為Op成分，而“酒”則為Om，其大意即“子文使國老飲酒”。

一般而言，自然語言(古漢語也不例外)都具有組合性。換句話說，復(fù)合語言表達(dá)式的意義是由其直接成分的意義同有關(guān)句法結(jié)構(gòu)運(yùn)算的意義組合而成[2]8，因此，在對自然語言進(jìn)行信息處理時(shí)，組合性原則是考慮問題的出發(fā)點(diǎn)[3]83。本文主要目的就是研究如何組合性地分析古漢語使動(dòng)雙賓語語句的邏輯語義，即如何逐次遞增地處理和翻譯隨之而來的每一個(gè)基本單位。為了能夠組合性地對雙賓語語句的語義進(jìn)行精準(zhǔn)的形式化處理，就需要制定一些句法和語義規(guī)則，并需要對將要用到的范疇邏輯[4]和類型λ-演算[5]328-334(不妨統(tǒng)稱為范疇類型邏輯)知識進(jìn)行必要的分析。

一

范疇類型邏輯是一種使用運(yùn)算和推演的手段，描述自然語言的形式化工具。其基本思想是：語言認(rèn)知就是數(shù)學(xué)計(jì)算，語法分析就是邏輯推演，即：“認(rèn)知=計(jì)算；語法=邏輯；分析=推演”[4]1。范疇類型邏輯遵循句法與語義的對應(yīng)原則：句法結(jié)構(gòu)每運(yùn)算一次，與之相應(yīng)的語義就組合一次。

在范疇邏輯中，np表示名詞短語的范疇，s表示語句的范疇，nps表示不及物動(dòng)詞的范疇，(nps)/np表示及物動(dòng)詞的范疇。不及物動(dòng)詞nps需要向左毗連一個(gè)名詞np，才能夠組合成一個(gè)語句s，因此在nps中的“”不妨叫作向左毗連算子。及物動(dòng)詞(nps)/np首先需要向右毗連一個(gè)名詞短語np，組合成一個(gè)不及物動(dòng)詞短語nps，然后再向左毗連一個(gè)名詞短語np，才能夠組合成一個(gè)語句s，因此(nps)/np中的“/”不妨叫作向右毗連算子。

本文將用到的句法語義并行運(yùn)算規(guī)則有：

規(guī)則1：毗連算子的消除規(guī)則

規(guī)則2：毗連算子的引入規(guī)則

規(guī)則3：豎線算子的引入規(guī)則與消除規(guī)則

為了能夠?qū)Υ~進(jìn)行指代消解，本文還需要引入指代算子“|”。之所以引入該算子，是因?yàn)閱为?dú)為代詞指派句法范疇的時(shí)候，代詞可以被視為缺乏先行詞的專名或普通名詞。若直接指派范疇np，則無法表達(dá)代詞與其對先行詞之間的指代照應(yīng)關(guān)系；而引入指代算子“|”，便可較好的解決這一問題。我們?yōu)榇~指派的范疇是np|np，其意思是，如果在范疇為np|np的代詞左邊，有一個(gè)范疇為np的先行詞，那么此時(shí)代詞的作用與范疇為np的先行詞的作用是一樣。當(dāng)為代詞指派范疇后，便可通過假設(shè)或加標(biāo)運(yùn)算消去指代算子。

在本文中，用“趙盾′”表示詞條“趙盾”的語義詞項(xiàng)，其他類似。

利用范疇邏輯中的范疇運(yùn)算，可以實(shí)現(xiàn)詞條句法方面的組合，但要實(shí)現(xiàn)詞條語義方面的組合翻譯，則需要類型λ-演算。這是因?yàn)棣?算子可以為自然語言中的各種表達(dá)式提供形式上的翻譯[6]112。具體地說，λ-算子能夠使我們通過對變元的抽象，由一個(gè)表達(dá)式得到另一個(gè)新的表達(dá)式[6]104。例如，如果α是類型論語言L中類型為a的表達(dá)式，v是類型為b的變元，那么λvα就是類型為〈b,a〉的表達(dá)式。

二

下面我們利用以上討論的范疇邏輯和類型λ-演算，同時(shí)從句法和語義兩個(gè)方面組合性地對古漢語使動(dòng)雙賓語語句的邏輯語義進(jìn)行分析。

1.“晉侯飲趙盾酒”的邏輯語義分析

這個(gè)例子在大多數(shù)古漢語的論文文獻(xiàn)中被提及，并且引起過爭議。因?yàn)槿舨宦?lián)系上下文，單獨(dú)看這個(gè)句子，它是有歧義的。第一種語義解讀是：晉侯飲趙盾的酒，晉侯是“飲”這個(gè)動(dòng)作的施行者，趙盾是“酒”的限定詞，整個(gè)句子是一個(gè)普通的主謂句。第二種語義解讀是：晉侯使趙盾飲酒，“飲”這個(gè)動(dòng)詞的施動(dòng)者為趙盾，整個(gè)句子就變成了使動(dòng)雙賓語。從《左傳·宣公二年》整篇的內(nèi)容來看，當(dāng)取第二種解讀。

現(xiàn)在，我們就“晉侯飲趙盾酒”第二種語義解讀“晉侯使趙盾飲酒”中的及物動(dòng)詞“飲”的語義進(jìn)行翻譯。由于及物動(dòng)詞“飲”既要與位于其右邊的范疇為np的直接賓語“趙盾”(其范疇為np)進(jìn)行毗連，又要與位于其右邊的范疇為np的間接賓語“酒”進(jìn)行毗連，形成范疇為nps的不及物動(dòng)詞短語，這一不及物動(dòng)詞短語再與范疇為np的“晉侯”進(jìn)行毗連，最后組合成范疇為s的語句，因此帶有雙賓語的及物動(dòng)詞“飲”的句法范疇?wèi)?yīng)該是[(nps)/np]/np。

對于“飲”的語義分析則比較復(fù)雜，本文參照Dowty系統(tǒng)中make(使)的語義翻譯，將“使”翻譯為λXλPλxP(λy(?Q(Q(x)CAUSEX(y))))[7]109。由于“飲”在古漢語中有“使……飲”之意，但“飲”本身是一個(gè)及物動(dòng)詞，因此筆者對這一翻譯稍作改動(dòng)，即：“飲”翻譯為λx(λyz(?Q(Q(x)CAUSE飲′(y，z))))。仔細(xì)對比這兩個(gè)翻譯,就可以發(fā)現(xiàn)，筆者是將Dowty系統(tǒng)中算子CAUSE后的一元謂詞表達(dá)式X(y)|，轉(zhuǎn)換成了二元關(guān)系謂詞表達(dá)式“飲′(y,z)”。

利用句法語義運(yùn)算規(guī)則以及使動(dòng)詞“飲”的語義翻譯，就可以通過樹形圖的方法，形式化表示出“晉侯飲趙盾酒”句法運(yùn)算和語義組合過程，即把自然語言語句翻譯成相應(yīng)的邏輯表達(dá)式，其中詞條之間的范疇運(yùn)算表示的是句法運(yùn)算過程，而對于它的λ-演算則表示的是語義組合翻譯過程?！皶x侯飲趙盾酒”第二種解讀的句法運(yùn)算和語義組合翻譯過程如圖1所示。

圖1 “晉侯飲趙盾酒”語義推導(dǎo)

2.“毆民而歸之農(nóng)”的邏輯語義分析

此句出自賈誼的《論積貯疏》，其中，“歸”作為使動(dòng)詞，在此處譯為“使……歸”，“之”和“農(nóng)”分別作為間接賓語和直接賓語。筆者之所以選取該句作為第二個(gè)例句，是由于這是一個(gè)包含有更多處理技巧的復(fù)雜句式。首先，該句子從成分上來看主語缺失，所以只能處理成一個(gè)謂語動(dòng)作句，在處理過程中需要假設(shè)一個(gè)主語，并且最后要消除假設(shè)；其次，這里的聯(lián)結(jié)詞“而”，起到了并列動(dòng)作的作用，即“毆民”與“歸之農(nóng)”兩個(gè)動(dòng)作是由同一個(gè)主語做出的，所以這個(gè)“而”字要處理成合取的語義表達(dá)式；第三點(diǎn)，則是該句出現(xiàn)了代詞“之”，所以需要對其指代項(xiàng)進(jìn)行指代消解處理。

我們利用第二部分給出的相關(guān)規(guī)則就可以形式化地表示“毆民而歸之農(nóng)”的句法運(yùn)算和語義組合了，其具體過程請見圖2。

nps

圖2 “毆民而歸之農(nóng)”的語義推導(dǎo)

從圖2可看出，“毆民而歸之農(nóng)”被指派的句法范疇是nps，這與不及物動(dòng)詞短語的范疇是一樣的，這是因?yàn)樵撜Z句本身缺少主語，其結(jié)構(gòu)自然就相當(dāng)于不及物動(dòng)詞短語。但是，為了對這一語句進(jìn)行處理，假設(shè)了一個(gè)范疇為np的主語語跡j；為了對范疇為np|np的代詞“之”進(jìn)行消解，把其范疇假定為np，我們最后得到的“毆民而歸之農(nóng)”語義表達(dá)式為λx.(毆′(x,民′)∧?Q(Q(x)CAUSE歸′(民′，農(nóng)′)，其意思是：某x，x毆民，并且x的某個(gè)行為Q導(dǎo)致民歸農(nóng)。

三

從本文的兩個(gè)實(shí)例可以得出如下結(jié)論。(1)由于使動(dòng)雙賓語句的結(jié)構(gòu)是固定的，因此，本文的研究方法具有普適性。具體地說，本文對古雙賓語語句的句法運(yùn)算和語義的組合翻譯的處理方式，可以推廣到對同類型的雙賓語語句的處理。(2)利用范疇類型邏輯對古漢語使動(dòng)雙賓語語句進(jìn)行邏輯分析時(shí)，句法和語義的組合可以同時(shí)在樹結(jié)構(gòu)中展示出來，句法組合伴隨了語義方面的函數(shù)應(yīng)用。(3)利用范疇邏輯可以從句法方面組合性地分析古漢語中使動(dòng)雙賓語語句。之所以能夠做到這一點(diǎn)，是因?yàn)榉懂犝Z法中的范疇表示了一個(gè)詞條符號如何與另一個(gè)詞條符號進(jìn)行組合[8]4。(4)與英語一樣，古漢語中詞條符號的語義部分可以通過類型λ-演算來表示，這是因?yàn)棣?算子具有能夠使我們通過對變元的抽象，由一個(gè)表達(dá)式得到另一個(gè)新的表達(dá)式的能力[6]102。

事實(shí)上，λ-算子是標(biāo)注函數(shù)符號的算子，是形式語言中常用的算子，能夠?yàn)橹T多計(jì)算提供統(tǒng)一的處理。而且λ-算子使得我們能夠在形式語言中創(chuàng)造新的復(fù)合函數(shù)符號，能夠形式化地準(zhǔn)確表示新的復(fù)合函數(shù)的性質(zhì)[9]203。那么，我們?nèi)绾瓮诰蝾愋挺?演算和范疇語法的潛力，組合性的翻譯和處理古漢語其他類型的語句(比如兼語句、連動(dòng)句等)，從而為中文信息處理作出應(yīng)有的貢獻(xiàn)？這有待我們做進(jìn)一步的深入研究。

參考文獻(xiàn):

[1]時(shí)兵.古漢語雙賓句再認(rèn)識[J].安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版)，1999，(6):100-106.

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

[3]張曉君，郝一江.動(dòng)態(tài)謂詞邏輯的動(dòng)態(tài)機(jī)制[J].哲學(xué)動(dòng)態(tài)，2010，(9):83-89.

[4]鄒崇理.范疇類型邏輯:從語言到邏輯[M].北京:中國社會(huì)科學(xué)出版社，2008.

[5]蔡曙山,鄒崇理.自然語言形式理論研究[M].北京:人民出版社,2010.

[6]GAMUT L T F.Logic,Language,andMeaning,VolumeII：IntensionalLogicandLogicalGrammar[M]. Chicago: The University of Chicago Press, 1991.

[7]DOWTY D R.WordMeaningandMontagueGrammar[M]. Dordrecht: D. Reidel Publishing Company, 1979.

[8]J?GER G.AnaphoraandTypeLogicalGrammar[M]. Berlin：Springer, 2005.

[9]維·馬奇舍夫斯基.現(xiàn)代邏輯詞典[K].張兆梅,等譯.北京:中國人民大學(xué)出版社,1992.