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

论自然语言量化结构的单调推理关系毕业论文 目录 1. 引言 8 2. 本文的主旨和研究方法 11 3. 基本定义 13 3.1 广义量词 13 3.2 三分结构 13 3.3 单调性 14 4. 对当关系的数学解释 16 4.1 个体论域 16 4.1.1 「所有对当方阵」 16 4.1.2 「只有对当方阵」 17 4.1.3 「所有对当方阵」与「只有对当方阵」的关系 20 4.2 时间论域 21 4.3 可能世界论域 23 4.4 相关词论域与命题论域 24 4.5 模糊程度与比较结构 25 4.6 不可数名词与部分-整体关系 27 4.7 数量比较算子 28 4.8 「对当方阵一般模式」的推导 29 4.8.1 第一形式 29 4.8.2 第二形式 31 4.9 「对当方阵一般模式」的应用 32 4.9.1 「刚好n个对当方阵」 32 4.9.2 「多于n成、多于m个对当方阵」 33 4.9.3 模糊算子 34 4.9.4 「除...外」对当方阵 37 4.9.5 「对当方阵一般模式」的其他应用 38 4.10 对当方阵与单调性的关系 39 4.10.1 差等关系的单调性 39 4.10.2 差等关系与否定词的结合 40 5. 传统逻辑其他课题的数学解释 41 5.1 结构变换的数学解释 41 5.2 三段论的数学解释 41 6. 左、右单调性的数学解释 43 6.1 引言 43 6.2 存在量词 43 6.2.1 存在量词的左、右单调性 43 6.2.2 各种否定对单调性的影响 43 6.2.3 单调推理的对当方阵 44 6.3 全称量词 45 6.4 只有 46 6.5 数量比较算子 47 6.5.1 绝对数量比较 47 6.5.2 相对数量比较 48 6.5.3 「所有」、「只有」和「没有」的特殊性 49 6.5.4 含有相等语义的算子 49 6.5.5 模糊算子 50 6.5.6 「极多」等的歧义问题 50 6.6 非单调算子总表 51 6.7 其他算子 51 6.8 其他论域上的应用 52 6.8.1 连续时间论域 52 6.8.2 离散时间论域 53 6.8.3 比较结构 53 6.8.4 命题论域 54 6.9 单调推理原理 54 7. 「单调推理原理」的扩展 55 7.1 引言 55 7.2 无算子结构 55 7.2.1 「光杆」名词短语结构 55 7.2.2 无主句 56 7.3 泛化量化结构 56 7.4 多式算子结构 57 7.4.1 迭代量词 57 7.4.2 辖域歧义 58 7.4.3 「逐指解」与「统指解」 59 7.4.4 「单调推理原理」在多式算子上的应用 60 7.4.5 否定域的确定 62 8. 并列结构 64 8.1 「和-或错位现象」 64 8.2 「逻辑-集合论不对应现象」 66 9. 焦点结构 69 9.1 引言 69 9.2 焦点否定 69 9.3 含有「只」的焦点结构 70 9.4 「只有n个」与「不只n个」 70 10. 结论 72 参考文献 74 附录1：对当方阵总览 76 附录2：某些广义量词的集合论定义 81 附录3：本文定理的证明 82 1. 引言 「广义量词理论」(generalized quantifier theory，GQT)是当代「形式语义学」的重要分支，这个理论大大扩充了逻辑学所研究「量词」(quantifier)的范围。传统逻辑只研究两个量词：「全称量词」universal quantifier和「存在量词」existential quantifier，GQT则把研究范围扩大为自然语言中几乎所有限定符／名词结构，统称「广义量词」(generalized quantifier，GQ)。此外，GQT还研究涉及GQ的各种逻辑推理关系，其中尤以「单调推理」最引人注目。通过对GQ「单调性」(monotonicity)的研究和分类，GQT为以下「单调推理」提供了解释： (S1) 有学生穿红色的T恤 ( 有学生穿T恤 本校所有学生都穿T恤 ( 本校所有男生都穿T恤 不过，从论域(domain of discourse)方面看，GQT的研究范围一般仅限于「个体论域」，即「谓词逻辑」所研究的论域，而不包括其他逻辑分支所研究的论域，如「时态逻辑」所研究的「时间论域」、「模态逻辑」所研究的「可能世界论域」等。不过，亦有某些学者把GQT的概念扩大应用于「时间论域」。举例说，蒋严、潘海华(2005)便设有专章讨论对时间的量化，并且还建立了