SigPhi · John Stuart Mill

A System of Logic, Ratiocinative and Inductive

Page 47 of 70

some common circumstance, which, our attention not having been directed to it on any former occasion, is to us a new phenomenon; it is of importance that this new conception, or this new result of abstraction, should have a name appropriated to it; especially if the circumstance it involves be one which leads to many consequences, or which is likely to be found also in other classes of phenomena. No doubt, in most cases of the kind, the meaning might be conveyed by joining together several words already in use. But when a thing has to be often spoken of, there are more reasons than the saving of time and space, for speaking of it in the most concise manner possible. What darkness would be spread over geometrical demonstrations, if wherever the word _circle_ is used, the definition of a circle were inserted instead of it. In mathematics and its applications, where the nature of the processes demands that the attention should be strongly concentrated, but does not require that it should be widely diffused, the importance of concentration also in the expressions has always been duly felt; and a mathematician no sooner finds that he shall often have occasion to speak of the same two things together, than he at once creates a term to express them whenever combined: just as, in his algebraical operations, he substitutes for (_a_m + _b_n) p/q, or for solely to shorten his symbolical expressions, but to simplify the purely intellectual part of his operations, by enabling the mind to give its exclusive attention to the relation between the quantity S and the other quantities which enter into the equation, without being distracted by thinking unnecessarily of the parts of which S is itself composed.

But there is another reason, in addition to that of promoting perspicuity, for giving a brief and compact name to each of the more considerable results of abstraction which are obtained in the course of our intellectual phenomena. By naming them, we fix our attention upon them; we keep them more constantly before the mind. The names are remembered, and being remembered, suggest their definition; while if instead of specific and characteristic names, the meaning had been expressed by putting together a number of other names, that particular combination of words already in common use for other purposes would have had nothing to make itself remembered by. If we want to render a particular combination of ideas permanent in the mind, there is nothing which clinches it like a name specially devoted to express it. If mathematicians had been obliged to speak of “that to which a quantity, in increasing or diminishing, is always approaching nearer, so that the difference becomes less than any assignable quantity, but to which it never becomes exactly equal,” instead of expressing all this by the simple phrase, “the limit of a quantity,” we should probably have long remained without most of the important truths which have been discovered by means of the relation between quantities of various kinds and their limits. If instead of speaking of _momentum_, it had been necessary to say, “the product of the number of units of velocity in the velocity by the number of units of mass in the mass,” many of the dynamical truths now apprehended by means of this complex idea would probably have escaped notice, for want of recalling the idea itself with sufficient readiness and familiarity. And on subjects less remote from the topics of popular discussion, whoever wishes to draw attention to some new or unfamiliar distinction among things, will find no way so sure as to invent or select suitable names for the express purpose of marking it.

A volume devoted to explaining what the writer means by civilization, does not raise so vivid a conception of it as the single expression, that Civilization is a different thing from Cultivation; the compactness of that brief designation for the contrasted quality being an equivalent for a long discussion. So, if we would impress forcibly upon the understanding and memory the distinction between the two different conceptions of a representative government, we can not more effectually do so than by saying that Delegation is not Representation. Hardly any original thoughts on mental or social subjects ever make their way among mankind, or assume their proper importance in the minds even of their inventors, until aptly-selected words or phrases have, as it were, nailed them down and held them fast.

§ 4. Of the three essential parts of a philosophical language, we have now mentioned two: a terminology suited for describing with precision the individual facts observed; and a name for every common property of any importance or interest, which we detect by comparing those facts; including (as the concretes corresponding to those abstract terms) names for the classes which we artificially construct in virtue of those properties, or as many of them, at least, as we have frequent occasion to predicate any thing of.

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 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 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 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 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 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 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.

§ 1. There is, as has been frequently remarked in this work, a classification of things, which is inseparable from the fact of giving them general names. Every name which connotes an attribute, divides, by that very fact, all things whatever into two classes, those which have the attribute and those which have it not; those of which the name can be predicated, and those of which it can not. And the division thus made is not merely a division of such things as actually exist, or are known to exist, but of all such as may hereafter be discovered, and even of all which can be imagined.

On this kind of Classification we have nothing to add to what has previously been said. The Classification which requires to be discussed as a separate act of the mind, is altogether different. In the one, the arrangement of objects in groups, and distribution of them into compartments, is a mere incidental effect consequent on the use of names given for another purpose, namely that of simply expressing some of their qualities. In the other, the arrangement and distribution are the main object, and the naming is secondary to, and purposely conforms itself to, instead of governing, that more important operation.

