单模态框架内的缺省

陈林琳

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

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

中图分类号：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.