於涵，李新国

（安徽工程大学 外国语学院，安徽 芜湖 241000）

许多学者把驴句分析为约束变元照应关系，即every farmer或a donkey类似的量化短语与he或it类似的变元之间存在的关系，通过函数予以说明。

一、驴句解读

驴句解读可以分为全称解读和存在解读，强式解读和弱式解读，或E-型代词解读、唯一性解读和配对量化解读。

（一）全称解读和存在解读

在使用全称量词和存在量词的情况下，基于量词的辖域，一般区分为全称解读和存在解读，并通过某种逻辑语言进行翻译，如：

1）Every farmer that owns a donkey beats it.

根据Montague提出的逻辑顺序，用内包逻辑对1）翻译，得到2a）、2b）的逻辑表达式。如2a）所示，全称量词比存在量词辖域宽时，为全称解读；存在量词比全称量词辖域宽时，为存在解读。[1]

2a）∀x[farmer(x)∧∃y[donkey(y)∧own(x,y)]→beat(x,y0)]

2b）∃y[donkey(y)∧∀x[[farmer(x)∧own(x,y)]→beat(x,y)]]

但以上驴句解读有如下问题。按照全称解读，2a）的意义是“对所有的农夫，存在一头驴，如果他拥有它（y），他打它（y0）”。但这种翻译在逻辑上有问题，由于最后一个变元（y0）不能被任一量词约束，逻辑分析不成立。即关系从句中的“a donkey”受到存在量词∃y的约束，但驴代词y0处于量词辖域之外，不受其约束，不是约束变元，而是自由变元。2b)的存在量词比全称量词辖域宽，按存在解读，翻译为“存在某头驴，如果所有的农夫拥有它，他打它”。根据存在解读，所有变元（x，y）都在全称量词或存在量词的辖域内受其约束，逻辑上没有任何问题。但这种解释和自然语言中驴句的解读有一定距离。

（二）强式解读和弱式解读

中世纪逻辑学家接受了类似3b）的驴句解读，驴代词受存在量词约束，但需要解决驴代词f（x）如何受约束的问题。……