The initial book in Aristotle's collected logical works is the Categories, an analysis of predication generally.It begins with a distinction among three ways in which the meaning of different uses of a predicate may be related to each other: homonymy, synonymy, and paronymy (in some translations, "equivocal," "univocal," and "derivative").