XXII. Of Uniformities Of Co-Existence Not Dependent On Causation…

XXII. Of Uniformities Of Co-Existence Not Dependent On Causation

§ 1. The order of the occurrence of phenomena in time, is either successive or simultaneous; the uniformities, therefore, which obtain in their occurrence, are either uniformities of succession or of co-existence. Uniformities of succession are all comprehended under the law of causation and its consequences. Every phenomenon has a cause, which it invariably follows; and from this are derived other invariable sequences among the successive stages of the same effect, as well as between the effects resulting from causes which invariably succeed one another.

In the same manner with these derivative uniformities of succession, a great variety of uniformities of co-existence also take their rise. Co-ordinate effects of the same cause naturally co-exist with one another. High water at any point on the earth’s surface, and high water at the point diametrically opposite to it, are effects uniformly simultaneous, resulting from the direction in which the combined attractions of the sun and moon act upon the waters of the ocean. An eclipse of the sun to us, and an eclipse of the earth to a spectator situated in the moon, are in like manner phenomena invariably co-existent; and their co-existence can equally be deduced from the laws of their production.

It is an obvious question, therefore, whether all the uniformities of co-existence among phenomena may not be accounted for in this manner. And it can not be doubted that between phenomena which are themselves effects, the co-existences must necessarily depend on the causes of those phenomena. If they are effects immediately or remotely of the same cause, they can not co-exist except by virtue of some laws or properties of that cause; if they are effects of different causes, they can not co-exist unless it be because their causes co-exist; and the uniformity of co-existence, if such there be, between the effects, proves that those particular causes, within the limits of our observation, have uniformly been co-existent.

§ 2. But these same considerations compel us to recognize that there must be one class of co-existences which can not depend on causation: the co-existences between the ultimate properties of things—those properties which are the causes of all phenomena, but are not themselves caused by any phenomenon, and a cause for which could only be sought by ascending to the origin of all things. Yet among these ultimate properties there are not only co-existences, but uniformities of co-existence. General propositions may be, and are, formed, which assert that whenever certain properties are found, certain others are found along with them. We perceive an object; say, for instance, water. We recognize it to be water, of course by certain of its properties. Having recognized it, we are able to affirm of it innumerable other properties; which we could not do unless it were a general truth, a law or uniformity in nature, that the set of properties by which we identify the substance as water always have those other properties conjoined with them.

In a former place(189) it has been explained, in some detail, what is meant by the Kinds of objects; those classes which differ from one another not by a limited and definite, but by an indefinite and unknown, number of distinctions. To this we have now to add, that every proposition by which any thing is asserted of a Kind, affirms a uniformity of co-existence. Since we know nothing of Kinds but their properties, the Kind, to us, is the set of properties by which it is identified, and which must of course be sufficient to distinguish it from every other kind.(190) In affirming any thing, therefore, of a Kind, we are affirming something to be uniformly co-existent with the properties by which the kind is recognized; and that is the sole meaning of the assertion.

Among the uniformities of co-existence which exist in nature, may hence be numbered all the properties of Kinds. The whole of these, however, are not independent of causation, but only a portion of them. Some are ultimate properties, others derivative: of some, no cause can be assigned, but others are manifestly dependent on causes. Thus, pure oxygen gas is a Kind, and one of its most unequivocal properties is its gaseous form; this property, however, has for its cause the presence of a certain quantity of latent heat; and if that heat could be taken away (as has been done from so many gases in Faraday’s experiments), the gaseous form would doubtless disappear, together with numerous other properties which depend on, or are caused by, that property.

In regard to all substances which are chemical compounds, and which therefore may be regarded as products of the juxtaposition of substances different in Kind from themselves, there is considerable reason to presume that the specific properties of the compound are consequent, as effects, on some of the properties of the elements, though little progress has yet been made in tracing any invariable relation between the latter and the former. Still more strongly will a similar presumption exist, when the object itself, as in the case of organized beings, is no primeval agent, but an effect, which depends on a cause or causes for its very existence. The Kinds, therefore, which are called in chemistry simple substances, or elementary natural agents, are the only ones, any of whose properties can with certainty be considered ultimate; and of these the ultimate properties are probably much more numerous than we at present recognize, since every successful instance of the resolution of the properties of their compounds into simpler laws, generally leads to the recognition of properties in the elements distinct from any previously known. The resolution of the laws of the heavenly motions established the previously unknown ultimate property of a mutual attraction between all bodies; the resolution, so far as it has yet proceeded, of the laws of crystallization, of chemical composition, electricity, magnetism, etc., points to various polarities, ultimately inherent in the particles of which bodies are composed; the comparative atomic weights of different kinds of bodies were ascertained by resolving into more general laws the uniformities observed in the proportions in which substances combine with one another, and so forth. Thus, although every resolution of a complex uniformity into simpler and more elementary laws has an apparent tendency to diminish the number of the ultimate properties, and really does remove many properties from the list; yet (since the result of this simplifying process is to trace up an ever greater variety of different effects to the same agents) the further we advance in this direction, the greater number of distinct properties we are forced to recognize in one and the same object; the co-existences of which properties must accordingly be ranked among the ultimate generalities of nature.

§ 3. There are, therefore, only two kinds of propositions which assert uniformity of co-existence between properties. Either the properties depend on causes or they do not. If they do, the proposition which affirms them to be co-existent is a derivative law of co-existence between effects, and, until resolved into the laws of causation on which it depends, is an empirical law, and to be tried by the principles of induction to which such laws are amenable. If, on the other hand, the properties do not depend on causes, but are ultimate properties, then, if it be true that they invariably co-exist, they must all be ultimate properties of one and the same Kind; and it is of these only that the co-existences can be classed as a peculiar sort of laws of nature.

When we affirm that all crows are black, or that all negroes have woolly hair, we assert a uniformity of co-existence. We assert that the property of blackness or of having woolly hair invariably co-exists with the properties which, in common language, or in the scientific classification that we adopt, are taken to constitute the class crow, or the class negro. Now, supposing blackness to be an ultimate property of black objects, or woolly hair an ultimate property of the animals which possess it; supposing that these properties are not results of causation, are not connected with antecedent phenomena by any law; then if all crows are black, and all negroes have woolly hair, these must be ultimate properties of the kind crow, or negro, or of some kind which includes them. If, on the contrary, blackness or woolly hair be an effect depending on causes, these general propositions are manifestly empirical laws; and all that has already been said respecting that class of generalizations may be applied without modification to these.

Now, we have seen that in the case of all compounds—of all things, in short, except the elementary substances and primary powers of nature—the presumption is, that the properties do really depend upon causes; and it is impossible in any case whatever to be certain that they do not. We therefore should not be safe in claiming for any generalization respecting the co-existence of properties, a degree of certainty to which, if the properties should happen to be the result of causes, it would have no claim. A generalization respecting co-existence, or, in other words, respecting the properties of kinds, may be an ultimate truth, but it may also be merely a derivative one; and since, if so, it is one of those derivative laws which are neither laws of causation nor have been resolved into the laws of causation on which they depend, it can possess no higher degree of evidence than belongs to an empirical law.

§ 4. This conclusion will be confirmed by the consideration of one great deficiency, which precludes the application to the ultimate uniformities of co-existence, of a system of rigorous scientific induction, such as the uniformities in the succession of phenomena have been found to admit of. The basis of such a system is wanting; there is no general axiom standing in the same relation to the uniformities of co-existence as the law of causation does to those of succession. The Methods of Induction applicable to the ascertainment of causes and effects are grounded on the principle that every thing which has a beginning must have some cause or other; that among the circumstances which actually existed at the time of its commencement, there is certainly some one combination, on which the effect in question is unconditionally consequent, and on the repetition of which it would certainly again recur. But in an inquiry whether some kind (as crow) universally possesses a certain property (as blackness), there is no room for any assumption analogous to this. We have no previous certainty that the property must have something which constantly co-exists with it; must have an invariable co-existent, in the same manner as an event must have an invariable antecedent. When we feel pain, we must be in some circumstances under which, if exactly repeated, we should always feel pain. But when we are conscious of blackness, it does not follow that there is something else present of which blackness is a constant accompaniment. There is, therefore, no room for elimination; no method of Agreement or Difference, or of Concomitant Variations (which is but a modification either of the Method of Agreement or of the Method of Difference). We can not conclude that the blackness we see in crows must be an invariable property of crows merely because there is nothing else present of which it can be an invariable property. We therefore inquire into the truth of a proposition like “All crows are black,” under the same disadvantage as if, in our inquiries into causation, we were compelled to let in, as one of the possibilities, that the effect may in that particular instance have arisen without any cause at all.

To overlook this grand distinction was, as it seems to me, the capital error in Bacon’s view of inductive philosophy. The principle of elimination, that great logical instrument which he had the immense merit of first bringing into general use, he deemed applicable in the same sense, and in as unqualified a manner, to the investigation of the co-existences, as to that of the successions of phenomena. He seems to have thought that as every event has a cause, or invariable antecedent, so every property of an object has an invariable co-existent, which he called its form; and the examples he chiefly selected for the application and illustration of his method, were inquiries into such forms; attempts to determine in what else all those objects resembled, which agreed in some one general property, as hardness or softness, dryness or moistness, heat or coldness. Such inquiries could lead to no result. The objects seldom have any such circumstances in common. They usually agree in the one point inquired into, and in nothing else. A great proportion of the properties which, so far as we can conjecture, are the likeliest to be really ultimate, would seem to be inherently properties of many different kinds of things not allied in any other respect. And as for the properties which, being effects of causes, we are able to give some account of, they have generally nothing to do with the ultimate resemblances or diversities in the objects themselves, but depend on some outward circumstances, under the influence of which any objects whatever are capable of manifesting those properties; as is emphatically the case with those favorite subjects of Bacon’s scientific inquiries, hotness and coldness, as well as with hardness and softness, solidity and fluidity, and many other conspicuous qualities.

In the absence, then, of any universal law of co-existence similar to the universal law of causation which regulates sequence, we are thrown back upon the unscientific induction of the ancients, per enumerationem simplicem, ubi non reperitur instantia contradictoria. The reason we have for believing that all crows are black, is simply that we have seen and heard of many black crows, and never one of any other color. It remains to be considered how far this evidence can reach, and how we are to measure its strength in any given case.

§ 5. It sometimes happens that a mere change in the mode of verbally enunciating a question, though nothing is really added to the meaning expressed, is of itself a considerable step toward its solution. This, I think, happens in the present instance. The degree of certainty of any generalization which rests on no other evidence than the agreement, so far as it goes, of all past observation, is but another phrase for the degree of improbability that an exception, if any existed, could have hitherto remained unobserved. The reason for believing that all crows are black, is measured by the improbability that crows of any other color should have existed to the present time without our being aware of it. Let us state the question in this last mode, and consider what is implied in the supposition that there may be crows which are not black, and under what conditions we can be justified in regarding this as incredible.

If there really exist crows which are not black, one of two things must be the fact. Either the circumstance of blackness, in all crows hitherto observed, must be, as it were, an accident, not connected with any distinction of Kind; or if it be a property of Kind, the crows which are not black must be a new Kind, a Kind hitherto overlooked, though coming under the same general description by which crows have hitherto been characterized. The first supposition would be proved true if we were to discover casually a white crow among black ones, or if it were found that black crows sometimes turn white. The second would be shown to be the fact if in Australia or Central Africa a species or a race of white or gray crows were found to exist.

§ 6. The former of these suppositions necessarily implies that the color is an effect of causation. If blackness, in the crows in which it has been observed, be not a property of Kind, but can be present or absent without any difference generally in the properties of the object, then it is not an ultimate fact in the individuals themselves, but is certainly dependent on a cause. There are, no doubt, many properties which vary from individual to individual of the same Kind, even the same infima species, or lowest Kind. Some flowers may be either white or red, without differing in any other respect. But these properties are not ultimate; they depend on causes. So far as the properties of a thing belong to its own nature, and do not arise from some cause extrinsic to it, they are always the same in the same Kind. Take, for instance, all simple substances and elementary powers; the only things of which we are certain that some at least of their properties are really ultimate. Color is generally esteemed the most variable of all properties: yet we do not find that sulphur is sometimes yellow and sometimes white, or that it varies in color at all, except so far as color is the effect of some extrinsic cause, as of the sort of light thrown upon it, the mechanical arrangement of the particles (as after fusion), etc. We do not find that iron is sometimes fluid and sometimes solid at the same temperature; gold sometimes malleable and sometimes brittle; that hydrogen will sometimes combine with oxygen and sometimes not; or the like. If from simple substances we pass to any of their definite compounds, as water, lime, or sulphuric acid, there is the same constancy in their properties. When properties vary from individual to individual, it is either in the case of miscellaneous aggregations, such as atmospheric air or rock, composed of heterogeneous substances, and not constituting or belonging to any real Kind,(191) or it is in the case of organic beings. In them, indeed, there is variability in a high degree. Animals of the same species and race, human beings of the same age, sex, and country, will be most different, for example, in face and figure. But organized beings (from the extreme complication of the laws by which they are regulated) being more eminently modifiable, that is, liable to be influenced by a greater number and variety of causes, than any other phenomena whatever; having also themselves had a beginning, and therefore a cause; there is reason to believe that none of their properties are ultimate, but all of them derivative, and produced by causation. And the presumption is confirmed, by the fact that the properties which vary from one individual to another, also generally vary more or less at different times in the same individual; which variation, like any other event, supposes a cause, and implies, consequently, that the properties are not independent of causation.

If, therefore, blackness be merely accidental in crows, and capable of varying while the Kind remains the same, its presence or absence is doubtless no ultimate fact, but the effect of some unknown cause: and in that case the universality of the experience that all crows are black is sufficient proof of a common cause, and establishes the generalization as an empirical law. Since there are innumerable instances in the affirmative, and hitherto none at all in the negative, the causes on which the property depends must exist everywhere in the limits of the observations which have been made; and the proposition may be received as universal within those limits, and with the allowable degree of extension to adjacent cases.

§ 7. If, in the second place, the property, in the instances in which it has been observed, is not an effect of causation, it is a property of Kind; and in that case the generalization can only be set aside by the discovery of a new Kind of crow. That, however, a peculiar Kind not hitherto discovered should exist in nature, is a supposition so often realized that it can not be considered at all improbable. We have nothing to authorize us in attempting to limit the Kinds of things which exist in nature. The only unlikelihood would be that a new Kind should be discovered in localities which there was previously reason to believe had been thoroughly explored; and even this improbability depends on the degree of conspicuousness of the difference between the newly-discovered Kind and all others, since new kinds of minerals, plants, and even animals, previously overlooked or confounded with known species, are still continually detected in the most frequented situations. On this second ground, therefore, as well as on the first, the observed uniformity of co-existence can only hold good as an empirical law, within the limits not only of actual observation, but of an observation as accurate as the nature of the case required. And hence it is that (as remarked in an early chapter of the present book) we so often give up generalizations of this class at the first summons. If any credible witness stated that he had seen a white crow, under circumstances which made it not incredible that it should have escaped notice previously, we should give full credence to the statement.

It appears, then, that the uniformities which obtain in the co-existence of phenomena—those which we have reason to consider as ultimate, no less than those which arise from the laws of causes yet undetected—are entitled to reception only as empirical laws; are not to be presumed true except within the limits of time, place, and circumstance, in which the observations were made, or except in cases strictly adjacent.

§ 8. We have seen in the last chapter that there is a point of generality at which empirical laws become as certain as laws of nature, or, rather, at which there is no longer any distinction between empirical laws and laws of nature. As empirical laws approach this point, in other words, as they rise in their degree of generality, they become more certain; their universality may be more strongly relied on. For, in the first place, if they are results of causation (which, even in the class of uniformities treated of in the present chapter, we never can be certain that they are not) the more general they are, the greater is proved to be the space over which the necessary collocations prevail, and within which no causes exist capable of counteracting the unknown causes on which the empirical law depends. To say that any thing is an invariable property of some very limited class of objects, is to say that it invariably accompanies some very numerous and complex group of distinguishing properties; which, if causation be at all concerned in the matter, argues a combination of many causes, and therefore a great liability to counteraction; while the comparatively narrow range of the observations renders it impossible to predict to what extent unknown counteracting causes may be distributed throughout nature. But when a generalization has been found to hold good of a very large proportion of all things whatever, it is already proved that nearly all the causes which exist in nature have no power over it; that very few changes in the combination of causes can affect it; since the greater number of possible combinations must have already existed in some one or other of the instances in which it has been found true. If, therefore, any empirical law is a result of causation, the more general it is, the more it may be depended on. And even if it be no result of causation, but an ultimate co-existence, the more general it is, the greater amount of experience it is derived from, and the greater therefore is the probability that if exceptions had existed, some would already have presented themselves.

For these reasons, it requires much more evidence to establish an exception to one of the more general empirical laws than to the more special ones. We should not have any difficulty in believing that there might be a new Kind of crow; or a new kind of bird resembling a crow in the properties hitherto considered distinctive of that Kind. But it would require stronger proof to convince us of the existence of a Kind of crow having properties at variance with any generally recognized universal property of birds; and a still higher degree if the properties conflict with any recognized universal property of animals. And this is conformable to the mode of judgment recommended by the common sense and general practice of mankind, who are more incredulous as to any novelties in nature, according to the degree of generality of the experience which these novelties seem to contradict.

§ 9. It is conceivable that the alleged properties might conflict with some recognized universal property of all matter. In that case their improbability would be at the highest, but would not even then amount to incredibility. There are only two known properties common to all matter; in other words, there is but one known uniformity of co-existence of properties co-extensive with all physical nature, namely, that whatever opposes resistance to movement gravitates, or, as Professor Bain expresses it, Inertia and Gravity are co-existent through all matter, and proportionate in their amount. These properties, as he truly says, are not mutually implicated; from neither of them could we, on grounds of causation, presume the other. But, for this very reason, we are never certain that a Kind may not be discovered possessing one of the properties without the other. The hypothetical ether, if it exists, may be such a Kind. Our senses can not recognize in it either resistance or gravity; but if the reality of a resisting medium should eventually be proved (by alteration, for example, in the times of revolution of periodic comets, combined with the evidences afforded by the phenomena of light and heat), it would be rash to conclude from this alone, without other proofs, that it must gravitate.

