SigPhi · John Stuart Mill

A System of Logic, Ratiocinative and Inductive

Page 44 of 70

itself was assembled. In the other class of motions, as when bodies are thrown up in the air, they are, on the contrary, moving _from_ their own place. Now, this conception of a body moving toward its own place may justly be considered inappropriate; because, though it expresses a circumstance really found in some of the most familiar instances of motion apparently spontaneous, yet, first, there are many other cases of such motion, in which that circumstance is absent; the motion, for instance, of the earth and planets. Secondly, even when it is present, the motion, on closer examination, would often be seen not to be spontaneous; as, when air rises in water, it does not rise by its own nature, but is pushed up by the superior weight of the water which presses upon it. Finally, there are many cases in which the spontaneous motion takes place in the contrary direction to what the theory considers as the body’s own place; for instance, when a fog rises from a lake, or when water dries up. The agreement, therefore, which Aristotle selected as his principle of classification, did not extend to all cases of the phenomenon he wanted to study, spontaneous motion; while it did include cases of the absence of the phenomenon, cases of motion not spontaneous. The conception was hence “inappropriate.” We may add that, in the case in question, no conception would be appropriate; there is no agreement which runs through all the cases of spontaneous or apparently spontaneous motion and no others; they can not be brought under one law; it is a case of Plurality of Causes.(209) § 5. So much for the first of Dr. Whewell’s conditions, that conceptions must be appropriate. The second is, that they shall be “clear:” and let us consider what this implies. Unless the conception corresponds to a real agreement, it has a worse defect than that of not being clear: it is not applicable to the case at all. Among the phenomena, therefore, which we are attempting to connect by means of the conception, we must suppose that there really is an agreement, and that the conception is a conception of that agreement. In order, then, that it may be clear, the only requisite is, that we shall know exactly in what the agreement consists; that it shall have been carefully observed, and accurately remembered. We are said not to have a clear conception of the resemblance among a set of objects, when we have only a general feeling that they resemble, without having analyzed their resemblance, or perceived in what points it consists, and fixed in our memory an exact recollection of those points. This want of clearness, or, as it may be otherwise called, this vagueness in the general conception, may be owing either to our having no accurate knowledge of the objects themselves, or merely to our not having carefully compared them. Thus a person may have no clear idea of a ship because he has never seen one, or because he remembers but little, and that faintly, of what he has seen. Or he may have a perfect knowledge and remembrance of many ships of various kinds, frigates among the rest, but he may have no clear but only a confused idea of a frigate, because he has never been told, and has not compared them sufficiently to have remarked and remembered, in what particular points a frigate differs from some other kind of ship.

It is not, however, necessary, in order to have clear ideas, that we should know all the common properties of the things which we class together. That would be to have our conception of the class complete as well as clear. It is sufficient if we never class things together without knowing exactly why we do so—without having ascertained exactly what agreements we are about to include in our conception; and if, after having thus fixed our conception, we never vary from it, never include in the class any thing which has not those common properties, nor exclude from it any thing which has. A clear conception means a determinate conception; one which does not fluctuate, which is not one thing to-day and another to-morrow, but remains fixed and invariable, except when, from the progress of our knowledge, or the correction of some error, we consciously add to it or alter it. A person of clear ideas is a person who always knows in virtue of what properties his classes are constituted; what attributes are connoted by his general names.

The principal requisites, therefore, of clear conceptions, are habits of attentive observation, an extensive experience, and a memory which receives and retains an exact image of what is observed. And in proportion as any one has the habit of observing minutely and comparing carefully a particular class of phenomena, and an accurate memory for the results of the observation and comparison, so will his conceptions of that class of phenomena be clear; provided he has the indispensable habit (naturally, however, resulting from those other endowments), of never using general names without a precise connotation.

As the clearness of our conceptions chiefly depends on the _carefulness_ and _accuracy_ of our observing and comparing faculties, so their appropriateness, or rather the chance we have of hitting upon the appropriate conception in any case, mainly depends on the _activity_ of the same faculties. He who by habit, grounded on sufficient natural aptitude, has acquired a readiness in accurately observing and comparing phenomena, will perceive so many more agreements, and will perceive them so much more rapidly than other people, that the chances are much greater of his perceiving, in any instance, the agreement on which the important consequences depend.

