亚里士多德三段论系统是历史上第一个自然演绎系统,是建立在类的传递基础上的逻辑。文章从全称命题在亚里士多德三段论自然演绎系统中的重要性以及历史上学者对亚里士多德三段论中直言命题的翻译出发,在简要回顾历史上关于亚里士多德三段论系统的研究之后,重新构建亚里士多德三段论自然演绎系统,最后证明此系统的判定能力、可靠性和相容性。文章共分四个部分:第一部分,介绍全称命题对亚里士多德三段论自然演绎系统的重要性,全称命题是组成亚里士多德三段论的基本命题形式之一,并且是亚里士多德三段论演绎性质的保证。第二部分,纵观现代逻辑对亚里士多德直言命题的翻译,发现亚里士多德直言命题是带两个量词的直言命题形式,而并非是只带一个量词的直言命题形式。并且发现,“并非”和“不是”在亚里士多德三段论自然演绎系统中都不可缺少。第三部分,从四个方面重新构建亚里士多德三段论自然演绎系统:初始符号、形成规则、推理规则和有效式的证明。第四部分,从有效式系统的判定能力、有效式系统的可靠性和有效式系统的相容性等三个方面对此系统进行反思。