Mr. Spencer would have a much stronger case, if he could really show that the evidence of Reasoning rests on the Postulate, or, in other words, that we believe that a conclusion follows from premises only because we can not conceive it not to follow. But this statement seems to me to be of the same kind as one I have previously commented on, viz., that I believe I see light, because I can not, while the sensation remains, conceive that I am looking into darkness. Both these statements seem to me incompatible with the meaning (as very rightly limited by Mr. Spencer) of the verb to conceive. To say that when I apprehend that A is B and that B is C, I can not conceive that A is not C, is to my mind merely to say that I am compelled to believe that A is C. If to conceive be taken in its proper meaning, viz., to form a mental representation, I may be able to conceive A as not being C. After assenting, with full understanding, to the Copernican proof that it is the earth and not the sun that moves, I not only can conceive, or represent to myself, sunset as a motion of the sun, but almost every one finds this conception of sunset easier to form, than that which they nevertheless know to be the true one.

5. Sir William Hamilton holds as I do, that inconceivability is no criterion of impossibility. "There is no ground for inferring a certain fact to be impossible, merely from our inability to conceive its possibility." "Things there are which may, nay must, be true, of which the understanding is wholly unable to construe to itself the possibility."(98) Sir William Hamilton is, however, a firm believer in the a priori character of many axioms, and of the sciences deduced from them; and is so far from considering those axioms to rest on the evidence of experience, that he declares certain of them to be true even of Noumena—of the Unconditioned—of which it is one of the principal aims of his philosophy to prove that the nature of our faculties debars us from having any knowledge. The axioms to which he attributes this exceptional emancipation from the limits which confine all our other possibilities of knowledge; the chinks through which, as he represents, one ray of light finds its way to us from behind the curtain which veils from us the mysterious world of Things in themselves—are the two principles, which he terms, after the school-men, the Principle of Contradiction, and the Principle of Excluded Middle: the first, that two contradictory propositions can not both be true; the second, that they can not both be false. Armed with these logical weapons, we may boldly face Things in themselves, and tender to them the double alternative, sure that they must absolutely elect one or the other side, though we may be forever precluded from discovering which. To take his favorite example, we can not conceive the infinite divisibility of matter, and we can not conceive a minimum, or end to divisibility: yet one or the other must be true.

As I have hitherto said nothing of the two axioms in question, those of Contradiction and of Excluded Middle, it is not unseasonable to consider them here. The former asserts that an affirmative proposition and the corresponding negative proposition can not both be true; which has generally been held to be intuitively evident. Sir William Hamilton and the Germans consider it to be the statement in words of a form or law of our thinking faculty. Other philosophers, not less deserving of consideration, deem it to be an identical proposition; an assertion involved in the meaning of terms; a mode of defining Negation, and the word Not.

I am able to go one step with these last. An affirmative assertion and its negative are not two independent assertions, connected with each other only as mutually incompatible. That if the negative be true, the affirmative must be false, really is a mere identical proposition; for the negative proposition asserts nothing but the falsity of the affirmative, and has no other sense or meaning whatever. The Principium Contradictionis should therefore put off the ambitious phraseology which gives it the air of a fundamental antithesis pervading nature, and should be enunciated in the simpler form, that the same proposition can not at the same time be false and true. But I can go no further with the Nominalists; for I can not look upon this last as a merely verbal proposition. I consider it to be, like other axioms, one of our first and most familiar generalizations from experience. The original foundation of it I take to be, that Belief and Disbelief are two different mental states, excluding one another. This we know by the simplest observation of our own minds. And if we carry our observation outward, we also find that light and darkness, sound and silence, motion and quiescence, equality and inequality, preceding and following, succession and simultaneousness, any positive phenomenon whatever and its negative, are distinct phenomena, pointedly contrasted, and the one always absent where the other is present. I consider the maxim in question to be a generalization from all these facts.

