[个体域对广义量词单调性的影响] 广义量词 守恒性
时间：2019-01-05 03:23:42 来源：雅意学习网 本文已影响 人 
摘 要: 单调性是广义量词的语义特征之一。 本文着重讨论的是在把自然语句转变为形式语句时,广义量词的单调性应考虑个体域的范围。以广义量词中的存在量词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}且0Y→f(x)>f(y);反之,如果有X>Y→f(x)2,因为在一介逻辑谓词里面,把自然语言转变为形式语言时,要考虑个体域的范围,个体域的范围不同,则对应的句子的真值条件也不一样。
本文为全文原貌 未安装PDF浏览器用户请先下载安装 原版全文 聊城大学重点课程《离散数学》第4章《一阶逻辑基本概念》PPT里:
在不同个体域内,同一个命题的符号化形式可能不同,也可能相同。
同一个命题,在不同个体域中的真值也可能不同
结合笔者给出的这个例句:Some linguists laughed.如果转变成逻辑语言:[some]^m,g∩[linguist]^m,g≠?准,那这个形式句的意思是只要不是空集就可以了,那一个语言学家、两个语言学家都可以,但是却不符合原来句子(自然句子)的意思,原来句子“Some linguists laughed.”表达的概念是多余两个语言学家,并且在[some]^m,g∩[linguist]^m,g≠?准的形式句子中,可以分为两种表达个体域的范围:
A:|[some]^m,g∩[linguist]^m,g|>2
B:|[some]^m,g∩[linguist]^m,g|≤2
B的表达式不仅没有表达出原句的语义,也没有单调性。当加上这个条件的时候|[some]^m,g∩[linguist]^m,g|>2,笔者觉得符合了“Some linguists laughed.”自然语句的符号化,也有了单调性。
4.结语
本文只是粗浅地讨论了个体域对广义量词some的单调性影响。国外研究单调性的影响已经涉及了不同的范围:如:在不同的动词中、在否定句中、在疑问句中等。笔者觉得广义量词的单调性限制条件是很有看景的,尤其是在以后的研究涉及汉语时。希望更多的文献能提出汉语的广义量词的单调性。
参考文献:
[1]Barwise,J. & Cooper,R.Generalized quantifier and natural language[J].Linguistics and Philosophy,1981,(4):159-219.
[2]Ben-Avi,G.Monotonicity Properties of Plural Quantifiers in Natural Language.Msc thesis Israel Institute of Technology,2007.
[3]Thomas Ede Zimmermann.Monotonicity in opaque verbs[J].Linguist Philosophy,2006,(29):715-761.
[4]丁国旗.广义量词及其单调性[J].山东外语教学,2001,(3).
[5]蒋严,潘海华.形式语义学引论[M].北京:中国社会科学出版社,2005.
[6]刘伟.广义量词理论中的单调性研究[J].外语学刊,2002,(1):51-56.
[7]刘亚婷.广义量词主语部分单调性的特点[J].外语研究考试周刊,2007,(8).
[8]方立.数理语言学[M].北京:北京语言文化大学出版社,1997.
[9]方立.逻辑语义学[M].北京:北京语言文化大学出版社,2000.
[10]王敏.数理逻辑中的命题符号化的几个值得注意的问题[J].科技信息,2010,(9).
本文为全文原貌 未安装PDF浏览器用户请先下载安装 原版全文