For even the greater generalizations, which embrace comprehensive Kinds containing under them a great number and variety of infimæ species, are only empirical laws, resting on induction by simple enumeration merely, and not on any process of elimination—a process wholly inapplicable to this sort of case. Such generalizations, therefore, ought to be grounded on an examination of all the infimæ species comprehended in them, and not of a portion only. We can not conclude (where causation is not concerned), because a proposition is true of a number of things resembling one another only in being animals, that it is therefore true of all animals. If, indeed, any thing be true of species which differ more from one another than either differs from a third, especially if that third species occupies in most of its known properties a position between the two former, there is some probability that the same thing will also be true of that intermediate species; for it is often, though by no means universally, found, that there is a sort of parallelism in the properties of different Kinds, and that their degree of unlikeness in one respect bears some proportion to their unlikeness in others. We see this parallelism in the properties of the different metals; in those of sulphur, phosphorus, and carbon; of chlorine, iodine, and bromine; in the natural orders of plants and animals, etc. But there are innumerable anomalies and exceptions to this sort of conformity; if indeed the conformity itself be any thing but an anomaly and an exception in nature.

Universal propositions, therefore, respecting the properties of superior Kinds, unless grounded on proved or presumed connection by causation, ought not to be hazarded except after separately examining every known sub-kind included in the larger Kind. And even then such generalizations must be held in readiness to be given up on the occurrence of some new anomaly, which, when the uniformity is not derived from causation, can never, even in the case of the most general of these empirical laws, be considered very improbable. Thus, all the universal propositions which it has been attempted to lay down respecting simple substances, or concerning any of the classes which have been formed among simple substances (and the attempt has been often made), have, with the progress of experience, either faded into inanity, or been proved to be erroneous; and each Kind of simple substance remains, with its own collection of properties apart from the rest, saving a certain parallelism with a few other Kinds, the most similar to itself. In organized beings, indeed, there are abundance of propositions ascertained to be universally true of superior genera, to many of which the discovery hereafter of any exceptions must be regarded as extremely improbable. But these, as already observed, are, we have every reason to believe, properties dependent on causation.(192)

Uniformities of co-existence, then, not only when they are consequences of laws of succession, but also when they are ultimate truths, must be ranked, for the purpose of logic, among empirical laws; and are amenable in every respect to the same rules with those unresolved uniformities which are known to be dependent on causation.(193)

XXIII. Of Approximate Generalizations, And Probable Evidence

§ 1. In our inquiries into the nature of the inductive process, we must not confine our notice to such generalizations from experience as profess to be universally true. There is a class of inductive truths avowedly not universal; in which it is not pretended that the predicate is always true of the subject; but the value of which, as generalizations, is nevertheless extremely great. An important portion of the field of inductive knowledge does not consist of universal truths, but of approximations to such truths; and when a conclusion is said to rest on probable evidence, the premises it is drawn from are usually generalizations of this sort.

As every certain inference respecting a particular case implies that there is ground for a general proposition of the form, every A is B; so does every probable inference suppose that there is ground for a proposition of the form, Most A are B; and the degree of probability of the inference in an average case will depend on the proportion between the number of instances existing in nature which accord with the generalization, and the number of those which conflict with it.

§ 2. Propositions in the form, Most A are B, are of a very different degree of importance in science, and in the practice of life. To the scientific inquirer they are valuable chiefly as materials for, and steps toward universal truths. The discovery of these is the proper end of science; its work is not done if it stops at the proposition that a majority of A are B, without circumscribing that majority by some common character, fitted to distinguish them from the minority. Independently of the inferior precision of such imperfect generalizations, and the inferior assurance with which they can be applied to individual cases, it is plain that, compared with exact generalizations, they are almost useless as means of discovering ulterior truths by way of deduction. We may, it is true, by combining the proposition Most A are B, with a universal proposition, Every B is C, arrive at the conclusion that Most A are C. But when a second proposition of the approximate kind is introduced—or even when there is but one, if that one be the major premise—nothing can, in general, be positively concluded. When the major is Most B are D, then, even if the minor be Every A is B, we can not infer that most A are D, or with any certainty that even some A are D. Though the majority of the class B have the attribute signified by D, the whole of the sub-class A may belong to the minority.(194)

Though so little use can be made, in science, of approximate generalizations, except as a stage on the road to something better, for practical guidance they are often all we have to rely on. Even when science has really determined the universal laws of any phenomenon, not only are those laws generally too much encumbered with conditions to be adapted for everyday use, but the cases which present themselves in life are too complicated, and our decisions require to be taken too rapidly, to admit of waiting till the existence of a phenomenon can be proved by what have been scientifically ascertained to be universal marks of it. To be indecisive and reluctant to act, because we have not evidence of a perfectly conclusive character to act on, is a defect sometimes incident to scientific minds, but which, wherever it exists, renders them unfit for practical emergencies. If we would succeed in action, we must judge by indications which, though they do not generally mislead us, sometimes do, and must make up, as far as possible, for the incomplete conclusiveness of any one indication, by obtaining others to corroborate it. The principles of induction applicable to approximate generalization are therefore a not less important subject of inquiry than the rules for the investigation of universal truths; and might reasonably be expected to detain us almost as long, were it not that these principles are mere corollaries from those which have been already treated of.

§ 3. There are two sorts of cases in which we are forced to guide ourselves by generalizations of the imperfect form, Most A are B. The first is, when we have no others; when we have not been able to carry our investigation of the laws of the phenomena any further; as in the following propositions—Most dark-eyed persons have dark hair; Most springs contain mineral substances; Most stratified formations contain fossils. The importance of this class of generalizations is not very great; for, though it frequently happens that we see no reason why that which is true of most individuals of a class is not true of the remainder, nor are able to bring the former under any general description which can distinguish them from the latter, yet if we are willing to be satisfied with propositions of a less degree of generality, and to break down the class A into sub-classes, we may generally obtain a collection of propositions exactly true. We do not know why most wood is lighter than water, nor can we point out any general property which discriminates wood that is lighter than water from that which is heavier. But we know exactly what species are the one and what the other. And if we meet with a specimen not conformable to any known species (the only case in which our previous knowledge affords no other guidance than the approximate generalization), we can generally make a specific experiment, which is a surer resource.

It often happens, however, that the proposition, Most A are B, is not the ultimatum of our scientific attainments, though the knowledge we possess beyond it can not conveniently be brought to bear upon the particular instance. We may know well enough what circumstances distinguish the portion of A which has the attribute B from the portion which has it not, but may have no means, or may not have time, to examine whether those characteristic circumstances exist or not in the individual case. This is the situation we are generally in when the inquiry is of the kind called moral, that is, of the kind which has in view to predict human actions. To enable us to affirm any thing universally concerning the actions of classes of human beings, the classification must be grounded on the circumstances of their mental culture and habits, which in an individual case are seldom exactly known; and classes grounded on these distinctions would never precisely accord with those into which mankind are divided for social purposes. All propositions which can be framed respecting the actions of human beings as ordinarily classified, or as classified according to any kind of outward indications, are merely approximate. We can only say, Most persons of a particular age, profession, country, or rank in society, have such and such qualities; or, Most persons, when placed in certain circumstances, act in such and such a way. Not that we do not often know well enough on what causes the qualities depend, or what sort of persons they are who act in that particular way; but we have seldom the means of knowing whether any individual person has been under the influence of those causes, or is a person of that particular sort. We could replace the approximate generalizations by propositions universally true; but these would hardly ever be capable of being applied to practice. We should be sure of our majors, but we should not be able to get minors to fit; we are forced, therefore, to draw our conclusions from coarser and more fallible indications.

§ 4. Proceeding now to consider what is to be regarded as sufficient evidence of an approximate generalization, we can have no difficulty in at once recognizing that, when admissible at all, it is admissible only as an empirical law. Propositions of the form, Every A is B, are not necessarily laws of causation, or ultimate uniformities of co-existence; propositions like Most A are B, can not be so. Propositions hitherto found true in every observed instance may yet be no necessary consequence of laws of causation, or of ultimate uniformities, and unless they are so, may, for aught we know, be false beyond the limits of actual observation; still more evidently must this be the case with propositions which are only true in a mere majority of the observed instances.

There is some difference, however, in the degree of certainty of the proposition, Most A are B, according as that approximate generalization composes the whole of our knowledge of the subject, or not. Suppose, first, that the former is the case. We know only that most A are B, not why they are so, nor in what respect those which are differ from those which are not. How, then, did we learn that most A are B? Precisely in the manner in which we should have learned, had such happened to be the fact that all A are B. We collected a number of instances sufficient to eliminate chance, and, having done so, compared the number of instances in the affirmative with the number in the negative. The result, like other unresolved derivative laws, can be relied on solely within the limits not only of place and time, but also of circumstance, under which its truth has been actually observed; for, as we are supposed to be ignorant of the causes which make the proposition true, we can not tell in what manner any new circumstance might perhaps affect it. The proposition, Most judges are inaccessible to bribes, would probably be found true of Englishmen, Frenchmen, Germans, North Americans, and so forth; but if on this evidence alone we extended the assertion to Orientals, we should step beyond the limits, not only of place but of circumstance, within which the fact had been observed, and should let in possibilities of the absence of the determining causes, or the presence of counteracting ones, which might be fatal to the approximate generalization.

In the case where the approximate proposition is not the ultimatum of our scientific knowledge, but only the most available form of it for practical guidance; where we know, not only that most A have the attribute B, but also the causes of B, or some properties by which the portion of A which has that attribute is distinguished from the portion which has it not, we are rather more favorably situated than in the preceding case. For we have now a double mode of ascertaining whether it be true that most A are B; the direct mode, as before, and an indirect one, that of examining whether the proposition admits of being deduced from the known cause, or from any known criterion, of B. Let the question, for example, be whether most Scotchmen can read? We may not have observed, or received the testimony of others respecting, a sufficient number and variety of Scotchmen to ascertain this fact; but when we consider that the cause of being able to read is the having been taught it, another mode of determining the question presents itself, namely, by inquiring whether most Scotchmen have been sent to schools where reading is effectually taught. Of these two modes, sometimes one and sometimes the other is the more available. In some cases, the frequency of the effect is the more accessible to that extensive and varied observation which is indispensable to the establishment of an empirical law; at other times, the frequency of the causes, or of some collateral indications. It commonly happens that neither is susceptible of so satisfactory an induction as could be desired, and that the grounds on which the conclusion is received are compounded of both. Thus a person may believe that most Scotchmen can read, because, so far as his information extends, most Scotchmen have been sent to school, and most Scotch schools teach reading effectually; and also because most of the Scotchmen whom he has known or heard of could read; though neither of these two sets of observations may by itself fulfill the necessary conditions of extent and variety.

Although the approximate generalization may in most cases be indispensable for our guidance, even when we know the cause, or some certain mark, of the attribute predicated, it needs hardly be observed that we may always replace the uncertain indication by a certain one, in any case in which we can actually recognize the existence of the cause or mark. For example, an assertion is made by a witness, and the question is whether to believe it. If we do not look to any of the individual circumstances of the case, we have nothing to direct us but the approximate generalization, that truth is more common than falsehood, or, in other words, that most persons, on most occasions, speak truth. But if we consider in what circumstances the cases where truth is spoken differ from those in which it is not, we find, for instance, the following: the witness’s being an honest person or not; his being an accurate observer or not; his having an interest to serve in the matter or not. Now, not only may we be able to obtain other approximate generalizations respecting the degree of frequency of these various possibilities, but we may know which of them is positively realized in the individual case. That the witness has or has not an interest to serve, we perhaps know directly; and the other two points indirectly, by means of marks; as, for example, from his conduct on some former occasion; or from his reputation, which, though a very uncertain mark, affords an approximate generalization (as, for instance, Most persons who are believed to be honest by those with whom they have had frequent dealings, are really so), which approaches nearer to a universal truth than the approximate general proposition with which we set out, viz., Most persons on most occasions speak truth.

As it seems unnecessary to dwell further on the question of the evidence of approximate generalizations, we shall proceed to a not less important topic, that of the cautions to be observed in arguing from these incompletely universal propositions to particular cases.

§ 5. So far as regards the direct application of an approximate generalization to an individual instance, this question presents no difficulty. If the proposition, Most A are B, has been established, by a sufficient induction, as an empirical law, we may conclude that any particular A is B with a probability proportioned to the preponderance of the number of affirmative instances over the number of exceptions. If it has been found practicable to attain numerical precision in the data, a corresponding degree of precision may be given to the evaluation of the chances of error in the conclusion. If it can be established as an empirical law that nine out of every ten A are B, there will be one chance in ten of error in assuming that any A, not individually known to us, is a B: but this of course holds only within the limits of time, place, and circumstance, embraced in the observations, and therefore can not be counted on for any sub-class or variety of A (or for A in any set of external circumstances) which were not included in the average. It must be added, that we can guide ourselves by the proposition, Nine out of every ten A are B, only in cases of which we know nothing except that they fall within the class A. For if we know, of any particular instances i, not only that it falls under A, but to what species or variety of A it belongs, we shall generally err in applying to i the average struck for the whole genus, from which the average corresponding to that species alone would, in all probability, materially differ. And so if i, instead of being a particular sort of instance, is an instance known to be under the influence of a particular set of circumstances, the presumption drawn from the numerical proportions in the whole genus would probably, in such a case, only mislead. A general average should only be applied to cases which are neither known, nor can be presumed, to be other than average cases. Such averages, therefore, are commonly of little use for the practical guidance of any affairs but those which concern large numbers. Tables of the chances of life are useful to insurance offices, but they go a very little way toward informing any one of the chances of his own life, or any other life in which he is interested, since almost every life is either better or worse than the average. Such averages can only be considered as supplying the first term in a series of approximations; the subsequent terms proceeding on an appreciation of the circumstances belonging to the particular case.

§ 6. From the application of a single approximate generalization to individual cases, we proceed to the application of two or more of them together to the same case.

When a judgment applied to an individual instance is grounded on two approximate generalizations taken in conjunction, the propositions may cooperate toward the result in two different ways. In the one, each proposition is separately applicable to the case in hand, and our object in combining them is to give to the conclusion in that particular case the double probability arising from the two propositions separately. This may be called joining two probabilities by way of Addition; and the result is a probability greater than either. The other mode is, when only one of the propositions is directly applicable to the case, the second being only applicable to it by virtue of the application of the first. This is joining two probabilities by way of Ratiocination or Deduction; the result of which is a less probability than either. The type of the first argument is, Most A are B; most C are B; this thing is both an A and a C; therefore it is probably a B. The type of the second is, Most A are B; most C are A; this is a C; therefore it is probably an A, therefore it is probably a B. The first is exemplified when we prove a fact by the testimony of two unconnected witnesses; the second, when we adduce only the testimony of one witness that he has heard the thing asserted by another. Or again, in the first mode it may be argued that the accused committed the crime, because he concealed himself, and because his clothes were stained with blood; in the second, that he committed it because he washed or destroyed his clothes, which is supposed to render it probable that they were stained with blood. Instead of only two links, as in these instances, we may suppose chains of any length. A chain of the former kind was termed by Bentham(195) a self-corroborative chain of evidence; the second, a self-infirmative chain.

When approximate generalizations are joined by way of addition, we may deduce from the theory of probabilities laid down in a former chapter, in what manner each of them adds to the probability of a conclusion which has the warrant of them all.

If, on an average, two of every three As are Bs, and three of every four Cs are Bs, the probability that something which is both an A and a C is a B, will be more than two in three, or than three in four. Of every twelve things which are As, all except four are Bs by the supposition; and if the whole twelve, and consequently those four, have the characters of C likewise, three of these will be Bs on that ground. Therefore, out of twelve which are both As and Cs, eleven are Bs. To state the argument in another way; a thing which is both an A and a C, but which is not a B, is found in only one of three sections of the class A, and in only one of four sections of the class C; but this fourth of C being spread over the whole of A indiscriminately, only one-third part of it (or one-twelfth of the whole number) belongs to the third section of A; therefore a thing which is not a B occurs only once, among twelve things which are both As and Cs. The argument would, in the language of the doctrine of chances, be thus expressed: the chance that an A is not a B is ⅓, the chance that a C is not a B is ¼; hence if the thing be both an A and a C, the chance is ⅓ of ¼ = ¹⁄₁₂.(196)

In this computation it is of course supposed that the probabilities arising from A and C are independent of each other. There must not be any such connection between A and C, that when a thing belongs to the one class it will therefore belong to the other, or even have a greater chance of doing so. Otherwise the not-Bs which are Cs may be, most or even all of them, identical with the not-Bs which are As; in which last case the probability arising from A and C together will be no greater than that arising from A alone.

When approximate generalizations are joined together in the other mode, that of deduction, the degree of probability of the inference, instead of increasing, diminishes at each step. From two such premises as Most A are B, Most B are C, we can not with certainty conclude that even a single A is C; for the whole of the portion of A which in any way falls under B, may perhaps be comprised in the exceptional part of it. Still, the two propositions in question afford an appreciable probability that any given A is C, provided the average on which the second proposition is grounded was taken fairly with reference to the first; provided the proposition, Most B are C, was arrived at in a manner leaving no suspicion that the probability arising from it is otherwise than fairly distributed over the section of B which belongs to A. For though the instances which are A may be all in the minority, they may, also, be all in the majority; and the one possibility is to be set against the other. On the whole, the probability arising from the two propositions taken together, will be correctly measured by the probability arising from the one, abated in the ratio of that arising from the other. If nine out of ten Swedes have light hair, and eight out of nine inhabitants of Stockholm are Swedes, the probability arising from these two propositions, that any given inhabitant of Stockholm is light-haired, will amount to eight in ten; though it is rigorously possible that the whole Swedish population of Stockholm might belong to that tenth section of the people of Sweden who are an exception to the rest.

