SigPhi · John Stuart Mill

A System of Logic, Ratiocinative and Inductive

Page 39 of 70

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) Chapter 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