归纳逻辑与代数系统初步.pdfVIP

归纳逻辑与代数系统初步 英文姓名：Logan.Lau 中文姓名：刘冠 单位：学生 邮编：516000 地址：惠州学院数学系 电话 一.引言 我们知道，在十九世纪伽罗华理论彻底解决了高次方程的可解性 问题，但由于高次方程解结构的复杂性，以至于高次方程的代数解没 有多大的实际作用，而且亦缺乏数学美感。群论诞生的最大价值不在 于解高次方程，而在于扭转了代数学的研究方向从而使代数学转入了 对代数结构的研究。 纵贯代数学乃至整个数学发展史可知，高次方程的可解性问题， 在十九世纪以前一直是代数学核心内容，其时间跨度也接近 1000 年。 在欧洲文艺复兴之前，由于亚里士多德的逻辑体系和欧几里得《几何 原本》的演绎体系对人们思维方式根深蒂固的影响，以至于三次方程 长期的不到解决。正值欧洲文艺复兴之时，意大利数学家卡丹解决了 三次方程，但其推理方式并不是演绎推理，而是通过解大量特殊的三 次方程归纳出三次方程的一般解。但这一步已经是很大的飞跃，以至 于用同样的推理方式很快地归纳出四次方程的一般根式解。但自四次 方程被解决后，五次方程的根式解一直得不到解决，这时人们意识到 五次方程的不可解性，其原因是现有“运算法则”不够用了，必须得 对“运算法则”进行分类，对这方面贡献最大数学家就是阿贝尔和伽 罗华。伽罗华认为要解五次方程，现有的数学运算不够用，必须的引 进有别于 的运算法则，伽罗华的天才创举 使代数学进入崭新的领域。 纵观数学史，高次方程可解性问题虽然催生了群论，但深入了解 发现伽罗华的天才发现并不是无规可循。伽罗华概括了高斯，欧拉的 见解，特别是继承了拉格朗日预解式思想，从而发明了全新的数学工 具——群论，在其发现过程群论起着最关键的就是归纳逻辑这个推理 方式不断升华的过程。归纳逻辑（具有不完备性）已成为现代逻辑学 中极为重要的推理方式，特别是上世纪哥德尔不完备定理的问世极大 地震撼了数学界乃至整个科学界，数理逻辑对现代科学的研究方式产 生了巨大的影响，包括勒贝格的《测度论》和非欧几何及其催生的爱 因斯坦的《相对论》等一系列以归纳为核心的逻辑体系。居于科学上 这么多的重要性，很有必要深刻了解一下归纳逻辑。 二．归纳逻辑的分类 归纳逻辑按其发展的不同阶段, 又可以分为古典的归纳逻辑 和现代的归纳逻辑两大类型，在这里我们只简要介绍古典类型。 枚举归纳法 从枚举一类事物中的若干分子具有某种性质得出这类事物的 所有分子都具有该性质的逻辑方法，就叫枚举归纳法。它的模式 是： S1 是 P S2 是 P … Si 是 P （S1,S2,…Si 都是S 类中的全部分子） 所有S 是 P 枚举归纳法只依靠所枚举的事例的数量，因此，它所得到的 结论的可靠程度较低，一旦遇到一个反例，结论就会被推翻。但 是，枚举归纳法仍有一定的作用，通过枚举归纳法得到的结论可 作为进一步研究的假说。 消去归纳法 F.培根所提出的“三表法”和“排斥法”相结合的归纳法，以及密 尔提出的求因果联系的契合法、差异法（见密尔求因果五法），都 是消去归纳法。它们的共同特征是：根据所研究的对象有选择地 安排事例或实验,然后通过比较消去某些假说,得到比较可靠的结 论。以下所说的两种消去归纳法是用条件句的术语对密尔方法的 改进。 假说方法 假说方法根据一组证据提出一个或一些假说，然后从某一特 定的假说演绎出一些结论，这可以写成蕴涵式：A→B ，接着检 验这些结论。如果检验的结果是：塡 B，根据否定式推理： 就要 否定这个假说。如果检验的结果是 B 真,就暂时接受这个假说。这 里应用的是以下形式的归纳推理：接受或排除一个假说的过程是 很复杂的，往往不能一次完成。有时，一个假说可以解释一些现 象，但不能解释另一些现象，在这样的情况下，就不能简单地肯 定或否定这个假说。一般说来,在两个或两个以上的假说中, 能解释 的现象数量较大或最大的假说与不能解释的现象数量之差较大或 最大的假说,是可