If the premises are known to be true not of a bare majority, but of nearly the whole, of their respective subjects, we may go on joining one such proposition to another for several steps, before we reach a conclusion not presumably true even of a majority. The error of the conclusion will amount to the aggregate of the errors of all the premises. Let the proposition, most A are B, be true of nine in ten; Most B are C, of eight in nine; then not only will one A in ten not be C, because not B, but even of the nine-tenths which are B, only eight-ninths will be C; that is, the cases of A which are C will be only ⁸⁄₉ of ⁹⁄₁₀, or four-fifths. Let us now add Most C are D, and suppose this to be true of seven cases out of eight; the proportion of A which is D will be only ⅞ of ⁸⁄₉ of ⁹⁄₁₀, or ⁷⁄₁₀. Thus the probability progressively dwindles. The experience, however, on which our approximate generalizations are grounded, has so rarely been subjected to, or admits of, accurate numerical estimation, that we can not in general apply any measurement to the diminution of probability which takes place at each illation; but must be content with remembering that it does diminish at every step, and that unless the premises approach very nearly indeed to being universally true, the conclusion after a very few steps is worth nothing. A hearsay of a hearsay, or an argument from presumptive evidence depending not on immediate marks but on marks of marks, is worthless at a very few removes from the first stage.

§ 7. There are, however, two cases in which reasonings depending on approximate generalizations may be carried to any length we please with as much assurance, and are as strictly scientific, as if they were composed of universal laws of nature. But these cases are exceptions of the sort which are currently said to prove the rule. The approximate generalizations are as suitable, in the cases in question, for purposes of ratiocination, as if they were complete generalizations, because they are capable of being transformed into complete generalizations exactly equivalent.

First: If the approximate generalization is of the class in which our reason for stopping at the approximation is not the impossibility, but only the inconvenience, of going further; if we are cognizant of the character which distinguishes the cases that accord with the generalization from those which are exceptions to it; we may then substitute for the approximate proposition, a universal proposition with a proviso. The proposition, Most persons who have uncontrolled power employ it ill, is a generalization of this class, and may be transformed into the following: All persons who have uncontrolled power employ it ill, provided they are not persons of unusual strength of judgment and rectitude of purpose. The proposition, carrying the hypothesis or proviso with it, may then be dealt with no longer as an approximate, but as a universal proposition; and to whatever number of steps the reasoning may reach, the hypothesis, being carried forward to the conclusion, will exactly indicate how far that conclusion is from being applicable universally. If in the course of the argument other approximate generalizations are introduced, each of them being in like manner expressed as a universal proposition with a condition annexed, the sum of all the conditions will appear at the end as the sum of all the errors which affect the conclusion. Thus, to the proposition last cited, let us add the following: All absolute monarchs have uncontrolled power, unless their position is such that they need the active support of their subjects (as was the case with Queen Elizabeth, Frederick of Prussia, and others). Combining these two propositions, we can deduce from them a universal conclusion, which will be subject to both the hypotheses in the premises; All absolute monarchs employ their power ill, unless their position makes them need the active support of their subjects, or unless they are persons of unusual strength of judgment and rectitude of purpose. It is of no consequence how rapidly the errors in our premises accumulate, if we are able in this manner to record each error, and keep an account of the aggregate as it swells up.

Secondly: there is a case in which approximate propositions, even without our taking note of the conditions under which they are not true of individual cases, are yet, for the purposes of science, universal ones; namely, in the inquiries which relate to the properties not of individuals, but of multitudes. The principal of these is the science of politics, or of human society. This science is principally concerned with the actions not of solitary individuals, but of masses; with the fortunes not of single persons, but of communities. For the statesman, therefore, it is generally enough to know that most persons act or are acted upon in a particular way; since his speculations and his practical arrangements refer almost exclusively to cases in which the whole community, or some large portion of it, is acted upon at once, and in which, therefore, what is done or felt by most persons determines the result produced by or upon the body at large. He can get on well enough with approximate generalizations on human nature, since what is true approximately of all individuals is true absolutely of all masses. And even when the operations of individual men have a part to play in his deductions, as when he is reasoning of kings, or other single rulers, still, as he is providing for indefinite duration, involving an indefinite succession of such individuals, he must in general both reason and act as if what is true of most persons were true of all.

The two kinds of considerations above adduced are a sufficient refutation of the popular error, that speculations on society and government, as resting on merely probable evidence, must be inferior in certainty and scientific accuracy to the conclusions of what are called the exact sciences, and less to be relied on in practice. There are reasons enough why the moral sciences must remain inferior to at least the more perfect of the physical; why the laws of their more complicated phenomena can not be so completely deciphered, nor the phenomena predicted with the same degree of assurance. But though we can not attain to so many truths, there is no reason that those we can attain should deserve less reliance, or have less of a scientific character. Of this topic, however, I shall treat more systematically in the concluding Book, to which place any further consideration of it must be deferred.

XXIV. Of The Remaining Laws Of Nature

§ 1. In the First Book we found that all the assertions which can be conveyed by language, express some one or more of five different things: Existence; Order in Place; Order in Time; Causation; and Resemblance.(197) Of these, Causation, in our view of the subject, not being fundamentally different from Order in Time, the five species of possible assertions are reduced to four. The propositions which affirm Order in Time in either of its two modes, Co-existence and Succession, have formed, thus far, the subject of the present Book. And we have now concluded the exposition, so far as it falls within the limits assigned to this work, of the nature of the evidence on which these propositions rest, and the processes of investigation by which they are ascertained and proved. There remain three classes of facts: Existence, Order in Place, and Resemblance; in regard to which the same questions are now to be resolved.

Regarding the first of these, very little needs be said. Existence in general, is a subject not for our science, but for metaphysics. To determine what things can be recognized as really existing, independently of our own sensible or other impressions, and in what meaning the term is, in that case, predicated of them, belongs to the consideration of “Things in themselves,” from which, throughout this work, we have as much as possible kept aloof. Existence, so far as Logic is concerned about it, has reference only to phenomena; to actual, or possible, states of external or internal consciousness, in ourselves or others. Feelings of sensitive beings, or possibilities of having such feelings, are the only things the existence of which can be a subject of logical induction, because the only things of which the existence in individual cases can be a subject of experience.

It is true that a thing is said by us to exist, even when it is absent, and therefore is not and can not be perceived. But even then, its existence is to us only another word for our conviction that we should perceive it on a certain supposition; namely, if we were in the needful circumstances of time and place, and endowed with the needful perfection of organs. My belief that the Emperor of China exists, is simply my belief that if I were transported to the imperial palace or some other locality in Pekin, I should see him. My belief that Julius Cæsar existed, is my belief that I should have seen him if I had been present in the field of Pharsalia, or in the senate-house at Rome. When I believe that stars exist beyond the utmost range of my vision, though assisted by the most powerful telescopes yet invented, my belief, philosophically expressed, is, that with still better telescopes, if such existed, I could see them, or that they may be perceived by beings less remote from them in space, or whose capacities of perception are superior to mine.

The existence, therefore, of a phenomenon, is but another word for its being perceived, or for the inferred possibility of perceiving it. When the phenomenon is within the range of present observation, by present observation we assure ourselves of its existence; when it is beyond that range, and is therefore said to be absent, we infer its existence from marks or evidences. But what can these evidences be? Other phenomena; ascertained by induction to be connected with the given phenomenon, either in the way of succession or of co-existence. The simple existence, therefore, of an individual phenomenon, when not directly perceived, is inferred from some inductive law of succession or co-existence; and is consequently not amenable to any peculiar inductive principles. We prove the existence of a thing, by proving that it is connected by succession or co-existence with some known thing.

With respect to general propositions of this class, that is, which affirm the bare fact of existence, they have a peculiarity which renders the logical treatment of them a very easy matter; they are generalizations which are sufficiently proved by a single instance. That ghosts, or unicorns, or sea-serpents exist, would be fully established if it could be ascertained positively that such things had been even once seen. Whatever has once happened, is capable of happening again; the only question relates to the conditions under which it happens.

So far, therefore, as relates to simple existence, the Inductive Logic has no knots to untie. And we may proceed to the remaining two of the great classes into which facts have been divided; Resemblance, and Order in Place.

§ 2. Resemblance and its opposite, except in the case in which they assume the names of Equality and Inequality, are seldom regarded as subjects of science; they are supposed to be perceived by simple apprehension; by merely applying our senses or directing our attention to the two objects at once, or in immediate succession. And this simultaneous, or virtually simultaneous, application of our faculties to the two things which are to be compared, does necessarily constitute the ultimate appeal, wherever such application is practicable. But, in most cases, it is not practicable: the objects can not be brought so close together that the feeling of their resemblance (at least a complete feeling of it) directly arises in the mind. We can only compare each of them with some third object, capable of being transported from one to the other. And besides, even when the objects can be brought into immediate juxtaposition, their resemblance or difference is but imperfectly known to us, unless we have compared them minutely, part by part. Until this has been done, things in reality very dissimilar often appear undistinguishably alike. Two lines of very unequal length will appear about equal when lying in different directions; but place them parallel with their farther extremities even, and if we look at the nearer extremities, their inequality becomes a matter of direct perception.

To ascertain whether, and in what, two phenomena resemble or differ, is not always, therefore, so easy a thing as it might at first appear. When the two can not be brought into juxtaposition, or not so that the observer is able to compare their several parts in detail, he must employ the indirect means of reasoning and general propositions. When we can not bring two straight lines together, to determine whether they are equal, we do it by the physical aid of a foot-rule applied first to one and then to the other, and the logical aid of the general proposition or formula, “Things which are equal to the same thing are equal to one another.” The comparison of two things through the intervention of a third thing, when their direct comparison is impossible, is the appropriate scientific process for ascertaining resemblances and dissimilarities, and is the sum total of what Logic has to teach on the subject.

An undue extension of this remark induced Locke to consider reasoning itself as nothing but the comparison of two ideas through the medium of a third, and knowledge as the perception of the agreement or disagreement of two ideas; doctrines which the Condillac school blindly adopted, without the qualifications and distinctions with which they were studiously guarded by their illustrious author. Where, indeed, the agreement or disagreement (otherwise called resemblance or dissimilarity) of any two things is the very matter to be determined, as is the case particularly in the sciences of quantity and extension; there, the process by which a solution, if not attainable by direct perception, must be indirectly sought, consists in comparing these two things through the medium of a third. But this is far from being true of all inquiries. The knowledge that bodies fall to the ground is not a perception of agreement or disagreement, but of a series of physical occurrences, a succession of sensations. Locke’s definitions of knowledge and of reasoning required to be limited to our knowledge of, and reasoning about, resemblances. Nor, even when thus restricted, are the propositions strictly correct; since the comparison is not made, as he represents, between the ideas of the two phenomena, but between the phenomena themselves. This mistake has been pointed out in an earlier part of our inquiry,(198) and we traced it to an imperfect conception of what takes place in mathematics, where very often the comparison is really made between the ideas, without any appeal to the outward senses; only, however, because in mathematics a comparison of the ideas is strictly equivalent to a comparison of the phenomena themselves. Where, as in the case of numbers, lines, and figures, our idea of an object is a complete picture of the object, so far as respects the matter in hand; we can, of course, learn from the picture, whatever could be learned from the object itself by mere contemplation of it as it exists at the particular instant when the picture is taken. No mere contemplation of gunpowder would ever teach us that a spark would make it explode, nor, consequently, would the contemplation of the idea of gunpowder do so; but the mere contemplation of a straight line shows that it can not inclose a space; accordingly the contemplation of the idea of it will show the same. What takes place in mathematics is thus no argument that the comparison is between the ideas only. It is always, either indirectly or directly, a comparison of the phenomena.

In cases in which we can not bring the phenomena to the test of direct inspection at all, or not in a manner sufficiently precise, but must judge of their resemblance by inference from other resemblances or dissimilarities more accessible to observation, we of course require, as in all cases of ratiocination, generalizations or formulæ applicable to the subject. We must reason from laws of nature; from the uniformities which are observable in the fact of likeness or unlikeness.

§ 3. Of these laws or uniformities, the most comprehensive are those supplied by mathematics; the axioms relating to equality, inequality, and proportionality, and the various theorems thereon founded. And these are the only Laws of Resemblance which require to be, or which can be, treated apart. It is true there are innumerable other theorems which affirm resemblances among phenomena; as that the angle of the reflection of light is equal to its angle of incidence (equality being merely exact resemblance in magnitude). Again, that the heavenly bodies describe equal areas in equal times; and that their periods of revolution are proportional (another species of resemblance) to the sesquiplicate powers of their distances from the centre of force. These and similar propositions affirm resemblances, of the same nature with those asserted in the theorems of mathematics; but the distinction is, that the propositions of mathematics are true of all phenomena whatever, or at least without distinction of origin; while the truths in question are affirmed only of special phenomena, which originate in a certain way; and the equalities, proportionalities, or other resemblances, which exist between such phenomena, must necessarily be either derived from, or identical with, the law of their origin—the law of causation on which they depend. The equality of the areas described in equal times by the planets, is derived from the laws of the causes; and, until its derivation was shown, it was an empirical law. The equality of the angles of reflection and incidence is identical with the law of the cause; for the cause is the incidence of a ray of light upon a reflecting surface, and the equality in question is the very law according to which that cause produces its effects. This class, therefore, of the uniformities of resemblance between phenomena, are inseparable, in fact and in thought, from the laws of the production of those phenomena; and the principles of induction applicable to them are no other than those of which we have treated in the preceding chapters of this Book.

It is otherwise with the truths of mathematics. The laws of equality and inequality between spaces, or between numbers, have no connection with laws of causation. That the angle of reflection is equal to the angle of incidence, is a statement of the mode of action of a particular cause; but that when two straight lines intersect each other the opposite angles are equal, is true of all such lines and angles, by whatever cause produced. That the squares of the periodic times of the planets are proportional to the cubes of their distances from the sun, is a uniformity derived from the laws of the causes (or forces) which produce the planetary motions; but that the square of any number is four times the square of half the number, is true independently of any cause. The only laws of resemblance, therefore, which we are called upon to consider independently of causation, belong to the province of mathematics.

§ 4. The same thing is evident with respect to the only one remaining of our five categories, Order in Place. The order in place, of the effects of a cause, is (like every thing else belonging to the effects) a consequence of the laws of that cause. The order in place, or, as we have termed it, the collocation, of the primeval causes, is (as well as their resemblance) in each instance an ultimate fact, in which no laws or uniformities are traceable. The only remaining general propositions respecting order in place, and the only ones which have nothing to do with causation, are some of the truths of geometry; laws through which we are able, from the order in place of certain points, lines, or spaces, to infer the order in place of others which are connected with the former in some known mode; quite independently of the particular nature of those points, lines, or spaces, in any other respect than position or magnitude, as well as independently of the physical cause from which in any particular case they happen to derive their origin.

It thus appears that mathematics is the only department of science into the methods of which it still remains to inquire. And there is the less necessity that this inquiry should occupy us long, as we have already, in the Second Book, made considerable progress in it. We there remarked, that the directly inductive truths of mathematics are few in number; consisting of the axioms, together with certain propositions concerning existence, tacitly involved in most of the so-called definitions. And we gave what appeared conclusive reasons for affirming that these original premises, from which the remaining truths of the science are deduced, are, notwithstanding all appearances to the contrary, results of observation and experience; founded, in short, on the evidence of the senses. That things equal to the same thing are equal to one another, and that two straight lines which have once intersected one another continue to diverge, are inductive truths; resting, indeed, like the law of universal causation, only on induction per enumerationem simplicem; on the fact that they have been perpetually perceived to be true, and never once found to be false. But, as we have seen in a recent chapter that this evidence, in the case of a law so completely universal as the law of causation, amounts to the fullest proof, so is this even more evidently true of the general propositions to which we are now adverting; because, as a perception of their truth in any individual case whatever, requires only the simple act of looking at the objects in a proper position, there never could have been in their case (what, for a long period, there were in the case of the law of causation) instances which were apparently, though not really, exceptions to them. Their infallible truth was recognized from the very dawn of speculation; and as their extreme familiarity made it impossible for the mind to conceive the objects under any other law, they were, and still are, generally considered as truths recognized by their own evidence, or by instinct.

§ 5. There is something which seems to require explanation, in the fact that the immense multitude of truths (a multitude still as far from being exhausted as ever) comprised in the mathematical sciences, can be elicited from so small a number of elementary laws. One sees not, at first, how it is that there can be room for such an infinite variety of true propositions, on subjects apparently so limited.

To begin with the science of number. The elementary or ultimate truths of this science are the common axioms concerning equality, namely, “Things which are equal to the same thing are equal to one another,” and “Equals added to equals make equal sums” (no other axioms are required),(199) together with the definitions of the various numbers. Like other so-called definitions, these are composed of two things, the explanation of a name, and the assertion of a fact; of which the latter alone can form a first principle or premise of a science. The fact asserted in the definition of a number is a physical fact. Each of the numbers two, three, four, etc., denotes physical phenomena, and connotes a physical property of those phenomena. Two, for instance, denotes all pairs of things, and twelve all dozens of things, connoting what makes them pairs, or dozens; and that which makes them so is something physical; since it can not be denied that two apples are physically distinguishable from three apples, two horses from one horse, and so forth; that they are a different visible and tangible phenomenon. I am not undertaking to say what the difference is; it is enough that there is a difference of which the senses can take cognizance. And although a hundred and two horses are not so easily distinguished from a hundred and three, as two horses are from three—though in most positions the senses do not perceive any difference—yet they may be so placed that a difference will be perceptible, or else we should never have distinguished them, and given them different names. Weight is confessedly a physical property of things; yet small differences between great weights are as imperceptible to the senses in most situations, as small differences between great numbers; and are only put in evidence by placing the two objects in a peculiar position—namely, in the opposite scales of a delicate balance.

What, then, is that which is connoted by a name of number? Of course, some property belonging to the agglomeration of things which we call by the name; and that property is, the characteristic manner in which the agglomeration is made up of, and may be separated into, parts. I will endeavor to make this more intelligible by a few explanations.

