《数学啄木鸟专栏》分享 http://blog.sciencenet.cn/u/wenqinghui 对错误的数学论点发表评论

博文

Zmn-0208 薛问天:约束变量的替換并不违背逻辑同一律-评赵峰先生的质疑

已有 408 次阅读 2020-5-22 19:06 |个人分类:数学啄木鸟|系统分类:论文交流

Zmn-0208 薛问天:约束变量的替換并不违背逻辑同一律-评赵峰先生的质疑
【编者按。下面是薛问天先生发来的评论文章。是对《Zmn-0155》赵峰先生文章的评论。现在发布如下,供网友们共享。请大家关注并积极评论。另外本《专栏》重申,这里纯属学术讨论,所有发布的各种意见仅代表作者本人,不代表本《专栏》编辑部的意见。】

 

 

约束变量的替換并不违背逻辑同一律

-评赵峰先生的质疑

薛问天

xuewentian2006@sina.cn

 

薛问天-c.jpg(一),问题的提出

这个问题是由赵峰先生对一个公式的一个错误的证明引起的。尽管经过讨论,赵峰先生承认这个公式是错的,因为有反例。对这些反例的正确性提不出任何问题,于是赵峰先生说【因此 整体上也必定成立,对此根本无需怀疑!】但是仍然心存疑虑,总怀疑这是否违背了【逻辑同一律】。甚至怀疑起数学的真假来了,感叹道:【 数学的奇妙之处还在于有的似是而非,有的却似非而是,有的可以证明却又似乎难以理解;而到底什么是真,什么又是假,什么是空,什么又是实,还真的颇费心思,可谓是假作真时真亦假,无为有时有还无!《0155》】

最后赵峰先生还是认为:【 简单地说, 在不违反同一律的情况下应该这样来分析(以例 1 来说):因为 ∀x (x>10→x>5) 是真的,所以只要有某一 x 使得 x>10,则这样的每一个 x 一定可使得 x>5。而不是将∃x (x>10) 和∀x (x>5) 割裂开来,在一个推导过程中使得 x 前后不一致不同一,考虑成 ∃x (x>10) → ∀y (y>5)。这里,前件对后件有限制和约束关系。否则必将导致违反同一律的错误。】

他仍坚持认为 ∀x (x>10→x>5) ⇒ ∃x(x>10) → ∀x (x>5)中的「 ∃x(x>10) → ∀x (x>5)」应理解为【 只要有某一 x 使得 x>10,则这样的每一个 x 一定可使得 x>5。而不是将∃x (x>10) 和∀x (x>5) 割裂开来,在一个推导过程中使得 x 前后不一致不同一,考虑成 ∃x (x>10) → ∀y (y>5)。】

也就是说他认为不应允许将

∃x (x>10) →∀x (x>5) 替换为

∃x (x>10) → ∀y (y>5)。

否则【 在一个推导过程中使得 x 前后不一致不同一】,就违背了【逻辑同一律】。
赵峰先生的这个观点也见于他前面的文章。他在《0144》中说:

【 我们知道,遵守同一律,保持同一时间、同一类关系下对于同一对象包括概念、判断的确定性是正确推理的前提和基本条件。它要求人们在论断过程中思维的对象要确定,概念要保持同一,不得随意变换。在同一律的要求下,对于

∀x (﹁Q(x) ∨S(x)) ⇒ ﹁(∃x Q(x) ∧∃x﹁S(x)),

即使限定 x = y = z 人们也自然不能理解为

∀x (﹁Q(x) ∨S(x)) ⇒ ﹁(∃y Q(y) ∧∃y﹁S(y)),或者

∀x (﹁Q(x) ∨S(x)) ⇒ ﹁(∃y Q(y) ∧∃z﹁S(z)),

等诸如此类的命题,因为这显然不能在同一推理过程中保持每个概念和判断的同一性,违反了最简单的逻辑规律即同一律。因此,前件对后件构成一定的约束和限制,每任给一个 x,所有前后谓词的参变元或参变量 x 都必须同样发生变化且始终保持同一,这才能符合同一律的要求,这也应该是谓词逻辑推导所必须遵循的规则。】

