A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

But there is a sort of classes, for the recognition of which no such elaborate process is necessary; because each of them is marked out from all others not by some one property, the detection of which may depend on a difficult act of abstraction, but by its properties generally. I mean, the Kinds of things, in the sense which, in this treatise, has been specially attached to that term. By a Kind, it will be remembered, we mean one of those classes which are distinguished from all others not by one or a few definite properties, but by an unknown multitude of them; the combination of properties on which the class is grounded, being a mere index to an indefinite number of other distinctive attributes. The class horse is a Kind, because the things which agree in possessing the characters by which [pg 492] we recognize a horse, agree in a great number of other properties, as we know, and, it can not be doubted, in many more than we know. Animal, again, is a Kind, because no definition that could be given of the name animal could either exhaust the properties common to all animals, or supply premises from which the remainder of those properties could be inferred. But a combination of properties which does not give evidence of the existence of any other independent peculiarities, does not constitute a Kind. White horse, therefore, is not a Kind; because horses which agree in whiteness, do not agree in any thing else, except the qualities common to all horses, and whatever may be the causes or effects of that particular color.

On the principle that there should be a name for every thing which we have frequent occasion to make assertions about, there ought evidently to be a name for every Kind; for as it is the very meaning of a Kind that the individuals composing it have an indefinite multitude of properties in common, it follows that, if not with our present knowledge, yet with that which we may hereafter acquire, the Kind is a subject to which there will have to be applied many predicates. The third component element of a philosophical language, therefore, is that there shall be a name for every Kind. In other words, there must not only be a terminology, but also a nomenclature.

The words Nomenclature and Terminology are employed by most authors almost indiscriminately; Dr. Whewell being, as far as I am aware, the first writer who has regularly assigned to the two words different meanings. The distinction, however, which he has drawn between them being real and important, his example is likely to be followed; and (as is apt to be the case when such innovations in language are felicitously made) a vague sense of the distinction is found to have influenced the employment of the terms in common practice, before the expediency had been pointed out of discriminating them philosophically. Every one would say that the reform effected by Lavoisier and Guyton-Morveau in the language of chemistry consisted in the introduction of a new nomenclature, not of a new terminology. Linear, lanceolate, oval, or oblong, serrated, dentate, or crenate leaves, are expressions forming part of the terminology of botany, while the names “Viola odorata,” and “Ulex Europæus,” belong to its nomenclature.

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 infirmæ 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 toward 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 a 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 can not, 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 can not 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 recognize 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 retained 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 [pg 494] of distinction, while the word, still continuing to denote the same group or 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 co-extensively 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 analyzed 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. 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.