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 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 of mathematics, but would reduce all reasonings to the application of a technical form, and enable their conclusiveness to be rationally assented to after a merely mechanical process, as is undoubtedly the case in algebra. But, if we except geometry, the conclusions of which are already as certain and exact as they can be made, there is no science but that of number, in which the practical validity of a reasoning can be apparent to any person who has looked only at the reasoning itself. Whoever has assented to what was said in the last Book concerning the case of the Composition of Causes, and the still stronger case of the entire supersession of one set of laws by another, is aware that geometry and algebra are the only sciences of which the propositions are categorically true; the general propositions of all other sciences are true only hypothetically, supposing that no counteracting cause happens to interfere. A conclusion, therefore, however correctly deduced, in point of form, from admitted laws of nature, will have no other than an hypothetical certainty. At every step we must assure ourselves that no other law of nature has superseded, or intermingled its operation with, those which are the premises of the reasoning; and how can this be done by merely looking at the words? We must not only be constantly thinking of the phenomena themselves, but we must be constantly studying them; making ourselves acquainted with the peculiarities of every case to which we attempt to apply our general principles.

The algebraic notation, considered as a philosophical language, is perfect in its adaptation to the subjects for which it is commonly employed, namely those of which the investigations have already been reduced to the ascertainment of a relation between numbers. But, admirable as it is for its own purpose, the properties by which it is rendered such are so far from constituting it the ideal model of philosophical language in general, that the more nearly the language of any other branch of science approaches to it, the less fit that language is for its own proper functions. On all other subjects, instead of contrivances to prevent our attention from being distracted by thinking of the meaning of our signs, we ought to wish for contrivances to make it impossible that we should ever lose sight of that meaning even for an instant.

With this view, as much meaning as possible should be thrown into the formation of the word itself; the aids of derivation and analogy being made available to keep alive a consciousness of all that is signified by it. In this respect those languages have an immense advantage which form their compounds and derivatives from native roots, like the German, and not from those of a foreign or dead language, as is so much the case with English, French, and Italian; and the best are those which form them according to fixed analogies, corresponding to the relations between the ideas to be expressed. All languages do this more or less, but especially, among modern [pg 497] European languages, the German; while even that is inferior to the Greek, in which the relation between the meaning of a derivative word and that of its primitive is in general clearly marked by its mode of formation, except in the case of words compounded with prepositions, which are often, in both those languages, extremely anomalous.

But all that can be done, by the mode of constructing words, to prevent them from degenerating into sounds passing through the mind without any distinct apprehension of what they signify, is far too little for the necessity of the case. Words, however well constructed originally, are always tending, like coins, to have their inscription worn off by passing from hand to hand; and the only possible mode of reviving it is to be ever stamping it afresh, by living in the habitual contemplation of the phenomena themselves, and not resting in our familiarity with the words that express them. If any one, having possessed himself of the laws of phenomena as recorded in words, whether delivered to him originally by others, or even found out by himself, is content from thenceforth to live among these formulæ, to think exclusively of them, and of applying them to cases as they arise, without keeping up his acquaintance with the realities from which these laws were collected—not only will he continually fail in his practical efforts, because he will apply his formulæ without duly considering whether, in this case and in that, other laws of nature do not modify or supersede them; but the formulæ themselves will progressively lose their meaning to him, and he will cease at last even to be capable of recognizing with certainty whether a case falls within the contemplation of his formula or not. It is, in short, as necessary, on all subjects not mathematical, that the things on which we reason should be conceived by us in the concrete, and “clothed in circumstances,” as it is in algebra that we should keep all individualizing peculiarities sedulously out of view.

With this remark we close our observations on the Philosophy of Language.

Chapter VII.

Of Classification, As Subsidiary To Induction.