A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

We shall now briefly review the principal distinctions which exist among propositions, and the technical terms most commonly in use to express those distinctions.

§ 2. A proposition being a portion of discourse in which something is affirmed or denied of something, the first division of propositions is into [pg 068] affirmative and negative. An affirmative proposition is that in which the predicate is affirmed of the subject; as, Cæsar is dead. A negative proposition is that in which the predicate is denied of the subject; as, Cæsar is not dead. The copula, in this last species of proposition, consists of the words is not, which are the sign of negation; is being the sign of affirmation.

Some logicians, among whom may be mentioned Hobbes, state this distinction differently; they recognize only one form of copula, is, and attach the negative sign to the predicate. “Cæsar is dead,” and “Cæsar is not dead,” according to these writers, are propositions agreeing not in the subject and predicate, but in the subject only. They do not consider “dead,” but “not dead,” to be the predicate of the second proposition, and they accordingly define a negative proposition to be one in which the predicate is a negative name. The point, though not of much practical moment, deserves notice as an example (not unfrequent in logic) where by means of an apparent simplification, but which is merely verbal, matters are made more complex than before. The notion of these writers was, that they could get rid of the distinction between affirming and denying, by treating every case of denying as the affirming of a negative name. But what is meant by a negative name? A name expressive of the absence of an attribute. So that when we affirm a negative name, what we are really predicating is absence and not presence; we are asserting not that any thing is, but that something is not; to express which operation no word seems so proper as the word denying. The fundamental distinction is between a fact and the non-existence of that fact; between seeing something and not seeing it, between Cæsar’s being dead and his not being dead; and if this were a merely verbal distinction, the generalization which brings both within the same form of assertion would be a real simplification: the distinction, however, being real, and in the facts, it is the generalization confounding the distinction that is merely verbal; and tends to obscure the subject, by treating the difference between two kinds of truths as if it were only a difference between two kinds of words. To put things together, and to put them or keep them asunder, will remain different operations, whatever tricks we may play with language.

A remark of a similar nature may be applied to most of those distinctions among propositions which are said to have reference to their modality; as, difference of tense or time; the sun did rise, the sun is rising, the sun will rise. These differences, like that between affirmation and negation, might be glossed over by considering the incident of time as a mere modification of the predicate: thus, The sun is an object having risen, The sun is an object now rising, The sun is an object to rise hereafter. But the simplification would be merely verbal. Past, present, and future, do not constitute so many different kinds of rising; they are designations belonging to the event asserted, to the sun’s rising to-day. They affect, not the predicate, but the applicability of the predicate to the particular subject. That which we affirm to be past, present, or future, is not what the subject signifies, nor what the predicate signifies, but specifically and expressly what the predication signifies; what is expressed only by the proposition as such, and not by either or both of the terms. Therefore the circumstance of time is properly considered as attaching to the copula, which is the sign of predication, and not to the predicate. If the same can not be said of such modifications as these, Cæsar may be dead; Cæsar is perhaps dead; it is possible that Cæsar is dead; it is only because these fall altogether [pg 069] under another head, being properly assertions not of any thing relating to the fact itself, but of the state of our own mind in regard to it; namely, our absence of disbelief of it. Thus “Cæsar may be dead” means “I am not sure that Cæsar is alive.”

§ 3. The next division of propositions is into Simple and Complex; more aptly (by Professor Bain[26]) termed Compound. A simple proposition is that in which one predicate is affirmed or denied of one subject. A compound proposition is that in which there is more than one predicate, or more than one subject, or both.

At first sight this division has the air of an absurdity; a solemn distinction of things into one and more than one; as if we were to divide horses into single horses and teams of horses. And it is true that what is called a complex (or compound) proposition is often not a proposition at all, but several propositions, held together by a conjunction. Such, for example, is this: Cæsar is dead, and Brutus is alive: or even this, Cæsar is dead, but Brutus is alive. There are here two distinct assertions; and we might as well call a street a complex house, as these two propositions a complex proposition. It is true that the syncategorematic words and and but have a meaning; but that meaning is so far from making the two propositions one, that it adds a third proposition to them. All particles are abbreviations, and generally abbreviations of propositions; a kind of short-hand, whereby something which, to be expressed fully, would have required a proposition or a series of propositions, is suggested to the mind at once. Thus the words, Cæsar is dead and Brutus is alive, are equivalent to these: Cæsar is dead; Brutus is alive; it is desired that the two preceding propositions should be thought of together. If the words were, Cæsar is dead, but Brutus is alive, the sense would be equivalent to the same three propositions together with a fourth; “between the two preceding propositions there exists a contrast:” viz., either between the two facts themselves, or between the feelings with which it is desired that they should be regarded.

In the instances cited the two propositions are kept visibly distinct, each subject having its separate predicate, and each predicate its separate subject. For brevity, however, and to avoid repetition, the propositions are often blended together: as in this, “Peter and James preached at Jerusalem and in Galilee,” which contains four propositions: Peter preached at Jerusalem, Peter preached in Galilee, James preached at Jerusalem, James preached in Galilee.

We have seen that when the two or more propositions comprised in what is called a complex proposition are stated absolutely, and not under any condition or proviso, it is not a proposition at all, but a plurality of propositions; since what it expresses is not a single assertion, but several assertions, which, if true when joined, are true also when separated. But there is a kind of proposition which, though it contains a plurality of subjects and of predicates, and may be said in one sense of the word to consist of several propositions, contains but one assertion; and its truth does not at all imply that of the simple propositions which compose it. An example of this is, when the simple propositions are connected by the particle or; as, either A is B or C is D; or by the particle if; as, A is B if C is D. In the former case, the proposition is called disjunctive, in the latter, conditional: the name hypothetical was originally common to both.

As has been well remarked by Archbishop Whately and others, the disjunctive form is resolvable into the conditional; every disjunctive proposition being equivalent to two or more conditional ones. “Either A is B or C is D,” means, “if A is not B, C is D; and if C is not D, A is B.” All hypothetical propositions, therefore, though disjunctive in form, are conditional in meaning; and the words hypothetical and conditional may be, as indeed they generally are, used synonymously. Propositions in which the assertion is not dependent on a condition, are said, in the language of logicians, to be categorical.

A hypothetical proposition is not, like the pretended complex propositions which we previously considered, a mere aggregation of simple propositions. The simple propositions which form part of the words in which it is couched, form no part of the assertion which it conveys. When we say, If the Koran comes from God, Mohammed is the prophet of God, we do not intend to affirm either that the Koran does come from God, or that Mohammed is really his prophet. Neither of these simple propositions may be true, and yet the truth of the hypothetical proposition may be indisputable. What is asserted is not the truth of either of the propositions, but the inferribility of the one from the other. What, then, is the subject, and what the predicate of the hypothetical proposition? “The Koran” is not the subject of it, nor is “Mohammed:” for nothing is affirmed or denied either of the Koran or of Mohammed. The real subject of the predication is the entire proposition, “Mohammed is the prophet of God;” and the affirmation is, that this is a legitimate inference from the proposition, “The Koran comes from God.” The subject and predicate, therefore, of a hypothetical proposition are names of propositions. The subject is some one proposition. The predicate is a general relative name applicable to propositions; of this form—“an inference from so and so.” A fresh instance is here afforded of the remark, that particles are abbreviations; since “If A is B, C is D,” is found to be an abbreviation of the following: “The proposition C is D, is a legitimate inference from the proposition A is B.”