曾经互不相干的两个演绎系统:三段论与欧几里得几何学 逻辑与算法之八
三段论和欧几里得几何学,这两个近乎同时产生的演绎系统,它们好像很长时间都互不相干。不仅如前文所述,一开始就互不相干,而且在其后近两千年的历史长河中,依然也互不相干。如同两条平行前移的溪流,有时平缓,有时激越,却在漫长的时间流逝之中,几乎就看不到它们的交汇融合。
三段论推理是三段论推理,它只把自己锁定在自然语言的命题、话语范围之内,大都为人文学者运用和讨论,可以说一直影响到当代。逻辑这个学科如今在中国,它或者放到文学院,或者放到哲学院,或者放到法学院,供哲学、法学、文学、外语、历史诸人文学科的学生学习。逻辑承继了几乎两千年的哲学传统,似乎只是运用于修辞、论辩、演说、文字编辑、日常说理,这样一些人文场合之中。
而欧几里得几何也只是欧几里得几何,经典数学的这个门类,似乎也只把自己牢牢锁定在数字和几何图形之内。只是到了现代,初等算术与几何,才为基础教育之必修。随后发展而成的高等数学,则为数学系的学生所研读。
数学发展到当代,似乎成为现代教育体系中,最为重要的课程。以至于当代教育的主科目,出现了STEM这样一个缩略词,那就是科学science、技术technology、工程engineer和数学mathematics四大门学科。好像有一个流行语,如今的时代,没有这四个学科的基本功,想有一门好职业,那可是一件相当困难的事情。
不过,关于数学的这个说法,已经超越古希腊之后的2000年了。
历史学家对于学科历史的记载,如果是在亚里士多德之后2000年之内的范围,似乎无可否认地在印证,这样两门古老学科一直是在平行,却并不同步地向前推移。
罗马时代行将结束之时