经典逻辑的推理形式是演绎的、单调的,一般被称为单调推理。它在解决基础理论问题时发挥了精确性与严格性等特点。但是在处理日常复杂语境下的推理问题时,基于经典逻辑的单调推理具有一定的局限性。与之相反,非单调推理具有一定的灵活性。其特点是推理结论具有暂时性。随着新情况的出现,结论可能会被更正,以便符合实际情况。单调推理与非单调推理之间的区别类似于弗雷格所提出的显微镜与眼睛在功能上的比较。即显微镜发挥了精确性的特点,有助于研究微观世界,但不具有眼睛在生活中的灵活性。然而,眼睛也不可能直接观察到只有通过显微镜才能看到的微观世界。非单调这一概念于上世纪70年代被提出来。经过学者们数十年对非单调推理的研究,逐渐形成了与单调的经典逻辑不同的非单调逻辑。两者之间最明显的差别是,单调逻辑的定理集随前提集的增加而单调递增,而非单调逻辑的定理集是随前提集的增加而非单调递增。具体来说,在日常语境下,以已有知识和新加入的知识为前提,可以得出新结论。新结论往往会面临两种情况:要么是与已有知识无矛盾,要么是与已有知识发生矛盾。第一种情况符合单调逻辑的特点。第二种情况符合非单调逻辑的特点。对于第二种情况,如果能确保新结论符合一般事实,那么就要对已有知识做修改。从而更新知识。对已有知识不断修改,发展新知识的过程,符合人类认识世界的一般规律。一方面,非单调推理对于理解人类如何认识世界有重要启发意义。另一方面,非单调推理也可以作为一种实用的推理工具,应用于其他学科的研究中。因此,研究非单调推理具有重要意义。研究非单调推理首先需要研究非单调逻辑系统。从逻辑学的角度,研究非单调逻辑系统的一致性与完全性等性质,可以阐明非单调推理是如何满足对推理合理性的要求。到目前为止,讨论最多的非单调逻辑系统是模态非单调逻辑和缺省逻辑等等。通过探讨这两类逻辑系统,可以深入了解模态非单调推理与缺省推理。在正文中,首先要全面了解非单调推理。通过讨论模态非单调逻辑和缺省逻辑这两种非单调逻辑系统,对非单调推理有一个整体性的认识。其次对单调推理和非单调推理之间的联系与区别有一个清楚的认识。在此基础上,深入探讨非单调推理在解决常识推理问题方面的效用和在其他学科上所具有的理论价值。