亚里士多德：形式逻辑的奠基人

欢迎大家来到IT世界,在知识的湖畔探索吧!

亚里士多德是传统形式逻辑的奠基人，形式逻辑包括演绎逻辑和归纳逻辑。演绎推理是从一般到个别；归纳推理是从个别到一般。演绎逻辑深刻的影响着西方思想表达两千年之久，亚里士多德本人也很推崇演绎逻辑。

亚里士多德创建了范畴表和谓词表，提出了逻辑思维的三大规律，确定了判断的定义和分类。他还制定了演绎三段论推理的主要格式和规则。

他将谓词分为两大类，属于定义的部分和不属于定义的部分。前者是对事物本质的规定，例如，花是一种植物。后者是表示某种性质，例如，花是红的。后来他又根据谓词所表述的内容，将谓词细分为五类：种、属差、定义、属性（专有性质）和偶性（非专有性质）。

上述所有的谓词都是对主词的规定，必须依存于主词（客观存在）本身。亚里士多德在对客观存在的归纳和抽象后，提出了著名的十个范畴：实体、数量、性质、关系、地点、时间、姿态、状态、动作、遭受。这十个范畴是相互联系的，其中实体范畴是最基本的，其他范畴都是对实体的述说。

在判断理论上，亚里士多德对判断进行了初步的分类，提出了“质”的判断即肯定判断和否定判断，“量”的判断即全称判断和单称判断，“关系”的判断即简单判断和复合判断，“模态”判断即实然的、必然的和可能的判断。这些对后来康德的先验逻辑产生了巨大的影响。

亚里士多德还提出了逻辑三条公理，即矛盾律：互相矛盾的判断不能同时为真；排中律：相互矛盾的命题之间不能有居中者；同一律：一切真实的事物必在任何方面其自身始终如一。

这三条公理凭直觉即可确认，不需要证明，这就是形式逻辑的最高原则。