to know at once that the general law is that of geometrical progression; I need no successive trial of various hypotheses, because I am familiar with the series, and have long since learnt from what general formula it proceeds. In the same way a mathematician becomes acquainted with the integrals of a number of common formulas, so that he need not go through any process of discovery. But it is none the less true that whenever previous reasoning does not furnish the knowledge, hypotheses must be framed and tried (p. [124]).

There naturally arise two cases, according as the nature of the subject admits of certain or only probable deductive reasoning. Certainty, indeed, is but a singular case of probability, and the general principles of procedure are always the same. Nevertheless, when certainty of inference is possible, the process is simplified. Of several mutually inconsistent hypotheses, the results of which can be certainly compared with fact, but one hypothesis can ultimately be entertained. Thus in the inverse logical problem, two logically distinct conditions could not yield the same series of possible combinations. Accordingly, in the case of two terms we had to choose one of six different kinds of propositions (p. [136]), and in the case of three terms, our choice lay among 192 possible distinct hypotheses (p. [140]). Natural laws, however, are often quantitative in character, and the possible hypotheses are then infinite in variety.

When deduction is certain, comparison with fact is needed only to assure ourselves that we have rightly selected the hypothetical conditions. The law establishes itself, and no number of particular verifications can add to its probability. Having once deduced from the principles of algebra that the difference of the squares of two numbers is equal to the product of their sum and difference, no number of particular trials of its truth will render it more certain. On the other hand, no finite number of particular verifications of a supposed law will render that law certain. In short, certainty belongs only to the deductive process, and to the teachings of direct intuition; and as the conditions of nature are not given by intuition, we can only be certain that we have got a correct hypothesis when, out of a limited number conceivably possible, we select that one which alone agrees with the facts to be explained.

In geometry and kindred branches of mathematics, deductive reasoning is conspicuously certain, and it would often seem as if the consideration of a single diagram yields us certain knowledge of a general proposition. But in reality all this certainty is of a purely hypothetical character. Doubtless if we could ascertain that a supposed circle was a true and perfect circle, we could be certain concerning a multitude of its geometrical properties. But geometrical figures are physical objects, and the senses can never assure us as to their exact forms. The figures really treated in Euclid’s Elements are imaginary, and we never can verify in practice the conclusions which we draw with certainty in inference; questions of degree and probability enter.

Passing now to subjects in which deduction is only probable, it ceases to be possible to adopt one hypothesis to the exclusion of the others. We must entertain at the same time all conceivable hypotheses, and regard each with the degree of esteem proportionate to its probability. We go through the same steps as before.

(1) We frame an hypothesis.

(2) We deduce the probability of various series of possible consequences.

(3) We compare the consequences with the particular facts, and observe the probability that such facts would happen under the hypothesis.

The above processes must be performed for every conceivable hypothesis, and then the absolute probability of each will be yielded by the principle of the inverse method (p. [242]). As in the case of certainty we accept that hypothesis which certainly gives the required results, so now we accept as most probable that hypothesis which most probably gives the results; but we are obliged to entertain at the same time all other hypotheses with degrees of probability proportionate to the probabilities that they would give the same results.

So far we have treated only of the process by which we pass from special facts to general laws, that inverse application of deduction which constitutes induction. But the direct employment of deduction is often combined with the inverse. No sooner have we established a general law, than the mind rapidly draws particular consequences from it. In geometry we may almost seem to infer that because one equilateral triangle is equiangular, therefore another is so. In reality it is not because one is that another is, but because all are. The geometrical conditions are perfectly general, and by what is sometimes called parity of reasoning whatever is true of one equilateral triangle, so far as it is equilateral, is true of all equilateral triangles.