produced. That the squares of the periodic times of the planets are proportional to the cubes of their distances from the sun, is a uniformity derived from the laws of the causes (or forces) which produce the planetary motions; but that the square of any number is four times the square of half the number, is true independently of any cause. The only laws of resemblance, therefore, which we are called upon to consider independently of causation, belong to the province of mathematics.
§ 4. The same thing is evident with respect to the only one remaining of our five categories, Order in Place. The order in place, of the effects of a cause, is (like every thing else belonging to the effects) a consequence of the laws of that cause. The order in place, or, as we have termed it, the collocation, of the primeval causes, is (as well as their resemblance) in each instance an ultimate fact, in which no laws or uniformities are traceable. The only remaining general propositions respecting order in place, and the only ones which have nothing to do with causation, are some of the truths of geometry; laws through which we are able, from the order in place of certain points, lines, or spaces, to infer the order in place of others which are connected with the former in some known mode; quite independently of the particular nature of those points, lines, or spaces, in any other respect than position or magnitude, as well as independently of the physical cause from which in any particular case they happen to derive their origin.
It thus appears that mathematics is the only department of science into the methods of which it still remains to inquire. And there is the less necessity that this inquiry should occupy us long, as we have already, in the Second Book, made considerable progress in it. We there remarked, that the directly inductive truths of mathematics are few in number; consisting of the axioms, together with certain propositions concerning existence, tacitly involved in most of the so-called definitions. And we gave what appeared conclusive reasons for affirming that these original premises, from which the remaining truths of the science are deduced, are, notwithstanding all appearances to the contrary, results of observation and experience; founded, in short, on the evidence of the senses. That things equal to the same thing are equal to one another, and that two straight lines which have once intersected one another continue to diverge, are inductive truths; resting, indeed, like the law of universal causation, only on induction per enumerationem simplicem; on the fact that they have been perpetually perceived to be true, and never once found to be false. But, as we have seen in a recent chapter that this evidence, in the case of a law so completely universal as the law of causation, amounts to the fullest proof, so is this even more evidently true of the general propositions to which we are now adverting; because, as a perception of their truth in any individual case whatever, requires only the simple act of looking at the objects in a proper position, there never could have been in their case (what, for a long period, there were in the case of the law of causation) instances which were apparently, though not really, exceptions to them. Their infallible truth was recognized from the very dawn of speculation; and as their extreme familiarity made it impossible for the mind to conceive the objects under any other law, they were, and still are, generally considered as truths recognized by their own evidence, or by instinct.
§ 5. There is something which seems to require explanation, in the fact that the immense multitude of truths (a multitude still as far from being exhausted as ever) comprised in the mathematical sciences, can be elicited from so small a number of elementary laws. One sees not, at first, how it is that there can be room for such an infinite variety of true propositions, on subjects apparently so limited.
To begin with the science of number. The elementary or ultimate truths of this science are the common axioms concerning equality, namely, “Things which are equal to the same thing are equal to one another,” and “Equals added to equals make equal sums” (no other axioms are required),3 together with the definitions