关于非连续量词的类型_逻辑语义处理.pdf

2 2007年第 2期 浙 　江 　社 　会 　科 　学 2007年 3月 No. 2, 2007 ZHEJ IANG　SOC IAL 　SC IENCES M ar. , 2007 3 关于非连续量词的类型 -逻辑语义处理 □　邹崇理 　　内容提要 　2005年宾夕法尼亚大学的克拉克教授提出一个处理英语中非连续量词的方 案。在其论文中他获得以下成果 : (1)把多复合量词 (polyadic quantifier)“every?a different?” 当作类似“more?than?”那样的非连续量词 ; (2)在兰贝克后承演算 (Lambek Sequent Calcu lus)的基础上 , 对涉及上述量词的句子进行了形式语义学所要求的组合分析 。考虑到表述的 严格性 ,我们对克拉克教授的处理方案进行了几个方面的改进 :首先 ,对非连续量词的后续部 分也指派 λ - 词项和范畴值 ,这样可以在由若干 λ - 词项和范畴的序对形成的上下文中避免出 现作为自然语言词条身份的非连续量词的后续部分。其次 ,采用兰贝克后承演算的自然演绎 表述 ,增加对非连续量词的各个部分进行叠置合成的规则 ,这样使有关的组合分析更加严格。 最后 ,增加刻画所谓结构性质的规则 ,直观地显示出关于复合量词语句的类型 - 逻辑推演结果 的非连续来源。 关键词 　非连续量词 　组合分析 　类型 - 逻辑语义 作者邹崇理 ,教授 、博士生导师 ,浙江大学语言和认知研究国家哲学社会科学创新基地 ,中 国社会科学院哲学所逻辑室 。 (北京 　100732) 　　众所周知 ,类型 - 逻辑语义学固有的局限之一就是不便处理自然语言的非连续现象。什么是非连 续现象 ? 简言之 ,就是指自然语言中那些在句法上没有毗连在一起却在语义上表现为一个整体的表达 式。美国宾夕法尼亚大学的罗宾 · 克拉??? (Robin Clark)教授 ,作为广义量词理论著名专家勀兰 ( E. L. Keenan)的弟子 ,最近在类型 - 逻辑语义学和量词理论交叉的领域内获得一些进展。其要点为 : (1)把 复合量词“more?than?”和 “every?a different?”当作一种非连续算子 ; (2)对类型 - 逻辑语义学的 Lambek演算进行适当调整 ,据此获得关于上述非连续量词语句的组合分析结果。笔者认为克拉克教授 的方案设计精巧绝妙 ,但也有一定缺陷。即在关于 λ - 词项和范畴的推演上下文中出现了自然语言本 身的非形式因素 ,设立了没有推演意义的所谓“受限的向后搜索算子 ”( the constructor of bounded right seek)以及没有运算要求的带这种算子的范畴。笔者主张在类型 - 逻辑语义的词库中对非连续量词的 所有后续部分指派某个由 λ - 词项和范畴的序对作成的语义值 ,取消添加带受限向后搜索算子的范畴 和非连续量词后续部分的规则