A System of Logic, Ratiocinative and Inductive. John Stuart Mill

of which man is a name. All men are six feet high, is not true, because six feet high is not a name of every thing (though it is of some things) of which man is a name.

      What is stated in this theory as the definition of a true proposition, must be allowed to be a property which all true propositions possess. The subject and predicate being both of them names of things, if they were names of quite different things the one name could not, consistently with its signification, be predicated of the other. If it be true that some men are copper-colored, it must be true—and the proposition does really assert—that among the individuals denoted by the name man, there are some who are also among those denoted by the name copper-colored. If it be true that all oxen ruminate, it must be true that all the individuals denoted by the name ox are also among those denoted by the name ruminating; and whoever asserts that all oxen ruminate, undoubtedly does assert that this relation subsists between the two names.

      The assertion, therefore, which, according to Hobbes, is the only one made in any proposition, really is made in every proposition: and his analysis has consequently one of the requisites for being the true one. We may go a step further; it is the only analysis that is rigorously true of all propositions without exception. What he gives as the meaning of propositions, is part of the meaning of all propositions, and the whole meaning of some. This, however, only shows what an extremely minute fragment of meaning it is quite possible to include within the logical formula of a proposition. It does not show that no proposition means more. To warrant us in putting together two words with a copula between them, it is really enough that the thing or things denoted by one of the names should be capable, without violation of usage, of being called by the other name also. If, then, this be all the meaning necessarily implied in the form of discourse called a Proposition, why do I object to it as the scientific definition of what a proposition means? Because, though the mere collocation which makes the proposition a proposition, conveys no more than this scanty amount of [pg 076] meaning, that same collocation combined with other circumstances, that form combined with other matter, does convey more, and the proposition in those other circumstances does assert more, than merely that relation between the two names.

      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 [pg 077] 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