phenomena take place according to general laws, if we had not first arrived, in the case of a great multitude of phenomena, at some knowledge of the laws themselves; which could be done no otherwise than by induction. In what sense, then, can a principle, which is so far from being our earliest induction, be regarded as our warrant for all the others? In the only sense, in which (as we have already seen) the general propositions which we place at the head of our reasonings when we throw them into syllogisms, ever really contribute to their validity. As Archbishop Whately remarks, every induction is a syllogism with the major premise suppressed; or (as I prefer expressing it) every induction may be thrown into the form of a syllogism, by supplying a major premise. If this be actually done, the principle which we are now considering, that of the uniformity of the course of nature, will appear as the ultimate major premise of all inductions, and will, therefore, stand to all inductions in the relation in which, as has been shown at so much length, the major proposition of a syllogism always stands to the conclusion; not contributing at all to prove it, but being a necessary condition of its being proved; since no conclusion is proved, for which there can not be found a true major premise.2
The statement, that the uniformity of the course of nature is the ultimate major premise in all cases of induction, may be thought to require some explanation. The immediate major premise in every inductive argument, it certainly is not. Of that, Archbishop Whately’s must be held to be the correct account. The induction, “John, Peter, etc., are mortal, therefore all mankind are mortal,” may, as he justly says, be thrown into a syllogism by prefixing as a major premise (what is at any rate a necessary condition of the validity of the argument), namely, that what is true of John, Peter, etc., is true of all mankind. But how came we by this major premise? It is not self-evident; nay, in all cases of unwarranted generalization, it is not true. How, then, is it arrived at? Necessarily either by induction or ratiocination; and if by induction, the process, like all other inductive arguments, may be thrown into the form of a syllogism. This previous syllogism it is, therefore, necessary to construct. There is, in the long run, only one possible construction. The real proof that what is true of John, Peter, etc., is true of all mankind, can only be, that a different supposition would be inconsistent with the uniformity which we know to exist in the course of nature. Whether there would be this inconsistency or not, may be a matter of long and delicate inquiry; but unless there would, we have no sufficient ground for the major of the inductive syllogism. It hence appears, that if we throw the whole course of any inductive argument into a series of syllogisms, we shall arrive by more or fewer steps at an ultimate syllogism, which will have for its major premise the principle, or axiom, of the uniformity of the course of nature.3
It was not to be expected that in the case of this axiom, any more than of other axioms, there should be unanimity among thinkers with respect to the grounds on which it is to be received as true. I have already stated that I regard it as itself a generalization from experience. Others hold it to be a principle which, antecedently to any verification by experience, we [pg 226] are compelled by the constitution of our thinking faculty to assume as true. Having so recently, and at so much length, combated a similar doctrine as applied to the axioms of mathematics, by arguments which are in a great measure applicable to the present case, I shall defer the more particular discussion of this controverted point in regard to the fundamental axiom of induction, until a more advanced period of our inquiry.4 At present it is of more importance to understand thoroughly the import of the axiom itself. For the proposition, that the course of nature is uniform, possesses rather the brevity suitable to popular, than the precision requisite in philosophical language: its terms require to be explained, and a stricter than their ordinary signification given to them, before the truth of the assertion can be admitted.