A System of Logic: Ratiocinative and Inductive, 7th Edition, Vol. II

by John Stuart Mill

A nomenclature may be defined, the collection of the names of all the Kinds with which any branch of knowledge is conversant; or more properly, of all the lowest Kinds, or infimæ species—those which may be subdivided indeed, but not into Kinds, and which generally accord with what in natural history are termed simply species. Science possesses two splendid examples of a systematic nomenclature; that of plants and animals, constructed by Linnæus and his successors, and that of chemistry, which we owe to the illustrious group of chemists who flourished in France towards the close of the eighteenth century. In these two departments, not only has every known species, or lowest Kind, a name assigned to it, but when new lowest Kinds are discovered, names are at once given to them on an uniform principle. In other sciences the nomenclature is not at present constructed on any system, either because the species to be named are not numerous enough to require one, (as in geometry for example,) or because no one has yet suggested a suitable principle for such a system, as in mineralogy; in which the want of a scientifically constructed nomenclature is now the principal cause which retards the progress of the science.

[§ 5.] A word which carries on its face that it belongs to a nomenclature, seems at first sight to differ from other concrete general names in this—that its meaning does not reside in its connotation, in the attributes implied in it, but in its denotation, that is, in the particular group of things which it is appointed to designate; and cannot, therefore, be unfolded by means of a definition, but must be made known in another way. This opinion, however, appears to me erroneous. Words belonging to a nomenclature differ, I conceive, from other words mainly in this, that besides the ordinary connotation, they have a peculiar one of their own: besides connoting certain attributes, they also connote that those attributes are distinctive of a Kind. The term "peroxide of iron," for example, belonging by its form to the systematic nomenclature of chemistry, bears on its face that it is the name of a peculiar Kind of substance. It moreover connotes, like the name of any other class, some portion of the properties common to the class; in this instance the property of being a compound of iron and the largest dose of oxygen with which iron will combine. These two things, the fact of being such a compound, and the fact of being a Kind, constitute the connotation of the name peroxide of iron. When we say of the substance before us, that it is the peroxide of iron, we thereby assert, first, that it is a compound of iron and a maximum of oxygen, and next, that the substance so composed is a peculiar Kind of substance.

Now, this second part of the connotation of any word belonging to a nomenclature is as essential a portion of its meaning as the first part, while the definition only declares the first: and hence the appearance that the signification of such terms cannot be conveyed by a definition: which appearance, however, is fallacious. The name Viola odorata denotes a Kind, of which a certain number of characters, sufficient to distinguish it, are enunciated in botanical works. This enumeration of characters is surely, as in other cases, a definition of the name. No, say some, it is not a definition, for the name Viola odorata does not mean those characters; it means that particular group of plants, and the characters are selected from among a much greater number, merely as marks by which to recognise the group. But to this I reply, that the name does not mean that group, for it would be applied to that group no longer than while the group is believed to be an infima species; if it were to be discovered that several distinct Kinds have been confounded under this one name, no one would any longer apply the name Viola odorata to the whole of the group, but would apply it, if retained at all, to one only of the Kinds contained therein. What is imperative, therefore, is not that the name shall denote one particular collection of objects, but that it shall denote a Kind, and a lowest Kind. The form of the name declares that, happen what will, it is to denote an infima species; and that, therefore, the properties which it connotes, and which are expressed in the definition, are to be connoted by it no longer than while we continue to believe that those properties, when found together, indicate a Kind, and that the whole of them are found in no more than one Kind.

With the addition of this peculiar connotation, implied in the form of every word which belongs to a systematic nomenclature; the set of characters which is employed to discriminate each Kind from all other Kinds (and which is a real definition) constitutes as completely as in any other case the whole meaning of the term. It is no objection to say that (as is often the case in natural history) the set of characters may be changed, and another substituted as being better suited for the purpose of distinction, while the word, still continuing to denote the same group of things, is not considered to have changed its meaning. For this is no more than may happen in the case of any other general name: we may, in reforming its connotation, leave its denotation untouched; and it is generally desirable to do so. The connotation, however, is not the less for this the real meaning, for we at once apply the name wherever the characters set down in the definition are found; and that which exclusively guides us in applying the term, must constitute its signification. If we find, contrary to our previous belief, that the characters are not peculiar to one species, we cease to use the term coextensively with the characters; but then it is because the other portion of the connotation fails; the condition that the class must be a Kind. The connotation, therefore, is still the meaning; the set of descriptive characters is a true definition; and the meaning is unfolded, not indeed (as in other cases) by the definition alone, but by the definition and the form of the word taken together.

[§ 6.] We have now analysed what is implied in the two principal requisites of a philosophical language; first, precision, or definiteness, and secondly, completeness. Any further remarks on the mode of constructing a nomenclature must be deferred until we treat of Classification; the mode of naming the Kinds of things being necessarily subordinate to the mode of arranging those Kinds into larger classes. With respect to the minor requisites of terminology, some of them are well stated and illustrated in the "Aphorisms concerning the Language of Science," included in Dr. Whewell's Philosophy of the Inductive Sciences. These, as being of secondary importance in the peculiar point of view of Logic, I shall not further refer to, but shall confine my observations to one more quality, which, next to the two already treated of, appears to be the most valuable which the language of science can possess. Of this quality a general notion may be conveyed by the following aphorism:

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. And 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 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 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 anything 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, cannot 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 cannot 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 cannot 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 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.