演绎推理中可能性推理初探

问题的提出 传统形式逻辑的推理绎演部分,只承认必然性推理,而不承认可能性推理。比如充分条件假言推理规则规定,“肯定前件就要肯定后件,否定后件就要否定前件。”这是因为充分条件的逻辑特征是前件真必然后件真,后件假必然前件假。这是必然性推理。又规定“否定前件不能否定后件。