亚里士多德所说的完善的与不完善的三段论分别指什么？是指前者是有效的三段论，后者是无效的三段论吗？

自然不是，亚里士多德把三段论分为三个格，探讨了这三个格的48种可能的前提组合，排除了34个无效式，确立了14个式为有效式。在这14个有效式中，他称第一格的4个式危机完整的，称其他两个格的10个式为不完整的。所有这14个三段论式都是有效的，因此他所谓完善的三段论和不完整的三段论的区别不是指逻辑的有效性的区别。

亚里士多德指出“如果一个三段论不需要不同于已陈述的东西来说明必然地得出的东西，我就称它为完善的三段论”，所谓完善的三段论与不完善的三段论的区别乃是指逻辑有效性，即“必然地得出”这种性质明不明显的区别。

亚里士多德提供的划归法是怎样的一种方法？请使用划归法证明第二格的AEE式、第三格的AAI式是完善的式。

划归法就是为了完成从不完善的三段论到完善的三段论的推导过程，亚里士多德所使用的三种方法（换位法、归谬法、显示法）

第二格AEE： MAP MES|PES MES├SEM ├ MAP SEM|SEP ├ SEM MAP|PES(I2) 这是亚里士多德逻辑的写法

PAM 前提

SEM 前提 所以SEP

MES (2)换位规则

PES （3）（1）R2

SEP (4)换位规则

传统逻辑的写法是：PAM SEM|SEP SEP PAM├

第三格AAA：PAM SAM|SAP SAM├MIS SAP├PIS PAM MIS|PIS(I3)

MAP 前提

MAS 前提 所以SIP

MIS （2）差等规则

SIM 换位规则

PES （1）（4）

请描述亚里士多德的三段论系统是一个怎样的系统。

“所有不完善的三段论都借助第一格变得完善，因为所有三段论都以直接的（换位法）或间接（归谬法和其他方法）的方法得出结论。”

三段论的演绎系统就是把第一个的三段论当作不证自明的公理，从第一格的三段论出发，通过使用换位法、归谬法和显示法，使第二格和第三格三段论得到证明。

三段论是完全从形式方面进行研究“必然地得出” 的系统，是一个形式的系统，一个推论是不是符合一个有效的三段论式，乃是可以一步一步检验的；一个有效三段论式是不是完善的也是可以一步一步检验的；不是思辨任意的，而是具体可实操的。

从形式上刻画和规定三段论的格与式，排除了无效的式，确立了有效的式，并且把这些有效的式构造成为一个完全的形式的系统。是一种类似于演算的方法。

公理系统， 第一格的式是公理，其他两个格的式是推出的定理。

自然演绎系统，第一格的式是推理规则，其他两个格的式是推出的定理。

三个格14个有效式 可靠、完全 第一格的式可以推演出

公理的 自然演绎的系统