§ 6. It is of so much importance that the part of the process of investigating truth, discussed in this chapter, should be rightly understood, that I think it is desirable to restate the results we have arrived at, in a somewhat different mode of expression.

We can not ascertain general truths, that is, truths applicable to classes, unless we have formed the classes in such a manner that general truths can be affirmed of them. In the formation of any class, there is involved a conception of it as a class, that is, a conception of certain circumstances as being those which characterize the class, and distinguish the objects composing it from all other things. When we know exactly what these circumstances are, we have a clear idea (or conception) of the class, and of the meaning of the general name which designates it. The primary condition implied in having this clear idea, is that the class be really a class; that it correspond to a real distinction; that the things it includes really do agree with one another in certain particulars, and differ, in those same particulars, from all other things. A person without clear ideas is one who habitually classes together, under the same general names, things which have no common properties, or none which are not possessed also by other things; or who, if the usage of other people prevents him from actually misclassing things, is unable to state to himself the common properties in virtue of which he classes them rightly.

But is it not the sole requisite of classification that the classes should be real classes, framed by a legitimate mental process? Some modes of classing things are more valuable than others for human uses, whether of speculation or of practice; and our classifications are not well made, unless the things which they bring together not only agree with each other in something which distinguishes them from all other things, but agree with each other and differ from other things in the very circumstances which are of primary importance for the purpose (theoretical or practical) which we have in view, and which constitutes the problem before us. In other words, our conceptions, though they may be clear, are not _appropriate_ for our purpose, unless the properties we comprise in them are those which will help us toward what we wish to understand—_i.e._, either those which go deepest into the nature of the things, if our object be to understand that, or those which are most closely connected with the particular property which we are endeavoring to investigate.

We can not, therefore, frame good general conceptions beforehand. That the conception we have obtained is the one we want, can only be known when we have done the work for the sake of which we wanted it; when we completely understand the general character of the phenomena, or the conditions of the particular property with which we concern ourselves. General conceptions formed without this thorough knowledge, are Bacon’s “notiones temerè à rebus abstractæ.” Yet such premature conceptions we must be continually making up, in our progress to something better. They are an impediment to the progress of knowledge, only when they are permanently acquiesced in. When it has become our habit to group things in wrong classes—in groups which either are not really classes, having no distinctive points of agreement (absence of _clear_ ideas), or which are not classes of which any thing important to our purpose can be predicated (absence of _appropriate_ ideas); and when, in the belief that these badly made classes are those sanctioned by nature, we refuse to exchange them for others, and can not or will not make up our general conceptions from any other elements; in that case all the evils which Bacon ascribes to his “notiones temerè abstractæ” really occur. This was what the ancients did in physics, and what the world in general does in morals and politics to the present day.

It would thus, in my view of the matter, be an inaccurate mode of expression to say, that obtaining appropriate conceptions is a condition precedent to generalization. Throughout the whole process of comparing phenomena with one another for the purpose of generalization, the mind is trying to make up a conception; but the conception which it is trying to make up is that of the really important point of agreement in the phenomena. As we obtain more knowledge of the phenomena themselves, and of the conditions on which their important properties depend, our views on this subject naturally alter; and thus we advance from a less to a more “appropriate” general conception, in the progress of our investigations.

We ought not, at the same time, to forget that the really important agreement can not always be discovered by mere comparison of the very phenomena in question, without the aid of a conception acquired elsewhere; as in the case, so often referred to, of the planetary orbits.

The search for the agreement of a set of phenomena is in truth very similar to the search for a lost or hidden object. At first we place ourselves in a sufficiently commanding position, and cast our eyes round us, and if we can see the object it is well; if not, we ask ourselves mentally what are the places in which it may be hid, in order that we may there search for it: and so on, until we imagine the place where it really is. And here too we require to have had a previous conception, or knowledge, of those different places. As in this familiar process, so in the philosophical operation which it illustrates, we first endeavor to find the lost object or recognize the common attribute, without conjecturally invoking the aid of any previously acquired conception, or, in other words, of any hypothesis. Having failed in this, we call upon our imagination for some hypothesis of a possible place, or a possible point of resemblance, and then look to see whether the facts agree with the conjecture.

