45卷第3期  
2
0185月  
四川师范大学学报(社会科学版)  
JournalofSichuanNormalUniversity(SocialSciencesEdition)  
Vol.45,No.3  
May,2018  
古汉语使动双宾语语句的逻辑语义分析  
林胜强,付豪  
(四川师范大学逻辑与信息研究所,成都610066)  
摘要:利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中  
展示出来,句法组合伴随了语义方面的函数应用文章列举了古汉语晋侯饮赵盾酒殴民而归之农两例进行  
逻辑语义分析,以说明这一研究方法具有普适性,能够对中文信息处理起到一定的推动作用。  
关键词:使动句双宾语语句;范畴类型逻辑;逻辑语义  
中图分类号:B81-05 文献标志码:A 文章编号:1000ꢀ5315(2018)03ꢀ0084ꢀ04  
古汉语中双宾语出现的频率很高,因此,对古汉语进行研究必须对双宾语加以关注双宾语语句可表示  
[1]100  
S.V←Om←Op,其中,Om 是移动性宾语(即直接宾语),Op 是表象性宾语(即间接宾语)例如,在  
前汉书卷三十五中有一句太后赐张卿千金”,此处张卿就是表象性宾语Om,“千金是移动性宾语Op。  
一般说来,古汉语中的双宾语句具有三个语法特征:(1)OpOm 之间没有任何结构上的关系;(2)OpOm  
可分别和介词搭配构成介宾短语且充当原述宾短语的修饰或补充成分;(3)双宾句的深层结构为NPSV  
[1]100  
NP  
P
NP  
在古汉语中,使动双宾语语句是双宾语语句中一个特殊的门类,该句式的主语和表象性宾语Op都指人  
,一般表示Op在主语的作用下接受Om 所指的结果这类双宾语的语序是固定的,Op靠近动词,处于近  
m
[1]101  
宾位,Om 处于远宾位 例如,左传·僖公二十七年中有:“国老皆贺子文,子文饮之酒。”“饮之酒中  
”,指代国老,Op成分,则为Om,其大意即子文使国老饮酒”。  
一般而言,自然语言(古汉语也不例外)都具有组合性换句话说,复合语言表达式的意义是由其直接成  
[2]8  
分的意义同有关句法结构运算的意义组合而成 ,因此,在对自然语言进行信息处理时,组合性原则是考虑  
[3]83  
问题的出发点 本文主要目的就是研究如何组合性地分析古汉语使动双宾语语句的逻辑语义,即如何  
逐次递增地处理和翻译随之而来的每一个基本单位为了能够组合性地对双宾语语句的语义进行精准的形  
[4]  
[5]328ꢀ334  
式化处理,就需要制定一些句法和语义规则,并需要对将要用到的范畴逻辑和类型λ-演算 (不妨  
统称为范畴类型逻辑)知识进行必要的分析。  
范畴类型逻辑是一种使用运算和推演的手段,描述自然语言的形式化工具其基本思想是:语言认知就  
收稿日期:2017ꢀ09ꢀ12  
基金项目:国家社会科学基金项目面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究”(16BZX081)。  
作者简介:林胜强(1963—),,四川隆昌人,四川师范大学逻辑与信息研究所教授,中国逻辑学会语言逻辑专业委员会副主任  
委员,主要从事自然语言逻辑应用逻辑研究;  
付豪(1993—),,湖南岳阳人,四川师范大学逻辑与信息研究所硕士研究生,研究方向为哲学逻辑应用逻辑。  
84  
林胜强  
古汉语使动双宾语语句的逻辑语义分析  
[4]1  
是数学计算,语法分析就是逻辑推演,:“认知=计算;语法=逻辑;分析=推演” 。范畴类型逻辑遵循句  
法与语义的对应原则:句法结构每运算一次,与之相应的语义就组合一次。  
在范畴逻辑中,np表示名词短语的范畴,s表示语句的范畴,np\s表示不及物动词的范畴,(np\s)/np  
表示及物动词的范畴不及物动词np\s需要向左毗连一个名词np,才能够组合成一个语句s,因此在np\s  
中的“\”不妨叫作向左毗连算子及物动词(np\s)/np首先需要向右毗连一个名词短语np,组合成一个不  
及物动词短语np\s,然后再向左毗连一个名词短语np,才能够组合成一个语句s,因此(np\s)/np中的“/”不  
妨叫作向右毗连算子。  
本文将用到的句法语义并行运算规则有:  
规则1:毗连算子的消除规则  
)M ∶A N∶A\B\E  
(
(向左毗连算子的消除规则)  
(向右毗连算子的消除规则)  
1
(
)
NM ∶B  
)M ∶A∕B  
NB∕E  
(
2
(
)
MN ∶A  
规则2:毗连算子的引入规则  
x∶Ai  
(
)︙  
(向右毗连算的引入规则)  
(向左毗连算子的引入规则)  
3
M ∶B  
/
,
Ii  
λxM ∶B/A  
x∶Ai  
︙︙  
(
4
)
M ∶B  
,
\Ii  
λxM ∶A/B  
规则3:竖线算子的引入规则与消除规则  
∶A |B ∶A |B  
M
1
1
M
2
2
n n  
M ∶A |B  
i
n
i
1
i
2
M1xA1 M2xA2 MnxAn ︙  
)︙  
︙ ︙ ︙ ︙ ︙ ︙  
(竖线算子引入规则)  
(
5
N∶C  
,1…,in  
Ii  
λxN∶C\B\  
6)[M A]iN∶B|A  
(
, (竖线算子消除规则)  
|E i  
NM ∶B  
需要注意的是:在规则4,xAi表示的是语迹假设,其作用是为主语(宾语)缺乏的句子假设一个主  
(宾语),以假设的句法成分完成句法运算后,便可使用毗连算子引入规则将之消去例如,根据向左毗连  
算子引入规则可知,如果一个范畴为s的项M,向右毗连一个范畴为np的语迹假设,就可以得到范畴为np\  
s的项λxM。  
为了能够对代词进行指代消解,本文还需要引入指代算子“|”。之所以引入该算子,是因为单独为代词  
指派句法范畴的时候,代词可以被视为缺乏先行词的专名或普通名词若直接指派范畴np,则无法表达代  
词与其对先行词之间的指代照应关系;而引入指代算子“|”,便可较好的解决这一问题我们为代词指派的  
范畴是np|np,其意思是,如果在范畴为np|np的代词左边,有一个范畴为np的先行词,那么此时代词的作  
用与范畴为np的先行词的作用是一样当为代词指派范畴后,便可通过假设或加标运算消去指代算子。  
在本文中,赵盾'”表示词条赵盾的语义词项,其他类似。  
利用范畴逻辑中的范畴运算,可以实现词条句法方面的组合,但要实现词条语义方面的组合翻译,则需  
[6]112  
要类型λ-演算这是因为λ-算子可以为自然语言中的各种表达式提供形式上的翻译 具体地说,λ  
[6]104  
算子能够使我们通过对变元的抽象,  
由一个表达式得到另一个新的表达式 例如,如果  
α语  
-
85  
四川师范大学学报(社会科学版)  
L中类型为a的表达式,v是类型为b的变元,那么λvα就是类型为<b,a>的表达式。  
下面我们利用以上讨论的范畴逻辑和类型λ-演算,同时从句法和语义两个方面组合性地对古汉语使  
动双宾语语句的逻辑语义进行分析。  
晋侯饮赵盾酒的逻辑语义分析  
1.  
这个例子在大多数古汉语的论文文献中被提及,并且引起过争议因为若不联系上下文,单独看这个句  
,它是有歧义的第一种语义解读是:晋侯饮赵盾的酒,晋侯是这个动作的施行者,赵盾是的限定  
,整个句子是一个普通的主谓句第二种语义解读是:晋侯使赵盾饮酒,“这个动词的施动者为赵盾,整  
个句子就变成了使动双宾语左传·宣公二年整篇的内容来看,当取第二种解读。  
现在,我们就晋侯饮赵盾酒第二种语义解读晋侯使赵盾饮酒中的及物动词的语义进行翻译。  
由于及物动词既要与位于其右边的范畴为np的直接宾语赵盾”(其范畴为np)进行毗连,又要与位于  
其右边的范畴为np的间接宾语进行毗连,形成范畴为np\s的不及物动词短语,这一不及物动词短语再  
与范畴为np晋侯进行毗连,最后组合成范畴为s的语句,因此带有双宾语的及物动词的句法范畴  
应该是[(np\s)/np]/np。  
对于的语义分析则比较复杂,本文参照Dowty系统中make(使)的语义翻译,使翻译为  
[7]109  
λXλPλxP(λy(∃Q(Q(x)CAUSEXy  
()))) 。由于在古汉语中有使……之意,本身是一个  
及物动词,因此笔者对这一翻译稍作改动,:“翻译为λx(λyz(∃Q(Q(x)CAUSE'(y,z))))。仔细对  
比这两个翻译,就可以发现,笔者是将Dowty系统中算子CAUSE后的一元谓词表达式X(y)|,转换成了二  
元关系谓词表达式'(y,z)”。  
利用句法语义运算规则以及使动词的语义翻译,就可以通过树形图的方法,形式化表示出晋侯饮  
赵盾酒句法运算和语义组合过程,即把自然语言语句翻译成相应的逻辑表达式,其中词条之间的范畴运算  
表示的是句法运算过程,而对于它的λ-演算则表示的是语义组合翻译过程。“晋侯饮赵盾酒第二种解读  
的句法运算和语义组合翻译过程如图1所示。  
晋侯  
晋侯'  
np  
饮 赵盾  
λyzx(Q(Q(x)CAUSE '(yz)))lex 赵盾'  
lex  
((np\s)/np)/np  
λzx(Q(Q(x)CAUSE '(赵盾'z)))  
(np\s)/np  
lex  
P1  
np\s  
np/E  
lex  
\E  
P 晋侯'  
'  
s
np  
/I,1  
/E  
λPP 晋侯'  
s/(np\s)  
λx(Q(Q(x)CAUSE '(赵盾'')))  
np\s  
/
E
Q(Q(晋侯')CAUSE '(赵盾''))  
1 晋侯饮赵盾酒语义推导  
殴民而归之农的逻辑语义分析  
2.  
此句出自贾谊的论积贮疏》,其中,“作为使动词,在此处译为使……”,“分别作为间接  
宾语和直接宾语笔者之所以选取该句作为第二个例句,是由于这是一个包含有更多处理技巧的复杂句式。  
首先,该句子从成分上来看主语缺失,所以只能处理成一个谓语动作句,在处理过程中需要假设一个主语,并  
且最后要消除假设;其次,这里的联结词”,起到了并列动作的作用,殴民归之农两个动作是由同  
一个主语做出的,所以这个字要处理成合取的语义表达式;第三点,则是该句出现了代词”,所以需要  
对其指代项进行指代消解处理。  
我们利用第二部分给出的相关规则就可以形式化地表示殴民而归之农的句法运算和语义组合了,其  
具体过程请见图2。  
86  
林胜强  
古汉语使动双宾语语句的逻辑语义分析  
lex  
λu.u  
λyzxQ(Q(x)CAUSE '(y,z))  
(np\s)/np/np  
λzxQ(Q(x)CAUSE '(',z))  
(np\s)/np  
lexnp|np|E,i  
' lex [']i  
lex  
'  
(
np\s)/np np  
np  
/E 'lex  
np  
1
/E  
[
x]  
'(')  
j
np  
np\s  
\E  
λYXxX(x)Y(x)lex  
I,1((np\s)\(np\s))/(np\s)  
np\s  
λXxX(x)∧∃Q(Q(x)CAUSE '(','))  
(np\s)\(np\s)  
/E  
'(x,')  
s
λx '(x,')  
np\s  
λxQ(Q(x)CAUSE '(','))  
\
/E  
\E  
λx.('(x,')∧∃Q(Q(x)CAUSE '(','))  
np\s  
2 殴民而归之农的语义推导  
从图2可看出,“殴民而归之农被指派的句法范畴是np\s,这与不及物动词短语的范畴是一样的,这是  
因为该语句本身缺少主语,其结构自然就相当于不及物动词短语但是,为了对这一语句进行处理,假设了  
一个范畴为np的主语语迹j;为了对范畴为np|np的代词进行消解,把其范畴假定为np,我们最后得到  
殴民而归之农语义表达式为λx.('(x,')∧∃Q(Q(x)CAUSE'(','),其意思是:x,x殴民,  
并且x的某个行为Q导致民归农。  
从本文的两个实例可以得出如下结论。(1)由于使动双宾语句的结构是固定的,因此,本文的研究方法  
具有普适性具体地说,本文对古双宾语语句的句法运算和语义的组合翻译的处理方式,可以推广到对同类  
型的双宾语语句的处理。(2)利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组  
合可以同时在树结构中展示出来,句法组合伴随了语义方面的函数应用。(3)利用范畴逻辑可以从句法方面  
组合性地分析古汉语中使动双宾语语句之所以能够做到这一点,是因为范畴语法中的范畴表示了一个词  
[8]4  
条符号如何与另一个词条符号进行组合 。(4)与英语一样,古汉语中词条符号的语义部分可以通过类型λ  
-,这是因为λ-算子具有能够使我们通过对变元的抽象,由一个表达式得到另一个新的表达式  
[6]102  
的能力 。  
事实上,λ-算子是标注函数符号的算子,是形式语言中常用的算子,能够为诸多计算提供统一的处理。  
而且λ-算子使得我们能够在形式语言中创造新的复合函数符号,能够形式化地准确表示新的复合函数的  
[9]203  
性质 那么,我们如何挖掘类型λ-演算和范畴语法的潜力,组合性的翻译和处理古汉语其他类型的语  
(比如兼语句连动句等),从而为中文信息处理作出应有的贡献?这有待我们做进一步的深入研究。  
参考文献:  
[
1]时兵.古汉语双宾句再认识[J].安徽大学学报(哲学社会科学版),1999,(6):100ꢀ106.  
2]邹崇理.逻辑语言和蒙太格语法[M].北京:社会科学文献出版社,1995.  
3]张晓君,郝一江.动态谓词逻辑的动态机制[J].哲学动态,2010,(9):83ꢀ89.  
4]邹崇理.范畴类型逻辑:从语言到逻辑[M].北京:中国社会科学出版社,2008.  
5]蔡曙山,邹崇理.自然语言形式理论研究[M].北京:人民出版社,2010.  
6]GAMUTLTF.Logic,Language,andMeaning,VolumeII:IntensionalLogicandLogicalGrammar [M].Chicago:  
TheUniversityofChicagoPress,1991.  
7]DOWTYDR.WordMeaningandMontagueGrammar[M].Dordrecht:D.ReidelPublishingCompany,1979.  
8]JÅGERG.AnaphoraandTypeLogicalGrammar[M].Berlin:Springer,2005.  
9]·马奇舍夫斯基.现代逻辑词典[K].张兆梅,等译.北京:中国人民大学出版社,1992.  
[
[
[
[
[
[
[
[
[责任编辑:帅巍]  
87