In different stages of the progress of knowledge, philosophers have employed, for the colligation of the same order of facts, different conceptions. The early rude observations [pg 307] of the heavenly bodies, in which minute precision was neither attained nor sought, presented nothing inconsistent with the representation of the path of a planet as an exact circle, having the earth for its centre. As observations increased in accuracy, and facts were disclosed which were not reconcileable with this simple supposition; for the colligation of those additional facts, the supposition was varied; and varied again and again as facts became more numerous and precise. The earth was removed from the centre to some other point within the circle; the planet was supposed to revolve in a smaller circle called an epicycle, round an imaginary point which revolved in a circle round the earth: in proportion as observation elicited fresh facts contradictory to these representations, other epicycles and other excentrics were added, producing additional complication; until at last Kepler swept all these circles away, and substituted the conception of an exact ellipse. Even this is found not to represent with complete correctness the accurate observations of the present day, which disclose many slight deviations from an orbit exactly elliptical. Now Dr. Whewell has remarked that these successive general expressions, though apparently so conflicting, were all correct: they all answered the purpose of colligation: they all enabled the mind to represent to itself with facility, and by a simultaneous glance, the whole body of facts at that time ascertained; each in its turn served as a correct description of the phenomena, so far as the senses had up to that time taken cognizance of them. If a necessity afterwards arose for discarding one of these general descriptions of the planet's orbit, and framing a different imaginary line, by which to express the series of observed positions, it was because a number of new facts had now been added, which it was necessary to combine with the old facts into one general description. But this did not affect the correctness of the former expression, considered as a general statement of the only facts which it was intended to represent. And so true is this, that, as is well remarked by M. Comte, these ancient generalizations, even the rudest and most imperfect of them, that of uniform movement in a circle, are so far [pg 308] from being entirely false, that they are even now habitually employed by astronomers when only a rough approximation to correctness is required. “L'astronomie moderne, en détruisant sans retour les hypothèses primitives, envisagées comme lois réelles du monde, a soigneusement maintenu leur valeur positive et permanente, la propriété de représenter commodément les phénomènes quand il s'agit d'une première ébauche. Nos ressources à cet égard sont même bien plus étendues, precisément à cause que nous ne nous faisons aucune illusion sur la réalité des hypothèses; ce qui nous permet d'employer sans scrupule, en chaque cas, celle que nous jugeons la plus avantageuse.”[58]
Dr. Whewell's remark, therefore, is philosophically correct. Successive expressions for the colligation of observed facts, or, in other words, successive descriptions of a phenomenon as a whole, which has been observed only in parts, may, though conflicting, be all correct as far as they go. But it would surely be absurd to assert this of conflicting inductions.
The scientific study of facts may be undertaken for three different purposes: the simple description of the facts; their explanation; or their prediction: meaning by prediction, the determination of the conditions under which similar facts may be expected again to occur. To the first of these three operations the name of Induction does not properly belong: to the other two it does. Now, Dr. Whewell's observation is true of the first alone. Considered as a mere description, the circular theory of the heavenly motions represents perfectly well their general features: and by adding epicycles without limit, those motions, even as now known to us, might be expressed with any degree of accuracy that might be required. The elliptical theory, as a mere description, would have a great advantage in point of simplicity, and in the consequent facility of conceiving it and reasoning about it; but it would not really be more true than the other. Different descriptions, therefore, may be all true: but not, surely, [pg 309] different explanations. The doctrine that the heavenly bodies moved by a virtue inherent in their celestial nature; the doctrine that they were moved by impact, (which led to the hypothesis of vortices as the only impelling force capable of whirling bodies in circles,) and the Newtonian doctrine, that they are moved by the composition of a centripetal with an original projectile force; all these are explanations, collected by real induction from supposed parallel cases; and they were all successively received by philosophers, as scientific truths on the subject of the heavenly bodies. Can it be said of these, as was said of the different descriptions, that they are all true as far as they go? Is it not clear that one only can be true in any degree, and the other two must be altogether false? So much for explanations: let us now compare different predictions: the first, that eclipses will occur whenever one planet or satellite is so situated as to cast its shadow upon another; the second, that they will occur whenever some great calamity is impending over mankind. Do these two doctrines only differ in the degree of their truth, as expressing real facts with unequal degrees of accuracy? Assuredly the one is true, and the other absolutely false.[59]
In every way, therefore, it is evident that to explain induction as the colligation of facts by means of appropriate conceptions, that is, conceptions which will really express them, is to confound mere description of the observed facts with inference from those facts, and ascribe to the latter what is a characteristic property of the former.
There is, however, between Colligation and Induction, a real correlation, which it is important to conceive correctly. Colligation is not always induction; but induction is always colligation. The assertion that the planets move in ellipses, was but a mode of representing observed facts; it was but a colligation; while the assertion that they are drawn, or tend, [pg 312] towards the sun, was the statement of a new fact, inferred by induction. But the induction, once made, accomplishes the purposes of colligation likewise. It brings the same facts, which Kepler had connected by his conception of an ellipse, under the additional conception of bodies acted upon by a central force, and serves therefore as a new bond of connexion for those facts; a new principle for their classification.
Further, that general description, which is improperly confounded with induction, is nevertheless a necessary preparation for induction; no less necessary than correct observation of the facts themselves. Without the previous colligation of detached observations by means of one general conception, we could never have obtained any basis for an induction, except in the case of phenomena of very limited compass. We should not be able to affirm any predicates at all, of a subject incapable of being observed otherwise than piecemeal: much less could we extend those predicates by induction to other similar subjects. Induction, therefore, always presupposes, not only that the necessary observations are made with the necessary accuracy, but also that the results of these observations are, so far as practicable, connected together by general descriptions, enabling the mind to represent to itself as wholes whatever phenomena are capable of being so represented.
§ 5. Dr. Whewell has replied at some length to the preceding observations, re-stating his opinions, but without (as far as I can perceive) adding anything to his former arguments. Since, however, mine have not had the good fortune to make any impression upon him, I will subjoin a few remarks, tending to shew more clearly in what our difference of opinion consists, as well as, in some measure, to account for it.
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, [pg 313] 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. He left the subject as it was; 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.[60] 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, cannot prevail against new knowledge: and if the Keplerian operation, as a logical process, were really identical with what takes place in acknowledged [pg 314] 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 join issue with Dr. Whewell. He 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 but 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 connexion 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 premiss, and not (as is the case with real Inductions) the major.