自然语言的意义很大程度上依赖于量化表达式。形式化自然语言的陈述而又不包含量词,几乎是不可能的。而且人们日常的交流和推理都离不开量词。如数学上经常用到的“唯一一个”、“奇数个”、“可数无限个”等；日常语言中使用的“所有事物”、“大多数人”、“很多”、“几乎没有”等等。事实上,正是对某些量词问题的研究推动了当今形式语义学多个分支理论的形成和发展,特别是广义量词理论。该理论除了提供了一个可以界定包括经典量词在内的更多量词的理论框架外,还揭示了自然语言中的量词的单调性及有关推理类型,从而揭示了某些古典形式逻辑和现代数理逻辑都没有研究的自然语言推理。因此不论对语言学还是逻辑学来讲,这都是一个重要的研究内容,因而备受关注。　　 本文正是在诸多学者研究的基础上,对广义量词理论中的单调性问题进行全面分析、总结、探讨。主要脉络如下:　　 首先,在给出类型为〈1〉的量词单调性定义的基础上,仔细地分析了此类量词中的NP、个体量词的单调情况,研究了否定对单调性的影响,进而研究了复合的NP的单调情况。　　 其次,根据类型为〈1,1〉的量词单调性的基本概念,分析证明了基础量词和迭代〈1,1〉型量词的单调情况以及否定的影响。　　 再次,讨论了特殊〈1,1〉类型量词的单调性,包括模糊量词和疑问量词的单调性一般原理及否定情况。　　 最后,在讨论了各种类型的量词单调性基础上,进一步总结规律,得出了单调性推理原理。同时概述了单调性推理与古典推理的联系。　　 本文对以上四个部分的探讨,目的在于通过对广义量词理论中单调性问题的分析,得出单调性推理原理以及单调性推理与古典推理的联系。而这与逻辑推理直接相关,揭示了一种新型的推理模式。我们知道,一阶谓词演算系统是不可判定的。这还只是就含有全称量词和存在量词的情况的谓词演算系统而言,对于包含非经典量词的逻辑系统来说,其情况就更加复杂,这些系统更是不可判定的。运用这一结论,可以丰富推理形式,因为推理不是机械、死板的过程。