个体域对广义量词单调性影响.docVIP

个体域对广义量词单调性影响 　　摘 要: 单调性是广义量词的语义特征之一。 本文着重讨论的是在把自然语句转变为形式语句时,广义量词的单调性应考虑个体域的范围。以广义量词中的存在量词some作为例子,来分析个体域对单调性的影响。 　　关键词: 个体域 广义量词 单调性 影响 　　 　　1.引言 　　形式语义学(也称逻辑语义学),是用一套形式的方法把自然语言的句子翻译成一种逻辑语言以解决自然句子可能含有的歧义或语意不明等问题,然后得出这些逻辑表达式的真值条件(Truth conditions),从而对自然语言作出一种间接的解释。在形式语义学的研究领域中,广义量词理论(Generalized Quantifier,以下简称GQ)理论占据十分重要的地位。它一方面解决了传统的一阶谓词逻辑在解释含有非标准量词的句子时的力不从心的问题,另一方面使得对专有名词和量化名词的解释统一起来,从而更好地遵循组合性原则(The Principle of Compositionality)(方立)。 　　一阶逻辑是对命题的最小化,广义量词的提出(J.Barwise,and R.Cooper,1981)是因为一阶谓词逻辑在表达多个数量的概念时的不足性。在一阶谓词逻辑里,有全称量词(universal quantifier)?坌(every)和存在量词(existential quantifier)?埚(some)。一阶谓词逻辑能很好地处理自然语句中只含有every和some的句子,但也能区分句子的歧义,如: 　　Everyone liked someone. 　　但是在表达自然语句如:Four linguists laughed.用一阶谓词逻辑去表达:?埚x ?埚y ?埚z ?埚e(linguist)(laugh)且(x≠y≠z≠e)。这时的一阶逻辑的表达式就显得有点麻烦且不确定性。广义量词的表达式就是[laugh’]^m,g∈{X?U|[linguist’]^m,g={e}∩e∈X}且0|X|≤5。广义量词的创造性在于用集合的形式表达了多个数量的概念,从而使得自然语句在转为形式语句时简单明了。以前大多数的文献要么讨论的是主语部分具有单调性,要么谓词部分也具有单调性,或是对于两者的结合去说明广义量词单调性的概念。本文从单调性既是主语部分也是谓词部分的语义特征,站在个体域的角度去讨论限制广义量词的单调性。 　　2.广义量词的单调性 　　在GQ理论中,广义量词指任何指谓集合之集合的语义单位。例如,自然语言中的量词词组,如“every N”,不像专有名词那样指谓个体,而是指“every N”所具有的各种性质的集合,而这些性质本身也是个体的集合。从这个意义上来说,自然语言中的量词名词组就是一种广义量词(蒋严、潘海华)。从GQ角度看,专有名词也可以看成是一组性质的集合,如“鲁迅”可以是[中国人、作家、男人……]这一组性质的集合,所以说,专有名词也是一种广义量词。这样说来,自然语言中的名词词组,包括量化名词组和其它名词组,都是广义量词。广义量词是对一阶逻辑不足的补充,是把所有名词看成一个集合的量化。其中,量化名词组由限定词和类名词构成。 　　从数学上的函数概念引入“单调性”来解决语言中的推理逻辑的数学问题,这就是广义量词的语义特征。 　　在数学上,我们说一个函数f(function)是单调增函数,如果对于在其定义域内的任意两个元素X和Y来说,都有XY→f(x)f(y);反之,如果有XY→f(x)f(y),则该函数f是一个单调减函数。形式语义学上把一个量化的自然语句分为Q’(N’)(VP’),然后命题中普通名词N或谓语动词短语VP的外延的变化是否会影响命题真值,如果该普通名词N或谓语动词短语VP的外延扩大不会影响命题的真值,我们就说其中的量词是单调递增或向上单(monotone increasing)的;而如果相关外延的减小不会影响命题的真值,我们就说其中的量词是单掉递减或向下单调(monotone decreasing)的。对单调性我们可以再进一步区分为不受QNP中普通名词N外延增减影响和不受谓语动词短语VP外延增减影响。我们称前者为主语单调性(subject monotone),后者为谓语单调性(predicate monotone)(丁国旗)。这样我们就有了四种单调性: 　　(1)一个量词Q是主语单调向上的,当且仅当QN1VP→QN2VP,其中[N1]?[N2]。 　　(2)一个量词Q是主语单调向下的,当且仅当QN1VP→QN2VP,其中[N2]?[N1]。 　　(3)一个量词Q是谓语单调向上的,当且仅当QNVP1→QNVP2,其中[VP1]?[VP2]。 　　(4)一个量词Q是谓语单调向下的,当且仅当QNVP1→QNVP2,其中