逻辑推理浅谈

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

逻辑推理浅谈

摘要:逻辑推理作为人们从已知进入未知的工具。能否从已知获取新知,是逻辑推理的根本。

关键词:推理客观存在逻辑

辩证唯物主义认为,世界时客观的。而思维是世界高度发展的产物,作为人脑中的一种特殊意识而存在,世界上的事物(对象)没有不可认知的。事物既然存在,那么定有规律,或被推理,或被发现,其不可能也不会是按人们的主管臆想而改变,而过去和现在的有些关于逻辑推理的书本上总是相当的内容让人匪夷所思。我的逻辑学老师龚启荣教授为此思考了很久,可是始终不得其解!我们无法理解那些所谓的专家的大作。

我们很是烦恼,在我们阅读以下内容时:

铁能导电;

金能导电;

铁能导电;

(而铁、铜、金都是金属)

所以凡是金属都能导电。

我们对此思考,比如,我们看到《形式逻辑》(华东师范大学出版社1987年版)有如下推理:

甲有心脏病;

乙有心脏病;

丙有心脏病;

(而甲、乙、丙都是人)

所以凡人都有心脏病。

这显然不对。我们由此可这样认为,之所以会有此怪论,有以下两点原因:

1、由于结论的范围超过了前提的范围,因而,结论未必成立(真);

2、容易导致(犯)轻率概括的错误。

还有另一例:

她很高兴,并且,她笑了;

所以,她很高兴。

在这里,此类读物中硬是说这是新知,这就让人难懂了!推理是要书新知的。

我们对次作了思考,认为这不是新知,这只是推导。推理是要具有第一独立性和第二独立性的。而次例子具有第一独立性,故不是新知!

在我们阅读此类书的时候,还有以下的雷倒所谓的逻辑学家的内容:

一、流行的形式逻辑中所谓的“假言推理”

在流行的形式逻辑中将恒真的真值函数A ⋀(A → B)→ B、B ⋀(A ← B)→ A、A ⋀(A ↔ B)→ B分别代替能出新知的充分条件假言推理A ⋀(A ⇀ B)⇀ B、必要条件假言推理B ⋀(A ↽ B)⇀ A和充分必要条件假言推理A ⋀(A ⇌B)⇀ B,于是出现了蕴涵怪论。

怪论一:所谓“充分条件假言推理肯定式” A ⋀(A → B)→ B 在传统形式逻辑当中,充分条件假言推理肯定式A ⋀(A ⇀ B)⇀ B符合人的普通逻辑思考实际,其有效性是显而易见的。可是,现行的形式逻辑读本却将其用数理逻辑符号表达为:A ⋀(A → B)→ B。于是,有下述恒等变形:

A ⋀(A → B)→ B(原式)

=A ⋀(⌝A ⋁ B) → B(→的定义)

=(A ⋀⌝A) ⋁ (A ⋀ B) → B(⋀对⋁的分配律)

=(A ⋀⌝A→ B )⋀ (A ⋀ B → B)(⋁对→分配律)

而(A ⋀⌝A→ B )⋀ (A ⋀ B → B) →A ⋀⌝A→ B (合取分解式)

故(A ⋀(A → B)→ B)→A ⋀⌝A→ B (置换定理)

A ⋀⌝A→ B的意思是从假命题A ⋀⌝A可以推出任意命题B。因此,A ⋀⌝A→

B 是蕴涵怪论。在当代形式逻辑中,A ⋀(A → B)→ B为涵衍式,它与人的普通逻辑思考实际不相容,因而不是什么推理

对这个推理,这类书一般表示为:

p→q

p

q

这个式子,写成横式就是:p ⋀(p→q)→q 。

于是有下面的证明:

p⋀(p→q)→q

=p ⋀(⌝p ⋁ q) →q(→的定义)

=(p ⋀⌝p) ⋁ (p ⋀ q) → q(⋀对⋁的分配律)

=(p ⋀⌝p→ q )⋀ (p ⋀ q → q)(⋁→合取律)

而(p ⋀⌝p→ q )⋀ (p ⋀ q → q) →p ⋀⌝p→ q (合取分解律)

故(p ⋀(p → q)→ q)→p ⋀⌝p→q (恒等置换定律)

p ⋀⌝p→ q的意思是:从假命题p ⋀⌝p可以推出任意命题q(换个通俗的

说法就是:随便说出一个假命题,就能推出任意的命题。比如:从“人武学院有一千亩土地并且没有一千亩土地”就可以推出任意命题,比如,可以推出“国教系每年收入一千万元人民币”,也可推出“奥巴马明天访问人武学院”,.....)。因此,p ⋀⌝p→ q是蕴涵怪论式。p ⋀(p → q)→ q与人的普通逻辑思考实际格格不入,不是什么推理式。就是说,这类逻辑读物写的下面的式子不是推理式: p→q

p

q

同理可证,流行的形式逻辑中所谓的“充分条件假言推理否定式”

p→q

⌝q

⌝p

也与人的普通逻辑思考实际格格不入,不是什么推理式。

怪论二:所谓“必要条件假言推理肯定式” B ⋀(A ← B)→ A

流行的形式逻辑读本将纯真值的逆蕴涵关系←当作非纯真值的必要条件关系↽。因此,非纯真值的必要条件假言推理B ⋀(A ↽ B)⇀ A却被用数理逻辑符号写成含蕴涵怪论的纯真值逆蕴涵重言式B ⋀(A ← B)→ A。请看如下恒等变形:

B ⋀(A ← B)→ A(原式)

=B ⋀(A ⋁⌝B)→ A(←的定义)

=(B ⋀ A)⋁(B ⋀⌝B)→ A(⋀对⋁的分配律)

=(A ⋀ B)⋁(B ⋀⌝B)→ A(交换律)

=(A ⋀ B→ A)⋀(B ⋀⌝B→ A)(⋁对→分配律)

而(A ⋀ B→ A)⋀(B ⋀⌝B→ A)→B ⋀⌝B→ A(合取分解式)

故(B ⋀(A ← B)→ A)→B ⋀⌝B→ A(置换定理)

因为 B ⋀⌝B→ A是蕴涵怪论(从恒假命题B ⋀⌝B可以推出任意命题 A),所以,在当代形式逻辑中,B ⋀(A ← B)→ A为涵衍式,它包含蕴涵怪论,而不是可据以作不循环论证的推理式。

同理可证⌝ A ⋀(A ← B)→⌝ B也为涵衍式,也包含蕴涵怪论。

怪论三:所谓“充分必要条件假言推理”A ⋀(A ↔ B)→ B

在A ⋀(A ↔B)→ B中,等值关系↔是一个2元真值函数。等值命题A ↔B的真假取决于支命题A、B的真值。也就是说,重言式A ⋀(A ↔ B)→ B是

相关文档
最新文档