For such cases something more is required than a mind accustomed to accurate observation and comparison. It must be a mind stored with general conceptions, previously acquired, of the sorts which bear affinity to the subject of the particular inquiry. And much will also depend on the natural strength and acquired culture of what has been termed the scientific imagination; on the faculty possessed of mentally arranging known elements into new combinations, such as have not yet been observed in nature, though not contradictory to any known laws.

But the variety of intellectual habits, the purposes which they serve, and the modes in which they may be fostered and cultivated, are considerations belonging to the Art of Education: a subject far wider than Logic, and which this treatise does not profess to discuss. Here, therefore, the present chapter may properly close.

Chapter III.

Of Naming, As Subsidiary To Induction.

§ 1. It does not belong to the present undertaking to dwell on the importance of language as a medium of human intercourse, whether for purposes of sympathy or of information. Nor does our design admit of more than a passing allusion to that great property of names, on which their functions as an intellectual instrument are, in reality, ultimately dependent; their potency as a means of forming, and of riveting, associations among our other ideas; a subject on which an able thinker(210) has thus written: “Names are impressions of sense, and as such take the strongest hold on the mind, and of all other impressions can be most easily recalled and retained in view. They therefore serve to give a point of attachment to all the more volatile objects of thought and feeling. Impressions that when passed might be dissipated forever, are, by their connection with language, always within reach. Thoughts, of themselves, are perpetually slipping out of the field of immediate mental vision; but the name abides with us, and the utterance of it restores them in a moment. Words are the custodiers of every product of mind less impressive than themselves. All extensions of human knowledge, all new generalizations, are fixed and spread, even unintentionally, by the use of words. The child growing up learns, along with the vocables of his mother-tongue, that things which he would have believed to be different are, in important points, the same.

Without any formal instruction, the language in which we grow up teaches us all the common philosophy of the age. It directs us to observe and know things which we should have overlooked; it supplies us with classifications ready made, by which things are arranged (as far as the light of by-gone generations admits) with the objects to which they bear the greatest total resemblance. The number of general names in a language, and the degree of generality of those names, afford a test of the knowledge of the era, and of the intellectual insight which is the birthright of any one born into it.”

It is not, however, of the functions of Names, considered generally, that we have here to treat, but only of the manner and degree in which they are directly instrumental to the investigation of truth; in other words, to the process of induction.

§ 2. Observation and Abstraction, the operations which formed the subject of the two foregoing chapters, are conditions indispensable to induction; there can be no induction where they are not. It has been imagined that Naming is also a condition equally indispensable. There are thinkers who have held that language is not solely, according to a phrase generally current, _an_ instrument of thought, but _the_ instrument; that names, or something equivalent to them, some species of artificial signs, are necessary to reasoning; that there could be no inference, and consequently no induction, without them. But if the nature of reasoning was correctly explained in the earlier part of the present work, this opinion must be held to be an exaggeration, though of an important truth. If reasoning be from particulars to particulars, and if it consist in recognizing one fact as a mark of another, or a mark of a mark of another, nothing is required to render reasoning possible, except senses and association; senses to perceive that two facts are conjoined; association, as the law by which one of those two facts raises up the idea of the other.(211) For these mental phenomena, as well as for the belief or expectation which follows, and by which we recognize as having taken place, or as about to take place, that of which we have perceived a mark, there is evidently no need of language. And this inference of one particular fact from another is a case of induction. It is of this sort of induction that brutes are capable; it is in this shape that uncultivated minds make almost all their inductions, and that we all do so in the cases in which familiar experience forces our conclusions upon us without any active process of inquiry on our part, and in which the belief or expectation follows the suggestion of the evidence with the promptitude and certainty of an instinct.(212) § 3. But though inference of an inductive character is possible without the use of signs, it could never, without them, be carried much beyond the very simple cases which we have just described, and which form, in all probability, the limit of the reasonings of those animals to whom conventional language is unknown. Without language, or something equivalent to it, there could only be as much reasoning from experience as can take place without the aid of general propositions. Now, though in strictness we may reason from past experience to a fresh individual case without the intermediate stage of a general proposition, yet without general propositions we should seldom remember what past experience we have had, and scarcely ever what conclusions that experience will warrant.

