亚里士多德在逻辑史上有着独特的地位,他是第一位形式逻辑学家;他至少以两种或者三种形式发展了形式逻辑,他的形式逻辑以一种异常开放的形式展示给了所有的形式主义者;他有意识地以一种非常完整的,形式化以及公理化的方式阐述了其中一部分,尤其是其中的三段论部分。但是亚里士多德是如何构造三段论系统的,是如何对三段论系统进行公理化的,现代学者或者语焉不详,或者直接忽略,然后直接论述他的三段论系统。因此,本论文认为我们有必要重新论述亚里士多德自己对三段论系统进行公理化的过程,我们需要分别考虑亚里士多德逻辑的主体内容,他构造逻辑主体的方式与过程;亚里士多德针对断定三段论所施行的证明方式;亚里士多德对模态三段论的处理方法;以及最后亚里士多德是如何针对非分析性推理进行公理化的。亚里士多德三段论公理化系统在两千多年的逻辑史中发挥着决定性的作用,即使在今天许多学说仍可追溯到这一过程当中。重新论述亚里士多德三段论公理化理论,尤其是使用现代工具重述原始文本对其公理化思想的发展进行充分的了解,对于理解逻辑问题的整体发展历史是极其重要的,尤其对西方逻辑而言。