any respect, as to their mode of signification, from other connotative names. The classes which they denote are, as much as any other classes, constituted by certain common attributes, and their names are significant of those attributes, and of nothing else. The names of Cuvier's classes and orders, _Plantigrades_, _Digitigrades_, &c., are as much the expression of attributes as if those names had preceded, instead of grown out of, his classification of animals. The only peculiarity of the case is, that the convenience of classification was here the primary motive for introducing the names; while in other cases the name is introduced as a means of predication, and the formation of a class denoted by it is only an indirect consequence. The principles which ought to regulate Classification as a logical process subservient to the investigation of truth, cannot be discussed to any purpose until a much later stage of our inquiry. But, of Classification as resulting from, and implied in, the fact of employing general language, we cannot forbear to treat here, without leaving the theory of general names and of their employment in predication, mutilated and formless. § 2. This portion of the theory of general language is the subject of what is termed the doctrine of the Predicables; a set of distinctions handed down from Aristotle, and his follower Porphyry, many of which have taken a firm root in scientific, and some of them even in popular, phraseology. The predicables are a five-fold division of General Names, not grounded as usual on a difference in their meaning, that is, in the attribute which they connote, but on a difference in the kind of class which they denote. We may predicate of a thing five different varieties of class-name:-- A _genus_ of the thing (_γὲνος_). A _species_ (_εἶδος_). A _differentia_ (_διαφορὰ_). A _proprium_ (_ἴδιόν_). An _accidens_ (_συμβεβηκός_).