How far this tentative method, so indispensable as a means to the colligation of facts for purposes of description, admits of application to Induction itself, and what functions belong to it in that department, will be considered in the chapter of the present Book which relates to Hypotheses. On the present occasion we have chiefly to distinguish this process of Colligation from Induction properly so called; and that the distinction may be made clearer, it is well to advert to a curious and interesting remark, which is as strikingly true of the former operation, as it appears to me unequivocally false of the latter.
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 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, facts were disclosed which were not reconcilable 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 eccentrics 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 the 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 afterward 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 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 detruisant sans retour les hypotheses primitives, envisagees comme lois reelles du monde, a soigneusement maintenu leur valeur positive et permanente, la propriete de representer commodement les phenomenes quand il s'agit d'une premiere ebauche. Nos ressources a cet egard sont meme bien plus etendues, precisement a cause que nous ne nous faisons aucune illusion sur la realite des hypotheses; ce qui nous permet d'employer sans scrupule, en chaque cas, celle que nous jugeons la plus avantageuse."(104)
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, 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 only one 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 when one planet or satellite is so situated as to cast its shadow upon another; the second, that they will occur when 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.(105)
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, toward 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 connection for those facts; a new principle for their classification.
Further, the descriptions which are improperly confounded with induction, are 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, restating his opinions, but without (as far as I can perceive) adding any thing material 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 show more clearly in what our difference of opinion consists, as well as, in some measure, to account for it.
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 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.
In what way the material circumstances are to be distinguished from those which are immaterial, or why some of the circumstances are material and others not so, we are not yet ready to point out. We must first observe, that there is a principle implied in the very statement of what Induction is; an assumption with regard to the course of nature and the order of the universe; namely, that there are such things in nature as parallel cases; that what happens once, will, under a sufficient degree of similarity of circumstances, happen again, and not only again, but as often as the same circumstances recur. This, I say, is an assumption, involved in every case of induction. And, if we consult the actual course of nature, we find that the assumption is warranted. The universe, so far as known to us, is so constituted, that whatever is true in any one case, is true in all cases of a certain description; the only difficulty is, to find what description.
This universal fact, which is our warrant for all inferences from experience, has been described by different philosophers in different forms of language: that the course of nature is uniform; that the universe is governed by general laws; and the like. One of the most usual of these modes of expression, but also one of the most inadequate, is that which has been brought into familiar use by the metaphysicians of the school of Reid and Stewart. The disposition of the human mind to generalize from experience-a propensity considered by these philosophers as an instinct of our nature-they usually describe under some such name as "our intuitive conviction that the future will resemble the past." Now it has been well pointed out by Mr. Bailey,(107) that (whether the tendency be or not an original and ultimate element of our nature), Time, in its modifications of past, present, and future, has no concern either with the belief itself, or with the grounds of it. We believe that fire will burn to-morrow, because it burned to-day and yesterday; but we believe, on precisely the same grounds, that it burned before we were born, and that it burns this very day in Cochin-China. It is not from the past to the future, as past and future, that we infer, but from the known to the unknown; from facts observed to facts unobserved; from what we have perceived, or been directly conscious of, to what has not come within our experience. In this last predicament is the whole region of the future; but also the vastly greater portion of the present and of the past.
Whatever be the most proper mode of expressing it, the proposition that the course of nature is uniform, is the fundamental principle, or general axiom of Induction. It would yet be a great error to offer this large generalization as any explanation of the inductive process. On the contrary, I hold it to be itself an instance of induction, and induction by no means of the most obvious kind. Far from being the first induction we make, it is one of the last, or at all events one of those which are latest in attaining strict philosophical accuracy. As a general maxim, indeed, it has scarcely entered into the minds of any but philosophers; nor even by them, as we shall have many opportunities of remarking, have its extent and limits been always very justly conceived. The truth is, that this great generalization is itself founded on prior generalizations.
The obscurer laws of nature were discovered by means of it, but the more obvious ones must have been understood and assented to as general truths before it was ever heard of. We should never have thought of affirming that all phenomena take place according to general laws, if we had not first arrived, in the case of a great multitude of phenomena, at some knowledge of the laws themselves; which could be done no otherwise than by induction. In what sense, then, can a principle, which is so far from being our earliest induction, be regarded as our warrant for all the others? In the only sense, in which (as we have already seen) the general propositions which we place at the head of our reasonings when we throw them into syllogisms, ever really contribute to their validity. As Archbishop Whately remarks, every induction is a syllogism with the major premise suppressed; or (as I prefer expressing it) every induction may be thrown into the form of a syllogism, by supplying a major premise. If this be actually done, the principle which we are now considering, that of the uniformity of the course of nature, will appear as the ultimate major premise of all inductions, and will, therefore, stand to all inductions in the relation in which, as has been shown at so much length, the major proposition of a syllogism always stands to the conclusion; not contributing at all to prove it, but being a necessary condition of its being proved; since no conclusion is proved, for which there can not be found a true major premise.(108)
The statement, that the uniformity of the course of nature is the ultimate major premise in all cases of induction, may be thought to require some explanation. The immediate major premise in every inductive argument, it certainly is not. Of that, Archbishop Whately's must be held to be the correct account. The induction, "John, Peter, etc., are mortal, therefore all mankind are mortal," may, as he justly says, be thrown into a syllogism by prefixing as a major premise (what is at any rate a necessary condition of the validity of the argument), namely, that what is true of John, Peter, etc., is true of all mankind. But how came we by this major premise? It is not self-evident; nay, in all cases of unwarranted generalization, it is not true. How, then, is it arrived at? Necessarily either by induction or ratiocination; and if by induction, the process, like all other inductive arguments, may be thrown into the form of a syllogism. This previous syllogism it is, therefore, necessary to construct. There is, in the long run, only one possible construction. The real proof that what is true of John, Peter, etc., is true of all mankind, can only be, that a different supposition would be inconsistent with the uniformity which we know to exist in the course of nature. Whether there would be this inconsistency or not, may be a matter of long and delicate inquiry; but unless there would, we have no sufficient ground for the major of the inductive syllogism. It hence appears, that if we throw the whole course of any inductive argument into a series of syllogisms, we shall arrive by more or fewer steps at an ultimate syllogism, which will have for its major premise the principle, or axiom, of the uniformity of the course of nature.(109)
It was not to be expected that in the case of this axiom, any more than of other axioms, there should be unanimity among thinkers with respect to the grounds on which it is to be received as true. I have already stated that I regard it as itself a generalization from experience. Others hold it to be a principle which, antecedently to any verification by experience, we are compelled by the constitution of our thinking faculty to assume as true. Having so recently, and at so much length, combated a similar doctrine as applied to the axioms of mathematics, by arguments which are in a great measure applicable to the present case, I shall defer the more particular discussion of this controverted point in regard to the fundamental axiom of induction, until a more advanced period of our inquiry.(110) At present it is of more importance to understand thoroughly the import of the axiom itself. For the proposition, that the course of nature is uniform, possesses rather the brevity suitable to popular, than the precision requisite in philosophical language: its terms require to be explained, and a stricter than their ordinary signification given to them, before the truth of the assertion can be admitted.
-- 2. Every person's consciousness assures him that he does not always expect uniformity in the course of events; he does not always believe that the unknown will be similar to the known, that the future will resemble the past. Nobody believes that the succession of rain and fine weather will be the same in every future year as in the present. Nobody expects to have the same dreams repeated every night. On the contrary, every body mentions it as something extraordinary, if the course of nature is constant, and resembles itself, in these particulars. To look for constancy where constancy is not to be expected, as for instance that a day which has once brought good fortune will always be a fortunate day, is justly accounted superstition.
The course of nature, in truth, is not only uniform, it is also infinitely various. Some phenomena are always seen to recur in the very same combinations in which we met with them at first; others seem altogether capricious; while some, which we had been accustomed to regard as bound down exclusively to a particular set of combinations, we unexpectedly find detached from some of the elements with which we had hitherto found them conjoined, and united to others of quite a contrary description. To an inhabitant of Central Africa, fifty years ago, no fact probably appeared to rest on more uniform experience than this, that all human beings are black. To Europeans, not many years ago, the proposition, All swans are white, appeared an equally unequivocal instance of uniformity in the course of nature. Further experience has proved to both that they were mistaken; but they had to wait fifty centuries for this experience. During that long time, mankind believed in a uniformity of the course of nature where no such uniformity really existed.
According to the notion which the ancients entertained of induction, the foregoing were cases of as legitimate inference as any inductions whatever. In these two instances, in which, the conclusion being false, the ground of inference must have been insufficient, there was, nevertheless, as much ground for it as this conception of induction admitted of. The induction of the ancients has been well described by Bacon, under the name of "Inductio per enumerationem simplicem, ubi non reperitur instantia contradictoria." It consists in ascribing the character of general truths to all propositions which are true in every instance that we happen to know of. This is the kind of induction which is natural to the mind when unaccustomed to scientific methods. The tendency, which some call an instinct, and which others account for by association, to infer the future from the past, the known from the unknown, is simply a habit of expecting that what has been found true once or several times, and never yet found false, will be found true again. Whether the instances are few or many, conclusive or inconclusive, does not much affect the matter: these are considerations which occur only on reflection; the unprompted tendency of the mind is to generalize its experience, provided this points all in one direction; provided no other experience of a conflicting character comes unsought. The notion of seeking it, of experimenting for it, of _interrogating_ nature (to use Bacon's expression) is of much later growth. The observation of nature, by uncultivated intellects, is purely passive: they accept the facts which present themselves, without taking the trouble of searching for more: it is a superior mind only which asks itself what facts are needed to enable it to come to a safe conclusion, and then looks out for these.
But though we have always a propensity to generalize from unvarying experience, we are not always warranted in doing so. Before we can be at liberty to conclude that something is universally true because we have never known an instance to the contrary, we must have reason to believe that if there were in nature any instances to the contrary, we should have known of them. This assurance, in the great majority of cases, we can not have, or can have only in a very moderate degree. The possibility of having it, is the foundation on which we shall see hereafter that induction by simple enumeration may in some remarkable cases amount practically to proof.(111) No such assurance, however, can be had, on any of the ordinary subjects of scientific inquiry. Popular notions are usually founded on induction by simple enumeration; in science it carries us but a little way. We are forced to begin with it; we must often rely on it provisionally, in the absence of means of more searching investigation.
But, for the accurate study of nature, we require a surer and a more potent instrument.
It was, above all, by pointing out the insufficiency of this rude and loose conception of Induction, that Bacon merited the title so generally awarded to him, of Founder of the Inductive Philosophy. The value of his own contributions to a more philosophical theory of the subject has certainly been exaggerated. Although (along with some fundamental errors) his writings contain, more or less fully developed, several of the most important principles of the Inductive Method, physical investigation has now far outgrown the Baconian conception of Induction. Moral and political inquiry, indeed, are as yet far behind that conception. The current and approved modes of reasoning on these subjects are still of the same vicious description against which Bacon protested; the method almost exclusively employed by those professing to treat such matters inductively, is the very _inductio per enumerationem simplicem_ which he condemns; and the experience which we hear so confidently appealed to by all sects, parties, and interests, is still, in his own emphatic words, _mera palpatio_.
-- 3. In order to a better understanding of the problem which the logician must solve if he would establish a scientific theory of Induction, let us compare a few cases of incorrect inductions with others which are acknowledged to be legitimate. Some, we know, which were believed for centuries to be correct, were nevertheless incorrect. That all swans are white, can not have been a good induction, since the conclusion has turned out erroneous. The experience, however, on which the conclusion rested, was genuine. From the earliest records, the testimony of the inhabitants of the known world was unanimous on the point. The uniform experience, therefore, of the inhabitants of the known world, agreeing in a common result, without one known instance of deviation from that result, is not always sufficient to establish a general conclusion.
But let us now turn to an instance apparently not very dissimilar to this.
Mankind were wrong, it seems, in concluding that all swans were white: are we also wrong, when we conclude that all men's heads grow above their shoulders, and never below, in spite of the conflicting testimony of the naturalist Pliny? As there were black swans, though civilized people had existed for three thousand years on the earth without meeting with them, may there not also be "men whose heads do grow beneath their shoulders,"
notwithstanding a rather less perfect unanimity of negative testimony from observers? Most persons would answer No; it was more credible that a bird should vary in its color, than that men should vary in the relative position of their principal organs. And there is no doubt that in so saying they would be right: but to say why they are right, would be impossible, without entering more deeply than is usually done, into the true theory of Induction.
Again, there are cases in which we reckon with the most unfailing confidence upon uniformity, and other cases in which we do not count upon it at all. In some we feel complete assurance that the future will resemble the past, the unknown be precisely similar to the known. In others, however invariable may be the result obtained from the instances which have been observed, we draw from them no more than a very feeble presumption that the like result will hold in all other cases. That a straight line is the shortest distance between two points, we do not doubt to be true even in the region of the fixed stars.(112) When a chemist announces the existence and properties of a newly-discovered substance, if we confide in his accuracy, we feel assured that the conclusions he has arrived at will hold universally, though the induction be founded but on a single instance. We do not withhold our assent, waiting for a repetition of the experiment; or if we do, it is from a doubt whether the one experiment was properly made, not whether if properly made it would be conclusive. Here, then, is a general law of nature, inferred without hesitation from a single instance; a universal proposition from a singular one. Now mark another case, and contrast it with this. Not all the instances which have been observed since the beginning of the world, in support of the general proposition that all crows are black, would be deemed a sufficient presumption of the truth of the proposition, to outweigh the testimony of one unexceptionable witness who should affirm that in some region of the earth not fully explored, he had caught and examined a crow, and had found it to be gray.
Why is a single instance, in some cases, sufficient for a complete induction, while in others, myriads of concurring instances, without a single exception known or presumed, go such a very little way toward establishing a universal proposition? Whoever can answer this question knows more of the philosophy of logic than the wisest of the ancients, and has solved the problem of induction.
Chapter IV.
Of Laws Of Nature.
-- 1. In the contemplation of that uniformity in the course of nature, which is assumed in every inference from experience, one of the first observations that present themselves is, that the uniformity in question is not properly uniformity, but uniformities. The general regularity results from the co-existence of partial regularities. The course of nature in general is constant, because the course of each of the various phenomena that compose it is so. A certain fact invariably occurs whenever certain circumstances are present, and does not occur when they are absent; the like is true of another fact; and so on. From these separate threads of connection between parts of the great whole which we term nature, a general tissue of connection unavoidably weaves itself, by which the whole is held together. If A is always accompanied by D, B by E, and C by F, it follows that A B is accompanied by D E, A C by D F, B C by E F, and finally A B C by D E F; and thus the general character of regularity is produced, which, along with and in the midst of infinite diversity, pervades all nature.
The first point, therefore, to be noted in regard to what is called the uniformity of the course of nature, is, that it is itself a complex fact, compounded of all the separate uniformities which exist in respect to single phenomena. These various uniformities, when ascertained by what is regarded as a sufficient induction, we call, in common parlance, Laws of Nature. Scientifically speaking, that title is employed in a more restricted sense, to designate the uniformities when reduced to their most simple expression. Thus in the illustration already employed, there were seven uniformities; all of which, if considered sufficiently certain, would, in the more lax application of the term, be called laws of nature.
But of the seven, three alone are properly distinct and independent: these being presupposed, the others follow of course. The first three, therefore, according to the stricter acceptation, are called laws of nature; the remainder not; because they are in truth mere _cases_ of the first three; virtually included in them; said, therefore, to _result_ from them: whoever affirms those three has already affirmed all the rest.
To substitute real examples for symbolical ones, the following are three uniformities, or call them laws of nature: the law that air has weight, the law that pressure on a fluid is propagated equally in all directions, and the law that pressure in one direction, not opposed by equal pressure in the contrary direction, produces motion, which does not cease until equilibrium is restored. From these three uniformities we should be able to predict another uniformity, namely, the rise of the mercury in the Torricellian tube. This, in the stricter use of the phrase, is not a law of nature. It is the result of laws of nature. It is a _case_ of each and every one of the three laws: and is the only occurrence by which they could all be fulfilled. If the mercury were not sustained in the barometer, and sustained at such a height that the column of mercury were equal in weight to a column of the atmosphere of the same diameter; here would be a case, either of the air not pressing upon the surface of the mercury with the force which is called its weight, or of the downward pressure on the mercury not being propagated equally in an upward direction, or of a body pressed in one direction and not in the direction opposite, either not moving in the direction in which it is pressed, or stopping before it had attained equilibrium. If we knew, therefore, the three simple laws, but had never tried the Torricellian experiment, we might _deduce_ its result from those laws. The known weight of the air, combined with the position of the apparatus, would bring the mercury within the first of the three inductions; the first induction would bring it within the second, and the second within the third, in the manner which we characterized in treating of Ratiocination. We should thus come to know the more complex uniformity, independently of specific experience, through our knowledge of the simpler ones from which it results; though, for reasons which will appear hereafter, _verification_ by specific experience would still be desirable, and might possibly be indispensable.
Complex uniformities which, like this, are mere cases of simpler ones, and have, therefore, been virtually affirmed in affirming those, may with propriety be called _laws_, but can scarcely, in the strictness of scientific speech, be termed Laws of Nature. It is the custom in science, wherever regularity of any kind can be traced, to call the general proposition which expresses the nature of that regularity, a law; as when, in mathematics, we speak of the law of decrease of the successive terms of a converging series. But the expression _law of nature_ has generally been employed with a sort of tacit reference to the original sense of the word law, namely, the expression of the will of a superior. When, therefore, it appeared that any of the uniformities which were observed in nature, would result spontaneously from certain other uniformities, no separate act of creative will being supposed necessary for the production of the derivative uniformities, these have not usually been spoken of as laws of nature. According to one mode of expression, the question, What are the laws of nature? may be stated thus: What are the fewest and simplest assumptions, which being granted, the whole existing order of nature would result? Another mode of stating it would be thus: What are the fewest general propositions from which all the uniformities which exist in the universe might be deductively inferred?
Every great advance which marks an epoch in the progress of science, has consisted in a step made toward the solution of this problem. Even a simple colligation of inductions already made, without any fresh extension of the inductive inference, is already an advance in that direction. When Kepler expressed the regularity which exists in the observed motions of the heavenly bodies, by the three general propositions called his laws, he, in so doing, pointed out three simple suppositions which, instead of a much greater number, would suffice to construct the whole scheme of the heavenly motions, so far as it was known up to that time. A similar and still greater step was made when these laws, which at first did not seem to be included in any more general truths, were discovered to be cases of the three laws of motion, as obtaining among bodies which mutually tend toward one another with a certain force, and have had a certain instantaneous impulse originally impressed upon them. After this great discovery, Kepler's three propositions, though still called laws, would hardly, by any person accustomed to use language with precision, be termed laws of nature: that phrase would be reserved for the simpler and more general laws into which Newton is said to have resolved them.
According to this language, every well-grounded inductive generalization is either a law of nature, or a result of laws of nature, capable, if those laws are known, of being predicted from them. And the problem of Inductive Logic may be summed up in two questions: how to ascertain the laws of nature; and how, after having ascertained them, to follow them into their results. On the other hand, we must not suffer ourselves to imagine that this mode of statement amounts to a real analysis, or to any thing but a mere verbal transformation of the problem; for the expression, Laws of Nature, _means_ nothing but the uniformities which exist among natural phenomena (or, in other words, the results of induction), when reduced to their simplest expression. It is, however, something to have advanced so far, as to see that the study of nature is the study of laws, not _a_ law; of uniformities, in the plural number: that the different natural phenomena have their separate rules or modes of taking place, which, though much intermixed and entangled with one another, may, to a certain extent, be studied apart: that (to resume our former metaphor) the regularity which exists in nature is a web composed of distinct threads, and only to be understood by tracing each of the threads separately; for which purpose it is often necessary to unravel some portion of the web, and exhibit the fibres apart. The rules of experimental inquiry are the contrivances for unraveling the web.
-- 2. In thus attempting to ascertain the general order of nature by ascertaining the particular order of the occurrence of each one of the phenomena of nature, the most scientific proceeding can be no more than an improved form of that which was primitively pursued by the human understanding, while undirected by science. When mankind first formed the idea of studying phenomena according to a stricter and surer method than that which they had in the first instance spontaneously adopted, they did not, conformably to the well-meant but impracticable precept of Descartes, set out from the supposition that nothing had been already ascertained.