有时，人们会形容一些说话方式或者想法“有逻辑”。所谓逻辑，即是思维的规律，逻辑学就是关于思维规律的学说。那么，形式逻辑又是什么呢？
形式逻辑指的是传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。形式逻辑的理论是由古希腊伟大的哲学家亚里士多德首先创立的。亚里士多德是著名哲学家柏拉图的学生、亚力山大大帝的老师，于公元前384年出生于马其顿的一个贵族家庭。18岁时，亚里士多德被送到雅典的柏拉图学院学习，此后20年间，亚里士多德一直住在学校里，直至老师柏拉图在前347年去世。亚里士多德的学识相当广泛，他在物理学、形而上学、诗歌和戏剧、音乐、生物学、经济学、动物学、逻辑学、政治学以及伦理学等学科均有系统性的著作。在形式逻辑方面，亚里士多德作为开创者，将他的大部分学说写入了《形而上学》第四卷和《工具论》的有关部分。
亚里士多德从本体论和逻辑两个方面提出和建立了他的逻辑思维规律理论。在他的哲学著作《形而上学》中，他首先探究了矛盾律，并且将矛盾律看作是一切证明都需要的最基础的原理，因而是不需要被证明也是不能被证明的。
除基本规律之外，亚里士多德还创立了“三段论”。“三段论”是演绎推理的第一个逻辑体系，它第一次使得思维过程得以形式化，也使得形式逻辑得以成为一门独立的学科。亚里士多德在《前分析篇》中阐明了三段论的基本思想，指出三段论是由前提和结论构成，而前提和结论又是由三个词项（即中项、大项、小项）构成。《后分析篇》的原文中，亚里士多德举出了这样的例子：
如果所有B是A，
并且所有C是B，
那么所有C是A。
而在一个正确的三段论中，当前提真实时，结论也必然是真实的；而当前提虚假时，结论也是虚假。因此，可以看到，只要前提为真，便可以借助三段论去推理几乎任何事物之间的联系。也正是因为这样，亚里士多德对于三段论推崇备至。
除了代表演绎推理的三段论之外，亚里士多德也提出了归纳推理的重要性。归纳推理是指从个别到一般的推理过程，其推理形式如下：
如果所有C是A，
并且所有C是B，
那么所有B是A。
此外，亚里士多德对于归谬法、例证法等不同逻辑的方式也有论述。在亚里士多德看来，逻辑学是一切科学的工具，并且，亚里士多德也力图把思维形式和存在联系起来，按照客观现实来阐明逻辑的范畴，并将这些逻辑的发现运用到科学理论上来。
科普百分百·助力科普中国，让科学知识在网上和生活中流行起来。温馨提示：以上为科普百分百网上阅读所浏览内容，转载分享只为知识传播和学习宣传，本文内容仅代表原作者观点，如有意见建议，请私信留言，我们会及时处理。欢迎关注，谢谢。