When we call a collection of objects two, three, or four, they are not two, three, or four in the abstract; they are two, three, or four things of some particular kind; pebbles, horses, inches, pounds’ weight. What the name of number connotes is, the manner in which single objects of the given kind must be put together, in order to produce that particular aggregate. If the aggregate be of pebbles, and we call it two, the name implies that, to compose the aggregate, one pebble must be joined to one pebble. If we call it three, one and one and one pebble must be brought together to produce it, or else one pebble must be joined to an aggregate of the kind called two, already existing. The aggregate which we call four, has a still greater number of characteristic modes of formation. One and one and one and one pebble may be brought together; or two aggregates of the kind called two may be united; or one pebble may be added to an aggregate of the kind called three. Every succeeding number in the ascending series, may be formed by the junction of smaller numbers in a progressively greater variety of ways. Even limiting the parts to two, the number may be formed, and consequently may be divided, in as many different ways as there are numbers smaller than itself; and, if we admit of threes, fours, etc., in a still greater variety. Other modes of arriving at the same aggregate present themselves, not by the union of smaller, but by the dismemberment of larger aggregates. Thus, three pebbles may be formed by taking away one pebble from an aggregate of four; two pebbles, by an equal division of a similar aggregate; and so on.

Every arithmetical proposition; every statement of the result of an arithmetical operation; is a statement of one of the modes of formation of a given number. It affirms that a certain aggregate might have been formed by putting together certain other aggregates, or by withdrawing certain portions of some aggregate; and that, by consequence, we might reproduce those aggregates from it, by reversing the process.

Thus, when we say that the cube of 12 is 1728, what we affirm is this: that if, having a sufficient number of pebbles or of any other objects, we put them together into the particular sort of parcels or aggregates called twelves; and put together these twelves again into similar collections; and, finally, make up twelve of these largest parcels; the aggregate thus formed will be such a one as we call 1728; namely, that which (to take the most familiar of its modes of formation) may be made by joining the parcel called a thousand pebbles, the parcel called seven hundred pebbles, the parcel called twenty pebbles, and the parcel called eight pebbles.

The converse proposition that the cube root of 1728 is 12, asserts that this large aggregate may again be decomposed into the twelve twelves of twelves of pebbles which it consists of.

The modes of formation of any number are innumerable; but when we know one mode of formation of each, all the rest may be determined deductively. If we know that a is formed from b and c, b from a and e, c from d and f, and so forth, until we have included all the numbers of any scale we choose to select (taking care that for each number the mode of formation be really a distinct one, not bringing us round again to the former numbers, but introducing a new number), we have a set of propositions from which we may reason to all the other modes of formation of those numbers from one another. Having established a chain of inductive truths connecting together all the numbers of the scale, we can ascertain the formation of any one of those numbers from any other by merely traveling from one to the other along the chain. Suppose that we know only the following modes of formation: 6=4+2, 4=7–3, 7=5+2, 5=9–4. We could determine how 6 may be formed from 9. For 6=4+2=7–3+2=5+2–3+2=9–4+2–3+2. It may therefore be formed by taking away 4 and 3, and adding 2 and 2. If we know besides that 2+2=4, we obtain 6 from 9 in a simpler mode, by merely taking away 3.

It is sufficient, therefore, to select one of the various modes of formation of each number, as a means of ascertaining all the rest. And since things which are uniform, and therefore simple, are most easily received and retained by the understanding, there is an obvious advantage in selecting a mode of formation which shall be alike for all; in fixing the connotation of names of number on one uniform principle. The mode in which our existing numerical nomenclature is contrived possesses this advantage, with the additional one, that it happily conveys to the mind two of the modes of formation of every number. Each number is considered as formed by the addition of a unit to the number next below it in magnitude, and this mode of formation is conveyed by the place which it occupies in the series. And each is also considered as formed by the addition of a number of units less than ten, and a number of aggregates each equal to one of the successive powers of ten; and this mode of its formation is expressed by its spoken name, and by its numerical character.

What renders arithmetic the type of a deductive science, is the fortunate applicability to it of a law so comprehensive as “The sums of equals are equals:” or (to express the same principle in less familiar but more characteristic language), Whatever is made up of parts, is made up of the parts of those parts. This truth, obvious to the senses in all cases which can be fairly referred to their decision, and so general as to be co-extensive with nature itself, being true of all sorts of phenomena (for all admit of being numbered), must be considered an inductive truth, or law of nature, of the highest order. And every arithmetical operation is an application of this law, or of other laws capable of being deduced from it. This is our warrant for all calculations. We believe that five and two are equal to seven, on the evidence of this inductive law, combined with the definitions of those numbers. We arrive at that conclusion (as all know who remember how they first learned it) by adding a single unit at a time: 5 + 1=6, therefore 5+1+1=6+1=7; and again 2=1+1, therefore 5+2=5+1+1=7.

§ 6. Innumerable as are the true propositions which can be formed concerning particular numbers, no adequate conception could be gained, from these alone, of the extent of the truths composing the science of number. Such propositions as we have spoken of are the least general of all numerical truths. It is true that even these are co-extensive with all nature; the properties of the number four are true of all objects that are divisible into four equal parts, and all objects are either actually or ideally so divisible. But the propositions which compose the science of algebra are true, not of a particular number, but of all numbers; not of all things under the condition of being divided in a particular way, but of all things under the condition of being divided in any way—of being designated by a number at all.

Since it is impossible for different numbers to have any of their modes of formation completely in common, it is a kind of paradox to say, that all propositions which can be made concerning numbers relate to their modes of formation from other numbers, and yet that there are propositions which are true of all numbers. But this very paradox leads to the real principle of generalization concerning the properties of numbers. Two different numbers can not be formed in the same manner from the same numbers; but they may be formed in the same manner from different numbers; as nine is formed from three by multiplying it into itself, and sixteen is formed from four by the same process. Thus there arises a classification of modes of formation, or in the language commonly used by mathematicians, a classification of Functions. Any number, considered as formed from any other number, is called a function of it; and there are as many kinds of functions as there are modes of formation. The simple functions are by no means numerous, most functions being formed by the combination of several of the operations which form simple functions, or by successive repetitions of some one of those operations. The simple functions of any number x are all reducible to the following forms: x+a, x–a, ax, x/a, log. x (to the base a), and the same expressions varied by putting x for a and a for x, wherever that substitution would alter the value: to which, perhaps, ought to be added sin x, and arc (sin=x). All other functions of x are formed by putting some one or more of the simple functions in the place of x or a, and subjecting them to the same elementary operations.

In order to carry on general reasonings on the subject of Functions, we require a nomenclature enabling us to express any two numbers by names which, without specifying what particular numbers they are, shall show what function each is of the other; or, in other words, shall put in evidence their mode of formation from one another. The system of general language called algebraical notation does this. The expressions a and a2+3a denote, the one any number, the other the number formed from it in a particular manner. The expressions a, b, n, and (a+b)n, denote any three numbers, and a fourth which is formed from them in a certain mode.

The following may be stated as the general problem of the algebraical calculus: F being a certain function of a given number, to find what function F will be of any function of that number. For example, a binomial a + b is a function of its two parts a and b, and the parts are, in their turn, functions of a + b: now (a + b)n is a certain function of the binomial; what function will this be of a and b, the two parts? The answer to this question is the binomial theorem. The formula _(a + b)__n__ = a__n__ + n/1 a__n–1__ b + n.n–1/1.2 a__n–2__ b__2_, etc., shows in what manner the number which is formed by multiplying a + b into itself n times, might be formed without that process, directly from a, b, and n. And of this nature are all the theorems of the science of number. They assert the identity of the result of different modes of formation. They affirm that some mode of formation from x, and some mode of formation from a certain function of x, produce the same number.

Such, as above described, is the aim and end of the calculus. As for its processes, every one knows that they are simply deductive. In demonstrating an algebraical theorem, or in resolving an equation, we travel from the datum to the quæsitum by pure ratiocination; in which the only premises introduced, besides the original hypotheses, are the fundamental axioms already mentioned—that things equal to the same thing are equal to one another, and that the sums of equal things are equal. At each step in the demonstration or in the calculation, we apply one or other of these truths, or truths deducible from them, as, that the differences, products, etc., of equal numbers are equal.

It would be inconsistent with the scale of this work, and not necessary to its design, to carry the analysis of the truths and processes of algebra any further; which is also the less needful, as the task has been, to a very great extent, performed by other writers. Peacock’s Algebra, and Dr. Whewell’s Doctrine of Limits, are full of instruction on the subject. The profound treatises of a truly philosophical mathematician, Professor De Morgan, should be studied by every one who desires to comprehend the evidence of mathematical truths, and the meaning of the obscurer processes of the calculus, and the speculations of M. Comte, in his Cours de Philosophie Positive, on the philosophy of the higher branches of mathematics, are among the many valuable gifts for which philosophy is indebted to that eminent thinker.

§ 7. If the extreme generality, and remoteness not so much from sense as from the visual and tactual imagination, of the laws of number, renders it a somewhat difficult effort of abstraction to conceive those laws as being in reality physical truths obtained by observation; the same difficulty does not exist with regard to the laws of extension. The facts of which those laws are expressions, are of a kind peculiarly accessible to the senses, and suggesting eminently distinct images to the fancy. That geometry is a strictly physical science would doubtless have been recognized in all ages, had it not been for the illusions produced by two circumstances. One of these is the characteristic property, already noticed, of the facts of geometry, that they may be collected from our ideas or mental pictures of objects as effectually as from the objects themselves. The other is, the demonstrative character of geometrical truths; which was at one time supposed to constitute a radical distinction between them and physical truths; the latter, as resting on merely probable evidence, being deemed essentially uncertain and unprecise. The advance of knowledge has, however, made it manifest that physical science, in its better understood branches, is quite as demonstrative as geometry. The task of deducing its details from a few comparatively simple principles is found to be any thing but the impossibility it was once supposed to be; and the notion of the superior certainty of geometry is an illusion, arising from the ancient prejudice which, in that science, mistakes the ideal data from which we reason, for a peculiar class of realities, while the corresponding ideal data of any deductive physical science are recognized as what they really are, hypotheses.

Every theorem in geometry is a law of external nature, and might have been ascertained by generalizing from observation and experiment, which in this case resolve themselves into comparison and measurement. But it was found practicable, and, being practicable, was desirable, to deduce these truths by ratiocination from a small number of general laws of nature, the certainty and universality of which are obvious to the most careless observer, and which compose the first principles and ultimate premises of the science. Among these general laws must be included the same two which we have noticed as ultimate principles of the Science of Number also, and which are applicable to every description of quantity; viz., The sums of equals are equal, and Things which are equal to the same thing are equal to one another; the latter of which may be expressed in a manner more suggestive of the inexhaustible multitude of its consequences, by the following terms: Whatever is equal to any one of a number of equal magnitudes, is equal to any other of them. To these two must be added, in geometry, a third law of equality, namely, that lines, surfaces, or solid spaces, which can be so applied to one another as to coincide, are equal. Some writers have asserted that this law of nature is a mere verbal definition; that the expression “equal magnitudes” means nothing but magnitudes which can be so applied to one another as to coincide. But in this opinion I can not agree. The equality of two geometrical magnitudes can not differ fundamentally in its nature from the equality of two weights, two degrees of heat, or two portions of duration, to none of which would this definition of equality be suitable. None of these things can be so applied to one another as to coincide, yet we perfectly understand what we mean when we call them equal. Things are equal in magnitude, as things are equal in weight, when they are felt to be exactly similar in respect of the attribute in which we compare them: and the application of the objects to each other in the one case, like the balancing them with a pair of scales in the other, is but a mode of bringing them into a position in which our senses can recognize deficiencies of exact resemblance that would otherwise escape our notice.

Along with these three general principles or axioms, the remainder of the premises of geometry consists of the so-called definitions: that is to say, propositions asserting the real existence of the various objects therein designated, together with some one property of each. In some cases more than one property is commonly assumed, but in no case is more than one necessary. It is assumed that there are such things in nature as straight lines, and that any two of them setting out from the same point, diverge more and more without limit. This assumption (which includes and goes beyond Euclid’s axiom that two straight lines can not inclose a space) is as indispensable in geometry, and as evident, resting on as simple, familiar, and universal observation, as any of the other axioms. It is also assumed that straight lines diverge from one another in different degrees; in other words, that there are such things as angles, and that they are capable of being equal or unequal. It is assumed that there is such a thing as a circle, and that all its radii are equal; such things as ellipses, and that the sums of the focal distances are equal for every point in an ellipse; such things as parallel lines, and that those lines are everywhere equally distant.(200)

§ 8. It is a matter of more than curiosity to consider, to what peculiarity of the physical truths which are the subject of geometry, it is owing that they can all be deduced from so small a number of original premises; why it is that we can set out from only one characteristic property of each kind of phenomenon, and with that and two or three general truths relating to equality, can travel from mark to mark until we obtain a vast body of derivative truths, to all appearance extremely unlike those elementary ones.

The explanation of this remarkable fact seems to lie in the following circumstances. In the first place, all questions of position and figure may be resolved into questions of magnitude. The position and figure of any object are determined by determining the position of a sufficient number of points in it; and the position of any point may be determined by the magnitude of three rectangular co-ordinates, that is, of the perpendiculars drawn from the point to three planes at right angles to one another, arbitrarily selected. By this transformation of all questions of quality into questions only of quantity, geometry is reduced to the single problem of the measurement of magnitudes, that is, the ascertainment of the equalities which exist between them. Now when we consider that by one of the general axioms, any equality, when ascertained, is proof of as many other equalities as there are other things equal to either of the two equals; and that by another of those axioms, any ascertained equality is proof of the equality of as many pairs of magnitudes as can be formed by the numerous operations which resolve themselves into the addition of the equals to themselves or to other equals; we cease to wonder that in proportion as a science is conversant about equality, it should afford a more copious supply of marks of marks; and that the sciences of number and extension, which are conversant with little else than equality, should be the most deductive of all the sciences.

There are also two or three of the principal laws of space or extension which are unusually fitted for rendering one position or magnitude a mark of another, and thereby contributing to render the science largely deductive. First, the magnitudes of inclosed spaces, whether superficial or solid, are completely determined by the magnitudes of the lines and angles which bound them. Secondly, the length of any line, whether straight or curve, is measured (certain other things being given) by the angle which it subtends, and vicè versa. Lastly, the angle which any two straight lines make with each other at an inaccessible point, is measured by the angles they severally make with any third line we choose to select. By means of these general laws, the measurement of all lines, angles, and spaces whatsoever might be accomplished by measuring a single straight line and a sufficient number of angles; which is the plan actually pursued in the trigonometrical survey of a country; and fortunate it is that this is practicable, the exact measurement of long straight lines being always difficult, and often impossible, but that of angles very easy. Three such generalizations as the foregoing afford such facilities for the indirect measurement of magnitudes (by supplying us with known lines or angles which are marks of the magnitude of unknown ones, and thereby of the spaces which they inclose), that it is easily intelligible how from a few data we can go on to ascertain the magnitude of an indefinite multitude of lines, angles, and spaces, which we could not easily, or could not at all, measure by any more direct process.

§ 9. Such are the remarks which it seems necessary to make in this place, respecting the laws of nature which are the peculiar subject of the sciences of number and extension. The immense part which those laws take in giving a deductive character to the other departments of physical science, is well known; and is not surprising, when we consider that all causes operate according to mathematical laws. The effect is always dependent on, or is a function of, the quantity of the agent; and generally of its position also. We can not, therefore, reason respecting causation, without introducing considerations of quantity and extension at every step; and if the nature of the phenomena admits of our obtaining numerical data of sufficient accuracy, the laws of quantity become the grand instrument for calculating forward to an effect, or backward to a cause. That in all other sciences, as well as in geometry, questions of quality are scarcely ever independent of questions of quantity, may be seen from the most familiar phenomena. Even when several colors are mixed on a painter’s palette, the comparative quantity of each entirely determines the color of the mixture.

With this mere suggestion of the general causes which render mathematical principles and processes so predominant in those deductive sciences which afford precise numerical data, I must, on the present occasion, content myself; referring the reader who desires a more thorough acquaintance with the subject, to the first two volumes of M. Comte’s systematic work.

In the same work, and more particularly in the third volume, are also fully discussed the limits of the applicability of mathematical principles to the improvement of other sciences. Such principles are manifestly inapplicable, where the causes on which any class of phenomena depend are so imperfectly accessible to our observation, that we can not ascertain, by a proper induction, their numerical laws; or where the causes are so numerous, and intermixed in so complex a manner with one another, that even supposing their laws known, the computation of the aggregate effect transcends the powers of the calculus as it is, or is likely to be; or, lastly, where the causes themselves are in a state of perpetual fluctuation; as in physiology, and still more, if possible, in the social science. The mathematical solutions of physical questions become progressively more difficult and imperfect, in proportion as the questions divest themselves of their abstract and hypothetical character, and approach nearer to the degree of complication actually existing in nature; insomuch that beyond the limits of astronomical phenomena, and of those most nearly analogous to them, mathematical accuracy is generally obtained “at the expense of the reality of the inquiry:” while even in astronomical questions, “notwithstanding the admirable simplicity of their mathematical elements, our feeble intelligence becomes incapable of following out effectually the logical combinations of the laws on which the phenomena are dependent, as soon as we attempt to take into simultaneous consideration more than two or three essential influences.”(201) Of this, the problem of the Three Bodies has already been cited, more than once, as a remarkable instance; the complete solution of so comparatively simple a question having vainly tried the skill of the most profound mathematicians. We may conceive, then, how chimerical would be the hope that mathematical principles could be advantageously applied to phenomena dependent on the mutual action of the innumerable minute particles of bodies, as those of chemistry, and still more, of physiology; and for similar reasons those principles remain inapplicable to the still more complex inquiries, the subjects of which are phenomena of society and government.

The value of mathematical instruction as a preparation for those more difficult investigations, consists in the applicability not of its doctrines, but of its method. Mathematics will ever remain the most perfect type of the Deductive Method in general; and the applications of mathematics to the deductive branches of physics, furnish the only school in which philosophers can effectually learn the most difficult and important portion of their art, the employment of the laws of simpler phenomena for explaining and predicting those of the more complex. These grounds are quite sufficient for deeming mathematical training an indispensable basis of real scientific education, and regarding (according to the dictum which an old but unauthentic tradition ascribes to Plato) one who is ἀγεωμέτρητος, as wanting in one of the most essential qualifications for the successful cultivation of the higher branches of philosophy.

