两种推定的逻辑特征之比较

非单调性推理是指如对前提集合中加进新的知识,那么原结论可能不成立的推理。推定可分为可反驳的推定和不可反驳的推定。可反驳推定的推理形式和逻辑认知基础上都是非单调性的,尽管不可反驳推定的推理形式是单调性的,而在认知基础上仍然是非单调性的。