1.3 第一次数学危机的产物—古典逻辑与欧氏几何学
亚里士多德的方法论对于数学方法的影响是巨大的,他指出了正确的定义原理。亚里士多德继承自己老师柏拉图的观念,把定义与存在区分,由某些属性来定义的东西可能未必存在(如正九面体)。另外,定义必须用已存在的定义过的东西来定义,所以必定有些最原始的定义,如点、直线等。而证明存在的方法需要规定和限制。
亚里士多德还指出公理的必要性,因为这是演绎推理的出发点。他区别了公理和公设,认为公理是一切科学所公有的真理,而公设则只是某一门学科特有的最基本的原理。他把逻辑规律(矛盾律、排中律等)也列为公理。
亚里士多德对逻辑推理过程进行深入研究,得出三段论法,并把它表达成一个公理系统,这是最早的公理系统。他关于逻辑的研究不仅使逻辑形成一个独立学科,而且对数学证明的发展也有良好的影响。
亚里士多德对于离散与连续的矛盾有一定阐述。对于潜在的无穷(大)和实在的无穷(大)加以区别。他认为正整数是潜在无穷的,因为任何整数加上1以后总能得到一个新的数。但是他认为所谓“无穷集合”是不存在的。他认为空间是潜在无穷的,时间在延长上是潜在无穷的,在细分上也是潜在无穷的。
欧几里得的《几何原本》对数学发展的作用无须在此多谈。不过应该指出,欧几里得的贡献在于他有史以来第一次总结了以往希腊人的数学知识,构成一个标准化的演绎体系。这对数学乃至哲学、自然科学的影响一直延续到十九世纪。牛顿的《自然哲学的数学原理》和斯宾诺莎的《伦理学》等都采用了欧几里得《几何原本》的体例。
欧几里得的平面几何学为《几何原本》的最初四篇与第六篇。其中有七个原始定义,五个公理和五个公设。他规定了存在的证明依赖于构造。
《几何原本》在西方世界成为仅次于《圣经》而流传最广的书籍。它一直是几何学的标准著作。但是它还存在许多缺点并不断受到批评,比如对于点、线、面的定义是不严格的:“点是没有部分的对象”,“线是没有宽度的长度(线指曲线)”,“面是只有长度和宽度的对象”。显然,这些定义是不能起逻辑推理的作用。特别是直线、平面的定义更是从直观来解释的(“直线是同其中各点看齐的线”)。
另外,他的公理五是“整体大于部分”,没有涉及无穷量的问题。在他的证明中,原来的公理也不够用,须加上新的公理。特别是平行公设是否可由其他公理、公设推出更是人所瞩目的问题。尽管如此,近代数学的体系特点在其中已经基本上形成了。
|