因此，正如上述，应对问题和命题作规定。论题乃ี是在哲学方面著名的人所提出的与般意见相反的假定。例如像安提斯塞尼所说“矛盾是不可能的”，或者如赫拉克利特提出的“切皆运动”，或者如麦里梭宣称的“存在是”。因为去考究个普通人随意提出的与般意见相反的看法是愚昧的。或者，论题乃是我们所持的与般意见相反的关于那些观点的论证，例如像智者们断言，“并非切存在物是生成的或永恒的”。因为个是语法学家的有教养的人就既ຂ不是生来如此也不是永远如此的。对于这种观点，即使有人不这样认为，但还是可以由于它具有合理性而加以认可。
“在下定义和划ฐ分时，不定需要知道事物的全部情况。然而有些人认为，如果不知道每个单事物，那就不可能知道个事物与另个事物之间的属差。而不知道属差就不可能知道每个单事物。如果不同于b，那ว么它们就是等同的。如果它们是不同的，那ว就有不同的属。但是，首先，这是错误的。并非每个属差ๆ都是不相同的，许多属差ๆ是极其相同的属性当然既ຂ不是本质上的，也不是出于自身的。其次，如果个ฐ人采用了对对立的属性及区分它们的属差，设定所有个体要么属于这方，要么属于那方，并把要下定义แ的事物被包含在这两方แ某方之中，他也知道其所属的方แ时，那么，他是否知道属差ๆ作其谓项的任何其他事物就无关紧要了。因为ฦ很显然，如果他按这种方式前进直到不能进步划分的属差ๆ之点，他就能得到本质定义。如果对立者排除了中项，那么เ断ษ定种的每个成员都属于这个ฐ或那个划分就不再是“假定”了。因为如果这是该种的属差ๆ，那么เ种的切成员都必定属于两方之。
＊据洛布古典丛书希腊ຘ本文。
很明显，即使证明不限于种方法，而是采用全部ຖ方法——时而第格，时而第二格，时而第三格——即使如此，系列亦有界限。因为方法在数目上是有限的，所以，有限数目的方法采用的有限数目的事物的结果必定是有限的。
当结论是必然的时，它由之得到เ证明的中词并非自身是必然的。因为从不必然的前提也有可能得到必然的结论，正如从不真实的前提也有可能ม达到真实的结论样。但如果中词是必然的，那么结论也是必然的，正如从真实的前提中ณ得出的结论总是真实的样。让作为ฦbຘ的必然谓项ำ，b作为的必然谓项，那么属于的结论也是必然的。如果结论不是必然的，那么中词也不是必然的。假定不必然属于却必然属于b，b必然属于，那ว么也必然属于，但这不是原来的设定。
再者，当和b属于的全体，可与b相换位时，也必然属于所有bຘ。由于属于所有，通过换位属于b，则也属于所有b。
当我们规定结论的矛盾命题并且设定个附加的前提时，通过归谬法的三段论就被证明了。它在全部三个格中都：可以产生，它与转换相似，但具有以下差ๆ别：我们是在三段论已经产生，两个前提皆已๐设定之后才转换的，相反，我们在使用归谬法时，相矛盾的命题并不是开始被确认的，但：它显然是真实的。但是，在两者之中，词项是相同的，两者的前提也是以相同方式被设定的。例如，如果属于所有b，是中词，如果我们规定不属于所有b或者不属于任何b，但属于所有根据假设这是真实的，则必定不属于任何b，或者不属于所有b。但这是不可能的。因而这规定是虚假的，而其对立面是真实的。在其他格中ณ情况也相同。因为切能够转换的例证也能ม用归谬法加以推论。
【1】我们已经解释清楚，三段论有多少个格，它所由á产生的前提的性质和数量以及决定它的条件；再者，当个ฐ人要反驳或确立个命题时必须ี考虑什么样的属性，怎么เ样用每种给定的探讨方法开始研究所给予的任务；还有，我们可以通过什么途径获得适合于每种情况的本原。
【30】在所有情况下，无论是在哲学中还是在各类技术和研究中ณ，方法都是相同的。我们必须寻求每个ฐ词项的属性和主体，尽可能ม地找得多些，然后通过三个词项研究它们，以这种方式反驳，以那种方式证实。如果要寻求真理，则必须从以真实联系为根据而排列的词项ำ出发；如果要寻找辩证的三段论，则必须ี从以意见为根据的前提出发。
【1้9】如若个ฐ前提是必然的，另个前提是可能的，当必然前提是否定的时，三段论便能成立。结论不仅谓项可能不属于主项，而且谓项也是不属于主项。但当它是肯定前提时，则三段论不能成立。设定必然不属于任何bຘ，但可能属于所有。则通过否定前提的换位，b也不属于所有；已经设定可能属于任何，这样，我们再次通过第格得到了个三段论。结论是，b可能ม不属于任何。此外，很显然，bຘ也不属于任何。设定它属于任何，那么，如果不可能属于任何b，b属于某个，那ว么不可能属于某个。但已经设定，它可能属于所有。设定否定前提与相关，则证明也能通过同样方式获得。
再者，可以通过词项的例子证明，结论并非无条件地是必然的，而只是在某些条件下是必然的。例如，设定表示“动物”，b表示“人”，表示“白色的”，前提的情况与以前相同，那ว么，动物就可能不属于任何白色的事物，人也不属于任何白色的事物。但这个结论不是必然的。因为ฦ白色的人很有可能产生，但只要动物不属于任何白色的事物