A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

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; [pg 409] 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 [pg 410] 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 [pg 411] 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 [pg 412] 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.