From these considerations it would appear that Deductive or Demonstrative Sciences are all, without exception, Inductive Sciences; that their evidence is that of experience; but that they are also, in virtue of the peculiar character of one indispensable portion of the general formulæ according to which their inductions are made, Hypothetical Sciences. Their conclusions are only true on certain suppositions, which are, or ought to be, approximations to the truth, but are seldom, if ever, exactly true; and to this hypothetical character is to be ascribed the peculiar certainty, which is supposed to be inherent in demonstration. What we have now asserted, however, cannot be received as universally true of Deductive or Demonstrative Sciences, until verified by being applied to the most remarkable of all those sciences, that of Numbers; the theory of the Calculus; Arithmetic and Algebra. It is harder to believe of the doctrines of this science than of any other, either that they are not truths _à priori_, but experimental truths, or that their peculiar certainty is owing to their being not absolute but only conditional truths. This, therefore, is a case which merits examination apart; and the more so, because on this subject we have a double set of doctrines to contend with; that of the _à priori_ philosophers on one side; and on the other, a theory the most opposite to theirs, which was at one time very generally received, and is still far from being altogether exploded, among metaphysicians. § 2. This theory attempts to solve the difficulty apparently inherent in the case, by representing the propositions of the science of numbers as merely verbal, and its processes as simple transformations of language, substitutions of one expression for another. The proposition, Two and one are equal to three, according to these writers, is not a truth, is not the assertion of a really existing fact, but a definition of the word three; a statement that mankind have agreed to use the name three as a sign exactly equivalent to two and one; to call by the former name whatever is called by the other more clumsy phrase. According to this doctrine, the longest process in algebra is but a succession of changes in terminology, by which equivalent expressions are substituted one for another; a series of translations of the same fact, from one into another language; though how, after such a series of translations, the fact itself comes out changed (as when we demonstrate a new geometrical theorem by algebra,) they have not explained; and it is a difficulty which is fatal to their theory.