那么赵峰先生的观点对不对呢?约束变量的替换究竟违背不违背同一律呢?

回答是否定的, 赵峰先生的观点不对,约束变量的替换并不违背同一律。下面我们来进行分析和解释 。

(二), 量词的辖域。

赵峰先生的错误源于他对一阶逻辑的规定还缺乏准确细緻的了解。 一阶逻辑的合式公式的定义是非常严格的。公式有严格的旧纳结构。其中 ∃xA(x)和∀xA(x)就是其结构的一种。公式中每个量词 Qx(代表∃x或者∀x),都有它的自己特定的辖域,在辖域内的约束变量x受它管辖,超出了辖域的约束变量ⅹ不受它管辖,同它无关,不具有同一性。它归属于另外的量词管辖,与另外的管辖它的量词的约束变量具有同一性。

下面我引用书[1]的有关定义和定理。

定义3.2.8 (辖域) 。如果QxA(x)是B中的段,则把其中的A(x)称为量词Qx在B中的辖域。

定理3.2.9。任何公式中的任何量词有唯一的辖域。

例如 公式「 ∃x(x>10) → ∀x (x>5)」,其中 前件中的 ∃x的辖域是(x>10),而后件中的 ∀x的辖域是(x>5)。这两个辖域中的x没有关系,不具有约束关系,同一关系。把它理解为【 只要有某一 x 使得 x>10,则这样的每一个 x 一定可使得 x>5。】是错误的理解 ,不合原逻辑公式的原本语义。 逻辑公式 ∀x (x>5)的原本语义是【论域中所有x,x>5】,显然是个假的命题。

正因为 QxA(x)的真假值只同辖域内的约束变量有关,所以 如果y不在QxA(x)中出现,则将x换成y得到的公式 QyA(y)是同值公式,即 QxA(x)≡ QyA(y) 。

(三),等值公式的替换。

在一阶逻辑中有如下定理[1]:

定理3.4.3 (等值公式替换) 。设B≡C, 即B,C可相互推出。並且在A中把B的某些(不一定全部)出现替换成C而得到A’,则A≡A′ , 即A,A′可相互推出。

由于QxB(x)≡ QyB(y)是等值公式。所以有

定理3.6.2 (约束变量的替换) 。设在公式A中把QxB(x)的某些(不一定全部)出现替换成QyB(y)而得到A’,则A≡A , 即A,A′可相互推出。

可见在一阶逻辑中把∃x (x>10) →∀x (x>5) 替换为

∃x (x>10) → ∀y (y>5)。完全是恰当的正确的。同样把

∀x (﹁Q(x) ∨S(x)) ⇒ ﹁(∃x Q(x) ∧∃x﹁S(x)),替换为

∀x (﹁Q(x) ∨S(x)) ⇒ ﹁(∃y Q(y) ∧∃y﹁S(y)),或者

∀x (﹁Q(x) ∨S(x)) ⇒ ﹁(∃y Q(y) ∧∃z﹁S(z)) 。完全合理合法 ,并不违背同一律。

另外,赵峰先生提供了一种对公式求真值表的方法,这种方法是基于他对逻辑公式中约束变量的同一性的错误理解,混淆了量词辖域的概念,把不同辖域的个体混为一谈。显然这种真值表得不出正确的结果。一阶逻辑公式要根据它的归纳结构来计算它的真值。每个量词公式都要在它的自已的辖域结构内独立求其真假值,不能同辖域外的同名约束变量的个体混杂在一起。而这正是赵峰先生真值表的问题所在。

 

[1]。陆钟万著,面向计算机科学的数理逻辑,科学出版社。

 (全文完)

 

 

 

返转到:

   zmn-000文清慧:发扬啄木鸟精神-《数学啄木鸟专栏》开场白及目录




 

 




http://blog.sciencenet.cn/blog-755313-1234456.html

上一篇:Zmn-0207 欧阳耿:答薛问天0206 再论数学的逻辑缜密性
下一篇:Zmn-0209 师教民:评《对「反函数导数定理」的严重歪曲-评师教民先生的<0199>》

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2020-9-23 11:40

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部