The division of the inductive process into two parts, the first ascertaining what is a mark of the given fact, the second whether in the new case that mark exists, is natural, and scientifically indispensable.

It is, indeed, in a majority of cases, rendered necessary by mere distance of time. The experience by which we are to guide our judgments may be other people’s experience, little of which can be communicated to us otherwise than by language; when it is our own, it is generally experience long past; unless, therefore, it were recorded by means of artificial signs, little of it (except in cases involving our intenser sensations or emotions, or the subjects of our daily and hourly contemplation) would be retained in the memory. It is hardly necessary to add, that when the inductive inference is of any but the most direct and obvious nature—when it requires several observations or experiments, in varying circumstances, and the comparison of one of these with another—it is impossible to proceed a step, without the artificial memory which words bestow. Without words, we should, if we had often seen A and B in immediate and obvious conjunction, expect B whenever we saw A; but to discover their conjunction when not obvious, or to determine whether it is really constant or only casual, and whether there is reason to expect it under any given change of circumstances, is a process far too complex to be performed without some contrivance to make our remembrance of our own mental operations accurate.

Now, language is such a contrivance. When that instrument is called to our aid, the difficulty is reduced to that of making our remembrance of the meaning of words accurate. This being secured, whatever passes through our minds may be remembered accurately, by putting it carefully into words, and committing the words either to writing or to memory.

The function of Naming, and particularly of General Names, in Induction, may be recapitulated as follows. Every inductive inference which is good at all, is good for a whole class of cases; and, that the inference may have any better warrant of its correctness than the mere clinging together of two ideas, a process of experimentation and comparison is necessary; in which the whole class of cases must be brought to view, and some uniformity in the course of nature evolved and ascertained, since the existence of such a uniformity is required as a justification for drawing the inference in even a single case. This uniformity, therefore, may be ascertained once for all; and if, being ascertained, it can be remembered, it will serve as a formula for making, in particular cases, all such inferences as the previous experience will warrant. But we can only secure its being remembered, or give ourselves even a chance of carrying in our memory any considerable number of such uniformities, by registering them through the medium of permanent signs; which (being, from the nature of the case, signs not of an individual fact, but of a uniformity, that is, of an indefinite number of facts similar to one another) are general signs; universals; general names, and general propositions.

§ 4. And here I can not omit to notice an oversight committed by some eminent thinkers; who have said that the cause of our using general names is the infinite multitude of individual objects, which, making it impossible to have a name for each, compels us to make one name serve for many.

This is a very limited view of the function of general names. Even if there were a name for every individual object, we should require general names as much as we now do. Without them we could not express the result of a single comparison, nor record any one of the uniformities existing in nature; and should be hardly better off in respect to Induction than if we had no names at all. With none but names of individuals (or, in other words, proper names), we might, by pronouncing the name, suggest the idea of the object, but we could not assert any proposition; except the unmeaning ones formed by predicating two proper names one of another. It is only by means of general names that we can convey any information, predicate any attribute, even of an individual, much more of a class.

Rigorously speaking, we could get on without any other general names than the abstract names of attributes; all our propositions might be of the form “such an individual object possesses such an attribute,” or “such an attribute is always (or never) conjoined with such another attribute.” In fact, however, mankind have always given general names to objects as well as attributes, and indeed before attributes: but the general names given to objects imply attributes, derive their whole meaning from attributes; and are chiefly useful as the language by means of which we predicate the attributes which they connote.

It remains to be considered what principles are to be adhered to in giving general names, so that these names, and the general propositions in which they fill a place, may conduce most to the purposes of Induction.

Chapter IV.

Of The Requisites Of A Philosophical Language, And The Principles Of Definition.

