The only propositions of which Hobbes’s principle is a sufficient account, are that limited and unimportant class in which both the predicate and the subject are proper names. For, as has already been remarked, proper names have strictly no meaning; they are mere marks for individual objects: and when a proper name is predicated of another proper name, all the signification conveyed is, that both the names are marks for the same object. But this is precisely what Hobbes produces as a theory of predication in general. His doctrine is a full explanation of such predications as these: Hyde was Clarendon, or, Tully is Cicero. It exhausts the meaning of those propositions. But it is a sadly inadequate theory of any others. That it should ever have been thought of as such, can be accounted for only by the fact, that Hobbes, in common with the other Nominalists, bestowed little or no attention upon the connotation of words; and sought for their meaning exclusively in what they denote: as if all names had been (what none but proper names really are) marks put upon individuals; and as if there were no difference between a proper and a general name, except that the first denotes only one individual, and the last a greater number.
It has been seen, however, that the meaning of all names, except proper names and that portion of the class of abstract names which are not connotative, resides in the connotation. When, therefore, we are analyzing the meaning of any proposition in which the predicate and the subject, or either of them, are connotative names, it is to the connotation of those terms that we must exclusively look, and not to what they denote, or in the language of Hobbes (language so far correct) are names of.
In asserting that the truth of a proposition depends on the conformity of import between its terms, as, for instance, that the proposition, Socrates is wise, is a true proposition, because Socrates and wise are names applicable to, or, as he expresses it, names of, the same person; it is very remarkable that so powerful a thinker should not have asked himself the question, But how came they to be names of the same person? Surely not because such was the intention of those who invented the words. When mankind fixed the meaning of the word wise, they were not thinking of Socrates, nor, when his parents gave him the name of Socrates, were they thinking of wisdom. The names happen to fit the same person because of a certain fact, which fact was not known, nor in being, when the names were invented. If we want to know what the fact is, we shall find the clue to it in the connotation of the names.
A bird or a stone, a man, or a wise man, means simply, an object having such and such attributes. The real meaning of the word man, is those attributes, and not Smith, Brown, and the remainder of the individuals. The word mortal, in like manner connotes a certain attribute or attributes; and when we say, All men are mortal, the meaning of the proposition is, that all beings which possess the one set of attributes, possess also the other. If, in our experience, the attributes connoted by man are always accompanied by the attribute connoted by mortal, it will follow as a consequence, that the class man will be wholly included in the class mortal, and that mortal will be a name of all things of which man is a name: but why? Those objects are brought under the name, by possessing the attributes connoted by it: but their possession of the attributes is the real condition on which the truth of the proposition depends; not their being called by the name. Connotative names do not precede, but follow, the attributes which they connote. If one attribute happens to be always found in conjunction with another attribute, the concrete names which answer to those attributes will of course be predicable of the same subjects, and may be said, in Hobbes’s language (in the propriety of which on this occasion I fully concur), to be two names for the same things. But the possibility of a concurrent application of the two names, is a mere consequence of the conjunction between the two attributes, and was, in most cases, never thought of when the names were introduced and their signification fixed. That the diamond is combustible, was a proposition certainly not dreamed 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 analyzed, 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’s theory of Predication has not, in the terms in which he stated it, met with a very favorable 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 any thing 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.
How widely these views of predication have prevailed, is evident from this, that they are the basis of the celebrated dictum de omni et nullo. When the syllogism is resolved, by all who treat of it, into an inference that what is true of a class is true of all things whatever that belong to the class; and when this is laid down by almost all professed logicians as the ultimate principle to which all reasoning owes its validity; it is clear that in the general estimation of logicians, the propositions of which reasonings are composed can be the expression of nothing but the process of dividing things into classes, and referring every thing to its proper class.
This theory appears to me a signal example of a logical error very often committed in logic, that of ὕστερον προτέρον, or explaining a thing by something which presupposes it. When I say that snow is white, I may and ought to be thinking of snow as a class, because I am asserting a proposition as true of all snow: but I am certainly not thinking of white objects as a class; I am thinking of no white object whatever except snow, but only of that, and of the sensation of white which it gives me. When, indeed, I have judged, or assented to the propositions, that snow is white, and that several other things are also white, I gradually begin to think of white objects as a class, including snow and those other things. But this is a conception which followed, not preceded, those judgments, and therefore can not be given as an explanation of them. Instead of explaining the effect by the cause, this doctrine explains the cause by the effect, and is, I conceive, founded on a latent misconception of the nature of classification.