In like manner as the Principle of Contradiction (that one of two contradictories must be false) means that an assertion can not be both true and false, so the Principle of Excluded Middle, or that one of two contradictories must be true, means that an assertion must be either true or false: either the affirmative is true, or otherwise the negative is true, which means that the affirmative is false. I can not help thinking this principle a surprising specimen of a so-called necessity of Thought, since it is not even true, unless with a large qualification. A proposition must be either true or false, provided that the predicate be one which can in any intelligible sense be attributed to the subject; (and as this is always assumed to be the case in treatises on logic, the axiom is always laid down there as of absolute truth). "Abracadabra is a second intention" is neither true nor false. Between the true and the false there is a third possibility, the Unmeaning: and this alternative is fatal to Sir William Hamilton's extension of the maxim to Noumena. That Matter must either have a minimum of divisibility or be infinitely divisible, is more than we can ever know. For in the first place, Matter, in any other than the phenomenal sense of the term, may not exist: and it will scarcely be said that a nonentity must be either infinitely or finitely divisible. In the second place, though matter, considered as the occult cause of our sensations, do really exist, yet what we call divisibility may be an attribute only of our sensations of sight and touch, and not of their uncognizable cause. Divisibility may not be predicable at all, in any intelligible sense, of Things in themselves, nor therefore of Matter in itself; and the assumed necessity of being either infinitely or finitely divisible, may be an inapplicable alternative.

On this question I am happy to have the full concurrence of Mr. Herbert Spencer, from whose paper in the Fortnightly Review I extract the following passage. The germ of an idea identical with that of Mr. Spencer may be found in the present chapter, on a preceding page; but in Mr. Spencer it is not an undeveloped thought, but a philosophical theory.

"When remembering a certain thing as in a certain place, the place and the thing are mentally represented together; while to think of the non-existence of the thing in that place implies a consciousness in which the place is represented, but not the thing. Similarly, if instead of thinking of an object as colorless, we think of its having color, the change consists in the addition to the concept of an element that was before absent from it—the object can not be thought of first as red and then as not red, without one component of the thought being totally expelled from the mind by another. The law of the Excluded Middle, then, is simply a generalization of the universal experience that some mental states are directly destructive of other states. It formulates a certain absolutely constant law, that the appearance of any positive mode of consciousness can not occur without excluding a correlative negative mode; and that the negative mode can not occur without excluding the correlative positive mode: the antithesis of positive and negative being, indeed, merely an expression of this experience. Hence it follows that if consciousness is not in one of the two modes it must be in the other."(99)

I must here close this supplementary chapter, and with it the Second Book. The theory of Induction, in the most comprehensive sense of the term, will form the subject of the Third.



Book III.

OF INDUCTION.

"According to the doctrine now stated, the highest, or rather the only proper object of physics, is to ascertain those established conjunctions of successive events, which constitute the order of the universe; to record the phenomena which it exhibits to our observations, or which it discloses to our experiments; and to refer these phenomena to their general laws."—D. STEWART, Elements of the Philosophy of the Human Mind, vol. ii., chap. iv., sect. 1.

"In such cases the inductive and deductive methods of inquiry may be said to go hand in hand, the one verifying the conclusions deduced by the other; and the combination of experiment and theory, which may thus be brought to bear in such cases, forms an engine of discovery infinitely more powerful than either taken separately. This state of any department of science is perhaps of all others the most interesting, and that which promises the most to research."—SIR J. HERSCHEL, Discourse on the Study of Natural Philosophy.



Chapter I.

Preliminary Observations On Induction In General.

1. The portion of the present inquiry upon which we are now about to enter, may be considered as the principal, both from its surpassing in intricacy all the other branches, and because it relates to a process which has been shown in the preceding Book to be that in which the investigation of nature essentially consists. We have found that all Inference, consequently all Proof, and all discovery of truths not self-evident, consists of inductions, and the interpretation of inductions: that all our knowledge, not intuitive, comes to us exclusively from that source. What Induction is, therefore, and what conditions render it legitimate, can not but be deemed the main question of the science of logic—the question which includes all others. It is, however, one which professed writers on logic have almost entirely passed over. The generalities of the subject have not been altogether neglected by metaphysicians; but, for want of sufficient acquaintance with the processes by which science has actually succeeded in establishing general truths, their analysis of the inductive operation, even when unexceptionable as to correctness, has not been specific enough to be made the foundation of practical rules, which might be for induction itself what the rules of the syllogism are for the interpretation of induction: while those by whom physical science has been carried to its present state of improvement—and who, to arrive at a complete theory of the process, needed only to generalize, and adapt to all varieties of problems, the methods which they themselves employed in their habitual pursuits—never until very lately made any serious attempt to philosophize on the subject, nor regarded the mode in which they arrived at their conclusions as deserving of study, independently of the conclusions themselves.

