A System of Logic, Ratiocinative and Inductive. John Stuart Mill
grounding an induction, we need not frame a general proposition; we may reason at once from those particulars to other particulars. But it is to be remarked withal, that whenever, from a set of particular cases, we can legitimately draw any inference, we may legitimately make our inference [pg 149] a general one. If, from observation and experiment, we can conclude to one new case, so may we to an indefinite number. If that which has held true in our past experience will therefore hold in time to come, it will hold not merely in some individual case, but in all cases of some given description. Every induction, therefore, which suffices to prove one fact, proves an indefinite multitude of facts: the experience which justifies a single prediction must be such as will suffice to bear out a general theorem. This theorem it is extremely important to ascertain and declare, in its broadest form of generality; and thus to place before our minds, in its full extent, the whole of what our evidence must prove if it proves any thing.
This throwing of the whole body of possible inferences from a given set of particulars, into one general expression, operates as a security for their being just inferences, in more ways than one. First, the general principle presents a larger object to the imagination than any of the singular propositions which it contains. A process of thought which leads to a comprehensive generality, is felt as of greater importance than one which terminates in an insulated fact; and the mind is, even unconsciously, led to bestow greater attention upon the process, and to weigh more carefully the sufficiency of the experience appealed to, for supporting the inference grounded upon it. There is another, and a more important, advantage. In reasoning from a course of individual observations to some new and unobserved case, which we are but imperfectly acquainted with (or we should not be inquiring into it), and in which, since we are inquiring into it, we probably feel a peculiar interest; there is very little to prevent us from giving way to negligence, or to any bias which may affect our wishes or our imagination, and, under that influence, accepting insufficient evidence as sufficient. But if, instead of concluding straight to the particular case, we place before ourselves an entire class of facts—the whole contents of a general proposition, every tittle of which is legitimately inferable from our premises, if that one particular conclusion is so; there is then a considerable likelihood that if the premises are insufficient, and the general inference therefore, groundless, it will comprise within it some fact or facts the reverse of which we already know to be true; and we shall thus discover the error in our generalization by a reductio ad impossibile.
Thus if, during the reign of Marcus Aurelius, a subject of the Roman empire, under the bias naturally given to the imagination and expectations by the lives and characters of the Antonines, had been disposed to expect that Commodus would be a just ruler; supposing him to stop there, he might only have been undeceived by sad experience. But if he reflected that this expectation could not be justifiable unless from the same evidence he was warranted in concluding some general proposition, as, for instance, that all Roman emperors are just rulers; he would immediately have thought of Nero, Domitian, and other instances, which, showing the falsity of the general conclusion, and therefore the insufficiency of the premises, would have warned him that those premises could not prove in the instance of Commodus, what they were inadequate to prove in any collection of cases in which his was included.
The advantage, in judging whether any controverted inference is legitimate, of referring to a parallel case, is universally acknowledged. But by ascending to the general proposition, we bring under our view not one parallel case only, but all possible parallel cases at once; all cases to which the same set of evidentiary considerations are applicable.
When, therefore, we argue from a number of known cases to another case [pg 150] supposed to be analogous, it is always possible, and generally advantageous, to divert our argument into the circuitous channel of an induction from those known cases to a general proposition, and a subsequent application of that general proposition to the unknown case. This second part of the operation, which, as before observed, is essentially a process of interpretation, will be resolvable into a syllogism or a series of syllogisms, the majors of which will be general propositions embracing whole classes of cases; every one of which propositions must be true in all its extent, if the argument is maintainable. If, therefore, any fact fairly coming within the range of one of these general propositions, and consequently asserted by it, is known or suspected to be other than the proposition asserts it to be, this mode of stating the argument causes us to know or to suspect that the original observations, which are the real grounds of our conclusion, are not sufficient to support it. And in proportion to the greater chance of our detecting the inconclusiveness of our evidence, will be the increased reliance we are entitled to place in it if no such evidence of defect shall appear.
The value, therefore, of the syllogistic form, and of the rules for using it correctly, does not consist in their being the form and the rules according to which our reasonings are necessarily, or even usually, made; but in their furnishing us with a mode in which those reasonings may always be represented, and which is admirably calculated, if they are inconclusive, to bring their inconclusiveness to light. An induction from particulars to generals, followed by a syllogistic process from those generals to other particulars, is a form in which we may always state our reasonings if we please. It is not a form in which we must reason, but it is a form in which we may reason, and into which it is indispensable to throw our reasoning, when there is any doubt of its validity: though when the case is familiar and little complicated, and there is no suspicion of error, we may, and do, reason at once from the known particular cases to unknown ones.58
These are the uses of syllogism, as a mode of verifying any given argument. Its ulterior uses, as respects the general course of our intellectual operations, hardly require illustration, being in fact the acknowledged uses of general language. They amount substantially to this, that the inductions may be made once for all: a single careful interrogation of experience may suffice, and the result may be registered in the form of a general proposition, which is committed to memory or to writing, and from which afterward we have only to syllogize. The particulars of our experiments may then be dismissed from the memory, in which it would be impossible to retain so great a multitude of details; while the knowledge which those details afforded for future use, and which would otherwise be lost as soon as the observations were forgotten, or as their record became too bulky for reference, is retained in a commodious and immediately available shape by means of general language.
Against this advantage is to be set the countervailing inconvenience, that inferences originally made on insufficient evidence become consecrated, and, as it were, hardened into general maxims; and the mind cleaves to them [pg 151] from habit, after it has outgrown any liability to be misled by similar fallacious appearances if they were now for the first time presented; but having forgotten the particulars, it does not think of revising its own former decision. An inevitable drawback, which, however considerable in itself, forms evidently but a small set-off against the immense benefits of general language.
The use of the syllogism is in truth no other than the use of general propositions in reasoning. We can reason without them; in simple and obvious cases we habitually do so; minds of great sagacity can do it in cases not simple and obvious, provided their experience supplies them with instances essentially similar to every combination of circumstances likely to arise. But other minds, and the same minds where they have not the same pre-eminent advantages of personal experience, are quite helpless without the aid of general propositions, wherever the case presents the smallest complication; and if we made no general propositions, few persons would get much beyond those simple inferences which are drawn by the more intelligent of the brutes. Though not necessary to reasoning, general propositions are necessary to any considerable progress in reasoning. It is, therefore, natural and indispensable to separate the process of investigation into two parts; and obtain general formulæ for determining what inferences may be drawn, before the occasion arises for drawing the inferences. The work of drawing them is then that of applying the formulæ; and the rules of syllogism are a system of securities for the correctness of the application.
§ 6. To complete the series of considerations connected with the philosophical character of the syllogism, it is requisite to consider, since the syllogism is not the universal type of the reasoning process, what is the real type. This resolves itself into the question, what is the nature of the minor premise, and in what manner it contributes to establish the conclusion: