A System of Logic

Excerpt: ...as well for representatives of Things in general, as any more complex and apparently more concrete conception. That we are conscious of them however in their character of things, and not of mere signs, is evident from the fact that our whole process of reasoning is carried on by predicating of them the properties of things. In resolving an algebraic equation, by what rules do we proceed? By applying at each step to a, b, and x, the proposition that equals added to equals make equals; that equals taken from equals leave equals; and other propositions founded on these two. These are not properties of language, or of signs as such, but of magnitudes, which is as much as to say, of all things. The inferences, therefore, which are successively drawn, are inferences concerning things, not symbols; though as any Things whatever will serve the turn, there is no necessity for keeping the idea of the Thing at all distinct, and consequently the process of thought may, in this case, be allowed without danger to do what all processes of thought, when they have been performed often, will do if permitted, namely, to become entirely mechanical. Hence the general language of algebra comes to be used familiarly without Pg 287 exciting ideas, as all other general language is prone to do from mere habit, though in no other case than this can it be done with complete safety. But when we look back to see from whence the probative force of the process is derived, we find that at every single step, unless we suppose ourselves to be thinking and talking of the things, and not the mere symbols, the evidence fails. There is another circumstance, which, still more than that which we have now mentioned, gives plausibility to the notion that the propositions of arithmetic and algebra are merely verbal. That is, that when considered as propositions respecting Things, they all have the appearance of being identical propositions. The assertion, Two and one are equal to three, ..