2. For the purposes of the present inquiry, Induction may be defined, the operation of discovering and proving general propositions. It is true that (as already shown) the process of indirectly ascertaining individual facts, is as truly inductive as that by which we establish general truths. But it is not a different kind of induction; it is a form of the very same process: since, on the one hand, generals are but collections of particulars, definite in kind but indefinite in number; and on the other hand, whenever the evidence which we derive from observation of known cases justifies us in drawing an inference respecting even one unknown case, we should on the same evidence be justified in drawing a similar inference with respect to a whole class of cases. The inference either does not hold at all, or it holds in all cases of a certain description; in all cases which, in certain definable respects, resemble those we have observed.

If these remarks are just; if the principles and rules of inference are the same whether we infer general propositions or individual facts; it follows that a complete logic of the sciences would be also a complete logic of practical business and common life. Since there is no case of legitimate inference from experience, in which the conclusion may not legitimately be a general proposition; an analysis of the process by which general truths are arrived at, is virtually an analysis of all induction whatever. Whether we are inquiring into a scientific principle or into an individual fact, and whether we proceed by experiment or by ratiocination, every step in the train of inferences is essentially inductive, and the legitimacy of the induction depends in both cases on the same conditions.

True it is that in the case of the practical inquirer, who is endeavoring to ascertain facts not for the purposes of science but for those of business, such, for instance, as the advocate or the judge, the chief difficulty is one in which the principles of induction will afford him no assistance. It lies not in making his inductions, but in the selection of them; in choosing from among all general propositions ascertained to be true, those which furnish marks by which he may trace whether the given subject possesses or not the predicate in question. In arguing a doubtful question of fact before a jury, the general propositions or principles to which the advocate appeals are mostly, in themselves, sufficiently trite, and assented to as soon as stated: his skill lies in bringing his case under those propositions or principles; in calling to mind such of the known or received maxims of probability as admit of application to the case in hand, and selecting from among them those best adapted to his object. Success is here dependent on natural or acquired sagacity, aided by knowledge of the particular subject, and of subjects allied with it. Invention, though it can be cultivated, can not be reduced to rule; there is no science which will enable a man to bethink himself of that which will suit his purpose.

But when he has thought of something, science can tell him whether that which he has thought of will suit his purpose or not. The inquirer or arguer must be guided by his own knowledge and sagacity in the choice of the inductions out of which he will construct his argument. But the validity of the argument when constructed, depends on principles, and must be tried by tests which are the same for all descriptions of inquiries, whether the result be to give A an estate, or to enrich science with a new general truth. In the one case and in the other, the senses, or testimony, must decide on the individual facts; the rules of the syllogism will determine whether, those facts being supposed correct, the case really falls within the formulae of the different inductions under which it has been successively brought; and finally, the legitimacy of the inductions themselves must be decided by other rules, and these it is now our purpose to investigate. If this third part of the operation be, in many of the questions of practical life, not the most, but the least arduous portion of it, we have seen that this is also the case in some great departments of the field of science; in all those which are principally deductive, and most of all in mathematics; where the inductions themselves are few in number, and so obvious and elementary that they seem to stand in no need of the evidence of experience, while to combine them so as to prove a given theorem or solve a problem, may call for the utmost powers of invention and contrivance with which our species is gifted.

