亚里士多德
【介绍】：
古希腊著名的逻辑学家、哲学家。他于公元前384年出生于斯塔吉拉，18岁时到雅典，进入柏拉图学园学习达20年之久，其间也从事研究和教学工作。柏拉图去世后，他离开雅典，曾为马其顿王子亚历山大当过老师。公元前335年他又回到雅典，在雅典城外吕克昂的的阿波罗神庙附近创立了“吕克昂学园”，收徒讲学。每天清晨，他和学生们一起在林间散步讲学、讨论问题，因此被称为“消遥学派”。公元前323年，亚历山大去世，雅典发生了反马其顿运动，波及亚里士多德，他于年底逃离雅典，到卡尔基避难，次年病逝，终年63岁。
亚里士多德是古希腊哲学的集大成者，是逻辑的创始人。他的学术研究包括逻辑、哲学、自然科学、美学、伦理学、政治学，等等。几乎涉及他所处时代的一切领域，而且几乎都有独到见解。在历史上，他的思想对西方文化的根本倾向和内容产生了重大影响。他一生写下大量著作，但大部分已佚失。现存的主要著作有：《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》、《辨谬篇》(逻辑学，后人合编成《工具论》)；《形而上学》(哲学)；《尼各马可伦理学》、《大伦理学》、《欧德谟伦理学》(伦理学)；《物理学》、《论天》、《论生灭》、《论灵魂》(自然哲学)；《政治学》(政治)；《修辞学》、《诗学》(语法修辞)；《动物志》(生物)；等等。
在逻辑学方面，亚里士多德做出了杰出的贡献。他第一次详细地深入地研究了推理。他认为推理共分4类：①证明的推理，即前提是真的和初始的，或者关于前提的知识是通过真的和初始的前提而得到的。②论辩的推理，即前提是人们一般所接受的。③强辩的推理，即前提似乎是人们一般所接受的，而实际上不是，或者看来好像是从似乎人们一般接受的前提进行推理。④错误的推理，即从专属于特殊学科的前提进行推理。他在《前分析篇》详细探讨了证明的推理，形成了三段论理论，在《论辩篇》详细探讨了论辩的推理，形成了四谓词理论；在《辨谬篇》详细探讨了强辩的推理，形成了关于谬误的学说。
亚里士多德的四谓词理论是历史上第一个系统的逻辑理论，它详细论述了谓词对主词的四种关系：定义、固有属性、属和偶性。特别是在关于定义的论述中，亚里士多德详细探讨了正确的定义和错误的定义，提出了属加种差的定义方法，提出了一系列定义规则。
亚里士多德详细探讨了命题的形式，他把命题分为简单命题和复合命题。在简单命题中，他区别出单称命题、全称命题和不定命题，在研究全称命题时又暗含着区别出特称命题。他明确地论述了命题之间的矛盾关系和反对关系，暗含地指出了下反对关系。这些论述包含了对命题中量词的讨论，构成了三段论理论的基础。
亚里士多德对推理的形式进行了研究，构造了一个三段论演绎系统。这个系统有3个格，14个式。第一格的4个式具有公理或推理规则的性质，由此可以推出其它两个格的式。这是逻辑史上第一个演绎系统，它成为传统逻辑中最主要的内容和最重要的组成部分。
亚里士多德探讨了模态命题，特别是探讨了可能、偶然、不可能和必然这4个模态词及其相互关系。在此基础上，他还探讨了模态三段论。他把模态三段论分为8类，提出了模态三段论的有效规则。
亚里士多德详细探讨了谬误，他把谬误分为两大类：一类是依赖于语言的，另一类是不依赖于语言的。他认为，依赖于语言的谬误共有6种：①语词歧义；②语句歧义；③合谬；④分谬；⑤错放重音和⑥变形谬比。而不依赖于语言的谬误共有7种：①起自偶性；②混淆绝对的与不是绝对的；③对反驳的无知；④假设了预证的初始观点；⑤结论误推；⑥错认原因和⑦把多个问题误认为一个。亚里士多德对谬误的这个分类沿用至今，影响甚大。此外，亚里士多德还提出了许多解决谬误的方法。
亚里士多德研究了科学的证明方法。他认为，科学的证明必须依据真的和必然的前提，公理、公设和定义属于这样的命题。证明的方法主要是三段论，三段论是一切证明的基础。
此外，亚里士多德还研究了矛盾律和排中律。他认为，矛盾律和排中律既是存在的根本规律，也是思维的根本规律，既是本体论的根本规律，也是逻辑的根本规律，而且首先是前者，虽然他没有提出同一律，但是他关于矛盾律与排中律的思想，可以应用到同一律。
亚里士多德的这些研究创立了形式逻辑这门科学。他的这些研究成果成为传统逻辑的基本内容。