when the names were introduced and their signification fixed. That the diamond is combustible, was a proposition certainly not dreamt of when the words Diamond and Combustible first received their meaning; and could not have been discovered by the most ingenious and refined analysis of the signification of those words. It was found out by a very different process, namely, by exerting the senses, and learning from them, that the attribute of combustibility existed in the diamonds upon which the experiment was tried; the number or character of the experiments being such, that what was true of those individuals might be concluded to be true of all substances "called by the name," that is, of all substances possessing the attributes which the name connotes. The assertion, therefore, when analysed, is, that wherever we find certain attributes, there will be found a certain other attribute: which is not a question of the signification of names, but of laws of nature; the order existing among phenomena. § 3. Although Hobbes' theory of Predication has not, in the terms in which he stated it, met with a very favourable reception from subsequent thinkers, a theory virtually identical with it, and not by any means so perspicuously expressed, may almost be said to have taken the rank of an established opinion. The most generally received notion of Predication decidedly is that it consists in referring something to a class, _i.e._, either placing an individual under a class, or placing one class under another class. Thus, the proposition, Man is mortal, asserts, according to this view of it, that the class man is included in the class mortal. "Plato is a philosopher," asserts that the individual Plato is one of those who compose the class philosopher. If the proposition is negative, then instead of placing something in a class, it is said to exclude something from a class. Thus, if the following be the proposition, The elephant is not carnivorous; what is asserted (according to this theory) is, that the elephant is excluded, from the class carnivorous, or is not numbered among the things comprising that class. There is no real difference, except in language, between this theory of Predication and the theory of Hobbes. For a class _is_ absolutely nothing but an indefinite number of individuals denoted by a general name. The name given to them in common, is what makes them a class. To refer anything to a class, therefore, is to look upon it as one of the things which are to be called by that common name. To exclude it from a class, is to say that the common name is not applicable to it.