 Much of Abelard’s philosophy of language is devoted to analyzing how a given expression or class of expressions function logically: what words are quantifiers, which imply negation, and the like, so that the logic described above may be applied. To do so, he relies on the traditional division, derived from Aristotle, that sees the main linguistic categories as name, verb, and their combination into the sentence.