数学的逻辑思维方法.pdfVIP

数学的逻辑思维方法

数学作为自然科学的重要分支，与逻辑学密不可分，因而也就与逻辑

学、哲学有着密切的联系，逻辑思维方法就成为数学研究中最常用最

基本的方法.我们在这里对它略作介绍.

一.分类

分类是依据一定标准将研究对象区分为不同种类(称为子项)的逻辑

方法，其逻辑基础是集合的分划，将一个集合分成若干个互不相交的

子集，而这些子集的并又等于原先的那个母集.由此我们就有分类法

必须遵守的逻辑规则:(1)不漏，各子项之总和应等于母项；(2)不

重，不同子项间不能出现重迭交叉；(3)不乱，分类应逐级分层进行，

不能越级.

二.类比.

类比不是一种严格的推理，而是数学研究中经常使用的提出假说与猜

想的思维方法，它所得出的结论是或然的，必须通过其他严格论证的

方法加以证明.类比法的逻辑形式是:

A的对象具有属性a，b，c，

d，

B的对象具有属性a，b，c.

∴B的对象可能具有属性d.

类比的结论带有“可能”性，不是必然正确的.

三.归纳.

从特殊到一般的思维方法是归纳，按照被考查的对象是否完全，

可分为不完全归纳与完全归纳两种.

由此可见，不完全归纳只能提供预测的结论，或可称为一种猜测.

它的结论尚需加以严格的逻辑证明.

至于完全归纳，则是通过对全部对象考查完毕得出它们的共性来.

当对象是有限个时，可以通过穷举，逐个进行考查以至穷尽所有对象；

如果对象是无限个时，则可通过类分来穷尽全部对象.

这里用的是类分归纳，通过把全部被考查的对象非零实数类分为

正数与负数两类，对每一类证明了结论.于是归纳出对全部对象均

成立的结论来.

穷举归纳、类分归纳统称为完全归纳法，它的结论是肯定的，

也就是说，完全归纳法是一种严格的逻辑推理.

在数学中还有一种完全归纳法的变种，即数学归纳法.如果P(n)

是关于正整数n的一个命题，P(1)是正确的，而且在假定P(n)正确

的条件下能推出P(n+1)正确，那么命题P(n)对一切正整数N都正确.

四.演绎.

演绎与归纳正好相反，是从一般性原理推出特殊结论，即从一般到特

殊.演绎的推理是严格的逻辑证明方法，只要前提正确，推理又符合

逻辑规则，那么结论一定是正确的.数学中绝大多数的推理均采用这

种方法.至于数学中的演绎形式，以三段论法为主.

数学家在研究工作中，为了发现从未有过的新成果时，往往是把归纳

和演绎两种方法结合起来使用，它们本身是相互联系相互补充的.归

纳是演绎的基础，为演绎准备条件，而演绎则为归纳完成理论的依据，

两者结合起来成为完整的逻辑方法.

(1)试验.

(2)归纳.

(3)猜想.

(4)演绎证明.

五.分析.

分析法是把整体分解为部分，把复杂事物分解为简单要素分别加以研

究，进而去认识事物的整体本质.数学中的分析法大致有以下几种.

1.元过程分析法.通过对事物有代表性的局部小单元的研究，去揭示

事物的整体本质.

2.追溯分析法.它从结论出发，分析结论成立需什么样的条件，然后

通过论证去创造这种条件，有的可以通过构造辅助线、辅助面或辅助

函数、辅助等式或不等式来达到，由此作为起点再开始论证.

3.混合分析法.在许多情况下，要采取夹击的思路，即既要分析结论

成立需要什么样的条件，又要分析题设条件能导致什么样的结果，从

前后两个方面同时论证，最后会合到中途，达到论证的目的.

六.综合.

综合是与分析相对的，它根据对象各部分间的有机联系从事物总体

上把握事物.

数学的发展史上有过分化和整合两种现象，在近代，多种数学理论的

高度综合与统一，已形成现代数学发展的一种趋势，许多数学家致力

于从整体的、大范围入手，以综合联系的观点研究数学对象，从而兴

起了许多整体的、大范围的数学，如整体微分几何、流形上的几何拓

扑与微分方程、大范围变分学等.在非标准分析的理论中，这种倾向

更加深刻.

另一方面，在具体解决数学问题时，综合法也起着独特的作用.应当

注意，分析与综合是相互依存相互渗透而不是孤立的.它们的辩证统

一使数学理论的发展不断向深度和高度展开，螺旋上升.不断地分析

现象和局部，综合形成数学猜想，进一步分析证明，达到理论完美

的