Zmn-0615 薛问天：正确使用形式逻辑的推理不会出问题，评学半先生的《0561》

【编者按。下面是薛问天先生的文章，是对学半先生的《Zmn-0561》文章的评论。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意见仅代表作者本人，不代表本《专栏》编辑部的意见。】

正确使用形式逻辑的推理不会出问题，

评学半先生的《0561》

薛问天

xuewentian2006@sina.cn

学半先生在《0561》中提出【数学啄木鸟能否啄除逻辑害虫？】的问题。他的主要观点是他认为【形式逻辑系统里面有逻辑害虫】，【遵守形式逻辑基本规律未必能够正确反映客观现实。】但是他并沒有指出实例，说明实际【遵守形式逻辑基本规律】了，而没能【正确反映客观现实。】

我认为关键是【遵守】规律，要正确应用形式逻辑。并不是形式逻辑本身有什么问题，出问题是在应用不当。

学半先生关心的是形式逻辑中的【同一律】。同一律要求推理中同一对象必须保持一致，不能把不同的对象当作是同一对象对待，否则就会出错。因而在具体的推理中，使用同一律，就必须搞清楚什么是同一对象，什么不是。因而出错并不是同一律出错，而是把在这次推理中，什么是同一对象搞错了。

在学半先生举的例子中，把一个长度为1尺的绳子(a1所示)，折叠成左边一个长度为1/2尺的绳子和右边一个长度为1/2尺的绳子(a3 所示)。半学先生问这两个对象是不是同一对象。显然，这要同所论述的问题有关。如果你关心的不仅仅是长度还关心它的左右位置，那么「左边那个长度为1/2尺的绳子」同「右边那个长度为1/2尺的绳子」，在相应论断中就不是同一对象。例如论断说「左边那个」在「右边那个」的左端，从而这两个绳子有左右位置之分，不是同一个对象。

但是当我们在论述中不在乎左右位置，只考虑长度。例如说【一个长度一尺的绳子可以分成两个长度为1/2尺的绳子】。这两个「长度为1/2尺的绳子」就是论述的同一对象。例如它可以符合同一律在下述论断中使用，「长度为1/2尺的绳子可以分成3个长度为1/6尺的绳子」，不会出错，这两条绳子都符合论断，都能分成3个1/6尺的绳子。

当然如果我们只关心的是数字"1/2"，其它的都不关心，「数字1可以分成两个数字"1/2"相加」。那当然这两个数字"1/2"，都是数字"1/2"，是数域中的同一个数字，是同一对象。

也就是说，使用同一律，必须搞清什么是同一对象。而什么是同一对象，必须同你论证时的论题有关，看你论证的是什么。要搞清在论证中能否将其视为同一对象。

如果你不仅关心它的左右位置，长度，还关心它有的箭头方向(a4,a5,a6所示)，关心的是个向量。那就要根据讨论的需求，向量的相等与不等的定义，决定什么是同一对象。不同的研穷要求有不同的规定。跟据诸如半学先生所关注的矢量的定量形态，作用与反作用，矛盾，抵触和排斥 等因素來作出不同的规定。

集合的外延公理规定，集合的元素完全相同，才是同一集合。对于两个集合的一一对应和同势，当然一般來说，这两个集合不是同一集合。不过对同一集合，自己同自己也自然是一一对应的。

半学先生所说的实数的定义，实数连续性的定义以及连续统的定义，这里面也都是根据所讨论的问题來决定同一对象的。正确的应用同一律，是不会存在错误的。不存在，由同一律导致的任何【不真(不是客观现实的反映)】的问题。

文的最后，半学先生讲了些康托的基数以及涉及形式逻辑和辩证逻辑的内容。此文并未涉及【形式逻辑系统里面有逻辑害虫】，【遵守形式逻辑基本规律未必能够正确反映客观现实】的主题，也沒有指出实例，说明实际【遵守形式逻辑基本规律】了，而没能【正确反映客观现实。】

所以我认为关键是【遵守】，要正确应用形式逻辑的规律。并不是形式逻辑本身有什么问题，出问题是在应用不当。应除的害虫不是【形式逻辑系统里面有逻辑害虫】，而是清除对形式逻辑和同一律的应用不当的害虫。

参考文献

• Zmn-0561 学   半：数学啄木鸟能否啄除逻辑害虫？  2021-5-21 08:16

返转到

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

• Zmn-0615 薛问天： 正确使用形式逻辑的推理不会出问题，评学半先生的《0561》   2021-8-2 20:43

• Zmn-0614 新   华： 关于《新无穷、新无穷理论体系Ⅱ》看法   2021-8-2 20:58

• Zmn-0613 一阳生： 对薛问天老师Zmn-0606中无穷观的评价  2021-8-2 08:37

• Zmn-0612 薛问天： 欧阳耿先生文章的问题在哪里，评欧阳耿先生《0592》   2021-8-1 17:53

• Zmn-0611 欧阳耿： 新无穷观、新无穷理论体系II-答新华先生的0609   2021-7-31 08:15