If the identity of the logical processes which prove particular facts and those which establish general scientific truths, required any additional confirmation, it would be sufficient to consider that in many branches of science, single facts have to be proved, as well as principles; facts as completely individual as any that are debated in a court of justice; but which are proved in the same manner as the other truths of the science, and without disturbing in any degree the homogeneity of its method. A remarkable example of this is afforded by astronomy. The individual facts on which that science grounds its most important deductions, such facts as the magnitudes of the bodies of the solar system, their distances from one another, the figure of the earth, and its rotation, are scarcely any of them accessible to our means of direct observation: they are proved indirectly, by the aid of inductions founded on other facts which we can more easily reach. For example, the distance of the moon from the earth was determined by a very circuitous process. The share which direct observation had in the work consisted in ascertaining, at one and the same instant, the zenith distances of the moon, as seen from two points very remote from one another on the earth's surface. The ascertainment of these angular distances ascertained their supplements; and since the angle at the earth's centre subtended by the distance between the two places of observation was deducible by spherical trigonometry from the latitude and longitude of those places, the angle at the moon subtended by the same line became the fourth angle of a quadrilateral of which the other three angles were known. The four angles being thus ascertained, and two sides of the quadrilateral being radii of the earth; the two remaining sides and the diagonal, or, in other words, the moon's distance from the two places of observation and from the centre of the earth, could be ascertained, at least in terms of the earth's radius, from elementary theorems of geometry. At each step in this demonstration a new induction is taken in, represented in the aggregate of its results by a general proposition.

Not only is the process by which an individual astronomical fact was thus ascertained, exactly similar to those by which the same science establishes its general truths, but also (as we have shown to be the case in all legitimate reasoning) a general proposition might have been concluded instead of a single fact. In strictness, indeed, the result of the reasoning is a general proposition; a theorem respecting the distance, not of the moon in particular, but of any inaccessible object; showing in what relation that distance stands to certain other quantities. And although the moon is almost the only heavenly body the distance of which from the earth can really be thus ascertained, this is merely owing to the accidental circumstances of the other heavenly bodies, which render them incapable of affording such data as the application of the theorem requires; for the theorem itself is as true of them as it is of the moon.(100)

We shall fall into no error, then, if in treating of Induction, we limit our attention to the establishment of general propositions. The principles and rules of Induction as directed to this end, are the principles and rules of all Induction; and the logic of Science is the universal Logic, applicable to all inquiries in which man can engage.



Chapter II.

Of Inductions Improperly So Called.

1. Induction, then, is that operation of the mind, by which we infer that what we know to be true in a particular case or cases, will be true in all cases which resemble the former in certain assignable respects. In other words, Induction is the process by which we conclude that what is true of certain individuals of a class is true of the whole class, or that what is true at certain times will be true in similar circumstances at all times.

This definition excludes from the meaning of the term Induction, various logical operations, to which it is not unusual to apply that name.

Induction, as above defined, is a process of inference; it proceeds from the known to the unknown; and any operation involving no inference, any process in which what seems the conclusion is no wider than the premises from which it is drawn, does not fall within the meaning of the term. Yet in the common books of Logic we find this laid down as the most perfect, indeed the only quite perfect, form of induction. In those books, every process which sets out from a less general and terminates in a more general expression—which admits of being stated in the form, "This and that A are B, therefore every A is B"—is called an induction, whether any thing be really concluded or not: and the induction is asserted not to be perfect, unless every single individual of the class A is included in the antecedent, or premise: that is, unless what we affirm of the class has already been ascertained to be true of every individual in it, so that the nominal conclusion is not really a conclusion, but a mere re-assertion of the premises. If we were to say, All the planets shine by the sun's light, from observation of each separate planet, or All the Apostles were Jews, because this is true of Peter, Paul, John, and every other apostle—these, and such as these, would, in the phraseology in question, be called perfect, and the only perfect, Inductions. This, however, is a totally different kind of induction from ours; it is not an inference from facts known to facts unknown, but a mere short-hand registration of facts known. The two simulated arguments which we have quoted, are not generalizations; the propositions purporting to be conclusions from them, are not really general propositions. A general proposition is one in which the predicate is affirmed or denied of an unlimited number of individuals; namely, all, whether few or many, existing or capable of existing, which possess the properties connoted by the subject of the proposition. "All men are mortal" does not mean all now living, but all men past, present, and to come. When the signification of the term is limited so as to render it a name not for any and every individual falling under a certain general description, but only for each of a number of individuals, designated as such, and as it were counted off individually, the proposition, though it may be general in its language, is no general proposition, but merely that number of singular propositions, written in an abridged character. The operation may be very useful, as most forms of abridged notation are; but it is no part of the investigation of truth, though often bearing an important part in the preparation of the materials for that investigation.

