求数列单调性_非单调推理及其应用.pdf

  本文关键词：非单调推理及其应用，由笔耕文化传播整理发布。

河南大学 硕士学位论文 非单调推理及其应用 姓名：刘飞 申请学位级别：硕士 专业：逻辑学 指导教师：李振江；郭桥 2011-05 摘 要 经典逻辑的推理形式是演绎的、单调的，一般被称为单调推理。它在解决基础理论 问题时发挥了精确性与严格性等特点。但是在处理日常复杂语境下的推理问题时，基于 经典逻辑的单调推理具有一定的局限性。与之相反，非单调推理具有一定的灵活性。其 特点是推理结论具有暂时性。随着新情况的出现，结论可能会被更正，以便符合实际情 况。单调推理与非单调推理之间的区别类似于弗雷格所提出的显微镜与眼睛在功能上的 比较。即显微镜发挥了精确性的特点，有助于研究微观世界，但不具有眼睛在生活中的 灵活性。然而，眼睛也不可能直接观察到只有通过显微镜才能看到的微观世界。 非单调这一概念于上世纪 70 年代被提出来。经过学者们数十年对非单调推理的研 究，逐渐形成了与单调的经典逻辑不同的非单调逻辑。两者之间最明显的差别是，单调 逻辑的定理集随前提集的增加而单调递增，而非单调逻辑的定理集是随前提集的增加而 非单调递增。具体来说，在日常语境下，，以已有知识和新加入的知识为前提，可以得出 新结论。新结论往往会面临两种情况：要么是与已有知识无矛盾，要么是与已有知识发 生矛盾。第一种情况符合单调逻辑的特点。第二种情况符合非单调逻辑的特点。对于第 二种情况，如果能确保新结论符合一般事实，那么就要对已有知识做修改。从而更新知

  本文关键词：非单调推理及其应用，由笔耕文化传播整理发布。