A System of Logic: Ratiocinative and Inductive, 7th Edition, Vol. I
John Stuart Mill · en
We have to inquire, then, on the present occasion, not into Judgment,
but judgments; not into the act of believing, but into the thing
believed. What is the immediate object of belief in a Proposition? What
is the matter of fact signified by it? What is it to which, when I
assert the proposition, I give my assent, and call upon others to give
theirs? What is that which is expressed by the form of discourse called
a Proposition, and the conformity of which to fact constitutes the truth
of the proposition?
§ 2. One of the clearest and most consecutive thinkers whom this country
or the world has produced, I mean Hobbes, has given the following answer
to this question. In every proposition (says he) what is signified is,
the belief of the speaker that the predicate is a name of the same thing
of which the subject is a name; and if it really is so, the proposition
is true. Thus the proposition, All men are living beings (he would say)
is true, because _living being_ is a name of everything of which _man_
is a name. All men are six feet high, is not true, because _six feet
high_ is not a name of everything (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-coloured, 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-coloured. 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.