直言三段论

直言命题肯定或否定某类对象具有某种性质，又区分涉及全部还是部分对象。三段论的两个前提包含三个词项，其中一个同时出现在两个前提中，作为中项把其余两个词项联系起来。

可以用一个示例说明：所有哺乳动物都是动物，所有鲸都是哺乳动物，所以所有鲸都是动物。“哺乳动物”充当中项，结论不再包含它。这里的生物类别只是解释形式的示例，并非古代原文中的特定论证。

参考：[1]

如果A属于所有B，而B属于所有C，便可推出A属于所有C。调换全称、特称、肯定与否定的组合后，结论未必仍然成立；亚里士多德逐项检验这些形式，并指出哪些安排不能产生必然结论。

例如，所有鲸都是动物，所有马都是动物，并不能推出所有马都是鲸。共同属于一个更大的类别，只说明两个前提有同一谓项，没有保证它们之间具备所需的包含关系。

参考：[1]

亚里士多德把三段论与证明区分开来：证明属于三段论，但并不是每个三段论都构成科学证明。前提怎样获得、是否真实以及是否能够说明对象，是推理形式之外还要回答的问题。

因此，检查推导关系不能代替核实前提。一个形式上能推出结论的论证，也可能以错误判断为出发点；反过来，碰巧得到真结论也不能证明所用推理形式可靠。

参考：[1]