XXV. Of The Grounds Of Disbelief

§ 1. The method of arriving at general truths, or general propositions fit to be believed, and the nature of the evidence on which they are grounded, have been discussed, as far as space and the writer’s faculties permitted, in the twenty-four preceding chapters. But the result of the examination of evidence is not always belief, nor even suspension of judgment; it is sometimes disbelief. The philosophy, therefore, of induction and experimental inquiry is incomplete, unless the grounds not only of belief, but of disbelief, are treated of; and to this topic we shall devote one, and the final, chapter.

By disbelief is not here to be understood the mere absence of belief. The ground for abstaining from belief is simply the absence or insufficiency of proof; and in considering what is sufficient evidence to support any given conclusion, we have already, by implication, considered what evidence is not sufficient for the same purpose. By disbelief is here meant, not the state of mind in which we form no opinion concerning a subject, but that in which we are fully persuaded that some opinion is not true; insomuch that if evidence, even of great apparent strength (whether grounded on the testimony of others or on our own supposed perceptions), were produced in favor of the opinion, we should believe that the witnesses spoke falsely, or that they, or we ourselves if we were the direct percipients, were mistaken.

That there are such cases, no one is likely to dispute. Assertions for which there is abundant positive evidence are often disbelieved, on account of what is called their improbability, or impossibility. And the question for consideration is what, in the present case, these words mean, and how far and in what circumstances the properties which they express are sufficient grounds for disbelief.

§ 2. It is to be remarked, in the first place, that the positive evidence produced in support of an assertion which is nevertheless rejected on the score of impossibility or improbability, is never such as amounts to full proof. It is always grounded on some approximate generalization. The fact may have been asserted by a hundred witnesses; but there are many exceptions to the universality of the generalization that what a hundred witnesses affirm is true. We may seem to ourselves to have actually seen the fact; but that we really see what we think we see, is by no means a universal truth; our organs may have been in a morbid state; or we may have inferred something, and imagined that we perceived it. The evidence, then, in the affirmative being never more than an approximate generalization, all will depend on what the evidence in the negative is. If that also rests on an approximate generalization, it is a case for comparison of probabilities. If the approximate generalizations leading to the affirmative are, when added together, less strong, or, in other words, farther from being universal, than the approximate generalizations which support the negative side of the question, the proposition is said to be improbable, and is to be disbelieved provisionally. If, however, an alleged fact be in contradiction, not to any number of approximate generalizations, but to a completed generalization grounded on a rigorous induction, it is said to be impossible, and is to be disbelieved totally.

This last principle, simple and evident as it appears, is the doctrine which, on the occasion of an attempt to apply it to the question of the credibility of miracles, excited so violent a controversy. Hume’s celebrated doctrine, that nothing is credible which is contradictory to experience, or at variance with laws of nature, is merely this very plain and harmless proposition, that whatever is contradictory to a complete induction is incredible. That such a maxim as this should either be accounted a dangerous heresy, or mistaken for a great and recondite truth, speaks ill for the state of philosophical speculation on such subjects.

But does not (it may be asked) the very statement of the proposition imply a contradiction? An alleged fact, according to this theory, is not to be believed if it contradict a complete induction. But it is essential to the completeness of an induction that it shall not contradict any known fact. Is it not, then, a petitio principii to say, that the fact ought to be disbelieved because the induction opposed to it is complete? How can we have a right to declare the induction complete, while facts, supported by credible evidence, present themselves in opposition to it?

I answer, we have that right whenever the scientific canons of induction give it to us; that is, whenever the induction can be complete. We have it, for example, in a case of causation in which there has been an experimentum crucis. If an antecedent A, superadded to a set of antecedents in all other respects unaltered, is followed by an effect B which did not exist before, A is, in that instance at least, the cause of B, or an indispensable part of its cause; and if A be tried again with many totally different sets of antecedents and B still follows, then it is the whole cause. If these observations or experiments have been repeated so often, and by so many persons, as to exclude all supposition of error in the observer, a law of nature is established; and so long as this law is received as such, the assertion that on any particular occasion A took place, and yet B did not follow, without any counteracting cause, must be disbelieved. Such an assertion is not to be credited on any less evidence than what would suffice to overturn the law. The general truths, that whatever has a beginning has a cause, and that when none but the same causes exist, the same effects follow, rest on the strongest inductive evidence possible; the proposition that things affirmed by even a crowd of respectable witnesses are true, is but an approximate generalization; and—even if we fancy we actually saw or felt the fact which is in contradiction to the law—what a human being can see is no more than a set of appearances; from which the real nature of the phenomenon is merely an inference, and in this inference approximate generalizations usually have a large share. If, therefore, we make our election to hold by the law, no quantity of evidence whatever ought to persuade us that there has occurred any thing in contradiction to it. If, indeed, the evidence produced is such that it is more likely that the set of observations and experiments on which the law rests should have been inaccurately performed or incorrectly interpreted, than that the evidence in question should be false, we may believe the evidence; but then we must abandon the law. And since the law was received on what seemed a complete induction, it can only be rejected on evidence equivalent; namely, as being inconsistent not with any number of approximate generalizations, but with some other and better established law of nature. This extreme case, of a conflict between two supposed laws of nature, has probably never actually occurred where, in the process of investigating both the laws, the true canons of scientific induction had been kept in view; but if it did occur, it must terminate in the total rejection of one of the supposed laws. It would prove that there must be a flaw in the logical process by which either one or the other was established; and if there be so, that supposed general truth is no truth at all. We can not admit a proposition as a law of nature, and yet believe a fact in real contradiction to it. We must disbelieve the alleged fact, or believe that we were mistaken in admitting the supposed law.

But in order that any alleged fact should be contradictory to a law of causation, the allegation must be, not simply that the cause existed without being followed by the effect, for that would be no uncommon occurrence; but that this happened in the absence of any adequate counteracting cause. Now in the case of an alleged miracle, the assertion is the exact opposite of this. It is, that the effect was defeated, not in the absence, but in consequence of a counteracting cause, namely, a direct interposition of an act of the will of some being who has power over nature; and in particular of a Being, whose will being assumed to have endowed all the causes with the powers by which they produce their effects, may well be supposed able to counteract them. A miracle (as was justly remarked by Brown)(202) is no contradiction to the law of cause and effect; it is a new effect, supposed to be produced by the introduction of a new cause. Of the adequacy of that cause, if present, there can be no doubt; and the only antecedent improbability which can be ascribed to the miracle, is the improbability that any such cause existed.

All, therefore, which Hume has made out, and this he must be considered to have made out, is, that (at least in the imperfect state of our knowledge of natural agencies, which leaves it always possible that some of the physical antecedents may have been hidden from us) no evidence can prove a miracle to any one who did not previously believe the existence of a being or beings with supernatural power; or who believes himself to have full proof that the character of the Being whom he recognizes is inconsistent with his having seen fit to interfere on the occasion in question.

If we do not already believe in supernatural agencies, no miracle can prove to us their existence. The miracle itself, considered merely as an extraordinary fact, may be satisfactorily certified by our senses or by testimony; but nothing can ever prove that it is a miracle; there is still another possible hypothesis, that of its being the result of some unknown natural cause; and this possibility can not be so completely shut out, as to leave no alternative but that of admitting the existence and intervention of a being superior to nature. Those, however, who already believe in such a being have two hypotheses to choose from, a supernatural and an unknown natural agency; and they have to judge which of the two is the most probable in the particular case. In forming this judgment, an important element of the question will be the conformity of the result to the laws of the supposed agent, that is, to the character of the Deity as they conceive it. But with the knowledge which we now possess of the general uniformity of the course of nature, religion, following in the wake of science, has been compelled to acknowledge the government of the universe as being on the whole carried on by general laws, and not by special interpositions. To whoever holds this belief, there is a general presumption against any supposition of divine agency not operating through general laws, or, in other words, there is an antecedent improbability in every miracle, which, in order to outweigh it, requires an extraordinary strength of antecedent probability derived from the special circumstances of the case.

§ 3. It appears from what has been said, that the assertion that a cause has been defeated of an effect which is connected with it by a completely ascertained law of causation, is to be disbelieved or not, according to the probability or improbability that there existed in the particular instance an adequate counteracting cause. To form an estimate of this, is not more difficult than of other probabilities. With regard to all known causes capable of counteracting the given causes, we have generally some previous knowledge of the frequency or rarity of their occurrence, from which we may draw an inference as to the antecedent improbability of their having been present in any particular case. And neither in respect to known nor unknown causes are we required to pronounce on the probability of their existing in nature, but only of their having existed at the time and place at which the transaction is alleged to have happened. We are seldom, therefore, without the means (when the circumstances of the case are at all known to us) of judging how far it is likely that such a cause should have existed at that time and place without manifesting its presence by some other marks, and (in the case of an unknown cause) without having hitherto manifested its existence in any other instance. According as this circumstance, or the falsity of the testimony, appears more improbable—that is, conflicts with an approximate generalization of a higher order—we believe the testimony, or disbelieve it; with a stronger or a weaker degree of conviction, according to the preponderance; at least until we have sifted the matter further.

So much, then, for the case in which the alleged fact conflicts, or appears to conflict, with a real law of causation. But a more common case, perhaps, is that of its conflicting with uniformities of mere co-existence, not proved to be dependent on causation; in other words, with the properties of Kinds. It is with these uniformities principally that the marvelous stories related by travelers are apt to be at variance; as of men with tails, or with wings, and (until confirmed by experience) of flying fish; or of ice, in the celebrated anecdote of the Dutch travelers and the King of Siam. Facts of this description, facts previously unheard of, but which could not from any known law of causation be pronounced impossible, are what Hume characterizes as not contrary to experience, but merely unconformable to it; and Bentham, in his treatise on Evidence, denominates them facts disconformable in specie, as distinguished from such as are disconformable in toto or in degree

In a case of this description, the fact asserted is the existence of a new Kind; which in itself is not in the slightest degree incredible, and only to be rejected if the improbability that any variety of object existing at the particular place and time should not have been discovered sooner, be greater than that of error or mendacity in the witnesses. Accordingly, such assertions, when made by credible persons, and of unexplored places, are not disbelieved, but at most regarded as requiring confirmation from subsequent observers; unless the alleged properties of the supposed new Kind are at variance with known properties of some larger kind which includes it; or, in other words, unless, in the new Kind which is asserted to exist, some properties are said to have been found disjoined from others which have always been known to accompany them; as in the case of Pliny’s men, or any other kind of animal of a structure different from that which has always been found to co-exist with animal life. On the mode of dealing with any such case, little needs be added to what has been said on the same topic in the twenty-second chapter.(203) When the uniformities of co-existence which the alleged fact would violate, are such as to raise a strong presumption of their being the result of causation, the fact which conflicts with them is to be disbelieved; at least provisionally, and subject to further investigation. When the presumption amounts to a virtual certainty, as in the case of the general structure of organized beings, the only question requiring consideration is whether, in phenomena so little understood, there may not be liabilities to counteraction from causes hitherto unknown; or whether the phenomena may not be capable of originating in some other way, which would produce a different set of derivative uniformities. Where (as in the case of the flying fish, or the ornithorhynchus) the generalization to which the alleged fact would be an exception is very special and of limited range, neither of the above suppositions can be deemed very improbable; and it is generally, in the case of such alleged anomalies, wise to suspend our judgment, pending the subsequent inquiries which will not fail to confirm the assertion if it be true. But when the generalization is very comprehensive, embracing a vast number and variety of observations, and covering a considerable province of the domain of nature; then, for reasons which have been fully explained, such an empirical law comes near to the certainty of an ascertained law of causation; and any alleged exception to it can not be admitted, unless on the evidence of some law of causation proved by a still more complete induction.

Such uniformities in the course of nature as do not bear marks of being the results of causation are, as we have already seen, admissible as universal truths with a degree of credence proportioned to their generality. Those which are true of all things whatever, or at least which are totally independent of the varieties of Kinds, namely, the laws of number and extension, to which we may add the law of causation itself, are probably the only ones, an exception to which is absolutely and permanently incredible. Accordingly, it is to assertions supposed to be contradictory to these laws, or to some others coming near to them in generality, that the word impossibility (at least total impossibility) seems to be generally confined. Violations of other laws, of special laws of causation, for instance, are said, by persons studious of accuracy in expression, to be impossible in the circumstances of the case; or impossible unless some cause had existed which did not exist in the particular case.(204) Of no assertion, not in contradiction to some of these very general laws, will more than improbability be asserted by any cautious person; and improbability not of the highest degree, unless the time and place in which the fact is said to have occurred, render it almost certain that the anomaly, if real, could not have been overlooked by other observers. Suspension of judgment is in all other cases the resource of the judicious inquirer; provided the testimony in favor of the anomaly presents, when well sifted, no suspicious circumstances.

But the testimony is scarcely ever found to stand that test, in cases in which the anomaly is not real. In the instances on record in which a great number of witnesses, of good reputation and scientific acquirements, have testified to the truth of something which has turned out untrue, there have almost always been circumstances which, to a keen observer who had taken due pains to sift the matter, would have rendered the testimony untrustworthy. There have generally been means of accounting for the impression on the senses or minds of the alleged percipients, by fallacious appearances; or some epidemic delusion, propagated by the contagious influence of popular feeling, has been concerned in the case; or some strong interest has been implicated—religious zeal, party feeling, vanity, or at least the passion for the marvelous, in persons strongly susceptible of it. When none of these or similar circumstances exist to account for the apparent strength of the testimony; and where the assertion is not in contradiction either to those universal laws which know no counteraction or anomaly, or to the generalizations next in comprehensiveness to them, but would only amount, if admitted, to the existence of an unknown cause or an anomalous Kind, in circumstances not so thoroughly explored but that it is credible that things hitherto unknown may still come to light; a cautious person will neither admit nor reject the testimony, but will wait for confirmation at other times and from other unconnected sources. Such ought to have been the conduct of the King of Siam when the Dutch travelers affirmed to him the existence of ice. But an ignorant person is as obstinate in his contemptuous incredulity as he is unreasonably credulous. Any thing unlike his own narrow experience he disbelieves, if it flatters no propensity; any nursery tale is swallowed implicitly by him if it does.

§ 4. I shall now advert to a very serious misapprehension of the principles of the subject, which has been committed by some of the writers against Hume’s Essay on Miracles, and by Bishop Butler before them, in their anxiety to destroy what appeared to them a formidable weapon of assault against the Christian religion; and the effect of which is entirely to confound the doctrine of the Grounds of Disbelief. The mistake consists in overlooking the distinction between (what may be called) improbability before the fact and improbability after it; or (since, as Mr. Venn remarks, the distinction of past and future is not the material circumstance) between the improbability of a mere guess being right, and the improbability of an alleged fact being true.

Many events are altogether improbable to us, before they have happened, or before we are informed of their happening, which are not in the least incredible when we are informed of them, because not contrary to any, even approximate, induction. In the cast of a perfectly fair die, the chances are five to one against throwing ace, that is, ace will be thrown on an average only once in six throws. But this is no reason against believing that ace was thrown on a given occasion, if any credible witness asserts it; since though ace is only thrown once in six times, some number which is only thrown once in six times must have been thrown if the die was thrown at all. The improbability, then, or, in other words, the unusualness, of any fact, is no reason for disbelieving it, if the nature of the case renders it certain that either that or something equally improbable, that is, equally unusual, did happen. Nor is this all; for even if the other five sides of the die were all twos, or all threes, yet as ace would still, on the average, come up once in every six throws, its coming up in a given throw would be not in any way contradictory to experience. If we disbelieved all facts which had the chances against them beforehand, we should believe hardly any thing. We are told that A. B. died yesterday; the moment before we were so told, the chances against his having died on that day may have been ten thousand to one; but since he was certain to die at some time or other, and when he died must necessarily die on some particular day, while the preponderance of chances is very great against every day in particular, experience affords no ground for discrediting any testimony which may be produced to the event’s having taken place on a given day.

Yet it has been considered by Dr. Campbell and others, as a complete answer to Hume’s doctrine (that things are incredible which are contrary to the uniform course of experience), that we do not disbelieve, merely because the chances were against them, things in strict conformity to the uniform course of experience; that we do not disbelieve an alleged fact merely because the combination of causes on which it depends occurs only once in a certain number of times. It is evident that whatever is shown by observation, or can be proved from laws of nature, to occur in a certain proportion (however small) of the whole number of possible cases, is not contrary to experience; though we are right in disbelieving it, if some other supposition respecting the matter in question involves, on the whole, a less departure from the ordinary course of events. Yet on such grounds as this have able writers been led to the extraordinary conclusion, that nothing supported by credible testimony ought ever to be disbelieved.

§ 5. We have considered two species of events, commonly said to be improbable; one kind which are in no way extraordinary, but which, having an immense preponderance of chances against them, are improbable until they are affirmed, but no longer; another kind which, being contrary to some recognized law of nature, are incredible on any amount of testimony except such as would be sufficient to shake our belief in the law itself. But between these two classes of events, there is an intermediate class, consisting of what are commonly termed Coincidences: in other words, those combinations of chances which present some peculiar and unexpected regularity, assimilating them, in so far, to the results of law. As if, for example, in a lottery of a thousand tickets, the numbers should be drawn in the exact order of what are called the natural numbers, 1, 2, 3, etc. We have still to consider the principles of evidence applicable to this case: whether there is any difference between coincidences and ordinary events, in the amount of testimony or other evidence necessary to render them credible.

It is certain that on every rational principle of expectation, a combination of this peculiar sort may be expected quite as often as any other given series of a thousand numbers; that with perfectly fair dice, sixes will be thrown twice, thrice, or any number of times in succession, quite as often in a thousand or a million throws, as any other succession of numbers fixed upon beforehand; and that no judicious player would give greater odds against the one series than against the other. Notwithstanding this, there is a general disposition to regard the one as much more improbable than the other, and as requiring much stronger evidence to make it credible. Such is the force of this impression, that it has led some thinkers to the conclusion, that nature has greater difficulty in producing regular combinations than irregular ones; or in other words, that there is some general tendency of things, some law, which prevents regular combinations from occurring, or at least from occurring so often as others. Among these thinkers may be numbered D’Alembert; who, in an Essay on Probabilities to be found in the fifth volume of his Mélanges, contends that regular combinations, though equally probable according to the mathematical theory with any others, are physically less probable. He appeals to common sense, or, in other words, to common impressions; saying, if dice thrown repeatedly in our presence gave sixes every time, should we not, before the number of throws had reached ten (not to speak of thousands of millions), be ready to affirm, with the most positive conviction, that the dice were false?