As we may sum up a definite number of singular propositions in one proposition, which will be apparently, but not really, general, so we may sum up a definite number of general propositions in one proposition, which will be apparently, but not really, more general. If by a separate induction applied to every distinct species of animals, it has been established that each possesses a nervous system, and we affirm thereupon that all animals have a nervous system; this looks like a generalization, though as the conclusion merely affirms of all what has already been affirmed of each, it seems to tell us nothing but what we knew before. A distinction, however, must be made. If in concluding that all animals have a nervous system, we mean the same thing and no more as if we had said "all known animals," the proposition is not general, and the process by which it is arrived at is not induction. But if our meaning is that the observations made of the various species of animals have discovered to us a law of animal nature, and that we are in a condition to say that a nervous system will be found even in animals yet undiscovered, this indeed is an induction; but in this case the general proposition contains more than the sum of the special propositions from which it is inferred. The distinction is still more forcibly brought out when we consider, that if this real generalization be legitimate at all, its legitimacy probably does not require that we should have examined without exception every known species. It is the number and nature of the instances, and not their being the whole of those which happen to be known, that makes them sufficient evidence to prove a general law: while the more limited assertion, which stops at all known animals, can not be made unless we have rigorously verified it in every species. In like manner (to return to a former example) we might have inferred, not that all the planets, but that all planets, shine by reflected light: the former is no induction; the latter is an induction, and a bad one, being disproved by the case of double stars—self-luminous bodies which are properly planets, since they revolve round a centre.

2. There are several processes used in mathematics which require to be distinguished from Induction, being not unfrequently called by that name, and being so far similar to Induction properly so called, that the propositions they lead to are really general propositions. For example, when we have proved with respect to the circle, that a straight line can not meet it in more than two points, and when the same thing has been successively proved of the ellipse, the parabola, and the hyperbola, it may be laid down as a universal property of the sections of the cone. The distinction drawn in the two previous examples can have no place here, there being no difference between all known sections of the cone and all sections, since a cone demonstrably can not be intersected by a plane except in one of these four lines. It would be difficult, therefore, to refuse to the proposition arrived at, the name of a generalization, since there is no room for any generalization beyond it. But there is no induction, because there is no inference: the conclusion is a mere summing up of what was asserted in the various propositions from which it is drawn. A case somewhat, though not altogether, similar, is the proof of a geometrical theorem by means of a diagram. Whether the diagram be on paper or only in the imagination, the demonstration (as formerly observed(101)) does not prove directly the general theorem; it proves only that the conclusion, which the theorem asserts generally, is true of the particular triangle or circle exhibited in the diagram; but since we perceive that in the same way in which we have proved it of that circle, it might also be proved of any other circle, we gather up into one general expression all the singular propositions susceptible of being thus proved, and embody them in a universal proposition. Having shown that the three angles of the triangle ABC are together equal to two right angles, we conclude that this is true of every other triangle, not because it is true of ABC, but for the same reason which proved it to be true of ABC. If this were to be called Induction, an appropriate name for it would be, induction by parity of reasoning. But the term can not properly belong to it; the characteristic quality of Induction is wanting, since the truth obtained, though really general, is not believed on the evidence of particular instances. We do not conclude that all triangles have the property because some triangles have, but from the ulterior demonstrative evidence which was the ground of our conviction in the particular instances.

There are nevertheless, in mathematics, some examples of so-called Induction, in which the conclusion does bear the appearance of a generalization grounded on some of the particular cases included in it. A mathematician, when he has calculated a sufficient number of the terms of an algebraical or arithmetical series to have ascertained what is called the law of the series, does not hesitate to fill up any number of the succeeding terms without repeating the calculations. But I apprehend he only does so when it is apparent from a priori considerations (which might be exhibited in the form of demonstration) that the mode of formation of the subsequent terms, each from that which preceded it, must be similar to the formation of the terms which have been already calculated. And when the attempt has been hazarded without the sanction of such general considerations, there are instances on record in which it has led to false results.

