A System of Logic: Ratiocinative and Inductive, John Stuart Mill [best books to read now .txt] 📗

Conformably to these views, almost all the writers on Logic in the last two centuries, whether English, German, or French, have made their theory of Propositions, from one end to the other, a theory of Judgments. They considered a Proposition, or a Judgment, for they used the two words indiscriminately, to consist in affirming or denying one idea of another. To judge, was to put two ideas together, or to bring one idea under another, or to compare two ideas, or to perceive the agreement or disagreement between two ideas: and the whole doctrine of Propositions, together with the theory of Reasoning, (always necessarily founded on the theory of Propositions,) was stated as if Ideas, or Conceptions, or whatever other term the writer preferred as a name for mental representations generally, constituted essentially the subject matter and substance of those operations.

It is, of course, true, that in any case of judgment, as for instance when we judge that gold is yellow, a process takes place in our minds, of which some one or other of these theories is a partially correct account. We must have the idea of gold and the idea of yellow, and these two ideas must be brought together in our mind. But in the first place, it is evident that this is only a part of what takes place; for we may put two ideas together without any act of belief; as when we merely imagine something, such as a golden mountain; or when we actually disbelieve: for in order even to disbelieve that Mahomet was an apostle of God, we must put the idea of Mahomet and that of an apostle of God together. To determine what it is that happens in the case of assent or dissent besides putting two ideas together, is one of the most intricate of metaphysical problems. But whatever the solution may be, we may venture to assert that it can have nothing whatever to do with the import of propositions; for this reason, that propositions (except sometimes when the mind itself is the subject treated of) are not assertions respecting our ideas of things, but assertions respecting the things themselves. In order to believe that gold is yellow, I must, indeed, have the idea of gold, and the idea of yellow, and something having reference to those ideas must take place in my mind; but my belief has not reference to the ideas, it has reference to the things. What I believe, is a fact relating to the outward thing, gold, and to the impression made by that outward thing upon the human organs; not a fact relating to my conception of gold, which would be a fact in my mental history, not a fact of external nature. It is true, that in order to believe this fact in external nature, another fact must take place in my mind, a process must be performed upon my ideas; but so it must in everything else that I do. I cannot dig the ground unless I have the idea of the ground, and of a spade, and of all the other things I am operating upon, and unless I put those ideas together.[17] But it would be a very ridiculous description of digging the ground to say that it is putting one idea into another. Digging is an operation which is performed upon the things themselves, though it cannot be performed unless I have in my mind the ideas of them. And in like manner, believing is an act which has for its subject the facts themselves, though a previous mental conception of the facts is an indispensable condition. When I say that fire causes heat, do I mean that my idea of fire causes my idea of heat? No: I mean that the natural phenomenon, fire, causes the natural phenomenon, heat. When I mean to assert anything respecting the ideas, I give them their proper name, I call them ideas: as when I say, that a child's idea of a battle is unlike the reality, or that the ideas entertained of the Deity have a great effect on the characters of mankind.

The notion that what is of primary importance to the logician in a proposition, is the relation between the two ideas corresponding to the subject and predicate, (instead of the relation between the two phenomena which they respectively express,) seems to me one of the most fatal errors ever introduced into the philosophy of Logic; and the principal cause why the theory of the science has made such inconsiderable progress during the last two centuries. The treatises on Logic, and on the branches of Mental Philosophy connected with Logic, which have been produced since the intrusion of this cardinal error, though sometimes written by men of extraordinary abilities and attainments, almost always tacitly imply a theory that the investigation of truth consists in contemplating and handling our ideas, or conceptions of things, instead of the things themselves: a doctrine tantamount to the assertion, that the only mode of acquiring knowledge of nature is to study it at second hand, as represented in our own minds. Meanwhile, inquiries into every kind of natural phenomena were incessantly establishing great and fruitful truths on most important subjects, by processes upon which these views of the nature of Judgment and Reasoning threw no light, and in which they afforded no assistance whatever. No wonder that those who knew by practical experience how truths are arrived at, should deem a science futile, which consisted chiefly of such speculations. What has been done for the advancement of Logic since these doctrines came into vogue, has been done not by professed logicians, but by discoverers in the other sciences; in whose methods of investigation many principles of logic, not previously thought of, have successively come forth into light, but who have generally committed the error of supposing that nothing whatever was known of the art of philosophizing by the old logicians, because their modern interpreters have written to so little purpose respecting it.

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.

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 farther; 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 meaning, that same collocation combined with other circumstances, that form combined with other matter, does convey more, and much more.

The only propositions of which Hobbes' 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 analysing 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