A System of Logic, Ratiocinative and Inductive. John Stuart Mill
the predicate and the subject are undistributed. In the following, No men have wings, both the predicate and the subject are distributed. Not only is the attribute of having wings denied of the entire class Man, but that class is severed and cast out from the whole of the class Winged, and not merely from some part of that class.
This phraseology, which is of great service in stating and demonstrating the rules of the syllogism, enables us to express very concisely the definitions of a universal and a particular proposition. A universal proposition is that of which the subject is distributed; a particular proposition is that of which the subject is undistributed.
There are many more distinctions among propositions than those we have here stated, some of them of considerable importance. But, for explaining and illustrating these, more suitable opportunities will occur in the sequel.
[pg 073]
Chapter V.
Of The Import Of Propositions.
§ 1. An inquiry into the nature of propositions must have one of two objects: to analyze the state of mind called Belief, or to analyze what is believed. All language recognizes a difference between a doctrine or opinion, and the fact of entertaining the opinion; between assent, and what is assented to.
Logic, according to the conception here formed of it, has no concern with the nature of the act of judging or believing; the consideration of that act, as a phenomenon of the mind, belongs to another science. Philosophers, however, from Descartes downward, and especially from the era of Leibnitz and Locke, have by no means observed this distinction; and would have treated with great disrespect any attempt to analyze the import of Propositions, unless founded on an analysis of the act of Judgment. A proposition, they would have said, is but the expression in words of a Judgment. The thing expressed, not the mere verbal expression, is the important matter. When the mind assents to a proposition, it judges. Let us find out what the mind does when it judges, and we shall know what propositions mean, and not otherwise.
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 Mohammed was an apostle of God, we must put the idea of Mohammed 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, [pg 074] 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 every thing else that I do. I can not 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.30 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 can not 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 any thing 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. [pg 075] 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