It is said that Newton discovered the binomial theorem by induction; by raising a binomial successively to a certain number of powers, and comparing those powers with one another until he detected the relation in which the algebraic formula of each power stands to the exponent of that power, and to the two terms of the binomial. The fact is not improbable: but a mathematician like Newton, who seemed to arrive per saltum at principles and conclusions that ordinary mathematicians only reached by a succession of steps, certainly could not have performed the comparison in question without being led by it to the a priori ground of the law; since any one who understands sufficiently the nature of multiplication to venture upon multiplying several lines of symbols at one operation, can not but perceive that in raising a binomial to a power, the co-efficients must depend on the laws of permutation and combination: and as soon as this is recognized, the theorem is demonstrated. Indeed, when once it was seen that the law prevailed in a few of the lower powers, its identity with the law of permutation would at once suggest the considerations which prove it to obtain universally. Even, therefore, such cases as these, are but examples of what I have called Induction by parity of reasoning, that is, not really Induction, because not involving inference of a general proposition from particular instances.

3. There remains a third improper use of the term Induction, which it is of real importance to clear up, because the theory of Induction has been, in no ordinary degree, confused by it, and because the confusion is exemplified in the most recent and elaborate treatise on the inductive philosophy which exists in our language. The error in question is that of confounding a mere description, by general terms, of a set of observed phenomena, with an induction from them.

Suppose that a phenomenon consists of parts, and that these parts are only capable of being observed separately, and as it were piecemeal. When the observations have been made, there is a convenience (amounting for many purposes to a necessity) in obtaining a representation of the phenomenon as a whole, by combining, or as we may say, piecing these detached fragments together. A navigator sailing in the midst of the ocean discovers land: he can not at first, or by any one observation, determine whether it is a continent or an island; but he coasts along it, and after a few days finds himself to have sailed completely round it: he then pronounces it an island. Now there was no particular time or place of observation at which he could perceive that this land was entirely surrounded by water: he ascertained the fact by a succession of partial observations, and then selected a general expression which summed up in two or three words the whole of what he so observed. But is there any thing of the nature of an induction in this process? Did he infer any thing that had not been observed, from something else which had? Certainly not. He had observed the whole of what the proposition asserts. That the land in question is an island, is not an inference from the partial facts which the navigator saw in the course of his circumnavigation; it is the facts themselves; it is a summary of those facts; the description of a complex fact, to which those simpler ones are as the parts of a whole.

Now there is, I conceive, no difference in kind between this simple operation, and that by which Kepler ascertained the nature of the planetary orbits: and Kepler's operation, all at least that was characteristic in it, was not more an inductive act than that of our supposed navigator.

The object of Kepler was to determine the real path described by each of the planets, or let us say by the planet Mars (since it was of that body that he first established the two of his three laws which did not require a comparison of planets). To do this there was no other mode than that of direct observation: and all which observation could do was to ascertain a great number of the successive places of the planet; or rather, of its apparent places. That the planet occupied successively all these positions, or at all events, positions which produced the same impressions on the eye, and that it passed from one of these to another insensibly, and without any apparent breach of continuity; thus much the senses, with the aid of the proper instruments, could ascertain. What Kepler did more than this, was to find what sort of a curve these different points would make, supposing them to be all joined together. He expressed the whole series of the observed places of Mars by what Dr. Whewell calls the general conception of an ellipse. This operation was far from being as easy as that of the navigator who expressed the series of his observations on successive points of the coast by the general conception of an island. But it is the very same sort of operation; and if the one is not an induction but a description, this must also be true of the other.

The only real induction concerned in the case, consisted in inferring that because the observed places of Mars were correctly represented by points in an imaginary ellipse, therefore Mars would continue to revolve in that same ellipse; and in concluding (before the gap had been filled up by further observations) that the positions of the planet during the time which intervened between two observations, must have coincided with the intermediate points of the curve. For these were facts which had not been directly observed. They were inferences from the observations; facts inferred, as distinguished from facts seen. But these inferences were so far from being a part of Kepler's philosophical operation, that they had been drawn long before he was born. Astronomers had long known that the planets periodically returned to the same places. When this had been ascertained, there was no induction left for Kepler to make, nor did he make any further induction. He merely applied his new conception to the facts inferred, as he did to the facts observed. Knowing already that the planets continued to move in the same paths; when he found that an ellipse correctly represented the past path, he knew that it would represent the future path. In finding a compendious expression for the one set of facts, he found one for the other: but he found the expression only, not the inference; nor did he (which is the true test of a general truth) add any thing to the power of prediction already possessed.

