How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and completeness result that unifies the most important soundness and completeness results to date. Then I argue that this result vindicates the mereological interpretation. In contrast to previous interpretations, this argument shows how Aristotle's conception of predication in mereological terms can do important logical work.

中文翻译：

---

亚里士多德断言三段论中的分体学

亚里士多德如何看待先验分析中的“每个 x 是 y”这样的句子？最近流行的一个答案认为这些句子表达了 x 和 y 之间的分体关系：如果 x 在某种意义上是 y 的一部分，则该句子为真。我认为，到目前为止，这种解释的动机并不令人信服。我为分体学解释提供了新的理由。首先，我证明了一个非常通用的代数稳健性和完整性结果，它统一了迄今为止最重要的稳健性和完整性结果。然后我认为这个结果证明了分体学解释是正确的。与先前的解释相反，这个论点表明亚里士多德的分体学术语中的谓词概念可以做重要的逻辑工作。