【精品】逻辑推理浅谈

《【精品】逻辑推理浅谈》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、逻辑推理浅谈摘要：逻辑推理作为人们从已知进入未知的工具。能否从已知获取新知，是逻辑推理的根本。关键词：推理客观存在逻辑辩证唯物主义认为，世界时客观的。而思维是世界高度发展的产物，作为人脑屮的一种特殊意识而存在，世界上的事物（对象）没有不可认知的。事物既然存在，那么定有规律，或被推理，或被发现，其不可能也不会是按人们的主管臆想而改变，而过去和现在的有些关于逻辑推理的书本上总是相当的内容让人匪夷所思。我的逻辑学老师龚启荣教授为此思考了很久，可是始终不得其解！我们无法理解那些所谓的专家的大作。我们很是烦恼，在我们阅读以下内容时：铁能导电；金能导电；铁能导电；（ifu铁、

2、铜、金都是金属）所以凡是金属都能导电。我们对此思考，比如，我们看到《形式逻辑》（华东师范大学出版社1987年版）有如下推理：甲有心脏病；乙有心脏病；丙有心脏病；（而甲、乙、丙都是人）所以凡人都有心脏病。这显然不对。我们由此可这样认为，之所以会有此怪论，有以下两点原因：1、由于结论的范围超过了前提的范围，因而，结论未必成立（真人2、容易导致（犯）轻率概扌舌的错误。还有另一例：她很高兴，并且，她笑了；所以，她很高兴。在这里，此类读物屮硬是说这是新知，这就让人难懂了！推理是要书新知的。我们对次作了思考，认为这不是新知，这只是推导。推理是要具冇第一独立性和第二独立性的。而

3、次例子具冇第一独立性，故不是新知！在我们阅读此类书的时候，述有以下的雷倒所谓的逻辑学家的内容：一、流行的形式逻辑中所谓的“假言推理”在流行的形式逻辑中将恒真的真值函数A八(A-B)-B、B八(A-B)->A、A八(AoB)->B分别代替能出新知的充分条件假言推理AA(A-B)亠B、必要条件假言推理BA(A「B)亠A和充分必要条件假言推理AA(AB)亠B,于是出现了蕴涵怪论。怪论一：所谓“充分条件假言推理肯定式”AA(A->B)->B在传统形式逻辑当中，充分条件假言推理肯定式AA(A亠B)亠B符合人的普通逻辑思考实际，其有效性是显而易见的。可是，现行的形式逻辑读本却

4、将其用数理逻辑符号表达为：AA(A->B)->Bo于是，有下述恒等变形：AA(A-B)-B(原式)=AA(iAVB)-B(-的定义)=(AA^A)V(AAB)->B(八对V的分配律)=(A—B)A(AAB->B)(V对一分配律)而(A—B)A(AAB->B)->A—B(合取分解式)故(AA(A->B)->B)->A—B(置换定理)AA—1A-*B的意思是从假命题AA—iAnJ以推出任意命题B。因此，AA—iA~*B是蕴涵怪论。在当代形式逻辑中，AA(A->B)->B为涵衍式，它与人的普通逻辑思考实际不相容，因而不是什么推理对这个推理，这类书一般表示为：P—qPq这

5、个式了，写成横式就是：PA(pfq)fq。于是有下面的证明：pA(p—q)—q=PA(-,pVq)—q(―的定义)=(pA-iP)V(pAq)q(八对V的分配律)=(pA-,p->q)A(pAq->q)(V—合取律)jflj(pA-,p->q)A(pAq->q)->pA-,p->q(合取分解律)故(pA(p—q)—q)—pA-ip—q(恒等置换定律)PA^p->q的意思是：从假命题p可以推出任意命题q(换个通俗的说法就是：随便说出一个假命题，就能推出任意的命题。比如：从“人武学院冇一千亩土地并月•没有一千亩土地”就可以推出任意命题，比如，可以推岀“国教系每年收入一

6、千万元人民币”，也可推出“奥巴马明天访问人武学院”，・・・・・）。因此，pq是蕴涵怪论式。pA（p->q）->q与人的普通逻辑思考实际格格不入，不是什么推理式。就是说，这类逻辑读物写的卜面的式了不是推理式:pfqpq同理可证，流行的形式逻辑中所谓的“充分条件假言推理否定式”也与人的普通逻辑思考实际格格不入，不是什么推理式。怪论二：所谓“必要条件假言推理肯定式”BA（A-B）fA流行的形式逻辑读本将纯真值的逆蕴涵关系一当作非纯真值的必要条件关系L。因此，非纯真值的必要条件假言推理BA（ALB）亠A却被用数理逻辑符号写成含蕴涵怪论的纯真值逆蕴涵重言式B八（A-B）-A

7、。请看如下恒等变形：BA（AB）->A（原式）=BA（AV「B）-A（-的定义）=（BAA）V（BAiB）->A（八对V的分配律）=（AAB）V（BA-,B）->A（交换律）=（AAB->A）A（BA「B-A）（V对一分配律）而（AAB->A）A（BA「B-A）->BA「B-A（合取分解式）故（B八（A-B）->A）->BA-,B->A（置换定理）因为BAiB->A是蕴涵怪论（从恒假命题BA「B可以推出任意命题A）,所以，在当代形式逻辑中，B八（A-B）-A为涵衍式，它包含蕴涵怪论，而不是可据以作不循坏论证的推理式。同理可证「A八（A-B）-「B也为涵衍式，也包含

8、蕴涵怪论。