亚里士多德三段论

词条说明

亚里士多德约公元前四世纪在《前分析篇》中系统建立三段论，把推理形式化为由前提推出结论的格与式，讨论词项之间的包含关系并给出判定有效性的规则。他还研究证明的本性，区分公理、定义与假设，主张知识应由可靠的原理演绎而来。这套逻辑体系为数学证明提供了规范，使结论的正确性可以脱离具体内容而加以检验。它深刻影响了后世的数学与哲学论证方式。

与时间轴中该事件的说明一致，可回到数学时间轴查看其年代位置。