林胜强
付
豪
古汉语使动双宾语语句的逻辑语义分析
之
lex
λu.u
殴
民
归
λyzx∃Q(Q(x)CAUSE 归'(y,z))
(np\s)/np/np
λzx∃Q(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
λx∃Q(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