Classification, thus regarded, is a contrivance for the best possible ordering of the ideas of objects in our minds; for causing the ideas to accompany or succeed one another in such a way as shall give us the greatest command over our knowledge already acquired, and lead most directly to the acquisition of more. The general problem of Classification, in reference to these purposes, may be stated as follows: To provide that things shall be thought of in such groups, and those groups in such an order, as will best conduce to the remembrance and to the ascertainment of their laws.

Classification thus considered, differs from classification in the wider sense, in having reference to real objects exclusively, and not to all that are imaginable: its object being the due co-ordination in our minds of those things only, with the properties of which we have actually occasion to make ourselves acquainted. But, on the other hand, it embraces _all_ really existing objects. We can not constitute any one class properly, except in reference to a general division of the whole of nature; we can not determine the group in which any one object can most conveniently be placed, without taking into consideration all the varieties of existing objects, all at least which have any degree of affinity with it. No one family of plants or animals could have been rationally constituted, except as part of a systematic arrangement of all plants or animals; nor could such a general arrangement have been properly made, without first determining the exact place of plants and animals in a general division of nature.

§ 2. There is no property of objects which may not be taken, if we please, as the foundation for a classification or mental grouping of those objects; and in our first attempts we are likely to select for that purpose properties which are simple, easily conceived, and perceptible on a first view, without any previous process of thought. Thus Tournefort’s arrangement of plants was founded on the shape and divisions of the corolla; and that which is commonly called the Linnæan (though Linnæus also suggested another and more scientific arrangement) was grounded chiefly on the number of the stamens and pistils.

But these classifications, which are at first recommended by the facility they afford of ascertaining to what class any individual belongs, are seldom much adapted to the ends of that Classification which is the subject of our present remarks. The Linnæan arrangement answers the purpose of making us think together of all those kinds of plants which possess the same number of stamens and pistils; but to think of them in that manner is of little use, since we seldom have any thing to affirm in common of the plants which have a given number of stamens and pistils. If plants of the class Pentandria, order Monogynia, agreed in any other properties, the habit of thinking and speaking of the plants under a common designation would conduce to our remembering those common properties so far as they were ascertained, and would dispose us to be on the lookout for such of them as were not yet known. But since this is not the case, the only purpose of thought which the Linnæan classification serves is that of causing us to remember, better than we should otherwise have done, the exact number of stamens and pistils of every species of plants. Now, as this property is of little importance or interest, the remembering it with any particular accuracy is of no moment. And, inasmuch as, by habitually thinking of plants in those groups, we are prevented from habitually thinking of them in groups which have a greater number of properties in common, the effect of such a classification, when systematically adhered to, upon our habits of thought, must be regarded as mischievous.

The ends of scientific classification are best answered, when the objects are formed into groups respecting which a greater number of general propositions can be made, and those propositions more important, than could be made respecting any other groups into which the same things could be distributed. The properties, therefore, according to which objects are classified, should, if possible, be those which are causes of many other properties; or, at any rate, which are sure marks of them. Causes are preferable, both as being the surest and most direct of marks, and as being themselves the properties on which it is of most use that our attention should be strongly fixed. But the property which is the cause of the chief peculiarities of a class, is unfortunately seldom fitted to serve also as the diagnostic of the class. Instead of the cause, we must generally select some of its more prominent effects, which may serve as marks of the other effects and of the cause.

A classification thus formed is properly scientific or philosophical, and is commonly called a Natural, in contradistinction to a Technical or Artificial, classification or arrangement. The phrase Natural Classification seems most peculiarly appropriate to such arrangements as correspond, in the groups which they form, to the spontaneous tendencies of the mind, by placing together the objects most similar in their general aspect; in opposition to those technical systems which, arranging things according to their agreement in some circumstance arbitrarily selected, often throw into the same group objects which in the general aggregate of their properties present no resemblance, and into different and remote groups, others which have the closest similarity. It is one of the most valid recommendations of any classification to the character of a scientific one, that it shall be a natural classification in this sense also; for the test of its scientific character is the number and importance of the properties which can be asserted in common of all objects included in a group; and properties on which the general aspect of the things depends are, if only on that ground, important, as well as, in most cases, numerous. But, though a strong recommendation, this circumstance is not a _sine qua non_; since the most obvious properties of things may be of trifling importance compared with others that are not obvious. I have seen it mentioned as a great absurdity in the Linnæan classification, that it places (which by-the-way it does not) the violet by the side of the oak; it certainly dissevers natural affinities, and brings together things quite as unlike as the oak and the violet are. But the difference, apparently so wide, which renders the juxtaposition of those two vegetables so suitable an illustration of a bad arrangement, depends, to the common eye, mainly on mere size and texture; now if we made it our study to adopt the classification which would involve the least peril of similar _rapprochements_, we should return to the obsolete division into trees, shrubs, and herbs, which though of primary importance