THE LIBRARY OF THE UNIVERSITY OF CALIFORNIA LOS ANGELES GIFT From the Library of Henry Goldman, Ph.D. 1886-1972 \ SYSTEM OF LOGIC KATIOCINATIYE AND INDUCTIVE VOL. I. SYSTEM OF LOGIC KATIOCINATIVE AND INDUCTIVE BEING A CONNECTED VIEW OF THE PRINCIPLES OF EVIDENCE AND THE METHODS OF SCIENTIFIC INVESTIGATION BT JOHN STUAET MILL IN TWO VOLUMES VOL. I. EIGHTH EDITION LONDON : LONGMANS, GREEN, READER, AND DYER 1872. <\\ PEEFACE TO THE FIRST EDITION. THIS book makes no pretence of giving to the world a new theory of the intellectual operations. Its claim to attention, if it possess any, is grounded on the fact that it is an attempt not to supersede, but to embody and systematize, the best ideas which have been either promulgated on its subject by speculative writers, or conformed to by accurate thinkers in their scientific inquiries. To cement together the detached fragments of a subject, never yet treated as a whole ; to harmonize the true portions of discordant theories, by supplying the links of thought necessary to connect them, and by disentangling them from the errors with which they are always more or less interwoven ; must necessarily require a considerable amount of original speculation. To other originality than this, the pre- sent work lays no claim. In the existing state of the cultivation of the sciences, there would be a very strong presumption against any one who should imagine that he had effected a revolution in the theory of the investigation of truth, or added any fundamentally new process to the practice of it. The improvement which remains to be effected in the methods of philosophizing (and the author be- lieves that they have much need of improvement) can only consist in performing, more systematically b VI PREFACE. and accurately, operations with which, at least in their elementary form, the human intellect in some one or other of its employments is already familiar. In the portion of the work which treats- of Eatio- cination, the author has not deemed it necessary to enter into technical details which may be obtained in so perfect a shape from the existing treatises on what is termed the Logic of the Schools. In the contempt entertained by many modern philosophers for the syllogistic art, it will be seen that he by no means participates; though the scientific theory on which its defence is usually rested appears to him erroneous : and the view which he has suggested of the nature and functions of the Syllogism may, perhaps, afford the means of conciliating the principles of the art with as much as is well grounded in the doctrines and objections of its assailants. The same abstinence from details could not be observed in the First Book, on Names and Proposi- tions ; because many useful principles and distinc- tions which were contained in the old Logic, have been gradually omitted from the writings of its later teachers ; and it appeared desirable both to revive these, and to reform and rationalize the philosophical foundation on which they stood. The earlier chap- ters of this preliminary Book will consequently appear, to some readers, needlessly elementary and scholastic. But those who know in what darkness the nature of our knowledge, and of the processes by which it is obtained, is often involved by a confused apprehension of the import of the different classes of Words and Assertions, will not regard these discus- sions as either frivolous, or irrelevant to the topics considered in the later Books. PREFACE. Vll On the subject of Induction, the task to be per- formed was that of generalizing the modes of investi- gating truth and estimating evidence, by which so many important and recondite laws of nature have, in the various sciences, been aggregated to the stock of human knowledge. That this is not a task free from difficulty may be presumed from the fact, that even at a very recent period, eminent writers (among whom it is sufficient to name Archbishop Whately, and the author of a celebrated article on Bacon in the Edinburgh Review] have not scrupled to pro- nounce it impossible.* The author has endeavoured to combat their theory in the manner in which Diogenes confuted the sceptical reasonings against the possibility of motion ; remembering that Dio- genes' argument would have been equally conclusive, though his individual perambulations might not have extended beyond the circuit of his own tub. Whatever may be the value of what the author has succeeded in effecting on this branch of his sub- ject, it is a duty to acknowledge that for much of it * In the later editions of Archbishop Whateiy's Logic, he states his meaning1 to be, not that " rules " for the ascertainment of truths by inductive investigation cannot be laid down, or that they may not be " of eminent service," but that they " must always be comparatively vague and general, and incapable of being built up into a regular demonstrative theory like that of the Syllogism." (Book iv. ch. iv. § 3.) And he observes, that to devise a system for this purpose, capable of being " brought into a scientific form," would be an achievement which " he must be more sanguine than scientific who expects." (Book iv. ch. ii. § 4.) To effect this, however, being the express object of the portion of the present work which treats of Induction, the words in the text are no overstatement of the difference of opinion be- tween Archbishop Whately and me on the subject. 6 2 Vlll PREFACE. lie has been indebted to several important treatises, partly historical and partly philosophical, on the generalities and processes of physical science, which have been published within the last few years. To these treatises, and to their authors, he has endea- voured to do justice in the body of the work. But as with one of these writers, Dr. Whewell, he has occasion frequently to express differences of opinion, it is more particularly incumbent on him in this place to declare, that without the aid derived from the facts and ideas contained in that gentleman's History of the Inductive Sciences, the corresponding portion of this work would probably not have been written. The concluding Book is an attempt to contribute towards the solution of a question, which the decay of old opinions, and the agitation that disturbs Euro- pean society to its inmost depths, render as impor- tant in the present day to the practical interests of human life, as it must at all times be to the com- pleteness of our speculative knowledge : viz. Whether moral and social phenomena are really exceptions to the general certainty and uniformity of the course of nature ; and how far the methods, by which so many of the laws of the physical world have been numbered among truths irrevocably acquired and universally assented to, can be made instrumental to the forma- tion of a similar body of received doctrine in moral and political science. PfiEFACE TO THE THIED AND FOUETH EDITIONS, SEVERAL criticisms, of a more or less controversial character, on this work, have appeared since the pub- lication of the second edition ; and Dr. Whewell has lately published a reply to those parts of it in which some of his opinions were controverted.* I have carefully reconsidered all the points on which my conclusions have been assailed. But I have not to announce a change of opinion on any matter of importance. Such minor oversights as have been detected, either by myself or by my critics, I have, in general silently, corrected : but it is not to be inferred that I agree with the objec- tions which have been made to a passage, in every instance in which I have altered or cancelled it. I have often done so, merely that it might not remain a stumbling-block, when the amount of discussion necessary to place the matter in its true light would have exceeded what was suitable to the occasion. To several of the arguments which have been urged against me, I have thought it useful to reply with some degree of minuteness ; not from any taste for controversy, but because the opportunity was favourable for placing my own conclusions, and the grounds of them, more clearly and completely before * Now forming a chapter in his volume on The Philuso^hij e ranked, as belonging to such and such a family : we should hardly say positively that it does belong to it, unless it possessed unequivocally the properties of which the class-name is scientifically significant. * Book iv. ch. vii. 8—2 116 NAMES AND PROPOSITIONS. There is still another exceptional case, in which, though the predicate is the name of a class, yet in predicating it we affirm nothing but resemblance, the class being founded not on resemblance in any given particular, but on general unan- alysable resemblance. The classes in question are those into •which our simple sensations, or other simple feelings, are divided. Sensations of white, for instance, are classed toge- ther, not because we can take them to pieces, and say they are alike in this, and not alike in that, but because we feel them to be alike altogether, though in different degrees. When, therefore, I say, The colour I saw yesterday was a white colour, or, The sensation I feel is one of tightness, in both cases the attribute I affirm of the colour or of the other sensation is mere resemblance — simple likeness to sensations which I have had before, and which have had those names bestowed upon them. The names of feelings, like other con- crete general names, are connotative ; but they connote a mere resemblance. When predicated of any individual feeling, the information they convey is that of its likeness to the other feelings which we have been accustomed to call by the same name. Thus much may suffice in illustration of the kind of propositions in which the matter-of-fact asserted (or denied) is simple Resemblance. Existence, Coexistence, Sequence, Causation, Resemblance: one or other of these is asserted (or denied) in every proposi- tion which is not merely verbal. This five-fold division is an exhaustive classification of matters- of- fact; of all things that can be believed, or tendered for belief; of all questions that can be propounded, and all answers that can be returned to them. Professor Bain* distinguishes two kinds of Propositions of Coexistence. " In the one kind, account is taken of Place ; they may be described as propositions of Order in Place." In the other kind, the coexistence which is predicated is termed by Mr. Bain Co-inherence of Attributes. " This is a distinct variety of Propositions of Coexistence. Instead of an arrangement * Logic, i. 103-105. IMPORT OF PROPOSITIONS. 117 in place with numerical intervals, we have the concurrence of two or more attributes or powers in the same part or locality. A mass of gold contains, in every atom, the concurring attri- butes that mark the substance — weight, hardness, colour, lustre, incorrosibility, &c. An animal, besides having parts situated in place, has co-inhering functions in the same parts, exerted by the very same masses and molecules of its substance. . . . The Mind, which affords no Propositions of Order in Place, has co-inhering functions. We affirm mind to contain Feeling, Will, and Thought, not in local separation, but in commingling exercise. The concurring properties of minerals, of plants, and of the bodily and the mental structure of animals, are united in affirmations of co-inherence." The distinction is real and important But, as has been seen, an Attribute, when it is anything but a simple unanalysable Eesemblance between the subject and some other things, con- sists in causing impressions of some sort on consciousness. Consequently, the co-inherence of two attributes is but the co* existence of the two states of consciousness implied in their meaning: with the difference, however, that this coexistence is sometimes potential only, the attribute being considered as in existence though the fact on which it is grounded may not be actually, but only potentially present. Snow, for instance, is, with great convenience, said to be white even in a state of total darkness, because, though we are not now conscious of the colour, we shall be conscious of it as soon as morn- ing breaks. Coinhereuce of attributes is therefore still a case, though a complex one, of coexistence of states of con- sciousness : a totally different thing, however, from Order in Place. Being a part of simultaneity, it belongs not to Place but to Time. We may therefore (and we shall sometimes find it a con- venience) instead of Coexistence and Sequence, say, for greater particularity, Order in Place and Order in Time : Order in Place being a specific mode of coexistence, not necessary to be more particularly analysed here ; while the mere fact of co- existence, whether between actual sensations, or between the potentialities of causing them, known by the name of attri- 113 NAMES AND PROPOSITIONS. butes, may be classed, together with Sequence, under the head of Order in Time. § 7. In the foregoing inquiry into the import of Propo- sitions, we have thought it necessary to analyse directly those alone, in which the terms of the proposition (or the predicate at least) are concrete terms. But, in doing so, we have indi- rectly analysed those in which the terms are abstract. The distinction between an abstract term and its corresponding concrete, does not turn upon any difference in what they are appointed to signify; for the real signification of a concrete general name is, as we have so often said, its connotation ; and what the concrete term connotes, forms the entire mean- ing of the abstract name. Since there is nothing in the import of an abstract name which is not in the import of the corresponding concrete, it is natural to suppose that neither can there be anything in the import of a proposition of which the terms are abstract, but what there is in some proposition which can be framed of concrete terms. And this presumption a closer examination will confirm. An abstract name is the name of an attribute, or combination of attributes. The corresponding concrete is a name given to things, because of, and in order to express, their possessing that attribute, or that combination of attributes. When, therefore, we predicate of anything a concrete name, the attribute is what we in reality predicate of it. But it has now been shown that in all propositions of which the predi- cate is a concrete name, what is really predicated is one of five things : Existence, Coexistence, Causation, Sequence, or Resemblance. An attribute, therefore, is necessarily either an existence, a coexistence, a causation, a sequence, or a resemblance. When a proposition consists of a subject and predicate which are abstract terms, it consists of terms which must necessarily signify one or other of these things. When we predicate of anything an abstract name, we affirm of the thing that it is one or other of these five things ; that it is a case of Existence, or of Coexistence, or of Causation, or of Sequence, or of Resemblance. IMPORT OF PROPOSITIONS. 119 It is impossible to imagine any proposition expressed in abstract terms, which cannot be transformed into a precisely equivalent proposition in which the terms are concrete ; namely, either the concrete names which connote the attri- butes themselves, or the names of the fundamenta of those attributes ; the facts or phenomena on which they are grounded. To illustrate the latter case, let us take this proposition, of which the subject only is an abstract name, "Thoughtlessness is dangerous." Thoughtlessness is an attribute, grounded on the facts which we call thoughtless actions ; and the proposition is equivalent to this, Thoughtless actions are dangerous. In the next example the predicate as well as the subject are abstract names : " Whiteness is a colour;" or "The colour of snow is a whiteness." These attributes being grounded on sensations, the equivalent pro- positions in the concrete would be, The sensation of white is one of the sensations called those of colour, — The sensation of sight, caused by looking at snow, is one of the sensations called sensations of white. In these propositions, as we have before seen, the matter-of-fact asserted is a Resem- blance. In the following examples, the concrete terms are those which directly correspond to the abstract names ; con- noting the attribute which these denote. " Prudence is a virtue :" this may be rendered, " All prudent persons, in so far as prudent, are virtuous :" " Courage is deserving of honour," thus, " All courageous persons are deserving of honour in so far as they are courageous :" which is equiva- lent to this — "All courageous persons deserve an addition to the honour, or a diminution of the disgrace, which would attach to them on other grounds." In order to throw still further light upon the import of propositions of which the terms are abstract, we will sub- ject one of the examples given above to a minuter analysis. The proposition we shall select is the following : — " Prudence is a virtue." Let us substitute for the word virtue an equiva- lent but more definite expression, such as " a mental quality beneficial to society," or " a mental quality pleasing to God," or whatever else we adopt as the definition of virtue. AYhat 120 NAMES AXD PROPOSITION'S. the proposition asserts is a sequence, accompanied with causa- tion ; namely, that benefit to society, or that the approval of God, is consequent on, and caused by, prudence. Here is a sequence ; but between what ? We understand the consequent of the sequence, but we have yet to analyse the antecedent. Prudence is an attribute ; and, in connexion with it, two things besides itself are to be considered ; prudent persons, who are the subjects of the attribute, and prudential conduct, which may be called the foundation of it. Now is either of these the antecedent ? and, first, is it meant, that the approval of God, or benefit to society, is attendant upon all prudent per- sons ? No ; except in so far as they are prudent ; for prudent persons who are scoundrels can seldom on the whole be bene- ficial to society, nor can they be acceptable to a good being. Is it upon prudential conduct, then, that divine approbation and benefit to mankind are supposed to be invariably consequent ? Neither is this the assertion meant, when it is said that pru- dence is a virtue ; except with the same reservation as before, and for the same reason, namely, that prudential conduct, ' although in so far as it is prudential it is beneficial to society, may yet, by reason of some other of its qualities, be productive of an injury outweighing the benefit, and deserve a displeasure exceeding the approbation which would be due to the pru- dence. Neither the substance, therefore, (viz. the person,) nor the phenomenon, (the conduct,) is an antecedent on which the other term of the sequence is universally consequent. But the proposition, " Prudence is a virtue," is an universal proposi tion. What is it, then, upon which the proposition affirms the effects in question to be universally consequent ? Upon that in the person, and in the conduct, which causes them to be called prudent, and which is equally in them when the action, though prudent, is wicked; namely, a correct foresight of consequences, a just estimation of their importance to the object in view, and repression of any unreflecting impulse at variance with the deliberate purpose. These, which are states of the person's mind, are the real antecedent in the sequence, the real cause in the causation, asserted by the proposition. But these are also the real ground, or foundation, of the attri- IMPORT OF PROPOSITIONS. 121 bute Prudence ; since wherever these states of mind exist we may predicate prudence, even before we know whether any conduct has followed. And in this manner every assertion respecting an attribute, may be transformed into an assertion exactly equivalent respecting the fact or phenomenon which is the ground of the attribute. And no case can be assigned, where that which is predicated of the fact or phenomenon, does not belong to one or other of the five species formerly enume- rated : it is either simple Existence, or it is some Sequence, Coexistence, Causation, or Kesemblance. And as these five are the only things which can be affirmed, so are they the only things which can be denied. " No horses are web-footed " denies that the attributes of a horse ever co- exist with web-feet. It is scarcely necessary to apply the same analysis to Particular affirmations and negations. " Some birds are web-footed," affirms that, with the attributes con- noted by bird, the phenomenon web-feet is sometimes co-exis- tent : " Some birds are not web-footed," asserts that there are other instances in which this co-existence does not have place. Any further explanation of a thing which, if the previous ex- position has been assented to, is so obvious, may here be spared. CHAPTER VI. OF PROPOSITION'S MERELY VERBAL. § 1. As a preparation for the inquiry which is the proper object of Logic, namely, in what manner propositions are to be proved, we have found it necessary to inquire what they contain .which requires, or is susceptible of, proof ; or (which is the same thing) what they assert. In the course of this preliminary investigation into the import of Propositions, we examined the opinion of the Conceptualists, that a proposition is the expression of a relation between two ideas ; and the doc- trine of the extreme Nominalists, that it is the expression of an agreement or disagreement between the meanings of two names. We decided that, as general theories, both of these are erroneous ; and that, though propositions may be made both respecting names and respecting ideas, neither the one nor the other are the subject-matter of Propositions considered generally. We then examined the different kinds of Proposi- tions, and found that, with the exception of those which are merely verbal, they assert five different kinds of matters of fact, namely, Existence, Order in Place, Order in Time, Causation, and Resemblance ; that in every proposition one of these five is either affirmed, or denied, of some fact or phenomenon, or of some object the unknown source of a fact or phenomenon. In distinguishing, however, the different kinds of matters of fact asserted in propositions, we reserved one class of pro- positions, which do not relate to any matter of fact, in the proper sense of the term, at all, but to the meaning of names. Since names and their signification are entirely arbitrary, such propositions are not, strictly speaking, susceptible of truth or falsity, but only of conformity or disconformity to usage or convention ; and all the proof they are capable of, is proof of usage ; proof that the words have been employed by others in VERBAL AND REAL PROPOSITIONS. 123 the acceptation in which the speaker or writer desires to use them. These propositions occupy, however, a conspicuous place in philosophy ; and their nature and characteristics are of as much importance in logic, as those of any of the other classes of propositions previously adverted to. If all propositions respecting the signification of words were as simple and unimportant as those which served us for examples when examining Hobbes' theory of predication, viz. those of which the subject and predicate are proper names, and which assert only that those names have, or that they have not, been conventionally assigned to the same individual, there would be little to attract to such propositions the atten- tion of philosophers. But the class of merely verbal proposi- tions embraces not only much more than these, but much more than any propositions which at first sight present themselves as verbal ; comprehending a kind of assertions which have been regarded not only as relating to things, but as having actually a more intimate relation with them than any other propositions whatever. The student in philosophy will per- ceive that I allude to the distinction on which so much stress was laid by the schoolmen, and which has been retained either under the same or under other names by most metaphysicians to the present day, viz. between what were called essential, and what were called accidental, propositions, and between essential and accidental properties or attributes. § 2. Almost all metaphysicians prior to Locke, as well as many since his time, have made a great mystery of Essential Predication, and of predicates which are said to be of the essence of the subject. The essence of a thing, they said, was that without which the thing could neither be, nor be con- ceived to be. Thus, rationality was of the essence of man, because without rationality, man could not be conceived to exist. The different attributes which made up the essence of the thing were called its essential properties ; and a proposition in which any of these were predicated of it was called an Essential Proposition, and was considered to go deeper into the nature of the thing, and to convey more important information 124 NAMES AND PROPOSITIONS. respecting it, than any other proposition could do. All pro- perties, not of the essence of the thing, were called its accidents ; were supposed to have nothing at all, or nothing comparatively, to do with its inmost nature ; and the propositions in which any of these were predicated of it were called Accidental Pro- positions. A connexion may he traced between this distinc- tion, which originated with the schoolmen, and the well-known dogmas of substantive secundce or general substances, and sub- stantial forms, doctrines which under varieties of language per- vaded alike the Aristotelian and the Platonic schools, and of which more of the spirit has come down to modern times than might be conjectured from the disuse of the phraseology. The false views of the nature of classification and generaliza- tion which prevailed among the schoolmen, and of which these dogmas were the technical expression, afford the only explana- tion which can be given of their having misunderstood the real nature of those Essences which held so conspicuous a place in their philosophy. They said, truly, that man cannot be con- ceived without rationality. But though man cannot, a being may be conceived exactly like a man in all points except that one quality, and those others which are the conditions or con- sequences of it. All therefore which is really true in the asser- tion that man cannot be conceived without rationality, is only, that if he had not rationality, he would not be reputed a man. There is no impossibility in conceiving the thing, nor, for aught we know, in its existing : the impossibility is in the con- ventions of language, which will not allow the thing, even if it exist, to be called by the name which is reserved for rational beings. Rationality, in short, is involved in the meaning of the word man : is one of the attributes connoted by the name. The essence of man, simply means the whole of the attributes connoted by the word ; and any one of those attributes taken singly, is an essential property of man. But these reflections, so easy to us, would have been difficult to persons who thought, as most of the later Aristotelians did, that objects were made what they were called, that gold (for instance) was made gold, not by the possession of certain pro- perties to which mankind have chosen to attach that name, but VERBAL AND REAL PROPOSITIONS. 125 by participation in the nature of a certain general substance, called gold in general, which substance, together with all the properties that belonged to it, inhered in every individual piece of gold.* As they did not consider these universal substances to be attached to all general names, but only to some, they thought that an object borrowed only a part of its properties from an universal substance, and that the rest belonged to it individually : the former they called its essence, and the latter its accidents. The scholastic doctrine of essences long survived the theory on which it rested, that of the existence of real entities corresponding to general terms ; and it was reserved for Locke at the end of the seventeenth century, to convince philosophers that the supposed essences of classes were merely the signification of their names ; nor, among the signal services which his writings rendered to philosophy, was there one more needful or more valuable. Now, as the most familiar of the general names by which an object is designated usually connotes not one only, but several attributes of the object, each of which attributes sepa- rately forms also the bond of union of some class, and the meaning of some general name ; we may predicate of a name which connotes a variety of attributes, another name which connotes only one of these attributes, or some smaller number of them than all. In such cases, the universal affirmative pro- position will be true ; since whatever possesses the whole of any set of attributes, must possess any part of that same set. A proposition of this sort, however, conveys no information to any one who previously understood the whole meaning of the terms. The propositions, Every man is a corporeal being, Every man is a living creature, Every man is rational, convey no knowledge to any one who was already aware of the entire meaning of the word man, for the meaning of the word * The doctrines which prevented the real meaning of Essences from being understood, had not assumed so settled a shape in the time of Aristotle and his immediate followers, as was afterwards given to them by the Realists of the middle ages. Aristotle himself (in his Treatise on the Categories) ex- pressly denies that the Sivrtpai o'vtnai, or Substantise Secundae, inhere in a subject. They are only, he says, predicated of it. 126 NAMES AND PROPOSITIONS. includes all this : and that every man has the attributes con- noted by all these predicates, is already asserted when he is called a man. Now, of this nature are all the propositions which have been called essential. They are, in fact, identical propositions. It is true that a proposition which predicates any attribute, even though it be one implied in the name, is in most cases understood to involve a tacit assertion that there exists a thing corresponding to the name, and possessing the attributes con- noted by it; and this implied assertion may convey informa- tion, even to those who understood the meaning of the name. But all information of this sort, conveyed by all the essential propositions of which man can be made the subject, is included in the assertion, Men exist. And this assumption of real ex- istence is, after all, the result of an imperfection of language, It arises from the ambiguity of the copula, which, in addition to its proper office of a mark to show that an assertion is made, is also, as formerly remarked, a concrete word connoting existence. The actual existence of the subject of the propo- sition is therefore only apparently, not really, implied in the predication, if an essential one : we may say, A ghost is a dis- embodied spirit, without believing in ghosts. But an accidental, or non-essential, affirmation, does imply the real existence of the subject, because in the case of a non-existent subject there is nothing for the proposition to assert. Such a propo- sition as, The ghost of a murdered person haunts the couch of the murderer, can only have a meaning if understood as im- plying a belief in ghosts ; for since the signification of the word ghost implies nothing of the kind, the speaker either means nothing, or means to assert a thing which he wishes to be believed to have really taken place. It will be hereafter seen that when any important conse- quences seem to follow, as in mathematics, from an essential proposition, or, in other words, from a proposition involved in the meaning of a name, what they really flow from is the tacit assumption of the real existence of the objects so named. Apart from this assumption of real existence, the class of pro- positions in which the predicate is of the essence of the subject VERBAL AND REAL PROPOSITIONS. 127 (that is, in which the predicate connotes the whole or part of what the subject connotes, but nothing besides) answer no purpose but that of unfolding the whole or some part of the meaning of the name, to those who did not previously know it^ Accordingly, the most useful, and in strictness the only useful kind of essential propositions, are Definitions: which, to be complete, should unfold the whole of what is involved in the meaning of the word defined ; that is, (when it is a connotative word,) the whole of what it connotes. In defining a name, however, it is not usual to specify its entire connotation, but so much only as is sufficient to mark out the objects usually denoted by it from all other known objects. And sometimes a merely accidental property, not involved in the meaning of the name, answers this purpose equally well. The various kinds of definition which these distinctions give rise to, and the purposes to which they are respectively subservient, will be minutely considered in the proper place. § 3. According to the above view of essential propositions, no proposition can be reckoned such which relates to an indi- vidual by name, that is, in which the subject is a proper name. Individuals have no essence?. When the schoolmen talked of the essence of an individual, they did not mean the properties implied in its name, for the names of individuals imply no properties. They regarded as of the essence of an individual, whatever was of the essence of the species in which they were accustomed to place that individual; i.e. of the class to which it was most familiarly referred, and to which, therefore, they conceived that it by nature belonged. Thus, because the pro- position Man is a rational being, was an essential proposition, they affirmed the same thing of the proposition, Julius Crosar is a rational being. This followed very naturally if genera and species were to be considered as entities, distinct from, but inhering in, the individuals composing them. If man was a substance inhering in each individual man, the essence of man (whatever that might mean) was naturally supposed to accom- pany it ; to inhere in John Thompson, and to form the common essence of Thompson and Julius Cassar. It might then be 128 NAMES AND PROPOSITIONS. fairly said, that rationality, being of the essence of Man, was of the essence also of Thompson. But if Man altogether be only the individual men and a name bestowed upon them in consequence of certain common properties, what becomes of John Thompson's essence ? A fundamental error is seldom expelled from philosophy by a single victory. It retreats slowly, defends every inch of ground, and often, after it has been driven from the open country, retains a footing in some remote fastness. The essences of individuals were an unmeaning figment arising from a misapprehension of the essences of classes, yet even Locke, when he extirpated the parent error, could not shake himself free from that which was its fruit. He distinguished two sorts of essences, Real and Nominal. His nominal essences were the essences of classes, explained nearly as we have now explained them. Nor is anything wanting to render the third book of Locke's Essay a nearly unexceptionable treatise on the connotation of names, except to free its language from the assumption of what are called Abstract Ideas, which unfor- tunately is involved in the phraseology, though not necessarily connected with the thoughts contained in that immortal Third Book.* But besides nominal essences, he admitted real essences, or essences of individual objects, which he supposed to be the causes of the sensible properties of those objects. We know not (said he) what these are ; (and this acknowledg- ment rendered the fiction comparatively innocuous ;) but if we did, we could, from them alone, demonstrate the sensible pro- perties of the object, as tbe properties of the triangle are * The always acute and often profound author of An Outline of Sematology (Mr. B. H. Smart) justly says, "Locke will be much more intelligible, if, in the majority of places, we substitute ' the knowledge of ' for what he calls ' the Idea of " (p. 10). Among the many criticisms on Locke's use of the word Idea, this is the one which, as it appears to me, most nearly hits the mark ; and I quote it for the additional reason that it precisely expresses the point of difference respecting the import of Propositions, between my view and what I have spoken of as the Conceptualist view of them. Where a Conceptualist says that a name or a proposition expresses our Idea of a thing, I should generally say (instead of our Idea) our Knowledge, or Belief, concerning the thing itself. VERBAL AND REAL PROPOSITIONS. 129 demonstrated from the definition of the triangle. I shall have occasion to revert to this theory in treating of Demonstration, and of the conditions under which one property of a thing admits of being demonstrated from another property. It is enough here to remark that, according to this definition, the real essence of an object has, in the progress of physics, come to be conceived as nearly equivalent, in the case of bodies, to their corpuscular structure : what it is now supposed to mean in the case of any other entities, I would not take upon myself to define. § 4. An essential proposition, then, is one which is purely verbal ; which asserts of a thing under a particular name, only what is asserted of it in the fact of calling it by that name ; and which therefore either gives no information, or gives it respecting the name, not the thing. Non-essential, or acci- dental propositions, on the contrary, may be called Real Pro- positions, in opposition to Verbal. They predicate of a thing some fact not involved in the signification of the name by which the proposition speaks of it ; some attribute not con- noted by that name. Such are all propositions concerning things individually designated, and all general or particular propositions in which the predicate connotes any attribute not connoted by the subject. All these, if true, add to our know- ledge : they convey information, not already involved in the names employed. When I am told that all, or even that some objects, which have certain qualities, or which stand in certain relations, have also certain other qualities, or stand in certain other relations, I learn from this proposition a new fact ; a fact not included in rny knowledge of the meaning of the words, nor even of the existence of Things answering to the signification of those words. It is this, class of propositions only which are in themselves instructive, or from which any instructive propositions can be inferred.* * This distinction corresponds to that which is drawn by Kant and other metaphysicians between what they term analytic, and synthetic, judgments ; the former being those which can be evolved from the meaning of the terms used, VOL. I. 9 130 NAMES AND PROPOSITIONS. Nothing has probably contributed more to the opinion so long prevalent of the futility of the school logic, than the circumstance that almost all the examples used in the common school books to illustrate the doctrine of predication and that of the syllogism, consist of essential propositions. They were usually taken either from the branches or from the main trunk of the Predicamental Tree, which included nothing but what was of the essence of the species : Omne corpus est substantia, Omne animal est corpus, Omnis homo est corpus, Omnis homo est animal, Omnis homo est rationalis, and so forth. It is far from wonderful that the syllogistic art should have been thought to be of no use in assisting correct reasoning, when almost the only propositions which, in the hands of its pro- fessed teachers, it was employed to prove, were such as every one assented to without proof the moment he comprehended the meaning of the words; and stood exactly on a level, in point of evidence, with the premises from which they were drawn. I have, therefore, throughout this work, avoided the employment of essential propositions as examples, except where the nature of the principle to be illustrated specifically required them. § 5. With respect to propositions which do convey in- formation — which assert something of a Thing, under a name that does not already presuppose what is about to be asserted ; there are two different aspects in which these, or rather such of them as are general propositions, may be con- sidered: we may either look at them as portions of speculative truth, or as memoranda for practical use. According as we consider propositions in one or the other of these lights, their import may be conveniently expressed in one or in the other of two formulas. According to the formula which we have hitherto employed, and which is best adapted to express the import of the pro- position as a portion of our theoretical knowledge, All men are mortal, means that the attributes of man are always accompanied by the attribute mortality : No men are gods, means that the attributes of man are never accompanied by VERBAL, AND REAL PROPOSITIONS. 131 the attributes, or at least never by all the attributes, signified by the word god. But when the proposition is considered as a memorandum for practical use, we shall find a different mode of expressing the same meaning better adapted to indicate the office which the proposition performs. The prac- tical use of a proposition is, to apprise or remind us what we have to expect, in any individual case which comes within the assertion contained in the proposition. In reference to this purpose, the proposition, All men are mortal, means that the attributes of man are evidence of, are a mark of, mortality ; an indication by which the presence of that attri- bute is made manifest. No men are gods, means that the attributes of man are a mark or evidence that some or all of the attributes understood to belong to a god are not there ; that where the former are, we need not expect to find the latter. These two forms of expression are at bottom equivalent ; but the one points the attention more directly to what a pro- position means, the latter to the manner in which it is to be used. Now it is to be observed that Reasoning (the subject to which we are next to proceed) is a process into which propo- sitions enter not as ultimate results, but as means to the esta- blishment of other propositions. We may expect, there- fore, that the mode of exhibiting the import of a general proposition which shows it in its application to practical use, will best express the function which propositions perform in Reasoning. And accordingly, in the theory of Reasoning, the mode of viewing the subject which considers a Proposi- tion as asserting that one fact or phenomenon is a mark or evidence of another fact or phenomenon, will be found almost indispensable. For the purposes of that Theory, the best mode of defining the import of a proposition is not the mode which shows most clearly what it is in itself, but that which most distinctly suggests the manner in which it may be made available for advancing from it to other proposi- tions. 9—2 CHAPTER VII. OF THE NATURE OF CLASSIFICATION, AND THE FIVE PREDICABLES. § 1. IN examining into the nature of general proposi- tions, we have adverted much less than is usual with logi- cians to the ideas of a Class, and Classification ; ideas which, since the Realist doctrine of General Substances went out of vogue, have formed the hasis of almost every attempt at a philosophical theory of general terms and general proposi- tions. We have considered general names as having a mean- ing, quite independently of their being the names of classes. That circumstance is in truth accidental, it being wholly immaterial to the signification of the name whether there are many objects, or only one, to which it happens to be appli- cable, or whether there be any at all. God is as much a general term to the Christian or Jew as to the Polytheist ; and dragon, hippogriff, chimera, mermaid, ghost, are as much so as if real objects existed, corresponding to those names. Every name the signification of which is constituted by attri- butes, is potentially a name of an indefinite number of objects ; but it needs not be actually the name of any ; and if of any, it may be the name of only one. As soon as we employ a name to connote attributes, the things, be they more or fewer, which happen to possess those attributes, are constituted ipso facto a class. But in predicating the name we predicate only the attributes ; and the fact of belonging to a class does not, in, many cases, come into view at all. Although, however, Predication does not presuppose Clas- sification, and though the theory of Names and of Propositions is not cleared up, but only encumbered, by intruding the idea of classification into it, there is nevertheless a close connexion between Classification and the employment of General Names. CLASSIFICATION AND THE PREDICABLES. 133 By every general name which we introduce, we create a class, if there be any things, real or imaginary, to compose it ; that is, any Things corresponding to the signification of the name. Classes, therefore, mostly owe their existence to general lan- guage. But general language, also, though that is not the most common case, sometimes owes its existence to classes. A general, which is as much as to say a significant, name, is indeed mostly introduced because we have a signification to express by it ; because we need a word by means of which to predicate the attributes which it connotes. But it is also true that a name is sometimes introduced because we have found it convenient to create a class ; because we have thought it useful for the regulation of our mental operations, that a certain group of objects should be thought of together. A naturalist, for purposes connected with his particular science, sees reason to distribute the animal or vegetable creation into certain groups rather than into any others, and he requires a name to bind, as it were, each of his groups together. It must not how- ever be supposed that such names, when introduced, differ in any respect, as to their mode of signification, from other con- notative names. The classes which they denote are, as much as any other classes, constituted by certain common attributes, and their names are significant of those attributes, and of nothing else. The names of Cuvier's classes and orders, Plantigrades, Digitigrades, &c., are as much the expression of attributes as if those names had preceded, instead of grown out of, his classification of animals. The only peculiarity of the case is, that the convenience of classification was here the primary motive for introducing the names ; while in other cases the name is introduced as a means of predication, and the formation of a class denoted by it is only an indirect con- sequence. The principles which ought to regulate Classification as a logical process subservient to the investigation of truth, cannot be discussed to any purpose until a much later stage of our inquiry. But, of Classification as resulting from, and implied in, the fact of employing general language, we cannot forbear to treat here, without leaving the theory of general names' 134 NAMES AND PROPOSITIONS. and of their employment in predication, mutilated and formless. § 2. This portion of the theory of general language is the subject of what is termed the doctrine of the Predicates ; a set of distinctions handed down from Aristotle, and his fol- lower Porphyry, many of which have taken a firm root in scientific, and some of them even in popular, phraseology, The predicables are a five-fold division of General Names, not grounded as usual on a difference in their meaning, that is, in the attribute which they connote, but on a difference in the kind of class which they denote. We may predicate of a thing five different varieties of class-name : — • A yenus of the thing A species (el£?oe). A differentia (<>ia