• Zmn-0610 李鸿仪： 从一些数学悖论看数学家思维的局限（一）：谷堆悖论   2021-7-30 08:43

• Zmn-0609 新   华： 再次请教欧阳耿先生几个问题   2021-7-29 09:43

• Zmn-0608 欧阳耿： 新无穷观、新无穷理论体系-答新华先生的0605。   2021-7-25 19:14

• Zmn-0607 黄汝广： 有关蕴涵关系与反证法的探讨   2021-7-24 08:27

• Zmn-0606 薛问天： 区分两种实无穷观   2021-7-23 15:19

• Zmn-0605 新   华： 请教欧阳耿先生几个问题   2021-7-23 08:58

• Zmn-0604 杨六省： 在毕达哥拉斯学派关于√2 不是有理数的证明中  隐藏着一个“复杂问语”的谬误   2021-7-21 11:35

• Zmn-0603 师教民： 评薛问天先生的文章0596   2021-7-20 15:58

• Zmn-0602 欧阳耿： 调和级数悖论挑战传统无穷观及其相关的数量体系   2021-7-20 08:23

• Zmn-0601 thebeater：从无穷序列到非标准分析，简评zmn-597和zmn-599   2021-7-19 20:40

• Zmn-0600 欧阳耿： 数学分析和集合论中十四个悬而未决的难题   2021-7-19 09:02

• Zmn-0599 数   森： 简评Zmn-0594《一个0.9循环等于1的初等“证明”》   2021-7-18 17:04

• Zmn-0598 新   华： 回复《读了Zmn-0591》  2021-7-18 08:39

• Zmn-0597 林   益： 评《一个0.9循环等于1的初等“证明”》   2021-7-17 14:57

• Zmn-0596 薛问天： 正确理解集合论对函数关系的解释。评师教民先生的《0585》   2021-7-16 21:05

• Zmn-0595 欧阳耿： 著名的“希尔伯特旅馆的故事”是罗素悖论的翻版   2021-7-16 09:08

• Zmn-0594 thebeater：一个0.9循环等于1的初等“证明”   2021-7-15 09:44

• Zmn-0593 梁灿文： 罗素悖论与无穷争议新解   2021-7-14 21:21

• Zmn-0592 欧阳耿： 现有传统无穷理论体系的缺陷所决定的“无穷悖论综合症”   2021-7-14 09:43

• Zmn-0591 反对伊战：读了Zmn-0589、Zmn-0590后的一些感想   2021-7-13 17:45

• Zmn-0590 林   益：  评《无穷集合是确定的集合，其元素【不再增加】》   2021-7-10 08:18

• Zmn-0589 新   华：  回复薛问天先生《Zmn-0588》   2021-7-9 18:41

• Zmn-0588 薛问天： 无穷集合是确定的集合，其元素【不再增加】。评新华先生的《0584》   2021-7-5 13:56

• Zmn-0587 薛问天：【令人吃惊的结论】是由【乘法定义】和【几何基数】的定义不当引起的。评李振华《0583》。   2021-7-1 14:29

• Zmn-0586 李振华： 无限序数的表达。长度的定义。   2021-6-28 16:29

• Zmn-0585 师教民： 评薛问天先生的文章0577   2021-6-27 10:04

• Zmn-0584 新   华： 关于几个评语的分析   2021-6-26 17:26

• Zmn-0583 李振华： 回复薛先生在《0582》中的错误论点。想推翻我的理论很简单，证明这条公式错误就行了。   2021-6-24 21:38

• Zmn-0582 薛问天：对李振华先生两个基数定义的负面评价，评《0572》和《0576》。   2021-6-22 22:43

• Zmn-0581 林   益： 对《关于构造性操作与非构造性操作的认识》分析   2021-6-22 08:52

• Zmn-0580 新   华： 正确理解互为反函数的定义   2021-6-21 19:02

• Zmn-0579 林   益： 对范秀山老师《区间法证明0.999…小于1》的分析   2021-6-21 11:49

• Zmn-0578 薛问天：由黄汝广《0575》文章引起的联想，我也谈谈无穷集合与一一对应。   2021-6-16 19:45

• Zmn-0577 薛问天：在「正确答案」下认错也算进步，不过需提高对函数的要素的认识。评师教民《0573》   2021-6-14 14:01

• Zmn-0576 李振华：无限集的几何基数，算术基数。自然数集的基数大于[0,1]的？重磅   2021-6-13 08:19

• Zmn-0575 黄汝广：浅谈无穷与一一对应   2021-6-12 15:57

• Zmn-0574 薛问天：关系是笛卡尔乘积的子集。评一阳生先生的《0571》   2021-6-9 17:58

• Zmn-0573 师教民：评薛问天先生的文章0569   2021-6-9 08:00

• Zmn-0572 李振华：解答薛问天先生的疑惑。评《0570》。   2021-6-8 07:31

• Zmn-0571 一阳生：把“关系”定义为“集合”合适吗？   2021-6-7 21:19

• 科学网《数学啄木鸟专栏》Zmn-000 到 Zmn-0600 期目录：