Whenever the nature of the subject permits our reasoning processes to be, without danger, carried on mechanically, the language should be constructed on as mechanical principles as possible; while, in the contrary case, it should be so constructed that there shall be the greatest possible obstacles to a merely mechanical use of it.
I am aware that this maxim requires much explanation, which I shall at once proceed to give. At first, as to what is meant by using a language mechanically. The complete or extreme case of the mechanical use of language, is when it is used without any consciousness of a meaning, and with only the consciousness of using certain visible or audible marks in conformity to technical rules previously laid down. This extreme case is nowhere realized except in the figures of arithmetic, and still more the symbols of algebra, a language unique in its kind, and approaching as nearly to perfection, for the purposes to which it is destined, as can, perhaps, be said of any creation of the human mind. Its perfection consists in the completeness of its adaptation to a purely mechanical use. The symbols are mere counters, without even the semblance of a meaning apart from the convention which is renewed each time they are employed, and which is altered at each renewal, the same symbol a or x being used on different occasions to represent things which (except that, like all things, they are susceptible of being numbered) have no property in common. There is nothing, therefore, to distract the mind from the set of mechanical operations which are to be performed upon the symbols, such as squaring both sides [pg 495] of the equation, multiplying or dividing them by the same or by equivalent symbols, and so forth. Each of these operations, it is true, corresponds to a syllogism; represents one step of a ratiocination relating not to the symbols, but to the things signified by them. But as it has been found practicable to frame a technical form, by conforming to which we can make sure of finding the conclusion of the ratiocination, our end can be completely attained without our ever thinking of any thing but the symbols. Being thus intended to work merely as mechanism, they have the qualities which mechanism ought to have. They are of the least possible bulk, so that they take up scarcely any room, and waste no time in their manipulation; they are compact, and fit so closely together that the eye can take in the whole at once of almost every operation which they are employed to perform.
These admirable properties of the symbolical language of mathematics have made so strong an impression on the minds of many thinkers, as to have led them to consider the symbolical language in question as the ideal type of philosophical language generally; to think that names in general, or (as they are fond of calling them) signs, are fitted for the purposes of thought in proportion as they can be made to approximate to the compactness, the entire unmeaningness, and the capability of being used as counters without a thought of what they represent, which are characteristic of the a and b, the x and y, of algebra. This notion has led to sanguine views of the acceleration of the progress of science by means which, I conceive, can not possibly conduce to that end, and forms part of that exaggerated estimate of the influence of signs, which has contributed in no small degree to prevent the real laws of our intellectual operations from being rightly understood.
In the first place, a set of signs by which we reason without consciousness of their meaning, can be serviceable, at most, only in our deductive operations. In our direct inductions we can not for a moment dispense with a distinct mental image of the phenomena, since the whole operation turns on a perception of the particulars in which those phenomena agree and differ. But, further, this reasoning by counters is only