When Aristotle invented logic, what he invented was a logic of terms. The Stoics replaced Aristotle's term variables with propositional ones, and with that propositional logic was born (see [16]). For a long time term logic and propositional logic existed together. For example, William of Ockham [21] devoted the first part of his Summa logicae to terms and the second part to propositions. Perhaps it was Kant who was responsible for the emphasis on propositional logic at the expense of term logic. For where Aristotle had categories of objects and attributes, closely related to the grammatical categories of terms that normally denote them, Kant had categories of concepts. Kant, however, derives categories of concepts from categories of judgments; that is, from categories of propositions. With the move to categories of judgments, term logic in anything like Aristotle's sense drops from view. In this Frege follows Kant and so does what is now called "classical logic". (These remarks were inspired by a comment of F. W. Lawvere.)