As to Essential and Accidental, these terms are derived from the doctrine of Realism. Realists maintain that the essence of a thing, or that which makes a thing to be what (or of what kind) it is, also makes everything else of the same kind to be what it is. The essence, they say, is not proper to each thing or separately inherent in it, but is an 'Universal' common to all things of that kind. Some hold that the universal nature of things of any kind is an Idea existing (apart from the things) in the intelligible world, invisible to mortal eye and only accessible to thought; whence the Idea is called a noumenon: that only the Idea is truly real, and that the things (say, trees, bedsteads and cities) which appear to us in sense-perception, and which therefore are called phenomena, only exist by participating in, or imitating, the Idea of each kind of them. The standard of this school bears the legend Universalia ante rem.

But others think that the Universal does not exist apart from particular things, but is their present essence; gives them actuality as individual substances; "informs" them, or is their formal cause, and thus makes them to be what they are of their kind according to the definition: the universal lion is in all lions, and is not merely similar, but identical in all; for thus the Universal Reason thinks and energises in Nature. This school inscribes upon its banners, Universalia in re.

To define anything, then, is to discover its essence, whether transcendent or immanent; and to predicate the definition, or any part of it (genus or difference), is to enounce an essential proposition. But a proprium, being no part of a definition, though it always goes along with it, does not show what a thing is; nor of course does an accident; so that to predicate either of these is to enounce an accidental proposition.

Another school of Metaphysicians denies the existence of Universal Ideas or Forms; the real things, according to them, are individuals; which, so far as any of them resemble one another, are regarded as forming classes; and the only Universal is the class-name, which is applied universally in the same sense. Hence, they are called Nominalists. The sense in which any name is applied, they say, is derived from a comparison of the individuals, and by abstraction of the properties they have in common; and thus the definition is formed. Universalia post rem is their motto. Some Nominalists, however, hold that, though Universals do not exist in nature, they do in our minds, as Abstract Ideas or Concepts; and that to define a term is to analyse the concept it stands for; whence, these philosophers are called Conceptualists.

Such questions belong to Metaphysics rather than to Logic; and the foregoing is a commonplace account of a subject upon every point of which there is much difference of opinion.

§ 10. The doctrine of the Predicaments, or Categories, is so interwoven with the history of speculation and especially of Logic that, though its vitality is exhausted, it can hardly be passed over unmentioned. The predicaments of Aristotle are the heads of a classification of terms as possible predicates of a particular thing or individual. Hamilton (Logic: Lect. xi.) has given a classification of them; which, if it cannot be found in Aristotle, is an aid to the memory, and may be thrown into a table thus:

Substance οὐσία(1)
[Quantityποσόν(2)
[Attribute]—[Qualityποιόν(3)
[Relationπρόσ τι(4)
[Whereποῡ(5)
[Whenπότε(6)
[Actionποιεῑν(7)
[Modes of Relation][Passionπάσχειν(8)
[Postureκεῑσθαι(9)
[Habitἔχειν(10)

Taking a particular thing or individual, as 'Socrates,' this is Substance in the proper sense of the word, and can never be a predicate, but is the subject of all predicates. We may assert of him (1) Substance in the secondary sense (species or genus) that he is a man or an animal; (2) Quantity, of such a height or weight; (3) Quality, fair or dark; (4) Relation, shorter or taller than Xanthippe; (5) Where, at Athens; (6) When, two thousand and odd years ago; (7) Action, that he questions or pleads; (8) Passion, that he is answered or condemned; (9) Posture, that he sits or stands; (10) Habit, that he is clothed or armed.

Thus illustrated (Categoriæ: c. 4), the predicaments seem to be a list of topics, generally useful for the analysis and description of an individual, but wanting in the scientific qualities of rational arrangement, derivation and limitation. Why are there just these heads, and just so many? It has been suggested that they were determined by grammatical forms: for Substance is expressed by a substantive; Quantity, Quality and Relation are adjectival; Where and When, adverbial; and the remaining four are verbal. It is true that the parts of speech were not systematically discriminated until some years after Aristotle's time; but, as they existed, they may have unconsciously influenced his selection and arrangement of the predicaments. Where a principle is so obscure one feels glad of any clue to it (cf. Grote's Aristotle, c. 3, and Zeller's Aristotle, c. 6). But whatever the origin and original meaning of the predicaments, they were for a long time regarded as a classification of things; and it is in this sense that Mill criticises them (Logic: Bk. I. c. 3).