A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

When approximate generalizations are joined together in the other mode, that of deduction, the degree of probability of the inference, instead of increasing, diminishes at each step. From two such premises as Most A are B, Most B are C, we can not with certainty conclude that even a single A is C; for the whole of the portion of A which in any way falls under B, may perhaps be comprised in the exceptional part of it. Still, the two propositions in question afford an appreciable probability that any given A is C, provided the average on which the second proposition is grounded was taken fairly with reference to the first; provided the proposition, Most [pg 423] B are C, was arrived at in a manner leaving no suspicion that the probability arising from it is otherwise than fairly distributed over the section of B which belongs to A. For though the instances which are A may be all in the minority, they may, also, be all in the majority; and the one possibility is to be set against the other. On the whole, the probability arising from the two propositions taken together, will be correctly measured by the probability arising from the one, abated in the ratio of that arising from the other. If nine out of ten Swedes have light hair, and eight out of nine inhabitants of Stockholm are Swedes, the probability arising from these two propositions, that any given inhabitant of Stockholm is light-haired, will amount to eight in ten; though it is rigorously possible that the whole Swedish population of Stockholm might belong to that tenth section of the people of Sweden who are an exception to the rest.

If the premises are known to be true not of a bare majority, but of nearly the whole, of their respective subjects, we may go on joining one such proposition to another for several steps, before we reach a conclusion not presumably true even of a majority. The error of the conclusion will amount to the aggregate of the errors of all the premises. Let the proposition, most A are B, be true of nine in ten; Most B are C, of eight in nine; then not only will one A in ten not be C, because not B, but even of the nine-tenths which are B, only eight-ninths will be C; that is, the cases of A which are C will be only ⁸⁄₉ of ⁹⁄₁₀, or four-fifths. Let us now add Most C are D, and suppose this to be true of seven cases out of eight; the proportion of A which is D will be only ⅞ of ⁸⁄₉ of ⁹⁄₁₀, or ⁷⁄₁₀. Thus the probability progressively dwindles. The experience, however, on which our approximate generalizations are grounded, has so rarely been subjected to, or admits of, accurate numerical estimation, that we can not in general apply any measurement to the diminution of probability which takes place at each illation; but must be content with remembering that it does diminish at every step, and that unless the premises approach very nearly indeed to being universally true, the conclusion after a very few steps is worth nothing. A hearsay of a hearsay, or an argument from presumptive evidence depending not on immediate marks but on marks of marks, is worthless at a very few removes from the first stage.

§ 7. There are, however, two cases in which reasonings depending on approximate generalizations may be carried to any length we please with as much assurance, and are as strictly scientific, as if they were composed of universal laws of nature. But these cases are exceptions of the sort which are currently said to prove the rule. The approximate generalizations are as suitable, in the cases in question, for purposes of ratiocination, as if they were complete generalizations, because they are capable of being transformed into complete generalizations exactly equivalent.

First: If the approximate generalization is of the class in which our reason for stopping at the approximation is not the impossibility, but only the inconvenience, of going further; if we are cognizant of the character which distinguishes the cases that accord with the generalization from those which are exceptions to it; we may then substitute for the approximate proposition, a universal proposition with a proviso. The proposition, Most persons who have uncontrolled power employ it ill, is a generalization of this class, and may be transformed into the following: All persons who have uncontrolled power employ it ill, provided they are not persons of unusual strength of judgment and rectitude of purpose. The proposition, [pg 424] carrying the hypothesis or proviso with it, may then be dealt with no longer as an approximate, but as a universal proposition; and to whatever number of steps the reasoning may reach, the hypothesis, being carried forward to the conclusion, will exactly indicate how far that conclusion is from being applicable universally. If in the course of the argument other approximate generalizations are introduced, each of them being in like manner expressed as a universal proposition with a condition annexed, the sum of all the conditions will appear at the end as the sum of all the errors which affect the conclusion. Thus, to the proposition last cited, let us add the following: All absolute monarchs have uncontrolled power, unless their position is such that they need the active support of their subjects (as was the case with Queen Elizabeth, Frederick of Prussia, and others). Combining these two propositions, we can deduce from them a universal conclusion, which will be subject to both the hypotheses in the premises; All absolute monarchs employ their power ill, unless their position makes them need the active support of their subjects, or unless they are persons of unusual strength of judgment and rectitude of purpose. It is of no consequence how rapidly the errors in our premises accumulate, if we are able in this manner to record each error, and keep an account of the aggregate as it swells up.

Secondly: there is a case in which approximate propositions, even without our taking note of the conditions under which they are not true of individual cases, are yet, for the purposes of science, universal ones; namely, in the inquiries which relate to the properties not of individuals, but of multitudes. The principal of these is the science of politics, or of human society. This science is principally concerned with the actions not of solitary individuals, but of masses; with the fortunes not of single persons, but of communities. For the statesman, therefore, it is generally enough to know that most persons act or are acted upon in a particular way; since his speculations and his practical arrangements refer almost exclusively to cases in which the whole community, or some large portion of it, is acted upon at once, and in which, therefore, what is done or felt by most persons determines the result produced by or upon the body at large. He can get on well enough with approximate generalizations on human nature, since what is true approximately of all individuals is true absolutely of all masses. And even when the operations of individual men have a part to play in his deductions, as when he is reasoning of kings, or other single rulers, still, as he is providing for indefinite duration, involving an indefinite succession of such individuals, he must in general both reason and act as if what is true of most persons were true of all.

The two kinds of considerations above adduced are a sufficient refutation of the popular error, that speculations on society and government, as resting on merely probable evidence, must be inferior in certainty and scientific accuracy to the conclusions of what are called the exact sciences, and less to be relied on in practice. There are reasons enough why the moral sciences must remain inferior to at least the more perfect of the physical; why the laws of their more complicated phenomena can not be so completely deciphered, nor the phenomena predicted with the same degree of assurance. But though we can not attain to so many truths, there is no reason that those we can attain should deserve less reliance, or have less of a scientific character. Of this topic, however, I shall treat more systematically in the concluding Book, to which place any further consideration of it must be deferred.

Chapter XXIV.

Of The Remaining Laws Of Nature.

§ 1. In the First Book we found that all the assertions which can be conveyed by language, express some one or more of five different things: Existence; Order in Place; Order in Time; Causation; and Resemblance.[197] Of these, Causation, in our view of the subject, not being fundamentally different from Order in Time, the five species of possible assertions are reduced to four. The propositions which affirm Order in Time in either of its two modes, Co-existence and Succession, have formed, thus far, the subject of the present Book. And we have now concluded the exposition, so far as it falls within the limits assigned to this work, of the nature of the evidence on which these propositions rest, and the processes of investigation by which they are ascertained and proved. There remain three classes of facts: Existence, Order in Place, and Resemblance; in regard to which the same questions are now to be resolved.