APP下载

单模态框架内的缺省

2015-10-21陈林琳

华人时刊·中旬刊 2015年4期

陈林琳

【摘要】英语句中通常会出现省略个别词汇或者短语的现象,我们把这种现象叫做缺省。母语为非英语的人群很容易在理解这类句子的时候产生歧义,本文旨在用逻辑学中的一元的思想来解析子句省略句的句法和语义,重点会用到蒙太格语法以及模态逻辑的思想来为大家解读缺省句。

【关键词】缺省;形式语义;模态逻辑

中图分类号:H31

文献标识码:A

文章编号:1006-0278(2015)04-135-01

组合模型得到类似连接符组合的过程很像组合的兰贝克演算。向右做除法的算子、向左做除法的算子和连接的乘积算子分别表述为:/a,\a和·a.非组合连接符表示为/a,\a和·a,和非组合兰贝克演算NL相似,这也是考虑到wrapping和中加情况中嵌入点的界定。如果组合连词被应用,则不考虑上述情况。Wrapping算子表述为/w,\w和·w,这和Morrill的非连续算子,↓,↑和⊙相似。当A和省去的B的函项意义结合时,一个类似B\wA的范畴函项表达式是范畴A的非完整表达式。换句话说,函项B\wA是一个不断围绕B回指自己以形成函项A。A不间断的生成范畴B·wA,这意味着范畴A的表达式是包含了不定嵌入的范畴B的表达式。最后,我们来看缺省模型,这是一个很新的概念,也是源于缺省和亚省略在wrapping模型中的交互作用最后形成的模型。

系统的推理能力基于不同推理模型之间的交互作用。以下交互规则是由组合模型、非组合模型和wrapping模型这两者之间的交互。

Wrapping附加的特殊技能更加清晰地体现在下面的框架条件中:

第二个交互作用规则对分析缺省和亚缺省十分重要,在本章中我会按照Hendriks教授的标注方法,把这条规则标为[MA]。它是定义缺省模型g和wrapping模型w之间交互作用的,MA支持混合结合性,例如,包含两个不同模型的结合性。除此之外,还具有其他特性:

我们给出(9)的框架规则:

我们要注意区分组合性,非组合性,wrapping和缺省模型交互的不同,假设这些模型是依据(7)和(9)进行交互作用的,多模态分析能同时呈现缺省和亚缺省。下一节中我们会介绍多模态对缺省句的分析。

缺省的多模态分析

首先我们通过指派到词项,来给出一个语言表达式的多模态分析:

John studies logic and Charles phonetics

(5)

我们用范畴语法分析这个例子:

其中,TV是(NP\aS)/aNP的缩写,指派及物动词,连接左边的主语NP和右边的宾语NP,派生的下一步就是在范畴外面加上方括号,这样先行词序列就有了一种限制的形式,再结合前面的规则,我们得到:

语言表达式分析的好处在于,不管目标类型有没有减少,它都起到一个限制的作用。在这种特殊例子中,目标类型就是S。根据Gentzen序列演算,多模态框架中类型转换是有效的,如果我们能将所有分散的分支归纳为公理。当然,通过推理规则和反向交互规则我们也很容易将分支结构归纳,这会起到一个移除类型以形成连词的作用,不管是对前件,还是紧随随后的类型。由于这个归纳过程过于复杂,在这里我们就不说了。

我们引入一个向后的规则[/gL],起到一个将派生分裂成两个更小的半派生,或者叫次派生(subderivation),然后这两个亚派生又能继续分裂成更小的派生。前面说了那么多,我们再来详细看看缺省结构子句Charles phonetics,被分析为一组非组合范畴(NP,NP)n。因为有非结构分支的存在,被省去的动词信息没有在派生过程中丢失,逗号能指示其位置。连接词的范畴提供了一个生产连接项的具体过程,(X\X)/X。这里我们列举的缺省和Morr111(1994)还有所不同,Morrill其实是有将关联、非关联和wrapping结合在一起了,根据他的研究,连接词的范畴必须被写成(((TV·w(TV\wS))\aS)/a(TV\wS),这样才能更清楚的解释缺省结构的不同连接词。跟之前的范畴(X\X)/X相比较,左边参數范畴记为《TV·w(TV\wS),右边的参数范畴记为(TV\wS)。

在范畴语法中,语义学跟句法的关系联系相当紧密,前面的例子中也能给出缺省结构的语义解释,我们就不做介绍了。/I,\i和·i的推理规则如下:

在处理语义问题上向右的规则[/iR]和[\iR]和lambda结构一致,向左的规则和功能应用对应。[·B]和[·L]负责配对和投射。TV是假定的及物动词,第一个结合的语义和第二个相同,R是一个及物动词语义的二元关系,我们给出一个一个完整的并列结构的语义解释。

参考文献:

[1] Barbara H Partee. A Brief History ofthe Syntax-Semantics In-terface in Westem Formal LinguisticsEMl.University of Massachusetts,Amherst ,2012.

[2] Richard Montague.Formal Philosophy, Yale University[M].New Haven,1974.