亚里士多德 逻辑学

矛盾律(或“不矛盾律”)：“互相矛盾的判断不能同时为真”；排中律：“两个互相矛盾的命题之间不能有居中者”；同一律：“一切真实的(事物)必在任何方面其自身始终如一”。他认为这些公理是凭直观即可确认的，用不着证明。这就是形式逻辑的最高原则。

亚里士多德逻辑是指古希腊哲学家亚里士多德在《逻辑学篇》中提出的一套逻辑学体系，其主要内容包括：逻辑形式学、形上学、推论学、语言学。

1、逻辑形式学：亚里士多德认为，所有知识都可以归结为判断。判断是由两个概念通过链接成分而形成，其中一个概念称为主项，另一个称为谓项，链接成分称为连词。因此亚里士多德的逻辑形式学主要阐述的是如何正确地构造和理解判断，以及判断的常见类型和形式。

2、形上学：形上学是亚里士多德哲学的核心，也是其逻辑学的重要组成部分。亚里士多德将存在的本质和形式进行了深入研究，并提出了一系列真理的定义，如本质、属性、单元、间接和直接推论等。

3、推论学：亚里士多德推论学针对的是判断的正确性和推缓首理的有效性问题。他认为，推理的正确性必须建立在前提的正确性上。通过严格的逻辑推理规则进行推论，能够从更基本的真理中得出更深入的结论，从而发现事物的本质。

4、语言学：亚里士多德将逻辑学和语言学紧密结合，认为语言是表达真理的重要扰弊数手段。他阐述了语言的复杂性和严密性，并探讨了汉语、希腊语等自然语言的性质和规律。

亚里士多德的逻辑思维是以精准的语言和客观的思考为基础，旨在寻求真理和现实之间的关系。他开创了逻辑学的新视角，对现代逻辑学的发展产生了深远影响。

亚里士多德逻辑学体系

亚里士多德卜让逻辑学体系是逻辑学的基石，通过这一体系，人们可以对世界进行有条理的把握和分析。它影响了西方哲学和思维的发展，直到今天，亚里士多德逻辑仍然是许多哲学和逻辑学课程的基本教材。

您好，罗辑，刘慈欣创作的小说《三体II·黑暗森林》中的人物，原为社会学博士，玩世不恭，将自己的研究当做谋生的职业。在人类被三体世界控制后，罗辑利用自己的研究成果使三体世界向人类妥协，后因看透人类的无知与短浅，失望地与太阳系一起被二维化。

亚里士多德完成的演绎推理逻辑体系的主要内容

所谓演绎推理，就是从一般性的前提出发，通过推导即“演绎”，得出具体陈述或个别结论的过程。关于演绎推理，还存在以下几种定义：

①演绎推理是从一般到特殊的推理；

②它是前提蕴涵结论的推理；

③它是前提和结论之间具有必然联系的推理。

④演绎推理就是前提与结论之间具有充分条件或充分必要条件联系的必然性推理。

演绎推理的逻辑形式对于理性的重要意义在于，它对人的思维保持严密性、一贯性有着不可替代的校正作用。这是因为演绎推理保证推理有效的根据并不在于它的内容，而在于它的形式。演绎推理的最典型、最重要的应用，通常存在于逻辑和数学证明中。

演绎推理有三段论、假言推理、选言推理、关系推理等形式。

三段论

是由两个含有一个共同项的性质判断作前提，得出一个新的性质判断为结论的演绎推理。三段论是演绎推理的一般模式，包含三个部分：大前提——已知的一般原理，小前提——所研究的特殊情况，结论——根据一般原理，对特殊情况作出判断。

假言推理

是以假言判断为前提的推理。假言推理分为充分条件假言推理和必要条件假言推理两种。

⑴充分条件假言推理的基本原则是：小前提肯定大前提的前件，结论就肯定大前提的后件；小前提否定大前提的后件，结论就否定大前提的前件。

⑵必要条件假言推理的基本原则是：小前提肯定大前提的后件，结论就要肯定大前提的前件；小前提否定大前提的前件，结论就要否定大前提的后件。

选言推理

是以选言判断为前提的推理。选言推理分为相容的选言推理和不相容的选言推理两种。

⑴相容的选言推理的基本原则是：大前提是一个相容的选言判断，小前提否定了其中一个（或一部分）选言支，结论就要肯定剩下的一个选言支。

⑵不相容的选言推理的基本原则是：大前提是个不相容的选言判断，小前提肯定其中的一个选言支，结论则否定其它选言支；小前提否定除其中一个以外的选言支，结论则肯定剩下的那个选言支。

关系推理

是前提中至少有一个是关系命题的推理。