可见，我们所必然了解的是在我们所探索的词项中ณ相同的，而不是不同的或相反的。首先，因为我们研究的目的是要发现中ณ词，中词在每个前提中必须ี是相同的，而不是不同的东西。其次，即使在有些例子中ณ个三段论碰巧能从所设定的相反属性以及不能属于同主ว体的各种属性中推出，它们也可还原为ฦ我们已๐经论述过的类型。例如，如果b和是相反的或不能属于同主ว体。因为如果我们设定了这些词项ำ，就会有个三段论。结论是，不属于任何。但结论不是从原来的词项中推出的，而是从上面所论述的类型中推出的。因为b属于所有，但不属于任何，所以bຘ必定与某些相同。再者，如果b和不可能属于同对象，那么就会有个ฐ三段论。结论是，不属于某些。在这种情况中，中ณ间格也能ม产生。因为ฦb属于所有，却不属于某些，所以，b必定与某些相同。因为“b和不可能属于同主项”这陈述与“b与某些是相同的”这陈述是等值的。我们已经说明，代表切不能属于的属性。
在我们后面讨论归谬法时，这些论点会变得更加清楚。现在，让我们设定这些都已经很清楚。无论是要求直接证明个ฐ结论还是用归谬法去证明个结论，我们都必须注意相同的词项。但是，在其他假设性的三段论中，例如，涉แ及到替换或性质联系时，研究所涉及的不是原来设定的词项ำ而是被替换的词项，而研究的方法则与以前相同。但是，我们必须ี考虑和分析假设性三段论的不同类型。
必然前提的情况基本上与实然前提的情况相同。如果词项间的联系方式相同，那ว么เ无论是实然前提还是必然前提，不管它们是肯定的还是否定的，三段论必然以同样方式成立或不成立。唯的差异是词项要带上“必然属于”或“必然不属于”的字样。由于否定前提的转换方แ式相同，所以我们对“整个地被包含”或“表述全体”作同样规定。
在特称三段论中，如果全称前提是必然的，结论也会是必然的；但是，如果特称前提是必然的，那么不管全称前提是肯定的还是否定的，结论都不是必然的。让我们首先设定，全称前提是必然的，必然属于所有bຘ，bຘ仅能属于某个。由此可得的结论定是：必然属于某个。因为是归属于b的。而根据设定，必然属于所有b。如果三段论是否定的，情况亦同样，因为ฦ证明是相同的。但如果特称前提是必然的，结论却不会是必然的。否定这点并不会产生什么不可能ม的结果，正如在全称三段论中不会产生不可能的结果样。否定前提的情况亦相同，可作例证的词项是：运动动物白色的。
名词和动词只是种表示ิ，因为只有名词或动词，并不能作出有任何意义的陈述，无论是回答某问题的陈述，还是对自己้意见的陈述。
【7】有些事物是全称的，有些事物是单称的，我的意思是说，全称可以被表述为多数主体，如“人”，单称则不能这样，如“加里亚斯”。
缺乏和具有是就相同事物而言的，如“盲”和“视力”都是相对于眼睛而说的，般而论，这两者都是就拥有它们的事物在本性上所有的东西而言的，所以，可以拥有某种能力的东西，旦在这能ม力本应有，而且即使在失去时也应当有，事实上却完全没有时，我们就可以说这能ม力是缺乏的。所以，那些本来就无牙齿或没有视力的东西就不能说缺牙或盲。本来应有牙齿或有视力，而且既使在没有了这些东西时也应当有牙齿或有视力，然而事实上并没有牙齿或视力，这时我们才能使用“无齿”“盲目”这样的词。因为有的动物天生就没有牙齿或视力，这些动物就不能说是缺乏็牙齿或盲目的。
显然，“具有”与“缺乏็”之间的对立，和有相互关系的两事物之间的对立不同，因为这两ä者无论哪个ฐ都不能借助于它的对立面来说明，视力不是盲的视力，而且也不能在其他方面说它们两者相互关联，我们也不能把盲说成是视力的盲，盲是视力的缺乏，并不是视力的盲。而且，所有的关系都有相关者，所以，如若盲属于关系范畴，那么它和与它相关的事物之ใ间便有相互关系，但是它却并没有与它相关的东西，因为视力不是盲的视力。
作为个ฐ哲学教师，亚里士多德在讲授和著述中大概度过了40่年生涯。他所留แ下来的作品，仅依公元之世纪传记作家第欧根尼·拉尔修r在其著名哲学家传中ณ保存的目录所载，就有164种4๒00余卷，共计4๒45270่行。可是到เ现在，在被誉为标准本的亚里士多德全集里我们只能见到47种。而其中论宇宙r等13种，经学者们从内容及文体上多方考证，已被公认为是后人所托之作品。这些篇目虽非原作，但仍具很高文献参考价值，所以仍保留在全集中，加以标志以示ิ区别。标准本的亚里士多德全集是由柏林科学院授命，在伊曼努尔·贝克尔主持下编辑的。全书共5大卷，从1831到1870่年历经40่年才最后完成这巨著。这部书的前两ä卷收集了亚里士多德著作的本文。商卷计1462页ษ，每页ษ分b两栏，每栏从30่到40余行不等，大多为35๓行左右。每隔5行都标出行数号码。例如形而上学书就是从980่b25行开始的。这部全集的出版被认为ฦ给亚里士多德研究奠定了新า基础。这个版本是力图从最优秀和最古老的手稿中整理出来的以亚里士多德为名的全部著作的版本。在贝克尔版之后，西方