The common and natural impression is in favor of D’Alembert: the regular series would be thought much more unlikely than an irregular. But this common impression is, I apprehend, merely grounded on the fact, that scarcely any body remembers to have ever seen one of these peculiar coincidences: the reason of which is simply that no one’s experience extends to any thing like the number of trials, within which that or any other given combination of events can be expected to happen. The chance of sixes on a single throw of two dice being ¹⁄₃₆, the chance of sixes ten times in succession is 1 divided by the tenth power of 36; in other words, such a concurrence is only likely to happen once in 3,656,158,440,062,976 trials, a number which no dice-player’s experience comes up to a millionth part of. But if, instead of sixes ten times, any other given succession of ten throws had been fixed upon, it would have been exactly as unlikely that in any individual’s experience that particular succession had ever occurred; although this does not seem equally improbable, because no one would be likely to have remembered whether it had occurred or not, and because the comparison is tacitly made, not between sixes ten times and any one particular series of throws, but between all regular and all irregular successions taken together.

That (as D’Alembert says) if the succession of sixes was actually thrown before our eyes, we should ascribe it not to chance, but to unfairness in the dice, is unquestionably true. But this arises from a totally different principle. We should then be considering, not the probability of the fact in itself, but the comparative probability with which, when it is known to have happened, it may be referred to one or to another cause. The regular series is not at all less likely than the irregular one to be brought about by chance, but it is much more likely than the irregular one to be produced by design; or by some general cause operating through the structure of the dice. It is the nature of casual combinations to produce a repetition of the same event, as often and no oftener than any other series of events. But it is the nature of general causes to reproduce, in the same circumstances, always the same event. Common sense and science alike dictate that, all other things being the same, we should rather attribute the effect to a cause which if real would be very likely to produce it, than to a cause which would be very unlikely to produce it. According to Laplace’s sixth theorem, which we demonstrated in a former chapter, the difference of probability arising from the superior efficacy of the constant cause, unfairness in the dice, would after a very few throws far outweigh any antecedent probability which there could be against its existence.

D’Alembert should have put the question in another manner. He should have supposed that we had ourselves previously tried the dice, and knew by ample experience that they were fair. Another person then tries them in our absence, and assures us that he threw sixes ten times in succession. Is the assertion credible or not? Here the effect to be accounted for is not the occurrence itself, but the fact of the witness’s asserting it. This may arise either from its having really happened, or from some other cause. What we have to estimate is the comparative probability of these two suppositions.

If the witness affirmed that he had thrown any other series of numbers, supposing him to be a person of veracity, and tolerable accuracy, and to profess that he took particular notice, we should believe him. But the ten sixes are exactly as likely to have been really thrown as the other series. If, therefore, this assertion is less credible than the other, the reason must be, not that it is less likely than the other to be made truly, but that it is more likely than the other to be made falsely.

One reason obviously presents itself why what is called a coincidence, should be oftener asserted falsely than an ordinary combination. It excites wonder. It gratifies the love of the marvelous. The motives, therefore, to falsehood, one of the most frequent of which is the desire to astonish, operate more strongly in favor of this kind of assertion than of the other kind. Thus far there is evidently more reason for discrediting an alleged coincidence, than a statement in itself not more probable, but which if made would not be thought remarkable. There are cases, however, in which the presumption on this ground would be the other way. There are some witnesses who, the more extraordinary an occurrence might appear, would be the more anxious to verify it by the utmost carefulness of observation before they would venture to believe it, and still more before they would assert it to others.

§ 6. Independently, however, of any peculiar chances of mendacity arising from the nature of the assertion, Laplace contends, that merely on the general ground of the fallibility of testimony, a coincidence is not credible on the same amount of testimony on which we should be warranted in believing an ordinary combination of events. In order to do justice to his argument, it is necessary to illustrate it by the example chosen by himself.

If, says Laplace, there were one thousand tickets in a box, and one only has been drawn out, then if an eye-witness affirms that the number drawn was 79, this, though the chances were 999 in 1000 against it, is not on that account the less credible; its credibility is equal to the antecedent probability of the witness’s veracity. But if there were in the box 999 black balls and only one white, and the witness affirms that the white ball was drawn, the case according to Laplace is very different: the credibility of his assertion is but a small fraction of what it was in the former case; the reason of the difference being as follows:

The witnesses of whom we are speaking must, from the nature of the case, be of a kind whose credibility falls materially short of certainty; let us suppose, then, the credibility of the witness in the case in question to be ⁹⁄₁₀; that is, let us suppose that in every ten statements which the witness makes, nine on an average are correct, and one incorrect. Let us now suppose that there have taken place a sufficient number of drawings to exhaust all the possible combinations, the witness deposing in every one. In one case out of every ten in all these drawings he will actually have made a false announcement. But in the case of the thousand tickets these false announcements will have been distributed impartially over all the numbers, and of the 999 cases in which No. 79 was not drawn, there will have been only one case in which it was announced. On the contrary, in the case of the thousand balls (the announcement being always either “black” or “white”), if white was not drawn, and there was a false announcement, that false announcement must have been white; and since by the supposition there was a false announcement once in every ten times, white will have been announced falsely in one-tenth part of all the cases in which it was not drawn, that is, in one-tenth part of 999 cases out of every thousand. White, then, is drawn, on an average, exactly as often as No. 79, but it is announced, without having been really drawn, 999 times as often as No. 79; the announcement, therefore, requires a much greater amount of testimony to render it credible.(205)

To make this argument valid it must of course be supposed, that the announcements made by the witness are average specimens of his general veracity and accuracy; or, at least, that they are neither more nor less so in the case of the black and white balls, than in the case of the thousand tickets. This assumption, however, is not warranted. A person is far less likely to mistake, who has only one form of error to guard against, than if he had 999 different errors to avoid. For instance, in the example chosen, a messenger who might make a mistake once in ten times in reporting the number drawn in a lottery, might not err once in a thousand times if sent simply to observe whether a ball was black or white. Laplace’s argument, therefore, is faulty even as applied to his own case. Still less can that case be received as completely representing all cases of coincidence. Laplace has so contrived his example, that though black answers to 999 distinct possibilities, and white only to one, the witness has nevertheless no bias which can make him prefer black to white. The witness did not know that there were 999 black balls in the box and only one white; or if he did, Laplace has taken care to make all the 999 cases so undistinguishably alike, that there is hardly a possibility of any cause of falsehood or error operating in favor of any of them, which would not operate in the same manner if there were only one. Alter this supposition, and the whole argument falls to the ground. Let the balls, for instance, be numbered, and let the white ball be No. 79. Considered in respect of their color, there are but two things which the witness can be interested in asserting, or can have dreamed or hallucinated, or has to choose from if he answers at random, viz., black and white; but considered in respect of the numbers attached to them, there are a thousand; and if his interest or error happens to be connected with the numbers, though the only assertion he makes is about the color, the case becomes precisely assimilated to that of the thousand tickets. Or instead of the balls suppose a lottery, with 1000 tickets and but one prize, and that I hold No. 79, and being interested only in that, ask the witness not what was the number drawn, but whether it was 79 or some other. There are now only two cases, as in Laplace’s example; yet he surely would not say that if the witness answered 79, the assertion would be in an enormous proportion less credible, than if he made the same answer to the same question asked in the other way. If, for instance (to put a case supposed by Laplace himself), he has staked a large sum on one of the chances, and thinks that by announcing its occurrence he shall increase his credit; he is equally likely to have betted on any one of the 999 numbers which are attached to black balls, and so far as the chances of mendacity from this cause are concerned, there will be 999 times as many chances of his announcing black falsely as white.

Or suppose a regiment of 1000 men, 999 Englishmen and one Frenchman, and that of these one man has been killed, and it is not known which. I ask the question, and the witness answers, the Frenchman. This was not only as improbable a priori, but is in itself as singular a circumstance, as remarkable a coincidence, as the drawing of the white ball; yet we should believe the statement as readily, as if the answer had been John Thompson. Because, though the 999 Englishmen were all alike in the point in which they differed from the Frenchman, they were not, like the 999 black balls, undistinguishable in every other respect; but being all different, they admitted as many chances of interest or error, as if each man had been of a different nation; and if a lie was told or a mistake made, the misstatement was as likely to fall on any Jones or Thompson of the set, as on the Frenchman.

The example of a coincidence selected by D’Alembert, that of sixes thrown on a pair of dice ten times in succession, belongs to this sort of cases rather than to such as Laplace’s. The coincidence is here far more remarkable, because of far rarer occurrence, than the drawing of the white ball. But though the improbability of its really occurring is greater, the superior probability of its being announced falsely can not be established with the same evidence. The announcement “black” represented 999 cases, but the witness may not have known this, and if he did, the 999 cases are so exactly alike, that there is really only one set of possible causes of mendacity corresponding to the whole. The announcement “sixes not drawn ten times,” represents, and is known by the witness to represent, a great multitude of contingencies, every one of which being unlike every other, there may be a different and a fresh set of causes of mendacity corresponding to each.

It appears to me, therefore, that Laplace’s doctrine is not strictly true of any coincidences, and is wholly inapplicable to most; and that to know whether a coincidence does or does not require more evidence to render it credible than an ordinary event, we must refer, in every instance, to first principles, and estimate afresh what is the probability that the given testimony would have been delivered in that instance, supposing the fact which it asserts not to be true.

With these remarks we close the discussion of the Grounds of Disbelief; and along with it, such exposition as space admits, and as the writer has it in his power to furnish, of the Logic of Induction.

IV. OF OPERATIONS SUBSIDIARY TO INDUCTION

“Clear and distinct ideas are terms which, though familiar and frequent in men’s mouths, I have reason to think every one who uses does not perfectly understand. And possibly it is but here and there one who gives himself the trouble to consider them so far as to know what he himself or others precisely mean by them; I have, therefore, in most places, chose to put determinate or determined, instead of clear and distinct, as more likely to direct men’s thoughts to my meaning in this matter.”—LOCKE’S Essay on the Human Understanding; Epistle to the Reader.

“Il ne peut y avoir qu’une méthode parfaite, qui est la méthode naturelle; on nomme ainsi un arrangement dans lequel les êtres du même genre seraient plus voisins entre eux que ceux de tous les autres genres; les genres du même ordre, plus que ceux de tous les autres ordres; et ainsi de suite. Cette méthode est l’idéal auquel l’histoire naturelle doit tendre; car il est évident que si l’on y parvenait, l’on aurait l’expression exacte et complète de la nature entière.”—CUVIER, Règne Animal, Introduction.

“Deux grandes notions philosophiques dominent la théorie fondamentale de la méthode naturelle proprement dite, savoir la formation des groupes naturels, et ensuite leur succession hiérarchique.”—COMTE, Cours de Philosophie Positive, 42me leçon.

I. Of Observation And Description

§ 1. The inquiry which occupied us in the two preceding Books, has conducted us to what appears a satisfactory solution of the principal problem of Logic, according to the conception I have formed of the science. We have found, that the mental process with which Logic is conversant, the operation of ascertaining truths by means of evidence, is always, even when appearances point to a different theory of it, a process of induction. And we have particularized the various modes of induction, and obtained a clear view of the principles to which it must conform, in order to lead to results which can be relied on.

The consideration of Induction, however, does not end with the direct rules for its performance. Something must be said of those other operations of the mind, which are either necessarily presupposed in all induction, or are instrumental to the more difficult and complicated inductive processes. The present Book will be devoted to the consideration of these subsidiary operations; among which our attention must first be given to those, which are indispensable preliminaries to all induction whatsoever.

Induction being merely the extension to a class of cases, of something which has been observed to be true in certain individual instances of the class; the first place among the operations subsidiary to induction, is claimed by Observation. This is not, however, the place to lay down rules for making good observers; nor is it within the competence of Logic to do so, but of the art of intellectual Education. Our business with observation is only in its connection with the appropriate problem of logic, the estimation of evidence. We have to consider, not how or what to observe, but under what conditions observation is to be relied on; what is needful, in order that the fact, supposed to be observed, may safely be received as true.

§ 2. The answer to this question is very simple, at least in its first aspect. The sole condition is, that what is supposed to have been observed shall really have been observed; that it be an observation, not an inference. For in almost every act of our perceiving faculties, observation and inference are intimately blended. What we are said to observe is usually a compound result, of which one-tenth may be observation, and the remaining nine-tenths inference.

I affirm, for example, that I hear a man’s voice. This would pass, in common language, for a direct perception. All, however, which is really perception, is that I hear a sound. That the sound is a voice, and that voice the voice of a man, are not perceptions but inferences. I affirm, again, that I saw my brother at a certain hour this morning. If any proposition concerning a matter of fact would commonly be said to be known by the direct testimony of the senses, this surely would be so. The truth, however, is far otherwise. I only saw a certain colored surface; or rather I had the kind of visual sensations which are usually produced by a colored surface; and from these as marks, known to be such by previous experience, I concluded that I saw my brother. I might have had sensations precisely similar, when my brother was not there. I might have seen some other person so nearly resembling him in appearance, as, at the distance, and, with the degree of attention which I bestowed, to be mistaken for him. I might have been asleep, and have dreamed that I saw him; or in a state of nervous disorder, which brought his image before me in a waking hallucination. In all these modes, many have been led to believe that they saw persons well known to them, who were dead or far distant. If any of these suppositions had been true, the affirmation that I saw my brother would have been erroneous; but whatever was matter of direct perception, namely the visual sensations, would have been real. The inference only would have been ill grounded; I should have ascribed those sensations to a wrong cause.

Innumerable instances might be given, and analyzed in the same manner, of what are vulgarly called errors of sense. There are none of them properly errors of sense; they are erroneous inferences from sense. When I look at a candle through a multiplying glass, I see what seems a dozen candles instead of one; and if the real circumstances of the case were skillfully disguised, I might suppose that there were really that number; there would be what is called an optical deception. In the kaleidoscope there really is that deception; when I look through the instrument, instead of what is actually there, namely a casual arrangement of colored fragments, the appearance presented is that of the same combination several times repeated in symmetrical arrangement round a point. The delusion is of course effected by giving me the same sensations which I should have had if such a symmetrical combination had really been presented to me. If I cross two of my fingers, and bring any small object, a marble for instance, into contact with both, at points not usually touched simultaneously by one object, I can hardly, if my eyes are shut, help believing that there are two marbles instead of one. But it is not my touch in this case, nor my sight in the other, which is deceived; the deception, whether durable or only momentary, is in my judgment. From my senses I have only the sensations, and those are genuine. Being accustomed to have those or similar sensations when, and only when, a certain arrangement of outward objects is present to my organs, I have the habit of instantly, when I experience the sensations, inferring the existence of that state of outward things. This habit has become so powerful, that the inference, performed with the speed and certainty of an instinct, is confounded with intuitive perceptions. When it is correct, I am unconscious that it ever needed proof; even when I know it to be incorrect, I can not without considerable effort abstain from making it. In order to be aware that it is not made by instinct but by an acquired habit, I am obliged to reflect on the slow process through which I learned to judge by the eye of many things which I now appear to perceive directly by sight; and on the reverse operation performed by persons learning to draw, who with difficulty and labor divest themselves of their acquired perceptions, and learn afresh to see things as they appear to the eye.

It would be easy to prolong these illustrations, were there any need to expatiate on a topic so copiously exemplified in various popular works. From the examples already given, it is seen sufficiently, that the individual facts from which we collect our inductive generalizations are scarcely ever obtained by observation alone. Observation extends only to the sensations by which we recognize objects; but the propositions which we make use of, either in science or in common life, relate mostly to the objects themselves. In every act of what is called observation, there is at least one inference—from the sensations to the presence of the object; from the marks or diagnostics, to the entire phenomenon. And hence, among other consequences, follows the seeming paradox, that a general proposition collected from particulars is often more certainly true than any one of the particular propositions from which, by an act of induction, it was inferred. For, each of those particular (or rather singular) propositions involved an inference, from the impression on the senses to the fact which caused that impression; and this inference may have been erroneous in any one of the instances, but can not well have been erroneous in all of them, provided their number was sufficient to eliminate chance. The conclusion, therefore, that is, the general proposition, may deserve more complete reliance than it would be safe to repose in any one of the inductive premises.

The logic of observation, then, consists solely in a correct discrimination between that, in a result of observation, which has really been perceived, and that which is an inference from the perception. Whatever portion is inference, is amenable to the rules of induction already treated of, and requires no further notice here; the question for us in this place is, when all which is inference is taken away what remains? There remains, in the first place, the mind’s own feelings or states of consciousness, namely, its outward feelings or sensations, and its inward feelings—its thoughts, emotions, and volitions. Whether any thing else remains, or all else is inference from this; whether the mind is capable of directly perceiving or apprehending any thing except states of its own consciousness—is a problem of metaphysics not to be discussed in this place. But after excluding all questions on which metaphysicians differ, it remains true, that for most purposes the discrimination we are called upon practically to exercise is that between sensations or other feelings, of our own or of other people, and inferences drawn from them. And on the theory of Observation this is all which seems necessary to be said for the purposes of the present work.

§ 3. If, in the simplest observation, or in what passes for such, there is a large part which is not observation but something else; so in the simplest description of an observation, there is, and must always be, much more asserted than is contained in the perception itself. We can not describe a fact, without implying more than the fact. The perception is only of one individual thing; but to describe it is to affirm a connection between it and every other thing which is either denoted or connoted by any of the terms used. To begin with an example, than which none can be conceived more elementary: I have a sensation of sight, and I endeavor to describe it by saying that I see something white. In saying this, I do not solely affirm my sensation; I also class it. I assert a resemblance between the thing I see, and all things which I and others are accustomed to call white. I assert that it resembles them in the circumstance in which they all resemble one another, in that which is the ground of their being called by the name. This is not merely one way of describing an observation, but the only way. If I would either register my observation for my own future use, or make it known for the benefit of others, I must assert a resemblance between the fact which I have observed and something else. It is inherent in a description, to be the statement of a resemblance, or resemblances.

