论自然语言量化结构的单调推理关系毕业论文.doc

《论自然语言量化结构的单调推理关系毕业论文.doc》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、论自然语言量化结构的单调推理关系毕业论文目录1.引言82.本文的主旨和研究方法113.基本定义133.1广义量词133.2三分结构133.3单调性144.对当关系的数学解释164.1个体论域164.1.1「所有对当方阵」164.1.2「只有对当方阵」174.1.3「所有对当方阵」与「只有对当方阵」的关系204.2时间论域214.3可能世界论域234.4相关词论域与命题论域244.5模糊程度与比较结构254.6不可数名词与部分-整体关系274.7数量比较算子284.8「对当方阵一般模式」的推导294.8.1第一形式294.8.2第二形式3

2、14.9「对当方阵一般模式」的应用324.9.1「刚好n个对当方阵」324.9.2「多于n成、多于m个对当方阵」334.9.3模糊算子344.9.4「除...外」对当方阵374.9.5「对当方阵一般模式」的其他应用38824.10对当方阵与单调性的关系394.10.1差等关系的单调性394.10.2差等关系与否定词的结合405.传统逻辑其他课题的数学解释415.1结构变换的数学解释415.2三段论的数学解释416.左、右单调性的数学解释436.1引言436.2存在量词436.2.1存在量词的左、右单调性436.2.2各种否定对单调性的影

3、响436.2.3单调推理的对当方阵446.3全称量词456.4只有466.5数量比较算子476.5.1绝对数量比较476.5.2相对数量比较486.5.3「所有」、「只有」和「没有」的特殊性496.5.4含有相等语义的算子496.5.5模糊算子506.5.6「极多」等的歧义问题506.6非单调算子总表516.7其他算子516.8其他论域上的应用526.8.1连续时间论域526.8.2离散时间论域536.8.3比较结构536.8.4命题论域546.9单调推理原理547.「单调推理原理」的扩展557.1引言557.2无算子结构557.2.1

4、「光杆」名词短语结构557.2.2无主句567.3泛化量化结构56827.4多式算子结构577.4.1迭代量词577.4.2辖域歧义587.4.3「逐指解」与「统指解」597.4.4「单调推理原理」在多式算子上的应用607.4.5否定域的确定628.并列结构648.1「和-或错位现象」648.2「逻辑-集合论不对应现象」669.焦点结构699.1引言699.2焦点否定699.3含有「只」的焦点结构709.4「只有n个」与「不只n个」7010.结论72参考文献74附录1：对当方阵总览76附录2：某些广义量词的集合论定义81附录3：本文定理

5、的证明82821.引言「广义量词理论」(generalizedquantifiertheory，GQT)是当代「形式语义学」的重要分支，这个理论大大扩充了逻辑学所研究「量词」(quantifier)的范围。传统逻辑只研究两个量词：「全称量词」universalquantifier和「存在量词」existentialquantifier，GQT则把研究范围扩大为自然语言中几乎所有限定符／名词结构，统称「广义量词」(generalizedquantifier，GQ)。此外，GQT还研究涉及GQ的各种逻辑推理关系，其中尤以「单调推理」「單調推

6、理」有廣狹二義。廣義的「單調推理」是指如果能從某個前提集合導出某結論，那麼把新的前提加入該前提集合，仍能導出該結論。本文所指的「單調推理」是狹義的「單調推理」，其定義見下文。最引人注目。通过对GQ「单调性」(monotonicity)的研究和分类，GQT为以下「单调推理」提供了解释：(S1)有学生穿红色的T恤Þ有学生穿T恤本校所有学生都穿T恤Þ本校所有男生都穿T恤不过，从论域(domainofdiscourse)方面看，GQT的研究范围一般仅限于「个体论域」，即「谓词逻辑」所研究的论域，而不包括其他逻辑分支所研究的论域，如「时态逻辑」所

7、研究的「时间论域」、「模态逻辑」所研究的「可能世界论域」等。不过，亦有某些学者把GQT的概念扩大应用于「时间论域」。举例说，蒋严、潘海华(2005)便设有专章讨论对时间的量化，并且还建立了某些「时间状语」与GQ的对应关系，例如always对应「全称量词」、sometimes对应「存在量词」、never对应「否定量词」「否定量詞」是指表示「沒有」的量詞。在傳統邏輯中，「沒有」是「否定詞」與「存在量詞」的複合體，因而沒有特別給它一個名稱。本文為方便以下的討論，所以設立這個術語。等。DeSwart(1996)也专门讨论了时间量化的问题，而且还

8、把GQT中的各种宏观特性(特别是「单调性」)推广到「时间论域」，从而解释某些涉及时间状语的单调推理。其实，传统逻辑早已看到不同论域之间的联系。传统逻辑着重研究的推理问题有两大类：直接推理和间接推理，前者以「