Dr. Whewell sets out this last operation, which he terms the colligation of facts, as induction, and even as the type of induction generally. But, though induction is always colligation, or (as we may, with equal accuracy, characterise such a general expression obtained by abstraction simply connecting observed facts by means of common characters) description, colligation, or description, as such, though a necessary preparation for induction, is not induction. Induction explains and predicts (and, as an incident of these powers, describes). Different explanations collected by real induction from supposed parallel cases (e.g. the Newtonian and the Impact doctrines as to the motions of the heavenly bodies), or different predictions, i.e. different determinations of the conditions under which similar facts may be expected again to occur (e.g. the stating that the position of one planet or satellite so as to overshadow another, and, on the other hand, that the impending over mankind of some great calamity, is the condition of an eclipse), cannot be true together. But, for a colligation to be correct, it is enough that it enables the mind to represent to itself as a whole all the separate facts ascertained at a given time, so that successive tentative descriptions of a phenomenon, got by guessing till a guess is found which tallies with the facts, may, though conflicting (e.g. the theories respecting the motions of the heavenly bodies), be all correct so far as they go. Induction is proof, the inferring something unobserved from something observed; and to provide a proper test of proof is the special purpose of inductive logic. But colligation simply sums up the facts observed, as seen under a new point of view. Dr. Whewell contends that, besides the sum of the facts, colligation introduces, as a principle of connection, a conception of the mind not existing in the facts. But, in fact, it is only because this conception is a copy of something in the facts, although our senses are too weak to recognise it directly, that the facts are rightly classed under the conception. The conception is often even got by abstraction from the facts which it colligates; but also when it is a hypothesis, borrowed from strange phenomena, it still is accepted as true only because found actually, and as a fact, whatever the origin of the knowledge of the fact, to fit and to describe as a whole the separate observations. Thus, though Kepler's consequent inference that, because the orbit of a planet is an ellipse, the planet would continue to revolve in that same ellipse, was an induction, his previous application of the conception of an ellipse, abstracted from other phenomena, to sum up his direct observations of the successive positions occupied by the different planets, and thus to describe their orbits, was no induction. It altered only the predicate, changing—The successive places of, e.g. Mars, are A, B, C, and so forth, into—The successive places of, e.g. Mars, are points in an ellipse: whereas induction always widens the subject.
CHAPTER III.
THE GROUND OF INDUCTION.
Induction is generalisation from experience. It assumes, that whatever is true in any one case, is true in all cases of a certain description, whether past, present, or future (and not merely in future cases, as is wrongly implied in the statement by Reid's and Stewart's school, that the principle of induction is 'our intuitive conviction that the future will resemble the past'). It assumes, in short, that the course of nature is uniform, that is, that all things take place according to general laws. But this general axiom of induction, though by it were discovered the obscure laws of nature, is no explanation of the inductive process, but is itself an induction (not, as some think, an intuitive principle which experience verifies only), and is arrived at after many separate phenomena have been first observed to take place according to general laws. It does not, then, prove all other inductions. But it is a condition of their proof. For any induction can be turned into a syllogism by supplying a major premiss, viz. What is true of this, that, &c. is true of the whole class; and the process by which we arrive at this immediate major may be itself represented by another syllogism or train of syllogisms, the major of the ultimate syllogism, and which therefore is the warrant for the immediate major, being this axiom, viz. that there is uniformity, at all events, in the class of phenomena to which the induction relates, and a uniformity which, if not foreknown, may now be known.
But though the course of nature is uniform, it is also infinitely various. Hence there is no certainty in the induction in use with the ancients, and all non-scientific men, and which Bacon attacked, viz. 'Inductio per enumerationem simplicem, ubi non reperitur instantia contradictoria'—unless, as in a few cases, we must have known of the contradictory instances if existing. The scientific theory of induction alone can show why a general law of nature may sometimes, as when the chemist first discovers the existence and properties of a before unknown substance, be inferred from a single instance, and sometimes (e.g. the blackness of all crows) not from a million.
CHAPTER IV.
LAWS OF NATURE.
The uniformity of the course of nature is a complex fact made up of all the separate uniformities in respect to single phenomena. Each of these separate uniformities, if it be not a mere case of and result from others, is a law of nature; for, though law is used for any general proposition expressing a uniformity, law of nature is restricted to cases where it has been thought that a separate act of creative will is necessary to account for the uniformity. Laws of nature, in the aggregate, are the fewest general propositions from which all the uniformities in the universe might be deducted. Science is ever tending to resolve one law into a higher. Thus, Kepler's three propositions, since having been resolved by Newton into, and shown to be cases of the three laws of motion, may be indeed called laws, but not laws of nature.