论数学证明中的演绎推理及非演绎推理——兼答质疑.PDF

第2卷 第1期 2007 年 1 月 中国科技论文在线 SCIENCEPAPER ONLINE 71 论数学证明中的演绎推理与非演绎推理 ——兼答质疑 汤光霖 （中国矿业大学理学院, 北京 100083 ） 摘 要：非演绎推理可增进对数学证明及其中推理的理解；同时由于推理的高度抽象性及其一般性，它在自然 科学及社会科学中也应该是适用的。“数学推理属于演绎推理”的传统表述隐含歧义。藉用赋值概念，澄清了 演绎推理的传统表述，从而区别出非演绎推理。 关键词：演绎推理；非演绎推理；逻辑推论 中图分类号：o143 文献标识码：A 文章编号：1673－7180(2007)01 －0071 －4 0 引言 段的结论或由演绎推理推出，或由非演绎推理推出。 在前文[1] 中关于非演绎推理，列举了六个例证， 一般言之，前者居多。这些推出段落结论的演绎推 总结出如何推导、如何判断及如何表示等问题。本 理可分为两类。一类是其前提可信手拈来，是现成 文试图从理论上作些分析，例如在数学证明中原本 的，例如推出前文（三）中例 3 的第一、二段结论 存在的、现称之为“非演绎推理”的推理为什么湮 的演绎推理；另一类的前提主要是由非演绎推理提 没于演绎推理之中；另外，对演绎推理的表述提出 供的，例如例 3 的第三段结论的演绎推理，这就是 一点看法，并对一些质疑作出说明。本文也涉及一 用非演绎推理支持演绎推理。前一类演绎推理比较 点逻辑，同样，不假定阅读需先有逻辑知识。 简单，后一类，相对来说，则比较困难。这里的简 1 揭示出非演绎推理的意义 单、困难都针对获得前提而言的，其中困难是由于 数学证明一直是在“数学推理属于演绎推理” 非演绎推理与证明方法有密切联系的原因。再看看 的观点下进行的，提出非演绎推理有什么意义呢？ 非演绎推理。构成非演绎推理的命题序列的每一个 就数学而言，从这个新的视角看数学推理，可以增 命题或是由简单的演绎推理推出，或是由非演绎推 进对数学证明及其中推理的理解。有数学家说“数 理的基本类型推出。这两种情况可由前文中非演绎 学表面特征是一连串的推理”，“每种数学理论都有 推理例子清楚地看出。于是，一个非演绎推理又带 一串串的推理的长链构成[2] 。”那么，推理之间是如 出一批简单的演绎推理与非演绎推理基本类型。 何连、如何串的呢？例如定理与定理之间的联系， 证明定理的关键在于证明方法，但实现方法需 一般是这样的，在后面的定理证明过程中，用前面 要运用推理。从以上论述的情况看，前文列举的几 的定理作为演绎推理的前提。如果把某种数学理论 个定理中的证明都有一连串的推理，但却不全是演 中的定理按这种联系方法用图表示出来，将是一个 绎推理，而是有演绎推理，也有非演绎推理；并且 既长又复杂的网络，但这种联系与非演绎推理并无 既有后者支持前者，也有前者支持后者的情况。因 直接的关系。 此，非演绎推理也是一种基本推理，而且是数学证 非演绎推理是在单个定理的证明中起作用的。 明中本已存在但却尚未认知的基本推理。非演绎推 前文列举的几个定理的证明都是分成几步或几段逐 理是数学证明的重要组成部分，也是实现证明方法 步进行的。各段的结论是由上而下相互联系的。各 的重要手段。这就是为什