suitable to a very limited portion even of our deductive processes. In our reasonings respecting numbers, the only general principles which we ever have occasion to introduce are these, Things which are equal to the same thing are equal to one another, and The sums or differences of equal things are equal; with their various corollaries. Not only can no hesitation ever arise respecting the applicability of these principles, since they are true of all magnitudes whatever; but every possible application of which they are susceptible, may be reduced to a technical rule; and such, in fact, the rules of the calculus are. But if the symbols represent any other things than mere numbers, let us say even straight or curve lines, we have then to apply theorems of geometry not true of all lines without exception, and to select those which are true of the lines we are reasoning about. And how can we do this unless we keep completely in mind what particular lines these are? Since additional geometrical truths may be introduced into the ratiocination in any stage of its progress, we can not suffer ourselves, during even the smallest part of it, to use the names mechanically (as we use algebraical symbols) without an image annexed to them. It is only after ascertaining that the solution of a question concerning lines can be made to depend on a previous question concerning numbers, or, in other words, after the question has been (to speak technically) reduced to an equation, that the unmeaning signs become available, and that the nature of the facts themselves to which the investigation [pg 496] relates can be dismissed from the mind. Up to the establishment of the equation, the language in which mathematicians carry on their reasoning does not differ in character from that employed by close reasoners on any other kind of subject.
I do not deny that every correct ratiocination, when thrown into the syllogistic shape, is conclusive from the mere form of the expression, provided none of the terms used be ambiguous; and this is one of the circumstances which have led some writers to think that if all names were so judiciously constructed and so carefully defined as not to admit of any ambiguity, the improvement thus made in language would not only give to the conclusions of every deductive science the same certainty with those