§ 1. In order that we may possess a language perfectly suitable for the investigation and expression of general truths, there are two principal, and several minor requisites. The first is, that every general name should have a meaning, steadily fixed, and precisely determined. When, by the fulfillment of this condition, such names as we possess are fitted for the due performance of their functions, the next requisite, and the second in order of importance, is that we should possess a name wherever one is needed; wherever there is any thing to be designated by it, which it is of importance to express.

The former of these requisites is that to which our attention will be exclusively directed in the present chapter.

§ 2. Every general name, then, must have a certain and knowable meaning.

Now the meaning (as has so often been explained) of a general connotative name, resides in the connotation; in the attribute on account of which, and to express which, the name is given. Thus, the name animal being given to all things which possess the attributes of sensation and voluntary motion, the word connotes those attributes exclusively, and they constitute the whole of its meaning. If the name be abstract, its denotation is the same with the connotation of the corresponding concrete; it designates directly the attribute, which the concrete term implies. To give a precise meaning to general names is, then, to fix with steadiness the attribute or attributes connoted by each concrete general name, and denoted by the corresponding abstract. Since abstract names, in the order of their creation, do not precede but follow concrete ones, as is proved by the etymological fact that they are almost always derived from them; we may consider their meaning as determined by, and dependent on, the meaning of their concrete; and thus the problem of giving a distinct meaning to general language, is all included in that of giving a precise connotation to all concrete general names.

This is not difficult in the case of new names; of the technical terms created by scientific inquirers for the purposes of science or art. But when a name is in common use, the difficulty is greater; the problem in this case not being that of choosing a convenient connotation for the name, but of ascertaining and fixing the connotation with which it is already used. That this can ever be a matter of doubt, is a sort of paradox. But the vulgar (including in that term all who have not accurate habits of thought) seldom know exactly what assertion they intend to make, what common property they mean to express, when they apply the same name to a number of different things. All which the name expresses with them, when they predicate it of an object, is a confused feeling of resemblance between that object and some of the other things which they have been accustomed to denote by the name. They have applied the name Stone to various objects previously seen; they see a new object, which appears to them somewhat like the former, and they call it a stone, without asking themselves in what respect it is like, or what mode or degree of resemblance the best authorities, or even they themselves, require as a warrant for using the name. This rough general impression of resemblance is, however, made up of particular circumstances of resemblance; and into these it is the business of the logician to analyze it; to ascertain what points of resemblance among the different things commonly called by the name, have produced in the common mind this vague feeling of likeness; have given to the things the similarity of aspect, which has made them a class, and has caused the same name to be bestowed upon them.

But though general names are imposed by the vulgar without any more definite connotation than that of a vague resemblance; general propositions come in time to be made, in which predicates are applied to those names, that is, general assertions are made concerning the _whole_ of the things which are denoted by the name. And since by each of these propositions some attribute, more or less precisely conceived, is of course predicated, the ideas of these various attributes thus become associated with the name, and in a sort of uncertain way it comes to connote them; there is a hesitation to apply the name in any new case in which any of the attributes familiarly predicated of the class do not exist. And thus, to common minds, the propositions which they are in the habit of hearing or uttering concerning a class make up in a loose way a sort of connotation for the class name. Let us take, for instance, the word Civilized. How few could be found, even among the most educated persons, who would undertake to say exactly what the term Civilized connotes. Yet there is a feeling in the minds of all who use it, that they are using it with a meaning; and this meaning is made up, in a confused manner, of every thing which they have heard or read that civilized men or civilized communities are, or may be expected to be.

It is at this stage, probably, in the progress of a concrete name, that the corresponding abstract name generally comes into use. Under the notion that the concrete name must of course convey a meaning, or, in other words, that there is some property common to all things which it denotes, people give a name to this common property; from the concrete Civilized, they form the abstract Civilization. But since most people have never compared the different things which are called by the concrete name, in such a manner as to ascertain what properties these things have in common, or whether they have any; each is thrown back upon the marks by which he himself has been accustomed to be guided in his application of the term; and these, being merely vague hearsays and current phrases, are not the same in any two persons, nor in the same person at different times. Hence the word (as Civilization, for example) which professes to be the designation of the unknown common property, conveys scarcely to any two minds the same idea. No two persons agree in the things they predicate of it; and when it is itself predicated of any thing, no other person knows, nor does the speaker himself know with precision, what he means to assert.

