In this example we may go farther, and say, it is not only the invariable antecedent but the cause; or at least the proximate event which completes the cause. For in this case we are able, after detecting the antecedent A, to produce it artificially, and by finding that a follows it, verify the result of our induction. The importance of thus reversing the proof was strikingly manifested when by keeping a phial of water charged with siliceous particles undisturbed for years, a chemist (I believe Dr. Wollaston) succeeded in obtaining crystals of quartz: and in the equally interesting experiment in which Sir James Hall produced artificial marble, by the cooling of its materials from fusion under immense pressure: two admirable examples of the light which may be thrown upon the most secret processes of nature by well-contrived interrogation of her.

But if we cannot artificially produce the phenomenon A, the conclusion that it is the cause of a remains subject to very considerable doubt. Though an invariable, it may not be the unconditional antecedent of a, but may precede it as day precedes night or night day. This uncertainty arises from the impossibility of assuring ourselves that A is the only immediate antecedent common to both the instances. If we could be certain of having ascertained all the invariable antecedents, we might be sure that the unconditional invariable antecedent, or cause, must be found somewhere among them. Unfortunately it is hardly ever possible to ascertain all the antecedents, unless the phenomenon is one which we can produce artificially. Even then, the difficulty is merely lightened, not removed: men knew how to raise water in pumps long before they adverted to what was really the operating circumstance in the means they employed, namely, the pressure of the atmosphere on the open surface of the water. It is, however, much easier to analyse completely a set of arrangements made by ourselves, than the whole complex mass of the agencies which nature happens to be exerting at the moment of the production of a given phenomenon. We may overlook some of the material circumstances in an experiment with an electrical machine; but we shall, at the worst, be better acquainted with them than with those of a thunder-storm.

The mode of discovering and proving laws of nature, which we have now examined, proceeds on the following axiom: Whatever circumstances can be excluded, without prejudice to the phenomenon, or can be absent notwithstanding its presence, is not connected with it in the way of causation. The casual circumstances being thus eliminated, if only one remains, that one is the cause which we are in search of: if more than one, they either are, or contain among them, the cause; and so, mutatis mutandis, of the effect. As this method proceeds by comparing different instances to ascertain in what they agree, I have termed it the Method of Agreement: and we may adopt as its regulating principle the following canon:—

First Canon.

If two or more instances of the phenomenon under investigation have only one circumstance in common, the circumstance in which alone all the instances agree, is the cause (or effect) of the given phenomenon.

Quitting for the present the Method of Agreement, to which we shall almost immediately return, we proceed to a still more potent instrument of the investigation of nature, the Method of Difference.

[§ 2.] In the Method of Agreement, we endeavoured to obtain instances which agreed in the given circumstance but differed in every other: in the present method we require, on the contrary, two instances resembling one another in every other respect, but differing in the presence or absence of the phenomenon we wish to study. If our object be to discover the effects of an agent A, we must procure A in some set of ascertained circumstances, as A B C, and having noted the effects produced, compare them with the effect of the remaining circumstances B C, when A is absent. If the effect of A B C is a b c, and the effect of B C, b c, it is evident that the effect of A is a. So again, if we begin at the other end, and desire to investigate the cause of an effect a, we must select an instance, as a b c, in which the effect occurs, and in which the antecedents were A B C, and we must look out for another instance in which the remaining circumstances, b c, occur without a. If the antecedents, in that instance, are B C, we know that the cause of a must be A: either A alone, or A in conjunction with some of the other circumstances present.

It is scarcely necessary to give examples of a logical process to which we owe almost all the inductive conclusions we draw in daily life. When a man is shot through the heart, it is by this method we know that it was the gun-shot which killed him: for he was in the fulness of life immediately before, all circumstances being the same, except the wound.

The axioms implied in this method are evidently the following. Whatever antecedent cannot be excluded without preventing the phenomenon, is the cause, or a condition, of that phenomenon: Whatever consequent can be excluded, with no other difference in the antecedents than the absence of a particular one, is the effect of that one. Instead of comparing different instances of a phenomenon, to discover in what they agree, this method compares an instance of its occurrence with an instance of its non-occurrence, to discover in what they differ. The canon which is the regulating principle of the Method of Difference may be expressed as follows:

Second Canon.