A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

The progress of experience, therefore, has dissipated the doubt which must have rested on the universality of the law of causation while there were phenomena which seemed to be sui generis, not subject to the same laws with any other class of phenomena, and not as yet ascertained to have peculiar laws of their own. This great generalization, however, might reasonably have been, as it in fact was, acted on as a probability of the highest order, before there were sufficient grounds for receiving it as a certainty. In matters of evidence, as in all other human things, we neither require, nor can attain, the absolute. We must hold even our strongest convictions with an opening left in our minds for the reception of facts which contradict them; and only when we have taken this precaution, have we earned the right to act upon our convictions with complete confidence when no such contradiction appears. Whatever has been found true in innumerable instances, and never found to be false after due examination in any, we are safe in acting on as universal provisionally, until an undoubted exception appears; provided the nature of the case be such that a real exception could scarcely have escaped notice. When every phenomenon that we ever knew sufficiently well to be able to answer the question, had a cause on which it was invariably consequent, it was more rational to suppose that our inability to assign the causes of other phenomena arose from our ignorance, than that there were phenomena which were uncaused, and which happened to be exactly those which we had hitherto had no sufficient opportunity of studying.

It must, at the same time, be remarked, that the reasons for this reliance do not hold in circumstances unknown to us, and beyond the possible range of our experience. In distant parts of the stellar regions, where the phenomena may be entirely unlike those with which we are acquainted, it would be folly to affirm confidently that this general law prevails, any more than those special ones which we have found to hold universally on our own planet. The uniformity in the succession of events, otherwise called the law of causation, must be received not as a law of the universe, but of that portion of it only which is within the range of our means of sure observation, with a reasonable degree of extension to adjacent cases. To extend it further is to make a supposition without evidence, and to which, in the absence of any ground from experience for estimating its degree of probability, it would be idle to attempt to assign any.[188]

Chapter 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, [pg 407] 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 [pg 408] 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.