曾经互不相干的两个演绎系统：三段论与欧几里得几何学 逻辑与算法之八

 曾经互不相干的两个演绎系统：三段论与欧几里得几何学 逻辑与算法之八

 

三段论和欧几里得几何学，这两个近乎同时产生的演绎系统，它们好像很长时间都互不相干。不仅如前文所述，一开始就互不相干，而且在其后近两千年的历史长河中，依然也互不相干。如同两条平行前移的溪流，有时平缓，有时激越，却在漫长的时间流逝之中，几乎就看不到它们的交汇融合。

三段论推理是三段论推理，它只把自己锁定在自然语言的命题、话语范围之内，大都为人文学者运用和讨论，可以说一直影响到当代。逻辑这个学科如今在中国，它或者放到文学院，或者放到哲学院，或者放到法学院，供哲学、法学、文学、外语、历史诸人文学科的学生学习。逻辑承继了几乎两千年的哲学传统，似乎只是运用于修辞、论辩、演说、文字编辑、日常说理，这样一些人文场合之中。

而欧几里得几何也只是欧几里得几何，经典数学的这个门类，似乎也只把自己牢牢锁定在数字和几何图形之内。只是到了现代，初等算术与几何，才为基础教育之必修。随后发展而成的高等数学，则为数学系的学生所研读。

数学发展到当代，似乎成为现代教育体系中，最为重要的课程。以至于当代教育的主科目，出现了STEM这样一个缩略词，那就是科学science、技术technology、工程engineer和数学mathematics四大门学科。好像有一个流行语，如今的时代，没有这四个学科的基本功，想有一门好职业，那可是一件相当困难的事情。

不过，关于数学的这个说法，已经超越古希腊之后的2000年了。

历史学家对于学科历史的记载，如果是在亚里士多德之后2000年之内的范围，似乎无可否认地在印证，这样两门古老学科一直是在平行，却并不同步地向前推移。

罗马时代行将结束之时࿰