4. The descriptive operation which enables a number of details to be summed up in a single proposition, Dr. Whewell, by an aptly chosen expression, has termed the Colligation of Facts. In most of his observations concerning that mental process I fully agree, and would gladly transfer all that portion of his book into my own pages. I only think him mistaken in setting up this kind of operation, which according to the old and received meaning of the term, is not induction at all, as the type of induction generally; and laying down, throughout his work, as principles of induction, the principles of mere colligation.

Dr. Whewell maintains that the general proposition which binds together the particular facts, and makes them, as it were, one fact, is not the mere sum of those facts, but something more, since there is introduced a conception of the mind, which did not exist in the facts themselves. "The particular facts," says he,(102) "are not merely brought together, but there is a new element added to the combination by the very act of thought by which they are combined.... When the Greeks, after long observing the motions of the planets, saw that these motions might be rightly considered as produced by the motion of one wheel revolving in the inside of another wheel, these wheels were creations of their minds, added to the facts which they perceived by sense. And even if the wheels were no longer supposed to be material, but were reduced to mere geometrical spheres or circles, they were not the less products of the mind alone—something additional to the facts observed. The same is the case in all other discoveries. The facts are known, but they are insulated and unconnected, till the discoverer supplies from his own store a principle of connection. The pearls are there, but they will not hang together till some one provides the string."

Let me first remark that Dr. Whewell, in this passage, blends together, indiscriminately, examples of both the processes which I am endeavoring to distinguish from one another. When the Greeks abandoned the supposition that the planetary motions were produced by the revolution of material wheels, and fell back upon the idea of "mere geometrical spheres or circles," there was more in this change of opinion than the mere substitution of an ideal curve for a physical one. There was the abandonment of a theory, and the replacement of it by a mere description. No one would think of calling the doctrine of material wheels a mere description. That doctrine was an attempt to point out the force by which the planets were acted upon, and compelled to move in their orbits. But when, by a great step in philosophy, the materiality of the wheels was discarded, and the geometrical forms alone retained, the attempt to account for the motions was given up, and what was left of the theory was a mere description of the orbits. The assertion that the planets were carried round by wheels revolving in the inside of other wheels, gave place to the proposition, that they moved in the same lines which would be traced by bodies so carried: which was a mere mode of representing the sum of the observed facts; as Kepler's was another and a better mode of representing the same observations.

It is true that for these simply descriptive operations, as well as for the erroneous inductive one, a conception of the mind was required. The conception of an ellipse must have presented itself to Kepler's mind, before he could identify the planetary orbits with it. According to Dr. Whewell, the conception was something added to the facts. He expresses himself as if Kepler had put something into the facts by his mode of conceiving them. But Kepler did no such thing. The ellipse was in the facts before Kepler recognized it; just as the island was an island before it had been sailed round. Kepler did not put what he had conceived into the facts, but saw it in them. A conception implies, and corresponds to, something conceived: and though the conception itself is not in the facts, but in our mind, yet if it is to convey any knowledge relating to them, it must be a conception of something which really is in the facts, some property which they actually possess, and which they would manifest to our senses, if our senses were able to take cognizance of it. If, for instance, the planet left behind it in space a visible track, and if the observer were in a fixed position at such a distance from the plane of the orbit as would enable him to see the whole of it at once, he would see it to be an ellipse; and if gifted with appropriate instruments and powers of locomotion, he could prove it to be such by measuring its different dimensions. Nay, further: if the track were visible, and he were so placed that he could see all parts of it in succession, but not all of them at once, he might be able, by piecing together his successive observations, to discover both that it was an ellipse and that the planet moved in it. The case would then exactly resemble that of the navigator who discovers the land to be an island by sailing round it. If the path was visible, no one I think would dispute that to identify it with an ellipse is to describe it: and I can not see why any difference should be made by its not being directly an object of sense, when every point in it is as exactly ascertained as if it were so.

