Nearly all the definitions of induction, by writers of authority, make it consist in drawing inferences from known cases to unknown; affirming of a class, a predicate which has been found true of some cases belonging to the class; concluding because some things have a certain property, that other things which resemble them have the same property—or because a thing has manifested a property at a certain time, that it has and will have that property at other times.
It will scarcely be contended that Kepler’s operation was an Induction in this sense of the term. The statement, that Mars moves in an elliptical orbit, was no generalization from individual cases to a class of cases. Neither was it an extension to all time, of what had been found true at some particular time. The whole amount of generalization which the case admitted of, was already completed, or might have been so. Long before the elliptic theory was thought of, it had been ascertained that the planets returned periodically to the same apparent places; the series of these places was, or might have been, completely determined, and the apparent course of each planet marked out on the celestial globe in an uninterrupted line. Kepler did not extend an observed truth to other cases than those in which it had been observed: he did not widen the subject of the proposition which expressed the observed facts. The alteration he made was in the predicate. Instead of saying, the successive places of Mars are so and so, he summed them up in the statement, that the successive places of Mars are points in an ellipse. It is true, this statement, as Dr. Whewell says, was not the sum of the observations merely; it was the sum of the observations seen under a new point of view.[106] But it was not the sum of more than the observations, as a real induction is. It took in no cases but those which had been actually observed, or which could have been inferred from the observations before the new point of view presented itself. There was not that transition from known cases to unknown, which constitutes Induction in the original and acknowledged meaning of the term.
Old definitions, it is true, can not prevail against new knowledge: and if the Keplerian operation, as a logical process, be really identical with what takes place in acknowledged induction, the definition of induction ought to be so widened as to take it in; since scientific language ought to adapt itself to the true relations which subsist between the things it is employed to designate. Here then it is that I am at issue with Dr. Whewell. He [pg 222] does think the operations identical. He allows of no logical process in any case of induction, other than what there was in Kepler’s case, namely, guessing until a guess is found which tallies with the facts; and accordingly, as we shall see hereafter, he rejects all canons of induction, because it is not by means of them that we guess. Dr. Whewell’s theory of the logic of science would be very perfect if it did not pass over altogether the question of Proof. But in my apprehension there is such a thing as proof, and inductions differ altogether from descriptions in their relation to that element. Induction is proof; it is inferring something unobserved from something observed: it requires, therefore, an appropriate test of proof; and to provide that test, is the special purpose of inductive logic. When, on the contrary, we merely collate known observations, and, in Dr. Whewell’s phraseology, connect them by means of a new conception; if the conception does serve to connect the observations, we have all we want. As the proposition in which it is embodied pretends to no other truth than what it may share with many other modes of representing the same facts, to be consistent with the facts is all it requires: it neither needs nor admits of proof; though it may serve to prove other things, inasmuch as, by placing the facts in mental connection with other facts, not previously seen to resemble them, it assimilates the case to another class of phenomena, concerning which real Inductions have already been made. Thus Kepler’s so-called law brought the orbit of Mars into the class ellipse, and by doing so, proved all the properties of an ellipse to be true of the orbit: but in this proof Kepler’s law supplied the minor premise, and not (as is the case with real Inductions) the major.
Dr. Whewell calls nothing Induction where there is not a new mental conception introduced, and every thing induction where there is. But this is to confound two very different things, Invention and Proof. The introduction of a new conception belongs to Invention: and invention may be required in any operation, but is the essence of none. A new conception may be introduced for descriptive purposes, and so it may for inductive purposes. But it is so far from constituting induction, that induction does not necessarily stand in need of it. Most inductions require no conception but what was present in every one of the particular instances on which the induction is grounded. That all men are mortal is surely an inductive conclusion; yet no new conception is introduced by it. Whoever knows that any man has died, has all the conceptions involved in the inductive generalization. But Dr. Whewell considers the process of invention which consists in framing a new conception consistent with the facts, to be not merely a necessary part of all induction, but the whole of it.
The mental operation which extracts from a number of detached observations certain general characters in which the observed phenomena resemble one another, or resemble other known facts, is what Bacon, Locke, and most subsequent metaphysicians, have understood by the word Abstraction. A general expression obtained by abstraction, connecting known facts by means of common characters, but without concluding from them to unknown, may, I think, with strict logical correctness, be termed a Description; nor do I know in what other way things can ever be described. My position, however, does not depend on the employment of that particular word; I am quite content to use Dr. Whewell’s term Colligation, or the more general phrases, “mode of representing, or of expressing, phenomena:” provided it be clearly seen that the process is not Induction, but something radically different.
What more may usefully be said on the subject of Colligation, or of the correlative expression invented by Dr. Whewell, the Explication of Conceptions, and generally on the subject of ideas and mental representations as connected with the study of facts, will find a more appropriate place in the Fourth Book, on the Operations Subsidiary to Induction: to which I must refer the reader for the removal of any difficulty which the present discussion may have left.
Chapter III.
Of The Ground Of Induction.
§ 1. Induction properly so called, as distinguished from those mental operations, sometimes, though improperly, designated by the name, which I have attempted in the preceding chapter to characterize, may, then, be summarily defined as Generalization from Experience. It consists in inferring from some individual instances in which a phenomenon is observed to occur, that it occurs in all instances of a certain class; namely, in all which resemble the former, in what are regarded as the material circumstances.