Many other words which could be named, as the word _honor_, or the word _gentleman_, exemplify this uncertainty still more strikingly.

It needs scarcely be observed, that general propositions of which no one can tell exactly what they assert, can not possibly have been brought to the test of a correct induction. Whether a name is to be used as an instrument of thinking, or as a means of communicating the result of thought, it is imperative to determine exactly the attribute or attributes which it is to express; to give it, in short, a fixed and ascertained connotation.

§ 3. It would, however, be a complete misunderstanding of the proper office of a logician in dealing with terms already in use, if we were to think that because a name has not at present an ascertained connotation, it is competent to any one to give it such a connotation at his own choice. The meaning of a term actually in use is not an arbitrary quantity to be fixed, but an unknown quantity to be sought.

In the first place, it is obviously desirable to avail ourselves, as far as possible, of the associations already connected with the name; not enjoining the employment of it in a manner which conflicts with all previous habits, and especially not so as to require the rupture of those strongest of all associations between names, which are created by familiarity with propositions in which they are predicated of one another.

A philosopher would have little chance of having his example followed, if he were to give such a meaning to his terms as should require us to call the North American Indians a civilized people, or the higher classes in Europe savages; or to say that civilized people live by hunting, and savages by agriculture. Were there no other reason, the extreme difficulty of effecting so complete a revolution in speech would be more than a sufficient one. The endeavor should be, that all generally received propositions into which the term enters, should be at least as true after its meaning is fixed, as they were before; and that the concrete name, therefore, should not receive such a connotation as shall prevent it from denoting things which, in common language, it is currently affirmed of.

The fixed and precise connotation which it receives should not be in deviation from, but in agreement (as far as it goes) with, the vague and fluctuating connotation which the term already had.

To fix the connotation of a concrete name, or the denotation of the corresponding abstract, is to define the name. When this can be done without rendering any received assertions inadmissible, the name can be defined in accordance with its received use, which is vulgarly called defining not the name but the thing. What is meant by the improper expression of defining a thing (or rather a class of things—for nobody talks of defining an individual), is to define the name, subject to the condition that it shall denote those things. This, of course, supposes a comparison of the things, feature by feature and property by property, to ascertain what attributes they agree in; and not unfrequently an operation strictly inductive, for the purpose of ascertaining some unobvious agreement, which is the cause of the obvious agreements.

For, in order to give a connotation to a name, consistently with its denoting certain objects, we have to make our selection from among the various attributes in which those objects agree. To ascertain in what they do agree is, therefore, the first logical operation requisite. When this has been done as far as is necessary or practicable, the question arises, which of these common attributes shall be selected to be associated with the name. For if the class which the name denotes be a Kind, the common properties are innumerable; and even if not, they are often extremely numerous. Our choice is first limited by the preference to be given to properties which are well known, and familiarly predicated of the class; but even these are often too numerous to be all included in the definition, and, besides, the properties most generally known may not be those which serve best to mark out the class from all others. We should therefore select from among the common properties (if among them any such are to be found) those on which it has been ascertained by experience, or proved by deduction, that many others depend; or at least which are sure marks of them, and from whence, therefore, many others will follow by inference. We thus see that to frame a good definition of a name already in use, is not a matter of choice but of discussion, and discussion not merely respecting the usage of language, but respecting the properties of things, and even the origin of those properties. And hence every enlargement of our knowledge of the objects to which the name is applied, is liable to suggest an improvement in the definition. It is impossible to frame a perfect set of definitions on any subject, until the theory of the subject is perfect; and as science makes progress, its definitions are also progressive.

§ 4. The discussion of Definitions, in so far as it does not turn on the use of words but on the properties of things, Dr. Whewell calls the Explication of Conceptions. The act of ascertaining, better than before, in what particulars any phenomena which are classed together agree, he calls in his technical phraseology, unfolding the general conception in virtue of which they are so classed. Making allowance for what appears to me the darkening and misleading tendency of this mode of expression, several of his remarks are so much to the purpose, that I shall take the liberty of transcribing them.

He observes,(213) that many of the controversies which have had an