We thus see that it is impossible to express in words any result of observation, without performing an act possessing what Dr. Whewell considers to be characteristic of Induction. There is always something introduced which was not included in the observation itself; some conception common to the phenomenon with other phenomena to which it is compared. An observation can not be spoken of in language at all without declaring more than that one observation; without assimilating it to other phenomena already observed and classified. But this identification of an object—this recognition of it as possessing certain known characteristics—has never been confounded with Induction. It is an operation which precedes all induction, and supplies it with its materials. It is a perception of resemblances, obtained by comparison.

These resemblances are not always apprehended directly, by merely comparing the object observed with some other present object, or with our recollection of an object which is absent. They are often ascertained through intermediate marks, that is, deductively. In describing some new kind of animal, suppose me to say that it measures ten feet in length, from the forehead to the extremity of the tail. I did not ascertain this by the unassisted eye. I had a two-foot rule which I applied to the object, and, as we commonly say, measured it; an operation which was not wholly manual, but partly also mathematical, involving the two propositions, Five times two is ten, and Things which are equal to the same thing are equal to one another. Hence, the fact that the animal is ten feet long is not an immediate perception, but a conclusion from reasoning; the minor premises alone being furnished by observation of the object. Nevertheless, this is called an observation, or a description of the animal, not an induction respecting it.

To pass at once from a very simple to a very complex example: I affirm that the earth is globular. The assertion is not grounded on direct perception; for the figure of the earth can not, by us, be directly perceived, though the assertion would not be true unless circumstances could be supposed under which its truth could be so perceived. That the form of the earth is globular is inferred from certain marks, as for instance from this, that its shadow thrown upon the moon is circular; or this, that on the sea, or any extensive plain, our horizon is always a circle; either of which marks is incompatible with any other than a globular form. I assert further, that the earth is that particular kind of a globe which is termed an oblate spheroid; because it is found by measurement in the direction of the meridian, that the length on the surface of the earth which subtends a given angle at its centre, diminishes as we recede from the equator and approach the poles. But these propositions, that the earth is globular, and that it is an oblate spheroid, assert, each of them, an individual fact; in its own nature capable of being perceived by the senses when the requisite organs and the necessary position are supposed, and only not actually perceived because those organs and that position are wanting. This identification of the earth, first as a globe, and next as an oblate spheroid, which, if the fact could have been seen, would have been called a description of the figure of the earth, may without impropriety be so called when, instead of being seen, it is inferred. But we could not without impropriety call either of these assertions an induction from facts respecting the earth. They are not general propositions collected from particular facts, but particular facts deduced from general propositions. They are conclusions obtained deductively, from premises originating in induction: but of these premises some were not obtained by observation of the earth, nor had any peculiar reference to it.

If, then, the truth respecting the figure of the earth is not an induction, why should the truth respecting the figure of the earth’s orbit be so? The two cases only differ in this, that the form of the orbit was not, like the form of the earth itself, deduced by ratiocination from facts which were marks of ellipticity, but was got at by boldly guessing that the path was an ellipse, and finding afterward, on examination, that the observations were in harmony with the hypothesis. According to Dr. Whewell, however, this process of guessing and verifying our guesses is not only induction, but the whole of induction: no other exposition can be given of that logical operation. That he is wrong in the latter assertion, the whole of the preceding book has, I hope, sufficiently proved; and that the process by which the ellipticity of the planetary orbits was ascertained, is not induction at all, was attempted to be shown in the second chapter of the same Book.(206) We are now, however, prepared to go more into the heart of the matter than at that earlier period of our inquiry, and to show, not merely what the operation in question is not, but what it is.

§ 4. We observed, in the second chapter, that the proposition “the earth moves in an ellipse,” so far as it only serves for the colligation or connecting together of actual observations (that is, as it only affirms that the observed positions of the earth may be correctly represented by as many points in the circumference of an imaginary ellipse), is not an induction, but a description: it is an induction, only when it affirms that the intermediate positions, of which there has been no direct observation, would be found to correspond to the remaining points of the same elliptic circumference. Now, though this real induction is one thing, and the description another, we are in a very different condition for making the induction before we have obtained the description, and after it. For inasmuch as the description, like all other descriptions, contains the assertion of a resemblance between the phenomenon described and something else; in pointing out something which the series of observed places of a planet resembles, it points out something in which the several places themselves agree. If the series of places correspond to as many points of an ellipse, the places themselves agree in being situated in that ellipse. We have, therefore, by the same process which gave us the description, obtained the requisites for an induction by the Method of Agreement. The successive observed places of the earth being considered as effects, and its motion as the cause which produces them, we find that those effects, that is, those places, agree in the circumstance of being in an ellipse. We conclude that the remaining effects, the places which have not been observed, agree in the same circumstance, and that the law of the motion of the earth is motion in an ellipse.

The Colligation of Facts, therefore, by means of hypotheses, or, as Dr. Whewell prefers to say, by means of Conceptions, instead of being, as he supposes, Induction itself, takes its proper place among operations subsidiary to Induction. All Induction supposes that we have previously compared the requisite number of individual instances, and ascertained in what circumstances they agree. The Colligation of Facts is no other than this preliminary operation. When Kepler, after vainly endeavoring to connect the observed places of a planet by various hypotheses of circular motion, at last tried the hypotheses of an ellipse and found it answer to the phenomena; what he really attempted, first unsuccessfully and at last successfully, was to discover the circumstance in which all the observed positions of the planet agreed. And when he in like manner connected another set of observed facts, the periodic times of the different planets, by the proposition that the squares of the times are proportional to the cubes of the distances, what he did was simply to ascertain the property in which the periodic times of all the different planets agreed.

Since, therefore, all that is true and to the purpose in Dr. Whewell’s doctrine of Conceptions might be fully expressed by the more familiar term Hypothesis; and since his Colligation of Facts by means of appropriate Conceptions, is but the ordinary process of finding by a comparison of phenomena, in what consists their agreement or resemblance; I would willingly have confined myself to those better understood expressions, and persevered to the end in the same abstinence which I have hitherto observed from ideological discussions; considering the mechanism of our thoughts to be a topic distinct from and irrelevant to the principles and rules by which the trustworthiness of the results of thinking is to be estimated. Since, however, a work of such high pretensions, and, it must also be said, of so much real merit, has rested the whole theory of Induction upon such ideological considerations, it seems necessary for others who follow to claim for themselves and their doctrines whatever position may properly belong to them on the same metaphysical ground. And this is the object of the succeeding chapter.

II. Of Abstraction, Or The Formation Of Conceptions

§ 1. The metaphysical inquiry into the nature and composition of what have been called Abstract Ideas, or, in other words, of the notions which answer in the mind to classes and to general names, belongs not to Logic, but to a different science, and our purpose does not require that we should enter upon it here. We are only concerned with the universally acknowledged fact, that such notions or conceptions do exist. The mind can conceive a multitude of individual things as one assemblage or class; and general names do really suggest to us certain ideas or mental representations, otherwise we could not use the names with consciousness of a meaning. Whether the idea called up by a general name is composed of the various circumstances in which all the individuals denoted by the name agree, and of no others (which is the doctrine of Locke, Brown, and the Conceptualists); or whether it be the idea of some one of those individuals, clothed in its individualizing peculiarities, but with the accompanying knowledge that those peculiarities are not properties of the class (which is the doctrine of Berkeley, Mr. Bailey,(207) and the modern Nominalists); or whether (as held by Mr. James Mill) the idea of the class is that of a miscellaneous assemblage of individuals belonging to the class; or whether, finally, it be any one or any other of all these, according to the accidental circumstances of the case; certain it is, that some idea or mental conception is suggested by a general name, whenever we either hear it or employ it with consciousness of a meaning. And this, which we may call, if we please, a general idea, represents in our minds the whole class of things to which the name is applied. Whenever we think or reason concerning the class, we do so by means of this idea. And the voluntary power which the mind has, of attending to one part of what is present to it at any moment, and neglecting another part, enables us to keep our reasonings and conclusions respecting the class unaffected by any thing in the idea or mental image which is not really, or at least which we do not really believe to be common, to the whole class.(208)

There are, then, such things as general conceptions, or conceptions by means of which we can think generally; and when we form a set of phenomena into a class, that is, when we compare them with one another to ascertain in what they agree, some general conception is implied in this mental operation. And inasmuch as such a comparison is a necessary preliminary to Induction, it is most true that Induction could not go on without general conceptions.

§ 2. But it does not therefore follow that these general conceptions must have existed in the mind previously to the comparison. It is not a law of our intellect, that in comparing things with each other and taking note of their agreement we merely recognize as realized in the outward world something that we already had in our minds. The conception originally found its way to us as the result of such a comparison. It was obtained (in metaphysical phrase) by abstraction from individual things. These things may be things which we perceived or thought of on former occasions, but they may also be the things which we are perceiving or thinking of on the very occasion. When Kepler compared the observed places of the planet Mars, and found that they agreed in being points of an elliptic circumference, he applied a general conception which was already in his mind, having been derived from his former experience. But this is by no means universally the case. When we compare several objects and find them to agree in being white, or when we compare the various species of ruminating animals and find them to agree in being cloven-footed, we have just as much a general conception in our minds as Kepler had in his: we have the conception of “a white thing,” or the conception of “a cloven-footed animal.” But no one supposes that we necessarily bring these conceptions with us, and superinduce them (to adopt Dr. Whewell’s expression) upon the facts: because in these simple cases every body sees that the very act of comparison which ends in our connecting the facts by means of the conception, may be the source from which we derive the conception itself. If we had never seen any white object or had never seen any cloven-footed animal before, we should at the same time and by the same mental act acquire the idea, and employ it for the colligation of the observed phenomena. Kepler, on the contrary, really had to bring the idea with him, and superinduce it upon the facts; he could not evolve it out of them: if he had not already had the idea, he would not have been able to acquire it by a comparison of the planet’s positions. But this inability was a mere accident; the idea of an ellipse could have been acquired from the paths of the planets as effectually as from any thing else, if the paths had not happened to be invisible. If the planet had left a visible track, and we had been so placed that we could see it at the proper angle, we might have abstracted our original idea of an ellipse from the planetary orbit. Indeed, every conception which can be made the instrument for connecting a set of facts, might have been originally evolved from those very facts. The conception is a conception of something; and that which it is a conception of, is really in the facts, and might, under some supposable circumstances, or by some supposable extension of the faculties which we actually possess, have been detected in them. And not only is this always in itself possible, but it actually happens in almost all cases in which the obtaining of the right conception is a matter of any considerable difficulty. For if there be no new conception required; if one of those already familiar to mankind will serve the purpose, the accident of being the first to whom the right one occurs, may happen to almost any body; at least in the case of a set of phenomena which the whole scientific world are engaged in attempting to connect. The honor, in Kepler’s case, was that of the accurate, patient, and toilsome calculations by which he compared the results that followed from his different guesses, with the observations of Tycho Brahe; but the merit was very small of guessing an ellipse; the only wonder is that men had not guessed it before, nor could they have failed to do so if there had not existed an obstinate a priori prejudice that the heavenly bodies must move, if not in a circle, in some combination of circles.

The really difficult cases are those in which the conception destined to create light and order out of darkness and confusion has to be sought for among the very phenomena which it afterward serves to arrange. Why, according to Dr. Whewell himself, did the ancients fail in discovering the laws of mechanics, that is, of equilibrium and of the communication of motion? Because they had not, or at least had not clearly, the ideas or conceptions of pressure and resistance, momentum, and uniform and accelerating force. And whence could they have obtained these ideas except from the very facts of equilibrium and motion? The tardy development of several of the physical sciences, for example, of optics, electricity, magnetism, and the higher generalizations of chemistry, he ascribes to the fact that mankind had not yet possessed themselves of the Idea of Polarity, that is, the idea of opposite properties in opposite directions. But what was there to suggest such an idea, until, by a separate examination of several of these different branches of knowledge, it was shown that the facts of each of them did present, in some instances at least, the curious phenomenon of opposite properties in opposite directions? The thing was superficially manifest only in two cases, those of the magnet and of electrified bodies; and there the conception was encumbered with the circumstance of material poles, or fixed points in the body itself, in which points this opposition of properties seemed to be inherent. The first comparison and abstraction had led only to this conception of poles; and if any thing corresponding to that conception had existed in the phenomena of chemistry or optics, the difficulty now justly considered so great, would have been extremely small. The obscurity arose from the fact, that the polarities in chemistry and optics were distinct species, though of the same genus, with the polarities in electricity and magnetism; and that in order to assimilate the phenomena to one another, it was necessary to compare a polarity without poles, such for instance as is exemplified in the polarization of light, and the polarity with (apparent) poles, which we see in the magnet; and to recognize that these polarities, while different in many other respects, agree in the one character which is expressed by the phrase, opposite properties in opposite directions. From the result of such a comparison it was that the minds of scientific men formed this new general conception; between which, and the first confused feeling of an analogy between some of the phenomena of light and those of electricity and magnetism, there is a long interval, filled up by the labors and more or less sagacious suggestions of many superior minds.

The conceptions, then, which we employ for the colligation and methodization of facts, do not develop themselves from within, but are impressed upon the mind from without; they are never obtained otherwise than by way of comparison and abstraction, and, in the most important and the most numerous cases, are evolved by abstraction from the very phenomena which it is their office to colligate. I am far, however, from wishing to imply that it is not often a very difficult thing to perform this process of abstraction well, or that the success of an inductive operation does not, in many cases, principally depend on the skill with which we perform it. Bacon was quite justified in designating as one of the principal obstacles to good induction, general conceptions wrongly formed, “notiones temerè à rebus abstractæ;” to which Dr. Whewell adds, that not only does bad abstraction make bad induction, but that, in order to perform induction well, we must have abstracted well; our general conceptions must be “clear” and “appropriate” to the matter in hand.

§ 3. In attempting to show what the difficulty in this matter really is, and how it is surmounted, I must beg the reader, once for all, to bear this in mind; that although, in discussing the opinions of a different school of philosophy, I am willing to adopt their language, and to speak, therefore, of connecting facts through the instrumentality of a conception, this technical phraseology means neither more nor less than what is commonly called comparing the facts with one another and determining in what they agree. Nor has the technical expression even the advantage of being metaphysically correct. The facts are not connected, except in a merely metaphorical acceptation of the term. The ideas of the facts may become connected, that is, we may be led to think of them together; but this consequence is no more than what may be produced by any casual association. What really takes place, is, I conceive, more philosophically expressed by the common word Comparison, than by the phrases “to connect” or “to superinduce.” For, as the general conception is itself obtained by a comparison of particular phenomena, so, when obtained, the mode in which we apply it to other phenomena is again by comparison. We compare phenomena with each other to get the conception, and we then compare those and other phenomena with the conception. We get the conception of an animal (for instance) by comparing different animals, and when we afterward see a creature resembling an animal, we compare it with our general conception of an animal; and if it agrees with that general conception, we include it in the class. The conception becomes the type of comparison.

And we need only consider what comparison is, to see that where the objects are more than two, and still more when they are an indefinite number, a type of some sort is an indispensable condition of the comparison. When we have to arrange and classify a great number of objects according to their agreements and differences, we do not make a confused attempt to compare all with all. We know that two things are as much as the mind can easily attend to at a time, and we therefore fix upon one of the objects, either at hazard or because it offers in a peculiarly striking manner some important character, and, taking this as our standard, compare it with one object after another. If we find a second object which presents a remarkable agreement with the first, inducing us to class them together, the question instantly arises, in what particular circumstances do they agree? and to take notice of these circumstances is already a first stage of abstraction, giving rise to a general conception. Having advanced thus far, when we now take in hand a third object we naturally ask ourselves the question, not merely whether this third object agrees with the first, but whether it agrees with it in the same circumstances in which the second did? in other words, whether it agrees with the general conception which has been obtained by abstraction from the first and second? Thus we see the tendency of general conceptions, as soon as formed, to substitute themselves as types, for whatever individual objects previously answered that purpose in our comparisons. We may, perhaps, find that no considerable number of other objects agree with this first general conception; and that we must drop the conception, and beginning again with a different individual case, proceed by fresh comparisons to a different general conception. Sometimes, again, we find that the same conception will serve, by merely leaving out some of its circumstances; and by this higher effort of abstraction, we obtain a still more general conception; as in the case formerly referred to, the scientific world rose from the conception of poles to the general conception of opposite properties in opposite directions; or as those South-Sea islanders, whose conception of a quadruped had been abstracted from hogs (the only animals of that description which they had seen), when they afterward compared that conception with other quadrupeds, dropped some of the circumstances, and arrived at the more general conception which Europeans associate with the term.

These brief remarks contain, I believe, all that is well grounded in the doctrine, that the conception by which the mind arranges and gives unity to phenomena must be furnished by the mind itself, and that we find the right conception by a tentative process, trying first one and then another until we hit the mark. The conception is not furnished by the mind until it has been furnished to the mind; and the facts which supply it are sometimes extraneous facts, but more often the very facts which we are attempting to arrange by it. It is quite true, however, that in endeavoring to arrange the facts, at whatever point we begin, we never advance three steps without forming a general conception, more or less distinct and precise; and that this general conception becomes the clue which we instantly endeavor to trace through the rest of the facts, or rather, becomes the standard with which we thenceforth compare them. If we are not satisfied with the agreements which we discover among the phenomena by comparing them with this type, or with some still more general conception which by an additional stage of abstraction we can form from the type; we change our path, and look out for other agreements; we recommence the comparison from a different starting-point, and so generate a different set of general conceptions. This is the tentative process which Dr. Whewell speaks of; and which has not unnaturally suggested the theory, that the conception is supplied by the mind itself; since the different conceptions which the mind successively tries, it either already possessed from its previous experience, or they were supplied to it in the first stage of the corresponding act of comparison; so that, in the subsequent part of the process, the conception manifested itself as something compared with the phenomena, not evolved from them.

