，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来，这意味着向理论增加一个公式永不引起它的推论集合的减小。在直觉上，单调性指示出学习一些新知识不能减小已知知识的集合。单调逻辑不能处理各种推理任务比如缺省推理（事实可以是已知的，只是因为缺乏反面的证据）、溯因推理（事实只按最合适的解释演绎出来）、关于知识的推理（在事实变成已知的时候，对一个事实的无知必须被撤消），和信念修正（新知识可以和旧信念矛盾。）目前对于非单调推理的研究一般有两种途径：Secti