欧洲形式逻辑的奠基者

【释义】：

古希腊哲学家亚里士多德(Aristoteles，前384－前322)。他是古希腊最博学的人。在研究人的认识问题时，研究了逻辑的作用。认为逻辑学是获取知识的工具、手段，只有经过逻辑证明的知识才是可靠的知识。曾对“定义”作了专门研究，提出了本质定义即属加种差定义、语词定义、原因定义等定义方法。把命题划分为简单命题和复合命题，简单命题按“质”又分为肯定命题和否定命题，按“量”分为全称的、特称的和不定的命题。讨论了全称肯定命题、全称否定命题、特称肯定命题和特称否定命题之间的关系，规定全称肯定命题与相应的特称否定命题之间、全称否定命题与相应的特称肯定命题之间是矛盾关系，全称肯定命题与相应的全称否定命题之间是反对关系。他还研究了推理，认为推理是通过前提作出必然结论的逻辑形式。提出了直言三段论理论，分为三个格14个有效式。又提出了模态三段论理论，这种三段论是两个前提中至少有一个必然命题或偶然命题，而其他命题是实然命题。亚里士多德分别对三个格的模态三段论作了考察，提出了模态三段论有效性的规则。亚里士多德还就同一律、矛盾律和排中律等思维规律，提出了许多深刻的见解。由于亚里士多德对于形式逻辑的创立，作出了巨大的贡献，所以被后世哲学和逻辑学者称为欧洲形式逻辑的奠基者。