§ 4. If this be a correct account of the instrumentality of general conceptions in the comparison which necessarily precedes Induction, we are now able to translate into our own language what Dr. Whewell means by saying that conceptions, to be subservient to Induction, must be “clear” and “appropriate.”

If the conception corresponds to a real agreement among the phenomena; if the comparison which we have made of a set of objects has led us to class them according to real resemblances and differences; the conception which does this can not fail to be appropriate, for some purpose or other. The question of appropriateness is relative to the particular object we have in view. As soon as, by our comparison, we have ascertained some agreement, something which can be predicated in common of a number of objects; we have obtained a basis on which an inductive process is capable of being founded. But the agreements, or the ulterior consequences to which those agreements lead, may be of very different degrees of importance. If, for instance, we only compare animals according to their color, and class those together which are colored alike, we form the general conceptions of a white animal, a black animal, etc., which are conceptions legitimately formed; and if an induction were to be attempted concerning the causes of the colors of animals, this comparison would be the proper and necessary preparation for such an induction, but would not help us toward a knowledge of the laws of any other of the properties of animals; while if, with Cuvier, we compare and class them according to the structure of the skeleton, or, with Blainville, according to the nature of their outward integuments, the agreements and differences which are observable in these respects are not only of much greater importance in themselves, but are marks of agreements and differences in many other important particulars of the structure and mode of life of the animals. If, therefore, the study of their structure and habits be our object, the conceptions generated by these last comparisons are far more “appropriate” than those generated by the former. Nothing, other than this, can be meant by the appropriateness of a conception.

When Dr. Whewell says that the ancients, or the school-men, or any modern inquirers, missed discovering the real law of a phenomenon because they applied to it an inappropriate instead of an appropriate conception; he can only mean that in comparing various instances of the phenomenon, to ascertain in what those instances agreed, they missed the important points of agreement; and fastened upon such as were either imaginary, and not agreements at all, or, if real agreements, were comparatively trifling, and had no connection with the phenomenon, the law of which was sought.

Aristotle, philosophizing on the subject of motion, remarked that certain motions apparently take place spontaneously; bodies fall to the ground, flame ascends, bubbles of air rise in water, etc.; and these he called natural motions; while others not only never take place without external incitement, but even when such incitement is applied, tend spontaneously to cease; which, to distinguish them from the former, he called violent motions. Now, in comparing the so-called natural motions with one another, it appeared to Aristotle that they agreed in one circumstance, namely, that the body which moved (or seemed to move) spontaneously, was moving toward its own place; meaning thereby the place from whence it originally came, or the place where a great quantity of matter similar to itself was assembled. In the other class of motions, as when bodies are thrown up in the air, they are, on the contrary, moving from their own place. Now, this conception of a body moving toward its own place may justly be considered inappropriate; because, though it expresses a circumstance really found in some of the most familiar instances of motion apparently spontaneous, yet, first, there are many other cases of such motion, in which that circumstance is absent; the motion, for instance, of the earth and planets. Secondly, even when it is present, the motion, on closer examination, would often be seen not to be spontaneous; as, when air rises in water, it does not rise by its own nature, but is pushed up by the superior weight of the water which presses upon it. Finally, there are many cases in which the spontaneous motion takes place in the contrary direction to what the theory considers as the body’s own place; for instance, when a fog rises from a lake, or when water dries up. The agreement, therefore, which Aristotle selected as his principle of classification, did not extend to all cases of the phenomenon he wanted to study, spontaneous motion; while it did include cases of the absence of the phenomenon, cases of motion not spontaneous. The conception was hence “inappropriate.” We may add that, in the case in question, no conception would be appropriate; there is no agreement which runs through all the cases of spontaneous or apparently spontaneous motion and no others; they can not be brought under one law; it is a case of Plurality of Causes.(209)

§ 5. So much for the first of Dr. Whewell’s conditions, that conceptions must be appropriate. The second is, that they shall be “clear:” and let us consider what this implies. Unless the conception corresponds to a real agreement, it has a worse defect than that of not being clear: it is not applicable to the case at all. Among the phenomena, therefore, which we are attempting to connect by means of the conception, we must suppose that there really is an agreement, and that the conception is a conception of that agreement. In order, then, that it may be clear, the only requisite is, that we shall know exactly in what the agreement consists; that it shall have been carefully observed, and accurately remembered. We are said not to have a clear conception of the resemblance among a set of objects, when we have only a general feeling that they resemble, without having analyzed their resemblance, or perceived in what points it consists, and fixed in our memory an exact recollection of those points. This want of clearness, or, as it may be otherwise called, this vagueness in the general conception, may be owing either to our having no accurate knowledge of the objects themselves, or merely to our not having carefully compared them. Thus a person may have no clear idea of a ship because he has never seen one, or because he remembers but little, and that faintly, of what he has seen. Or he may have a perfect knowledge and remembrance of many ships of various kinds, frigates among the rest, but he may have no clear but only a confused idea of a frigate, because he has never been told, and has not compared them sufficiently to have remarked and remembered, in what particular points a frigate differs from some other kind of ship.

It is not, however, necessary, in order to have clear ideas, that we should know all the common properties of the things which we class together. That would be to have our conception of the class complete as well as clear. It is sufficient if we never class things together without knowing exactly why we do so—without having ascertained exactly what agreements we are about to include in our conception; and if, after having thus fixed our conception, we never vary from it, never include in the class any thing which has not those common properties, nor exclude from it any thing which has. A clear conception means a determinate conception; one which does not fluctuate, which is not one thing to-day and another to-morrow, but remains fixed and invariable, except when, from the progress of our knowledge, or the correction of some error, we consciously add to it or alter it. A person of clear ideas is a person who always knows in virtue of what properties his classes are constituted; what attributes are connoted by his general names.

The principal requisites, therefore, of clear conceptions, are habits of attentive observation, an extensive experience, and a memory which receives and retains an exact image of what is observed. And in proportion as any one has the habit of observing minutely and comparing carefully a particular class of phenomena, and an accurate memory for the results of the observation and comparison, so will his conceptions of that class of phenomena be clear; provided he has the indispensable habit (naturally, however, resulting from those other endowments), of never using general names without a precise connotation.

As the clearness of our conceptions chiefly depends on the carefulness and accuracy of our observing and comparing faculties, so their appropriateness, or rather the chance we have of hitting upon the appropriate conception in any case, mainly depends on the activity of the same faculties. He who by habit, grounded on sufficient natural aptitude, has acquired a readiness in accurately observing and comparing phenomena, will perceive so many more agreements, and will perceive them so much more rapidly than other people, that the chances are much greater of his perceiving, in any instance, the agreement on which the important consequences depend.

§ 6. It is of so much importance that the part of the process of investigating truth, discussed in this chapter, should be rightly understood, that I think it is desirable to restate the results we have arrived at, in a somewhat different mode of expression.

We can not ascertain general truths, that is, truths applicable to classes, unless we have formed the classes in such a manner that general truths can be affirmed of them. In the formation of any class, there is involved a conception of it as a class, that is, a conception of certain circumstances as being those which characterize the class, and distinguish the objects composing it from all other things. When we know exactly what these circumstances are, we have a clear idea (or conception) of the class, and of the meaning of the general name which designates it. The primary condition implied in having this clear idea, is that the class be really a class; that it correspond to a real distinction; that the things it includes really do agree with one another in certain particulars, and differ, in those same particulars, from all other things. A person without clear ideas is one who habitually classes together, under the same general names, things which have no common properties, or none which are not possessed also by other things; or who, if the usage of other people prevents him from actually misclassing things, is unable to state to himself the common properties in virtue of which he classes them rightly.

But is it not the sole requisite of classification that the classes should be real classes, framed by a legitimate mental process? Some modes of classing things are more valuable than others for human uses, whether of speculation or of practice; and our classifications are not well made, unless the things which they bring together not only agree with each other in something which distinguishes them from all other things, but agree with each other and differ from other things in the very circumstances which are of primary importance for the purpose (theoretical or practical) which we have in view, and which constitutes the problem before us. In other words, our conceptions, though they may be clear, are not appropriate for our purpose, unless the properties we comprise in them are those which will help us toward what we wish to understand—i.e., either those which go deepest into the nature of the things, if our object be to understand that, or those which are most closely connected with the particular property which we are endeavoring to investigate.

We can not, therefore, frame good general conceptions beforehand. That the conception we have obtained is the one we want, can only be known when we have done the work for the sake of which we wanted it; when we completely understand the general character of the phenomena, or the conditions of the particular property with which we concern ourselves. General conceptions formed without this thorough knowledge, are Bacon’s “notiones temerè à rebus abstractæ.” Yet such premature conceptions we must be continually making up, in our progress to something better. They are an impediment to the progress of knowledge, only when they are permanently acquiesced in. When it has become our habit to group things in wrong classes—in groups which either are not really classes, having no distinctive points of agreement (absence of clear ideas), or which are not classes of which any thing important to our purpose can be predicated (absence of appropriate ideas); and when, in the belief that these badly made classes are those sanctioned by nature, we refuse to exchange them for others, and can not or will not make up our general conceptions from any other elements; in that case all the evils which Bacon ascribes to his “notiones temerè abstractæ” really occur. This was what the ancients did in physics, and what the world in general does in morals and politics to the present day.

It would thus, in my view of the matter, be an inaccurate mode of expression to say, that obtaining appropriate conceptions is a condition precedent to generalization. Throughout the whole process of comparing phenomena with one another for the purpose of generalization, the mind is trying to make up a conception; but the conception which it is trying to make up is that of the really important point of agreement in the phenomena. As we obtain more knowledge of the phenomena themselves, and of the conditions on which their important properties depend, our views on this subject naturally alter; and thus we advance from a less to a more “appropriate” general conception, in the progress of our investigations.

We ought not, at the same time, to forget that the really important agreement can not always be discovered by mere comparison of the very phenomena in question, without the aid of a conception acquired elsewhere; as in the case, so often referred to, of the planetary orbits.

The search for the agreement of a set of phenomena is in truth very similar to the search for a lost or hidden object. At first we place ourselves in a sufficiently commanding position, and cast our eyes round us, and if we can see the object it is well; if not, we ask ourselves mentally what are the places in which it may be hid, in order that we may there search for it: and so on, until we imagine the place where it really is. And here too we require to have had a previous conception, or knowledge, of those different places. As in this familiar process, so in the philosophical operation which it illustrates, we first endeavor to find the lost object or recognize the common attribute, without conjecturally invoking the aid of any previously acquired conception, or, in other words, of any hypothesis. Having failed in this, we call upon our imagination for some hypothesis of a possible place, or a possible point of resemblance, and then look to see whether the facts agree with the conjecture.

For such cases something more is required than a mind accustomed to accurate observation and comparison. It must be a mind stored with general conceptions, previously acquired, of the sorts which bear affinity to the subject of the particular inquiry. And much will also depend on the natural strength and acquired culture of what has been termed the scientific imagination; on the faculty possessed of mentally arranging known elements into new combinations, such as have not yet been observed in nature, though not contradictory to any known laws.

But the variety of intellectual habits, the purposes which they serve, and the modes in which they may be fostered and cultivated, are considerations belonging to the Art of Education: a subject far wider than Logic, and which this treatise does not profess to discuss. Here, therefore, the present chapter may properly close.

III. Of Naming, As Subsidiary To Induction

§ 1. It does not belong to the present undertaking to dwell on the importance of language as a medium of human intercourse, whether for purposes of sympathy or of information. Nor does our design admit of more than a passing allusion to that great property of names, on which their functions as an intellectual instrument are, in reality, ultimately dependent; their potency as a means of forming, and of riveting, associations among our other ideas; a subject on which an able thinker(210) has thus written:

“Names are impressions of sense, and as such take the strongest hold on the mind, and of all other impressions can be most easily recalled and retained in view. They therefore serve to give a point of attachment to all the more volatile objects of thought and feeling. Impressions that when passed might be dissipated forever, are, by their connection with language, always within reach. Thoughts, of themselves, are perpetually slipping out of the field of immediate mental vision; but the name abides with us, and the utterance of it restores them in a moment. Words are the custodiers of every product of mind less impressive than themselves. All extensions of human knowledge, all new generalizations, are fixed and spread, even unintentionally, by the use of words. The child growing up learns, along with the vocables of his mother-tongue, that things which he would have believed to be different are, in important points, the same. Without any formal instruction, the language in which we grow up teaches us all the common philosophy of the age. It directs us to observe and know things which we should have overlooked; it supplies us with classifications ready made, by which things are arranged (as far as the light of by-gone generations admits) with the objects to which they bear the greatest total resemblance. The number of general names in a language, and the degree of generality of those names, afford a test of the knowledge of the era, and of the intellectual insight which is the birthright of any one born into it.”

It is not, however, of the functions of Names, considered generally, that we have here to treat, but only of the manner and degree in which they are directly instrumental to the investigation of truth; in other words, to the process of induction.

§ 2. Observation and Abstraction, the operations which formed the subject of the two foregoing chapters, are conditions indispensable to induction; there can be no induction where they are not. It has been imagined that Naming is also a condition equally indispensable. There are thinkers who have held that language is not solely, according to a phrase generally current, an instrument of thought, but the instrument; that names, or something equivalent to them, some species of artificial signs, are necessary to reasoning; that there could be no inference, and consequently no induction, without them. But if the nature of reasoning was correctly explained in the earlier part of the present work, this opinion must be held to be an exaggeration, though of an important truth. If reasoning be from particulars to particulars, and if it consist in recognizing one fact as a mark of another, or a mark of a mark of another, nothing is required to render reasoning possible, except senses and association; senses to perceive that two facts are conjoined; association, as the law by which one of those two facts raises up the idea of the other.(211) For these mental phenomena, as well as for the belief or expectation which follows, and by which we recognize as having taken place, or as about to take place, that of which we have perceived a mark, there is evidently no need of language. And this inference of one particular fact from another is a case of induction. It is of this sort of induction that brutes are capable; it is in this shape that uncultivated minds make almost all their inductions, and that we all do so in the cases in which familiar experience forces our conclusions upon us without any active process of inquiry on our part, and in which the belief or expectation follows the suggestion of the evidence with the promptitude and certainty of an instinct.(212)

§ 3. But though inference of an inductive character is possible without the use of signs, it could never, without them, be carried much beyond the very simple cases which we have just described, and which form, in all probability, the limit of the reasonings of those animals to whom conventional language is unknown. Without language, or something equivalent to it, there could only be as much reasoning from experience as can take place without the aid of general propositions. Now, though in strictness we may reason from past experience to a fresh individual case without the intermediate stage of a general proposition, yet without general propositions we should seldom remember what past experience we have had, and scarcely ever what conclusions that experience will warrant. The division of the inductive process into two parts, the first ascertaining what is a mark of the given fact, the second whether in the new case that mark exists, is natural, and scientifically indispensable. It is, indeed, in a majority of cases, rendered necessary by mere distance of time. The experience by which we are to guide our judgments may be other people’s experience, little of which can be communicated to us otherwise than by language; when it is our own, it is generally experience long past; unless, therefore, it were recorded by means of artificial signs, little of it (except in cases involving our intenser sensations or emotions, or the subjects of our daily and hourly contemplation) would be retained in the memory. It is hardly necessary to add, that when the inductive inference is of any but the most direct and obvious nature—when it requires several observations or experiments, in varying circumstances, and the comparison of one of these with another—it is impossible to proceed a step, without the artificial memory which words bestow. Without words, we should, if we had often seen A and B in immediate and obvious conjunction, expect B whenever we saw A; but to discover their conjunction when not obvious, or to determine whether it is really constant or only casual, and whether there is reason to expect it under any given change of circumstances, is a process far too complex to be performed without some contrivance to make our remembrance of our own mental operations accurate. Now, language is such a contrivance. When that instrument is called to our aid, the difficulty is reduced to that of making our remembrance of the meaning of words accurate. This being secured, whatever passes through our minds may be remembered accurately, by putting it carefully into words, and committing the words either to writing or to memory.

The function of Naming, and particularly of General Names, in Induction, may be recapitulated as follows. Every inductive inference which is good at all, is good for a whole class of cases; and, that the inference may have any better warrant of its correctness than the mere clinging together of two ideas, a process of experimentation and comparison is necessary; in which the whole class of cases must be brought to view, and some uniformity in the course of nature evolved and ascertained, since the existence of such a uniformity is required as a justification for drawing the inference in even a single case. This uniformity, therefore, may be ascertained once for all; and if, being ascertained, it can be remembered, it will serve as a formula for making, in particular cases, all such inferences as the previous experience will warrant. But we can only secure its being remembered, or give ourselves even a chance of carrying in our memory any considerable number of such uniformities, by registering them through the medium of permanent signs; which (being, from the nature of the case, signs not of an individual fact, but of a uniformity, that is, of an indefinite number of facts similar to one another) are general signs; universals; general names, and general propositions.

§ 4. And here I can not omit to notice an oversight committed by some eminent thinkers; who have said that the cause of our using general names is the infinite multitude of individual objects, which, making it impossible to have a name for each, compels us to make one name serve for many.

This is a very limited view of the function of general names. Even if there were a name for every individual object, we should require general names as much as we now do. Without them we could not express the result of a single comparison, nor record any one of the uniformities existing in nature; and should be hardly better off in respect to Induction than if we had no names at all. With none but names of individuals (or, in other words, proper names), we might, by pronouncing the name, suggest the idea of the object, but we could not assert any proposition; except the unmeaning ones formed by predicating two proper names one of another. It is only by means of general names that we can convey any information, predicate any attribute, even of an individual, much more of a class. Rigorously speaking, we could get on without any other general names than the abstract names of attributes; all our propositions might be of the form “such an individual object possesses such an attribute,” or “such an attribute is always (or never) conjoined with such another attribute.” In fact, however, mankind have always given general names to objects as well as attributes, and indeed before attributes: but the general names given to objects imply attributes, derive their whole meaning from attributes; and are chiefly useful as the language by means of which we predicate the attributes which they connote.

It remains to be considered what principles are to be adhered to in giving general names, so that these names, and the general propositions in which they fill a place, may conduce most to the purposes of Induction.