Subject to the indispensable condition which has just been stated, I do not conceive that the part which conceptions have in the operation of studying facts, has ever been overlooked or undervalued. No one ever disputed that in order to reason about any thing we must have a conception of it; or that when we include a multitude of things under a general expression, there is implied in the expression a conception of something common to those things. But it by no means follows that the conception is necessarily pre-existent, or constructed by the mind out of its own materials. If the facts are rightly classed under the conception, it is because there is in the facts themselves something of which the conception is itself a copy; and which if we can not directly perceive, it is because of the limited power of our organs, and not because the thing itself is not there. The conception itself is often obtained by abstraction from the very facts which, in Dr. Whewell's language, it is afterward called in to connect. This he himself admits, when he observes (which he does on several occasions), how great a service would be rendered to the science of physiology by the philosopher "who should establish a precise, tenable, and consistent conception of life."(103) Such a conception can only be abstracted from the phenomena of life itself; from the very facts which it is put in requisition to connect. In other cases, no doubt, instead of collecting the conception from the very phenomena which we are attempting to colligate, we select it from among those which have been previously collected by abstraction from other facts. In the instance of Kepler's laws, the latter was the case. The facts being out of the reach of being observed, in any such manner as would have enabled the senses to identify directly the path of the planet, the conception requisite for framing a general description of that path could not be collected by abstraction from the observations themselves; the mind had to supply hypothetically, from among the conceptions it had obtained from other portions of its experience, some one which would correctly represent the series of the observed facts. It had to frame a supposition respecting the general course of the phenomenon, and ask itself, If this be the general description, what will the details be? and then compare these with the details actually observed. If they agreed, the hypothesis would serve for a description of the phenomenon: if not, it was necessarily abandoned, and another tried. It is such a case as this which gives rise to the doctrine that the mind, in framing the descriptions, adds something of its own which it does not find in the facts.

Yet it is a fact surely, that the planet does describe an ellipse; and a fact which we could see, if we had adequate visual organs and a suitable position. Not having these advantages, but possessing the conception of an ellipse, or (to express the meaning in less technical language) knowing what an ellipse was, Kepler tried whether the observed places of the planet were consistent with such a path. He found they were so; and he, consequently, asserted as a fact that the planet moved in an ellipse. But this fact, which Kepler did not add to, but found in, the motions of the planet, namely, that it occupied in succession the various points in the circumference of a given ellipse, was the very fact, the separate parts of which had been separately observed; it was the sum of the different observations.

Having stated this fundamental difference between my opinion and that of Dr. Whewell, I must add, that his account of the manner in which a conception is selected, suitable to express the facts, appears to me perfectly just. The experience of all thinkers will, I believe, testify that the process is tentative; that it consists of a succession of guesses; many being rejected, until one at last occurs fit to be chosen. We know from Kepler himself that before hitting upon the "conception" of an ellipse, he tried nineteen other imaginary paths, which, finding them inconsistent with the observations, he was obliged to reject. But as Dr. Whewell truly says, the successful hypothesis, though a guess, ought generally to be called, not a lucky, but a skillful guess. The guesses which serve to give mental unity and wholeness to a chaos of scattered particulars, are accidents which rarely occur to any minds but those abounding in knowledge and disciplined in intellectual combinations.

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. Many of the uniformities existing among phenomena are so constant, and so open to observation, as to force themselves upon involuntary recognition. Some facts are so perpetually and familiarly accompanied by certain others, that mankind learned, as children learn, to expect the one where they found the other, long before they knew how to put their expectation into words by asserting, in a proposition, the existence of a connection between those phenomena. No science was needed to teach that food nourishes, that water drowns, or quenches thirst, that the sun gives light and heat, that bodies fall to the ground. The first scientific inquirers assumed these and the like as known truths, and set out from them to discover others which were unknown: nor were they wrong in so doing, subject, however, as they afterward began to see, to an ulterior revision of these spontaneous generalizations themselves, when the progress of knowledge pointed out limits to them, or showed their truth to be contingent on some circumstance not originally attended to. It will appear, I think, from the subsequent part of our inquiry, that there is no logical fallacy in this mode of proceeding; but we may see already that any other mode is rigorously impracticable: since it is impossible to frame any scientific method of induction, or test of the correctness of inductions, unless on the hypothesis that some inductions deserving of reliance have been already made.