非单调逻辑是(在前提的集合和单一的句子之间的)推论关系不是单调性的形式逻辑。多数形式逻辑都有单调性的推论关系(就是说,如果一个句子可以从前提的集合中推理出来,则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来),这意味着向理论增加一个公式永不引起它的推论集合的减小,在直觉上,单调性指示出学习一些新知识不能减小已知知识的集合。