购买
下载掌阅APP,畅读海量书库
立即打开
畅读海量书库
扫码下载掌阅APP

公元前4世纪中后期

亚里士多德建立形式逻辑

苏格拉底、柏拉图、亚里士多德,这三个名字在古希腊,就如同老子、孔子、孟子在中国那样,如雷贯耳。相信让很多人能记住亚里士多德的,是他的“越重的物体,其下落速度越快”的理论,虽然该理论是错的,但并不阻碍它流行了千年。这一现象至少从某个角度说明亚里士多德在很长一段时期内的权威性。

亚里士多德

亚里士多德曾在雅典学园学习,师事柏拉图20余年,后创办吕克昂学园。相传他常常一面散步,一面给门下弟子授课,所以他的学派又被称为逍遥学派。

虽然亚里士多德对数学比较重视,但他涉猎甚广,不仅谈论科学,还研究政治、文艺批评和伦理学,而并非一个纯粹的数学家,所以在数学上也就没有作出什么持久性的贡献。

位于梅扎城的亚里士多德学院

大致来说,亚里士多德在数学上的贡献主要有以下几点:

(1)开创逻辑学

这是一项伟大的创举,它给我们的数学提供了逻辑前提。比如亚里士多德提出了“二值原理”——也就是说,一个命题要么为真,要么为假,不存在既真又假的情况——至今它仍然是数学证明中的基本逻辑要求之一。有两个论断与“二值原理”非常类似,就是排中律和矛盾律。它们听起来有点陌生,其实我们在中学阶段的逻辑学里就接触过——命题P和非P总有一个为真,这便是排中律;元素A不能既是B又不是B,便是矛盾律。

(2)建立形式逻辑体系

这是从“内容”和“形式”上的统一来研究思维规律,不同的学科有不同的思考对象,但就其思维方式而言都有些共同之处。形式逻辑就是尝试从思维的这些共同特征入手来研究思维规律。比如至今人们都非常熟悉的三段论式:

①所有人都会死;

②亚里士多德是人;

③所以亚里士多德会死。

形式逻辑体系更重要的意义在于:这是人类历史上建构的第一个公理体系,为数学公理化树立了榜样;而数学公理法的形成对数学的理论化和系统化有着非常重要的意义。

海耶兹画的亚里士多德

(3)其他工作

亚里士多德也在传统的算术和几何方面作出过自己的贡献,证明过若干数学定理,如“多边形的外角之和等于四直角,在包围给定面积的所有平面图形中,以圆的周长为最小”等;并研究过立方体、球体、圆锥体、圆柱体、螺线等几何图形的性质。他也曾对芝诺悖论给予极大关注,不过他只是尝试从常识的角度去解决,而他对“无穷”概念的讨论则对后世产生了深远的影响。

亚里士多德在授课 ZCSzLMahjh4UpzTX3C+aae06ICqpZqFIhSNbVCZMELnv3R2M/Qb1n492RMROcuPO

点击中间区域
呼出菜单
上一章
目录
下一章
×