f. ■ u '^llt'^ ii' ^:^ ^i5^; lVi,i;;/;i-; ■•*'^-'.vt. : ,; 'f * 1 1'"'"' iff. 1^ '', ' ■ . ;.'..Vv.' . .:• 'i" v "^ , : ^v. ltLS_ University of California At Los Angeles The Library Form L I 11 G?,5 This book is DUE on the last date stamped below PEC 171951 W1^^ :^ 1930 APR 2 1 1933 UfAP ^ JAN 1 3 195B ^fe.B 2 4 '^w^ \t... WOV 15 194B JAN23 194& MAR 9 \m MAYl 71949 ^^ tti m THE PROBLEM OF LOGIC Br THE SAME AUTHOR THE PROBLEM OF FREEDOM IN ITS RELATION TO PSYCHOLOGY ( 'IN PERSONAL IDEALISM." EDITED BY HENRY STURT) LONDON : MACMILLAN AND CO., LTD. I902 A PHILOSOPHICAL INTRODUCTION TO ETHICS LONDON: SWAN SONNENSCHEIN AND CO., LTD. 1904 RUDOLF EUCKEN'S PHILOSOPHY OF LIFE Third Edition With Frontispiece Portrait of Rddolf Eccken Crown 8vo. , cloth, price 3s. 6d. net LONDON : A. AND C. BLACK, LTD., SOHO SQUARE. I912 GOD WITH US A STUDY IN RELIGIOUS IDEALISM Crown 8vo., cloth, price 3s. 6d. net LONDON : A. AND C. BLACK, LTD., SOHO SQDARE. IQCg AGENTS AMERICA THE MACMILLAN COMPANY 64 * 66 FIFTH AvaNUE. NEW YORK CAUALA THE MACMILLAN CO.MPANV OF CA>JADA, LTD. 7i lii FLINDERS Lane, MELBOURNE THE PROBLEM OF LOGIC BY W. R. BOYCE GIBSON, M.A., D.Sc. (Oxox.) PROFESSOK (elect) OF MENTAL AND MORAL PHILOSOPHY IN T-HE UNIVERSITY OF MELBOURNE WITH THE CO-OPERATION OF AUGUSTA KLEIN LONDON A. AND C. BLACK, LIMITED 1914 o o f) n Published Septrmher, 1908 Reprinted Novenibei-, 1914 ccetcct*(* t (o .,..£<■ ■.'■'■<■ C B « • 3a 7/ TO MY WIFE / PREFACE. The present volume has grown up and taken shape under the chasteninpf influences of College teacliing. No teacher of Logic would wdsh to underestimate the value of the education he receives from his students ; and since my education has for nine years been advancing along these lines, my claim to have learnt Logic through ^ teaching it may be accepted in sincerest good faith. A first and ^ most grateful acknowledgment is due to my many fellow-workers ^ at Hampstead (at the New College Centre, and at Westfield College) ^ ,,who by their doubts, difficulties, criticisms, and suggestions have had so much to do with the shaping of this book. But there is a still more intimate sense in which the book is the work of many rather than of one. Prom the time wlien it was first jj decided to reconstruct the College lectures with a view to publica- ■^\ tion, I was privileged to enjoy the invaluable sympathy and assist- ^ ance of Professor G. F. Stout. Professor Stout most kindly consented to read through these lectures, and returned them to me shortly afterwards accompanied by a small volume of criticisms. It would be hard to exaggerate the value of these criticisms. On such funda- 5 mental heads as the Laws of Thought, the interrelation of Cate- ^gorical, Disjunctive, and Hypothetical Propositions, and the •^essential meaning of the Disjunctive and Hvpothetical Judgments, 4 the substance of Professor Stout's contentions was adopted, and f will be easily recognized by all who are familiar with the Professor's logical views. Many extracts from these criticisms will be found in the present volume. Professor Stout has also allowed me to look through a large part of his own Class lectures in Logic, and has helped me in many other ways, not least through certain con- versations which we have had together over fundamental logical principles. Miss Klein's collaboration dates from the first revision of the work — from the spring of 1905. Since that date, every change in the treatment — and the reconstructions have been drastic — has been subjected to the friendliest but most unsparing criticism. No point of divergence between us but has been thorouglily discussed, and transmuted into a point of common agreement. % iii PREFACE If, in addition to the reading of the proofs, the verifying of the quotations and the elaboration of the scientific illustra- tions and allusions, I may single out two respects in which Miss Ivlcin's co-operation has been particularly valuable, I would mention her revision of the work in the interest of consistency, and her revision of it in the interest of clear expression. To show the importance of these revisions, it would be necessary to pubUsh the original draft side by side with the final product ; but as this course is not practicable, I can only assure the reader that, however he may suffer from the defects of the present treatise, his sufferings, but for these revisions, would have been incalculably worse. It has, indeed, become increasingly evident to me, as the work proceeded, that it could no longer be honestly regarded as one man's work. The original draft was the work of one ; the reconstruction is the work of three. With regard to the help derived from published treatises on Logic, my heaviest obligation has been to the works of Mill and of Sigwart, to Professor Bosanquet's ' Logic,' and to Mr. Joseph's ' Introduction to Logic' My indebtedness to Mr. Joseph is in- direct rather than direct, our points of view being quite different. But though I have been unable to assimilate either the Aristotelian or the Baconian elements which figure so prominently in Mr. Joseph's treatment, I have every reason to be grateful that his work appeared early enough to allow of my making full use of it in revising my own. Among other works which have been par- ticularly useful to me, I would specially mention Professor Minto's treatise, ' Logic, Inductive and Deductive ' (notably the Introduc- tion to Book II., dealing with the Logic of Science), and Mr. Alfred Sid.gwick's books, notably ' The Use of Words in Reasoning '; but I have also profited much by the treatises of Dr. Keynes, Dr. Mellone, Professor Carveth Read, Mr. St. George Stock, Dr. Venn, and Professor Welton. I would, in addition, gratefully acknowledge the help given me by Miss Strudwick, of the Goldsmiths' College, New Cross, in connexion with the scientific illustrations on pj). 59-62. In conclusion, I would add that if I have appeared to ignore the work of such writers as Professor Dewey or Dr. Schiller, it is not through any lack of sympathy or appreciation. I am, indeed, persuaded that the drift of the present work is convergent with that of the Pragmatic Reformation, and that the stress laid on relevancy is a vital bond of union between ourselves and the Pragmatiflts. But the central contentions of Pragmatism concern the Logic of Experience, and cannot, therefore, be appropriately or adequately treated in the pages that follow. We hope to consider thern in a later work. The present volume aspires to be the first part of a ' complete ' treatise on Logic, of which the second will deal, or attempt to deal, with the Logical Problem in its more philosophical aspect. Some PREFACE ix brief indication as to this programme will be found in the Intro- duction. Here it may be enough to state that the Religious Idealism in which the author's own conviction culminates seems to him to call imperatively for a frank and fruitful co-operation between the Idealism of the Hegelian School on the one hand, and the Psychologism of the Pragmatic and Genetic movements on the other. In attempting this reconciliation, so far as it is relevant to the requirements of a logical treatise, the author ventures to hope that he may be found working in the service of that liberating movement in Philosophy which, in liis own mind, is centrally associated with the work and personality of Professor Eucken. Tlie promise of a sequel is no doubt a convenient shield for sheltering an author — though, indeed, only temporarily — from any charge of incompleteness in his treatment. I would claim this shelter as regards the discussion of the principles of Mathematics in their logical bearing. I hope to deal with this important problem in the sequel. I am much more doubtful with regard to the general problem of Symbolic Logic. Whether, in postponing the discussion of this department of Logic, I am or am not shelving its consideration altogether, I am not now j)repared to say. In no case would I contest the interest and importance of Symbolic Logic ; but whether the limitations of my programme — or of my own powers — may not render its discussion irrelevant — or impracticable — is, perhaps, a pardonable question. The distinctive feature of the present volume will, I tliink, be found in the dominating position assigned to the idea of relevancy. The fundamental concepts of Truth and Reality have been defined in the light of this category, and the principle of Fidelity to Relevant Fact has been adopted as the master-key to all the main positions, including the central problem of a Formal treatment, and its relation to a material treatment of Logic. I would also draw attention to the distinction between the functions respectively assigned to the Laws of Non-Contradiction and Ex- cluded ]\Iiddle. This distinction will be found to be directly con- nected \^ith that between a Formal and a material treatment of the logical problem. In conclusion, I would gratefully acknowledge the work done by Miss Klein in the framing of the Index. The Index is her work, and she alone is responsible for it. W. R. BOYCE GIBSON. CnAKDoxxE sfR Yevey, May 10, 1908. ERRATA, Page 337, line 30, instead of 'Nejitnne's irregularities,' read 'The irre;;ularities of Uranua.' CONTENTS BFCTION PAOB I. INTRODUCTION 1 II. LOGIC IN ITS RELATION TO LANGUAGE : (i.) Words, their function and ripi;ht use (Ch. I.) - - 13 (ii.) Definition and the Predicablos (Ch. II.) - - - 17 (iii.) The Testing of Definitions (Ch. III.) - - - 32 (iv.) Definition and Division: Logical Division (Ch. IV.) - 39 (v.) Classification (Ch. V.) - " - - - - 56 (vi.) Scientific Terminology and Nomenclature (Ch. VI.) - 66 (vii.) Connotation and Denotation (Ch. VII.) - - - 70 (viii.) Concrete and Abstract Terms (Ch. VIII.) • - - 85 III. THE LOGICAL PROPOSITION : (i.) The Judgment or Proposition : Introductory Statement (Ch. IX.) 93 (ii.) The Laws of Thought (Ch. X.) : (a) The Law of Logical Identity in its relation to the Proposition - - - - - 95 {b) The Laws of Non-Contradiction and Excluded Middle - - - - - - 98 (c) The Inviolability of the Laws of Thought - - 104 IV. ANALYSIS OF THE LOGICAL PROPOSITION AS STATE- MENT OF MEANING : (i.) Kinds of Proposition (Qi. XI.) - - - - 111 (ii.) Analysis of the Categorical Proposition (Ch. XII.) - 115 (iii.) The Meaning of PossibiHty (Ch. XIII.) - - - 127 (iv.) The Disjunctive Proposition (Ch. XIV.) - - - 131 (v.) The Hypothetical Proposition (Ch. XV.) - - - 138 V. THE FORMAL TREATMENT OF THE LOGICAL PRO- POSITION : (i.) Transition to the Formal Treatment of Logic (Cli. XVI.) - 145 (ii.) The Formal Import of the Categorical Proposition (Ch. XVIL) 146 (iii.) The Reduction of Categorical Propositions to Strict Logical Form (Ch. XVIII.) .... ir.l (iv.) The Opposition of Propositions (Ch. XIX.) - - 171 VI. BmEDIATE INFERENCE (Ch. XX.) - - - - 1S7 xi Xll CONTENTS SKCTION" PAGE Vn. THE SDIPLE CATEGORICAL SYLLOGISM : (i.) Formal Preliminarv (Qi. XXI.) - - - 213 (ii.) The Rules of the Syllogism : the Valid Forms (Ch. XXII.) 216 (iii.) Exercises on the Structure of the S.C.D. Syllogism (Ch. XXIIL) 227 (iv.) The Analysis of Syllogisms, and the Reduction of Argu- ments into Syllogistic Form (Ch. XXIV.) - - 230 (v.) Uses and Characteristics of the Four Figures : the Special Rules (Ch. XXV.) - - - - 235 (vi.) The Dicta (Ch. XXVI.) - - - - 239 (vii.) The Problem of Reduction (Ch. XXVII.) - - 247 (viii.) Unorthodox Syllogisms (Ch. XXVIII.) - - 250 VIIL OTHER FORMS OF SYLLOGISM : (i.) Complex Categorical Syllogisms : Sorites and Epi- cheirema (Ch. XXIX.) - - - - 255 (ii.) Tlie Disjunctive Syllogism (Ch. XXX.) - - - 262 (iii.) The Hypothetical Syllojjism (Ch. XXXI.) - - 2.63 (iv.) The Dilemma (Ch. XXXlI.) - - - - 271 IX. FALLACIES (Ch. XXXIII.) 281 X. THE PROBLEM OF INFERENCE : (i.) Mill's Estimate of the Syllogism (Ch. XXXIV.) - 299 (ii.) The Function and Value of a Formal DiscipUne (Ch. XXXV.) (iii.) Truth-Inference, formal and real ((Hi. XXXVI.) XL INDUCTION AND THE INDUCTIVE PRINCIPLE : (i-) (ii.) (iii.) General Theory of Induction (Ch. XXXVII. ): (a) The Pure Inductive Method (b) The Essentials of Induction (c) Induction and ' Inductive Inference ' Hypothesis (Ch. XXXVIII.) - Generalization (Ch. XXXIX.) - 304 306 SIS*-'! 3i6 I 326 I 328'— 339 XII. APPLICATION OF THE INDUCTIVE PRINCIPLE TO ' INDUCTIONS IMPROPERLY SO-CALLED,' AND TO ' IMPERFECT INDUCTIONS ' : (i.) Inductive Inferences improperly so-called (Ch. (ii.) The 'Imperfect Inductions': (a) Enumerative Induction (Ch. XLL) (6) Argument from Analogy (Ch. XLII.) XL.) 347 351- 358 XIIL THE GOAL OF INDUCTION : CAUSAL EXPLANATION : (i.) Cause and Causal Law (Ch. XLIII.) - - - 367 (ii.) The Process of Scientific Observation (Ch. XLIV.) - 389* (iii.) The Method of Causal Explanation (Ch. XLV.) - 395 (iv.) Illustrations of the Application of Inductive Method (Ch. XLVI.) 422 XIV. THE INDUrTIVE POSTULATE (Ch. XLVII.) Index, Verbal and Analytic 447 463 THE PROBLEM OF LOGIC I. INTRODUCTION. Logic is the mind's systematic attempt to understand the nature and the conditions of the search after Truth. To the question, ' What is Truth V we would answer by suggesting the following provisional definition : Truth is the Unity of ideas as systematically organized through the control exercised by relevant fact. Or— Truth is the Unitj^ of Thought as systematically organized througli the control exercised by that aspect of Reahty which is relevant to the purpose of the thinker. With a view to bringing out the meaning of these definitions, we must state in the fij:st place that we do not regard Truth as a datum, but as a problem. The truth we seek cannot be that from which we start, for were truth already attained at the outset, no sufficient reason could be assigned for proceeding any further with the quest. We might, of course, regard the Truth as given, and devote our energies to its systematic exposition and application. But, in that case, we should have radically to alter our definition of Logic. Logic would no longer deal with the Search after Truth, but would be busied solely with the question of its consistent presentation. Logic would just mean Consistency-Logic, and might be defined as the mind's systematic attempt to understand the nature and the conditions of a correct presentation of the Truth. But, valuable as such a Consistency-Logic would be, its logical value would lie, not in its relation to a sj'stem of given truth, but in its analysis and development of the laws of consistent thinking. We would draw attention, in the second place, to the fact that Truth is defiiied as a Unity, and that to define Truth as a Unity is to ground logical inquiry on a monistic basis. We cannot, of course, justify monistic faith by merely asserting it, nor, by asserting it, ] THE PROBLEM OF LOGIC [I. make our meanin!: clear. ' Monism ' is a catchword as dear to the Rationahsm of Hegel as it is to that of Haeckel, and we suspect that much that calls itself Pluralism is but Monism in the making. It is indeed a much-abused word, and we introduce it thus bluntly, at the outset of our inquiry, not as a dogma but as a problem. To justify our monistic faith we need here do no more than justify our riglit to accept the struggle for complete unity of thought as the fundamental mark of the truth-seeker, and the attempt to define the nature and conditions of such a struggle as the distinctive function of Logic. We might justify this right by presenting it as a necessity of our logical reason, and contend that it is meaningless to suppose that Unity of Thought and Purpose can be ultimately satisfied by an\i:hing short of the Lenity of the L^niverse. Or we might defend our monistic faith as a postulate limiting the scope of our inquiry, and proceed confidently with our venture, more than content with the perfect freedom conferred upon us by our own self-limitation. We would prefer, however, to point quite simply to a certain insatiabiUty of logical appetite as the best justification for our Monism. For if we forgo or evade the struggle after Unity, we really do hmit ourselves in quite a literal and painful sense. We renounce the hope of a logical conquest that shall leave us nothing foreign or unsubdued to mock us with its ahen nature. We abdicate a fraction of our empire, and must five in perpetual dread of border troubles, of disturbances emanating from those shadowy entities — the dim hosts of the ununifiable. And can one imagine thought surveying such a chaos from the edge of its own self-limited domain and still dehberately disclaiming a redemptive mission ? Is it not thought's nature rather to weep because, hke Alexander, it sees no further worlds to conquer ? Our sufficient aipology, then, for regarding the Truth-problem as a search after Unity is that logical ambition can be satisfied with nothing less, and cannot endure the sight of chaos battening for lack of its two-edged sword. We turn, in the tliird place, to our contention that relevant fact is the agency which controls the process through which our thinking becomes systematized. The precise function of the expression ' relevant fact ' is to indicate that truth implies at once a reference to purpose and a reference to reahty ; and the second of the two definitions of Truth that we have given explicitly brings out this implication. Thought submits itself to fact as the experimenter submits himself to the object experimented on. As the experimenter determines the conditions under which the experiment shall take place, so thought selects and determines the aspect under which the facts shall be thought. The purpose of the inquir\^ be it that of the physicist, the biologist, the artist, or the mystic, determines the range of fact within which the student of Nature recognizes an Intro.] INTRODUCTION 3 objective control. It is true that to conquer Nature we must obey her ; but we must know clearly what it is tliat we obey, and to this end must first select and mark out the domain that we have then to conquer through submission. Tlie investigator of Nature is thus at once self-controlled by his own purpose, and outwardly controlled by the facts in so far as they are germane to that purpose. In a word, he is controlled throughout by ' relevant fact ' — i.e., by the object! v'^e nature of that aspect of the universe wliich is relevant to his subjective interest. We thus reach the conclusion that the conception of Truth from which we set out itself determines the principle which must domi- nate and inform o;ir whole attempt to realize it. If the Unity of our thought is to be shaped through the pressure of relevant fact, then fidelity to relevant fact must be the fundamental principle through which growth in Truth is determined, and it must also figure as the standard or criterion of any inquiry into the conditions of its attainment. So we take it as our guiding clue through the mazes of the logical problem.* We shall realize its determinative influence, not only in the problems of definition and division, where it operates in the interests of Order and non-ambiguity, but even in fixing what we mean by meaning — the ' meaning ' which these processes serve to develop. Again, the reference which the principle imphes to purpose, and through purpose to reality, will be found to enter into the very conception of a complete logical judgment ; whilst, in methodology and the problem of scientific explanation, tliis principle of fidelity to relevant fact will be exphcitly sustained as the funda- mental principle and standard of Induction, and rendered deter- minate in the fight of the Inductive Postulate. Let us now apply these general considerations to the special case of the present inquiry. The truth we have in view is Truth in so far as it can relevantly serve as an Ideal for a pre-pliilosopliical Logic. When preparing for more difficult flights — e.g., for a truth-journey doTvii the abysmal depths of personality — Logic might reasonably desire to equip itself with a more penetrating conception of Truth than is required for its more preliminary labours. If Truth is, in all cases, the Ideal which we aim at progressively realizing through Knowledge, and is conceived as that which can adequately satisfy the thinker's will to know, then the Truth-Ideal will vary with the view we take of Ivnowledge, and also with the depth of this will to know. By Knowledge we may understand Self-Knowledge, and the depth of the truth-interest will then be measured by the depth of the * The relation of this Principle to the Laws of Thought may be stated in the simplest way by sayiug that the former presupposes the latter. But it is only in the inuely Formal treatment of the logical problem, in connexion with the problem of inference, that the Laws of Thought, as we understand them, can be accepted as an adequate logical standard. "Where the truth-interest is present, a concretcr principle — operating, of course, in conformity with the Laws of Thought — is required to give positive direction to our thinking. 1—2 4 THE PROBLEM OF LOGIC [I. self that is seeking for truth-satisfaction ; we should then be con- cerned with the profoundest questions — with Freedom, Personality, Perfection, Immortalit}', God — questions which spring from the unrest and dissatisfaction of our deepest self. But if by Knowledge we understand, not Self-Knowledge, but Knowledge about Things, Knowledge of that which we apprehend through the senses, we may well be content with a less intimate specification of the meaning of Truth. We reach this more restricted conception of Truth through marking out the realm of fact which we take to be relevant to the limited requirements of a pre-philosophical treatment — in a word, by defining what we here mean by Reahty. L'nder ' Reality ' we shall include two main aspects of Fact : 1. The world as common sense understands it (or some con- ventionally restricted fragment of it). 2. Nature, understood as the subject-matter of Science. In bringing the worlds of Science and Common Sense thus closely together, we are making an assumption which it is important to notice. We are assuming that the attitude of common sense to the more or less fragmentary world within which its interest is restricted is, on its own humbler level, similar to the attitude of Science towards Nature. It may, however, be objected with good reason that in thus characterizing the common-sense attitude towards reality as pre-scientific, we are doing injustice to the ordinary consciousness, which, over and above its interest in a world external to it, has interests of a personal and social kind. The objection in itself is perfectly legitimate. The ordinary conscious- ness is religious as well as practical, and has inward as well as outward looking views as to tlie nature of truth. If sense-ex- perience rests its beUefs on an ' I have seen,' the intuitionism of the moral and religious consciousness rests its behefs on an ' I have felt.' In the one case truth is taken to be the truth about an object, the truth about a fact ; in the other, it is taken as the truth for a subject, the truth for a person. The imphcations of the more inward conception of the meaning of truth are of fundamental importance, and, at a more advanced stage of logical inquiry, their discussion becomes imperative. But for our present purpose — i.e., for the purposes of a pre-philosophical Logic — we propose to ignore this personal, inward interpretation of the truth-problem, and the deeper view of Reahty which would correspond to it. At the same time we must remember that the definition we have provisionally laid down does not do full justice to the truth as it is presented to common sense. It imposes a restriction which reduces common sense to an infra-scientific stand- point. Only when common sense is thus restricted can Science be regarded as its completion and rectification. Only when we have eliminated as irrelevant the relation of truth to personal Intro.] INTRODUCTION 6 experience can we fairly describe Science as organized Common Sense. The deliberate exclusion of the personal clement from the defini- tion of truth may appear to some to be unjustifiable even when the definition is given solely from the scientific and infra-.scientific points of view. The objection may be raised that, since the reference to reality which is implied in all truth-seeking, whether scientific or infra-scientific, can be characterized and defined only through relation to logical purpose, we cannot study Reality at any stage without introducing the personal element. It is quite true that the truth-definition which we have adopted explicitly includes a refer- ence to purpose. But this mere reference to purpose in no way commits us to a personalistic view of truth or of reaUty. On the contrary, it may so define the reference to reality as to render such a view irrelevant and impossible. How this reality-reference has been defined, in the interest of a pre-philosophical treatment, we have already seen. The limitation ensures that Truth shall be truth about fact, and not the truth of personal realization. To reach the pliilosophical conception of truth, we must study Fact in the light of a philosophical truth-interest, and adopt a correspond- ingly philosophical conception of reality. It is true that reference to purpose implies reference to a deeper reality than that reality of nature the conception of which it serves to define, and that in this important sense the scientific point of view implies and presupposes the philosophic ; but the implication remains latent, and the scientific and pre-scientific conceptions of truth and reality correspondingly impersonal and objective. There are, we may say, three main stages in the life of Logic. In its first, formal, or common-sense stage, Logic presents itself as a propaedeutic, or preliminary discipline, and the truth-ideal which it then presents to thought is truth as involving the relation of thought not to the reality of the Natural Order, but to a reality of a more or less restricted and conventional kind. The point of view, in a word, is essentially formal in the sense of conventional. There is no reference to a permanent order like that of Nature as conceived by Science, but only to such conventionally restricted aspects of it as answer to the requirements of some particular purpose. In the second, real, or scientific stage, the casual, disconnected grasp on Reality which these conventional restrictions involve is definitely abandoned. Thought ceases to play with Reality in the interests of discussion, or of other requirements of practical inter- course. Armed with the idea of natural law, it now disposes itself to face the full force of that great realm of fact which has no limit but thi3t of the api^licability of the idea itself. And yet this second stage is not final. It presupposes a relation of externality between fact and idea, and is broken through when this externality is done away with, and Truth shows itself as the 6 THE PROBLEM OF LOGIC [I intimate oneness of idea vnth fact. The complete setting forth of this unity is the function of a philosophical Logic. Briefly, it amounts to the idealizing of fact and the realizing of ideas within CI? O a conception of experienced fact larger than is possible to Scicitice or appropriate to its restricted point of view. In this third stage, Thought, as Hegel would say, finds itself at home with itself, freed from all fettering abstraction, and at the very heart of the reality it is its mission to understand. What remains is then just the sys- tematic articulation of the structure of this experienced fact, at once most real and most ideal — the Logic of spiritual experience. Tliis Personalistic Logic, as already stated, lies beyond the scope of the present treatise ; the following course covers only the first two stages. The earher stages, however, are essential to the proper grasp of the third and last. For the lessons of each earlier stage are taken up into the succeeding one in a form determined by the richer, concreter conditions of the latter. Thus, what is gained at the one level is not lost at the next, but transcended and redeemed. The ' Reason ' of Philosophy must have assimilated the ' Under- standing ' of Science, the passion for distinctness and precision, which is characteristic of the scientific attitude, and its loyalty to relevant fact. Loj^alty to ideals can bestead Philosophy but little if it does not, in its own appropriate way, include reverence for fact as an integral requisite of all true spiritual exj)erience. Li the foregoing attempt to define the x>oint of view adopted in the following treatise, the meaning of the word ' formal ' deserves particular consideration. For it is more customary to identify the term ' Formal Logic ' with a Logic of Validity than with a treat- ment in which is imphed a merely ' formal ' reference to reality. In particular, the word ' formal ' is associated with the so-called Forms or Formal Laws of Thought as the principles upon which consistent thinking ultimately depends. Thus, in using this ambiguous term, it is essential that we should not confuse the two meaning-. We propose, therefore, in the interests of clearness, to adopt the following device. When ' Formal ' is being used in its fundamental sense of ' abstractly valid,' we shall employ a capital F ; when it is being used in the sense of ' conventional,' we shall write the word with a small ' f .' Should tlie word open the sentence, and the capital letter be indispensable, we shall leave it to the context to decide in which of its two senses the word is being used.* The distinction between a formal and a real logical treatment is a distinction witliin a unity. Both methods equally imply a funda- • Perhaps the strongest reason for retaining two such closely similar words to designate meanings apparently so dillerent is that the meanings are not so unrelated as they apfK-ar to be. A ' Formal ' treatment of Logic might be considered as a ' limiting case ' of a ' formal ' treatment of the subject — the case, namely, where the conventional restriction put upon the meaning of Reality is such as to reduce it to an essentially hypothetical status (vule p. 145). iNTBo.] INTRODUCTION 7 mental respect for consistency, and they both involve a reference to reality, though the reference is occasional in the one case and syste- matic in the other. We do not, then, propose to keep the two methods separate. We propose, on the contrary, to discuss the real in close connexion with the formal aspect, and thereby to secure a unity of treatment which would be forfeited by the attempt to deal with the two aspects successively and in isolation from each other. When we are interested in emphasizing what is common to these two types of logical treatment, we propose to use the word ' material ' to cover both. Thus, a material logical treatment may be either formal or real. In contrast with a material treatment of Logic, we have what is customarily known as a purely Formal treatment. We shall find that at a certain stage in the development of our subject it becomes essential to abstract entirely from the reference of thought to reality as we have defined it {vide p. 4),* and to concentrate our whole attention on the logical conditions of valid thinking. When our logical interest is thus rigidly restricted, and reduced to an interest in validit}^, the treatment ceases to be material, and becomes Formal. The chapters on the Laws of Thought and their application to the problems of Opposition, Eduction, and Syllogism are tlic chapters essential to a strictly Formal treatment. The ideal of (material) truth, which alone gives meaning to the distinction between ' formal ' and ' real,' here gives place to the ideal of validity. The reference to reahty implied in all reasoning whatsoever is tacitly ignored as ' accidental,' and the primary logical requisite, the requisite of validity, monopohzes the attention. Whatever reference to truth or falsity there is in Formal Logic is wholly hypothetical. If the statements ' All donkeys are daffodils ' and ' All dragons are donkeys ' are both accepted, accepted as though they were true (whether, as a matter of fact, they are true is here a completely irrelevant question), then Formal Logic insists that the statement ' All dragons are daffodils ' must also be accepted, accepted as though it were true. The Validity-Ideal, which is regulative of a Formal logical treat- ment, implies the twofold requisite of Self-consistency and of Inter- consistency. A statement or an argument is self-consistent when it so hangs together that thought may pass through it, as it were, from beginning to end without falHng into contradiction with itself by the way. The statement, ' Square tables are round ' violate/ this fundamental requirement. So does the following argument : ' All men are rational animals. Nebuchadnezzar was a man. Therefore, Nebuchadnezzar was not a rational animal.' ♦ Vide note, p. 9. 8 THE PROBLEM OF LOGIC [I. We cannot maintain, Avitliout illegitimate variation in our use of words, that all men are rational, and that one is not so. The Interconsistency of our statements is as important as their Self-Consistency. The diligent reader may discover on different pages of a connected treatise statements which no charity can con- strue as interconsistent. The statements may be separated by more than a hundred pages, but the requisite of Interconsistency will still compel a logical readjustment of the passages such as will make them maintainable together by one and the same thinker in one and the same discourse. The coherency of our thinking is essentially dei^endent upon a faithful observance of the requisite of inter- consistenc}'. Logical Consistency should be carefully distinguished from Material Compatibility. Whether the assertion that my friend takes no regular exercise is compatible with the statement that he continues to enjoy robust health, and is in that sense ' consistent ' with it, is a question that concerns material truth. A treatment wliich ignores all considerations of truth and falsity* cannot possibly say anj'tliing relevant upon the matter. Logical Consistency should be distinguished from logical Validity. The meaning of the former is at once wider and more negative than that of the latter. Consistency impHes mere freedom from self- contradiction ; VaUdity, a connexion so close that the severing of it would involve a contradiction. If we say ' Some people are reasonable,' it is quite consistent to add ' Some people are not reasonable '; but, as we shall see {vide p. 174), we could not validly infer that some peop^.e are not reasonable from the statement that some people are. An argument is said to be valid when the con- clusion dra\\ii from the premisses is such that we must accept it, once the premisses have been accepted. A conclusion dra^Ti in tliis way from its premisses is said to be draA^-n from them with logical necessity, and is known as a valid conclusion. So, again, the pro- position ' If all men are mortals, some mortals are men ' is a vaHd proposition, since the accejotancc of the ' if ' clause necessitates our accepting its consequent. The statement ' If all men are mortals, all mortals are men,' is invalid if taken as asserting a logical connexion, though it is not inconsistent. We should also note the distinctively negative character of Logical Consistency. Logical Consistency does not amount to systematic coherency. The coherency of a scientific system means much more tlian mere freedom from self-contradiction. We conclude this Introductory Chapter with the following brief resume of its main points : Logic is the Science of Right Thinking. To think rightly we must think both consistently and truly. * Fide note, p. 9. Intro.] IXTKODUCTION 9 To think consistently is to avoid all self-contradiction. If wo think as logical necessity requires, our thought is said to be valid. Consistent = not involving contradiction = not inconsistent. Valid = involving logical necessity. Inconsistent = involving self-contradiction. Invalid = not involving logical necessity. To think truly is to think under the control exercised by that aspect of Reality which is relevant to the purpose of our thinking. Under Reality, as relevant to the truth-interest of a pre-philo- sophical discipline, we include the world of Common Sense — the world in relation to our various practical interests — and Nature as understood by Science. In cither case, this reahty is conceived as having a nature suffi- ciently stable to control our tentative thought about it. When the reahty we have in view is limited by some practical interest, the logical ideal is satisfied in proportion as our ideas adjust themselves to the control exercised by this conventionally hmited reality. Ideas so adjusted may be said to be formally or conventionally true, true in relation to our restricted practical purpose. When the reality is Nature as conceived by Science, the con- trolling of our ideas through reahty is said to give us real or scientific truth. Finally, when our sole interest is in the validity of our think- ing, the question whether the reference of our thought to reahty is formal or real ceases to be relevant ; for we are here no longer concerned that our thought shall be true, but only that it shall be vahd. The treatment of right thinking which is thus exclusively regu- lated by the Ideal of Vahdity is known as Formal Logic. Whatever reference there is to truth or falsity in Formal Logic is wholly hypothetical. The Formal treatment of right thinking should be carefull}" dis- tinguished from a formal reference to reality, a Formal treatment being a treatment m accordance with the Formal Laws of Thought, the laws of logical Validity. By ' Formal ' we mean dominated by the Ideal of Validity. By ' formal ' we mean ' conventional.' Note. — Tlicre is a certain misconception witli regard to our use of the term ' Formal,' which our very definition of a Formal treat- ment may have served to foster. We have stated that a logical treatment can be called Formal only in so far as we abstract from all reference to truth or reality ; and if the definitions which, in the interest of a pre-pliilosophical treatment, we have given of these 10 THE PROBLEM OF LOGIC [L same terms are not borne carefully in mind, the reader may be left with a very poor opinion as to the status of Formal Logic. Formal Logic will seem to be concerned essentially with some abstract department of Xon-Being. If we turn, however, to the definitions of truth and reality, as given on pj). 1, 4, or in the resume, p. 9, we shall readily see that no such disparagement of a Formal treatment is intended or implied. In abstracting from all reference to reality as we have defined it, we do not abstract from all reference to all reality. It is only when the pre-philosopliical definition of reality which we have adopted is mistaken for the ultimate meaning of reality that a Formal treatment of Thought appears unreal, and, in its detailed application, tends to degenerate into mere mechanical drudgery, on the one hand, or, on the other, into irresponsible explorations within a purely artificial world. The abstraction from all reference to material reahty and truth still leaves us with the reference of thought to itself ; and when this self-reference of thought, together with the problem of Validity which it involves, is studied under the redeeming conditions of philosophical insight, Formal Thinking gains a vital, a spiritually vital significance. Assuming a philosophical definition of Truth — ■ as we understand the term ' philosophical ' — the interest in Validity is itself an interest in Truth. II. LOGIC IN ITS RELATION TO LANGUAGE. (i.) "Words, their function and right use (eh. i.). (ii. ) Definition and the Predicables (eh. ii.). (iii.) The Testing of Definitions (ch. iii.). (iv.) Definition and Division : Logical Division (ch. iv.). (v.) Classification (ch. v.). (vi.) Scientific Terminology and Nomenclature (ch. vi.) (vii.) Connotation and Denotation (ch. vii.). (viii.) Concrete and Abstract Terms (ch. viii.). CHAPTER I. II. (i.) WORDS. THEIR FUNCTION AND RIGHT USE. The Function of Words. PRorosiNG as we do to start in the humblest and most methodical way in our investigation of the nature and conditions of Truth wo look first to the tool or instrument we shall be dependent on all through — namely, Language. Logic, like every other science, depends on language, written or spoken, as its only suitable instrument. In Grammar, which considers words in themselves and in relation to each other, Language is the subject-matter treated of as well as the instrument ; but it is not so in Logic. Logic is cor^erned with language only as an instrument of thought, and its aim is so to handle the instrument as to make it a help and not a hindrance to correct thinking. Since thought can be handled only in verbal form, the regulative function of Logic, directed primarily upon thought itself, is inevitably pressed upon language as well. Language must reveal thought and not falsify it. Rhetoric, too, is concerned with language and the right use of words. But whereas Logic aims at the right use of words with a view to correct thinking. Rhetoric aims at the right use of words with a view to persuasion. The purpose of Rhetoric is to prove practically effective, and its appeal is therefore made to the whole man, to his emotions and humours as well as to his reason. As a science, at any rate, Logic is concerned with theoretical soundness rather than with practical efficiency. As an art it may be said to aim at practical efficiency, but its appeal is still made exclusively to the reason. Over this instrument. Speech, Logic proposes to exercise appro- priate supervision. But supervision, to be logical, must be in accordance with the nature of what is supervised. Before we consider the right use of words, we must learn something of their natural function in relation to thought. The main function of words is to fix meanings or ideas both in our own minds and in those of our fellows. If I wish to see an object clearly, I bring it into the focus of vision. This I do instinctively through the help of a number of delicate eye move- 13 14 THE PROBLEM OF LOGIC [II. i. ments. There are movements of convergence of the two eyes, of accommodation to near or far vision, and focusing movements. These contractions of the eye-muscles enable us to fixate the objects we look at. Similarh% we fixate smells by setting our nasal muscles in action, and so inhaling or sniffing upwards. We fixate a taste by setting the muscles of the palate in action, and pressing the food on to the palate. So with the ear-muscles in hearing. A horse will ' prick its ears ' to fix a sound. It is in a perfectly analogous sense that we utilize the muscles of lips, tongue, larj^nx, for toning and articulating our breath into sounds that bring our meaning fixedly before us. Thus, we control the utterance of our thought by means of a certain special set of muscles, the muscles involved in controlling the breath so as to produce articulate sounds. The function of words is to fix ideas, and this in a twofold sense. For not only do they serve to impress meanings on ourselves who think ; they also serve to express our meanings to others, and are then known as expressive signs. These should be distinguished from substitute signs. An ex- pressive sign is meant to express meaning, whereas a substitute sign is a counter which can be manipulated without our knowing what idea it stands for (c/. Stout, ' Analytic Psychology,' p. 193). Thus, algebraical symbols are used as substitute signs. I may start by jDositing that x shall stand for the number of cows a certain farmer bought ; but I may go on to solve the equation z^ + 3z + 2 = 20 without thinking any more about the cows. I am concerned solely with the algebraical laws according to which I may profitably operate upon the sign. It is only when the value of X is found that I think about the cows again. Such substitute signs are not words. If I say ' S is P,' or ' All S is P,' S and P are not words. They would be ' words ' only if they were intended to fixate attention on the letters of the alphabet indicated. They are mere symbols, and do not call attention to their meaning. ' A word,' it has been well said, ' is an instrument for thinking about the meaning which it expresses ; a substitute sign is a means of not thinking about the meaning which it symbolizes ' (ibid., p. 194). But to return to the natural function of expressive signs, which is to fix meanings with a view to rendering them unambiguous and stable. Meanings are naturally volatile ; in Hegel's expressive phrase, they have hands and feet. It is indeed no easy task for words to keep even pace with the march of thought. While the meaning runs through a succession of changes, the word has a way of remaining unchanged. The change in the meaning of a word tends to take place in one of two opposite directions : it may become more generalized, or it may become more specialized. Chap. I.] WORDS : THEIR FUNCTION AND USE 15 Instances of Generalization : (a) ' Journej- ' and 'journal.' 'Journey' (Fr. journee) was originally one day's march. ' Journal,' originally a daily paper, has been generalized to include ' weekly ' as well. (b) ' Charm ' and ' enchant.' From Lat. carmen, ' song or in- cantation,' and ' incantare.' In Elizabethan English both words involved the notion of ' spell, magical power.' Portia says to Brutus : ' I charm you. . . . That you unfold to me why you are heavy' ('Julius Caesar,' II. i. 271). Here 'charm' means 'lay a spell upon,' and so ' adjure.' Cf. Milton's ' Samson Agonistes,' 934 : ' Thy fair enchanted cup and warbling charms.' As the belief in magic declined, the meanings of both words widened, so as to include influences other than magical. Cf. also ' villain ' and ' clerk.' Instances of Specialization : (a) ' Success.' In Elizabethan English its usual sense is ' result,' ' fortune,' whether good or bad, Cf. ' Troilus and Cressida,' II. ii. 117 : ' Nor fear of bad success in a bad cause,' (6) ' Stare,' ' to stiffen, stand on end,' is used in Shakespeare of hair as well as eyes. Brutus says to Caesar's ghost : ' Thou mak'st my hair to stare ' (' Juhus Caesar,' IV, iii, 280). (c) ' Knave ' was originally ' boy ' (German ' Knahe '). The word seems to have been speciaHzed in so far as it now implies dishonesty, and at the same time generalized to include man as well as boy. But the intrinsic vitality of thought presses in a still more funda- mental way against the pretensions of language to fix it. The meaning of words is always tending to vary with the context. Adopting Professor Stout's terminology, we may conveniently refer to meaning fixed by context as ' occasional ' meaning, and oppose it to meam'ng fixed by usage, to what we may call the ' dictionary ' meaning of a word. We may look upon the usual interpretation as a sort of fictitious mean position about which the meaning of the term oscillates, and the occasional meanings as the shghtly divergent positions where the balance has oscillated somewhat from the mean position. Thus, if we compare together the following expressions : ' the Queen of Sheba,' ' the Queen of the May,' ' the Quaen of the hive,' ' the Queen of Hearts,' ' the Queen of puddings,' we shall notice that the word ' Queen ' rings differently in the different phrases. Its hving meaning varies from phrase to phrase : a queen in Solomon's palace is not a queen in the same sense as in a pack of cards or even in a hive. As an illustration of the influence which context exercises over meaning. Professor Bosanquet's analogy (' Essentials of Logic,' p. 55) may be appropriately cited. He is speaking of a very fine Turner landscape which in 1892 was in the ' Old Masters' Exhibi- tion ' at Burlington House — the jpicture of the two bridges at V^alton- IG THE PROBLEM OF LOGIC [11. i. on-Thamcs. The picture is full of detail — figures, animals, trees, and a curving river-bed. Experts tell us that the organic unity of the parts of that picture is such that, if we were to cut out the smallest appreciable fragment of all this detail, the whole effect of the picture would be destroyed. Now consider this patch of colour wliich we will suppose has been cut out. If seen on a piece of paper by itself, it might be devoid of all significance ; but put it back into its proper place, and it shares at once in the whole beauty and meaning of the picture, takes its part in the picture's life. So a word (colourless enough when seen by itself in its usual meaning as conventionalized by definition), when placed in an appropriate setting, takes on at once the glow of the context. The Right Use of Words [Logical Aspect). The essential function of words being to fix meanings, the super- vision which Logic exercises over them must consist in guiding and rectifying this intrinsic tendency of language so as to make it the best possible medium for expressing the truth. The essential fact we have to reckon with in this regulation of the function of language as the expression of ideas is that ideas show an intrinsic plasticity and indefiniteness, that meanings grow and vary with the context. Hence, any policy which tends ruthlessly to stereotype the meaning of words would obviously run counter to the proper fulfilling of the essential function of language, which is to express thought. If such definite fixity is imposed upon the use of a word, it will be for special purposes, as when, in the case of the elaborate technology of Science, every other requisite of expression is subordinated to the paramount desideratum of precision. This natural tendency of words to fix the meanings they express receives its true logical guidance from the Principle of Non- Am- biguity. This is not the same as the Principle of Identity to be discussed further on, and if we venture to call it the first law of correct and consistent thinking, it is first not for thought itself, but for us who are making our way gradually towards the more inward principles that express most truly the nature of our thinking. It is essentially a limiting or negative principle. It insists, in the interests of right thinking, that the natural indefiniteness and fluency of our meaning shall never reach the point of ambiguity. But it has no quarrel witli an appropriate indefiniteness in the use of words, provided this indefiniteness is definite enough for the p'-irpose — i.e., does not amount to ambiguity. In this sense we see the truth of the saying that Logic is the medicine of the mind. It is only when ambiguity is felt that Logic presses upon us its remedy of definitions In interpreting and regulating the tendency in language to render our thinking determinate, Logic has not infrequently to unfix in order to fix better. It unfixes the casual non-purposive association. Chap. II.] DEFINITION AND THE PREDICABLES 17 that have grown up at random, undisciplined by reference to any self-consciously held ideal, practical or theoretical. Language, if unthinkingly used, plays the tyrant over our thinking. We may easily become the slaves of words. We may allow a word to gather about it a cluster of subjective associations with which we insist on investing it whenever it is used, never troubling to inquire whether the word in the new context, or as used b}^ the author we are study- ing, docs not mean something quite different from such meaning as we have come to attach to it. In the interests of right thinking, words should stand loose from such associations, so as to take on any desired meaning, the logical ideal requiring only that the mean- ing shall not involve any ambiguity or unreasoned inconsistency. CHAPTER II. II. (ii.) DEFINITION AND TPIE TREDICABLES. Definition per Genus et Differentiam. Is ordinary talk we are not over-careful of the right use of words, provided we can make ourselves suificicntly intelligible for practical purposes. If a friend happens to use a word with wliich we are not familiar, we ask him what he means by it ; but we are, as a rule, quite satisfied with his answer if it be sufficiently definite to show us what he is referring to. We are satisfied if he describes to us the meaning of the unfamiliar word. Mr. Alfred S'dgwick has given a name to this kind of information. He calls it ' translation.' ' De- scription ' seems, however, a simpler and more satisfactory term. Description in this sense consists in giving a general account of a word's meaning. It gives us the rough meaning of the word. ^Ir. Sidgwick is anxious, and rightly so, th;at we should not confuse description (or unelaborated definition) with definition proper. Etj^mologically, definition means marking out the limits or boun- daries of the use of words, and tliis, as a rule, we never trouble to do in ordinar}' discourse. We arc content to speak with a certain amount of useful vagueness. The words we use are clear enough at their centre, but they have misty edges. Indeed, apart from a certain inherent indefiniteness of contour, they would cease to be really useful ; for it is the very indefiniteness of words which permits of their taking on different shades of meaning according to context. But, as Mr. Sidgwick points out, indefiniteness does not mean ambiguity, though it is a precondition of it. If a word were definite through and through, with clear-cut edges in addition to a well- marked centre, it could never bo ambiguous. Words become 2 IS THE TROBLEM OF LOGIC [11. ii. ambiguous when their inherent indefinitencss has become such that it perplexes the meaning of what we say. Take the word ' Liberal.' ' The indofiniteness,' sa3^s ^Ir. Sidgwick,* ' which was latent in the name up to the beginning of April, 188G, became a few months afterwards so patent as to cause ambiguity ; witliin what used to be called the Liberal party there had come to hght two sub-classes, each of which denied to the other the right to the name.' The single meaning had split in two ; the word had no longer one well-marked centre, but two ; and so long as wc were not told, on being spoken to about Liberals, whether C^ or C was being referred to, ambiguity would ari:?e. We conclude, then, tliat if we would use our words rightly, we must be able — (1) to recognize the point at which definition becomes necessary ; and (2) to know how to set about discovering the defini- tion when required. To sum up as regards (1), we have to recognize that, even when there is doubt as to the meaning of a term in an assertion, a defini- tion is not necessarily called for. To define a word formally is to mark off its edges from the encroachments of other words, and there is no point in being precise about the edges if there is uncer- tainty about the centre. A definition, in fact, is rarely wanted unless the rough meaning of a word is already known. If the difficulty in grasping the meaning of a sentence arises from un- familiarity with any word, description is called for, not definition ; but if an actual difficulty is felt in applying a familiar word correctly in a given case — that is, whenever the latent indefinitencss natural to the word is actually causing ambiguity — then definition is called for.t If it is called for, how are we to set about the work of defining ? The natural answer is : Through a process of Comparison. Words at their outer edges are in contact with other words, and the respec- tive sphere of influence of each can be marked out only by com- paring and adjusting the meanings. To define a word, we must compare it with such words as are most closely related to it in meaning. This gives us the Genus and Differentia. The genus includes the marks which the word has in common with the rest ; the differentia those which distinguish it from them. We may express this result in a slightly different form. Defini- tion, we may say, is the process whereby we assign to a word — (1) its class-designation, and (2) the specific difference which serves to distinguish it from all other words that share the same class- designation. Experience siiows that, though nothing is in all respects like any otlier thing, yet things can be separated out into groups, each group comprising all those different objects which resemble each other in * A. Sidgwick, ' The Use of Worda in Reasoning,' p. 196, t IhvJ,., p. 49. Ciur. II.] DEFINITION /VND THE PREDICABLES 19 certain points — Pj, Pg, P3, P4. The objects are then said to be classed, and the class-name defined, by these common marks — Pp P„, P3, P^. Anything that possesses tliese common marks is then designated by the class-name, also called the general name. Further, the class-name, as such, cannot possibly specify distinc- tions between the included sub-classes. The name ' horse ' cannot inform me whether a cart-horse or a race-horse is in question. If I wish, therefore, to specif}^ a particular section of a class, or, in other words, to differentiate a species from the genus, I must add a qualifying mark, or differentia. Thus, if I wish to define the kind or species of vehicle known as ' omnibus,' I ask myself : What is the genus or class under which this species falls, and what is the differentia, or specific mark, whereby it is distinguishable from whatever other species fall under the same genus ? Now, practi- cally, as we have seen, we answer this question by bringing together as many words with closely related meanings as possible, and com- paring them. Let us compare ' omnibus,' for example, with ' tram.' The terms agree in designating four-wheeled pubhc veliicles ; they differ essentially in this : that, whereas the one designates such vehicles of tliis kind as are confined to rails, the other designates such as are not confined to rails. Genus : Four-wheeled public vehicle. Species : Omnibus. Tram. Differentia : Not confined to rails. Confined to rails. If we had compared the two terms ' omnibus ' and ' cab,' we should have had some such result as tliis : Genus : Four-wheeled public vehicle, not confined to rails. Species : Omnibus. Cab. Differentia : Keeping to well- Not keeping to well- defined routes. defined routes. If we had compared ' omnibus,' ' cab,' ' tram ' together, we should have had some such result as this : Genus : Four-wheeled public vehicle. Species : Omnibus. Tram. Cab. Differentia : Keeping to Keeping to well defined Not keeping to well- well-defined routes, and routes, and confined defined routes, and not not confined to rails. to rails. confined to rails. This defining by direct comparison, and by assigning genus and differentia, is by far the most convenient for practical purposes ; for it is of the essence of practical requirement that it should adapt itself to the exgiencies of the specific occasion. The definition found 20 THE PROBLEM OF LOGIC [II. ii. by consulting a dictionarj^ is likely to have this defect : that it will not precisely suit the occasion. The only way in which to make defirition relevant is to select for ourselves the kindred terms with which the term in question is in risk of being confused, and then to note, from the point of view that happens to be interesting us, the differentia which distinguishes its use from that of all these kindred terms. The Relation of Genus to Differentia. Taken together, Genus and Differentia state the marks essential to the definition. They include just those features which are logically indispensable for the imambiguous statement of our meaning. The relation, however, between the two types of definition-mark — the generic and the specific — cannot be adequately represented by placing them side by side as though they were of co-ordinate significance. The differentia, as the specific mark, specifies, and therefore logically presupposes, the generic mark or genus : it is a specification of the genus. And, though the process of comparison through which our occasional definitions are framed does not explicitly bring out this connexion, the connexion is none the less definitely implied. It is concealed only by the logical incomplete- ness of the comparison process as we conduct it. Were this process thorough-going, the marks of agreement between two terms would include not only determinate, but also indeterminate marks, so far as these latter were relevant to our purpose in defining ; and the differentia would tlien reveal itself quite naturally as a specification of one or other of these indeterminate marks of agreement. To define ' tram,' we compare it with ' omnibus,' from the point of view, say, of public transit. The two terms agree determinately in signifying four-wheeled public vehicles, but they also agree inde- terminately in requiring some distinctive method of proceeding from starting-point to destination. The differentia ' confined to rails ' just specifies what this distinctive method must be in the case of a tram. It is thus only in relation to the indeterminate elements of the genus that we could endorse Mr. Joseph's contention that ' the genus is the general type or plan, the differentia the " specific " mode in which that is reahzed or developed.'* Let us take an illustration suggested by Mr. Joseph himself. The genus of A and N might be taken as ' plane rectilinear three-sided construction, possessing some specifiable arrangement of the three sides.' The differentia of the term ' triangle ' — namely, ' enclosing a space ' — would then be a specification of the above indeterm'nate mark ; in the case of a triangular construction, the sides are so arranged as to enclose a space, f * Joseph, 'An Introduction to Logic,' p. 6S. Cf. p. 70. t Mr. .Joaeph points out that the conception of ' species ' as the specification of the ' genus ' forbids our describing a genus as a larger class including the smaller Chap. II.] DEFINITION AND THE PREDICABLES 21 If further justification be required for the admission of tlie in- determinate mark into the structure of a definition, we may find it in the fact that it is necessitated by the very nature of the generali- zation process through whicli our definition is reached. The process of Generahzation — or of its main feature, Abstraction — may be so understood as to stultify the attempt to connect genus and species vitally together. We may understand by it a process whereby differences are ruthlessly eliminated, and points of agreement reduced to mere identities — identities disengaged from all relation to difference. But if the abstraction of genus from species implies this logical isolation of the marks of agreement from the marks of difference, it is manifestly impossible to consider the species as specifications of the genus. If in mounting, through generalization, from species to genus, we sever the vital bond between the lower and the higher class, we cannot, when descending, through differ- entiation, from genus to species, behave as though tliis bond were still unsevered. But it is surely gratuitous to suppose that generalization (or abstraction) is a devitalizing process of this kind. It is, of course, possible to conceive it after this fasliion, and the Formal Logician has almost invariably done so. But just in so far as we embrace a true conception of identity, and abandon the old static view of it as typified in the formula ' A is A,' we are compelled to entertain new ideas about Abstraction. To abstract agreement from differ- ence, we find, is not to isolate them one from another, but to connect them in a new way. It is through the Abstraction process itself that the difference becomes a specification of the agreement — the agreement a generalization of the difference. Abstraction does not take us from differences that have no identical element to identities that are out of all relation to differences : it takes us from the deter- minate to the relatively indeterminate. But the indeterminate so reached still points back to the specifications from which it has been abstracted. ' Colour ' does not mean that which is neither violet, nor red, nor blue, nor any other colour ; it means ' colour of some kind,' and, when its meaning is pressed a little further, it is seen to signify ' violet, or red, or blue, or some other colour.' As abstracted from these differences, it still stands to them in what classes or species within it, and consequently renders the attempt to represent the relation by means of two circles, one within tlie other, entirely misleading. ' The word "class,"' he says {ibid., p. 69), 'suggests a collection, whereas the genus of anything is not a collection to which it belongs, but a scheme which it realizes.' Now. in so far as we are reading the class in intension or conno-denotation (vide p. 72), it is undoubtedly necessary, in the sense above described, to consider it 'as something realized in its various members in a particular way ' {ibid., p. 71) ; but from the point of view of extension {vide p. 158) it is at least reasonable, and may be {)urposive, to depict the objects indicated by the class-term as included witliin the argor number of objects indicated by a second class-term. But to admit this is to adiuit that the one class (extensively defined) can be included within the other class (also extensively defined). 22 THE PROBLEM OF LOGIC [II. ii. is at least a pre-di'^jiinctive relation. The genus, as abstracted from the species, still points back to the species from which it has been abstracted. A man is a rational (animal of some kind) ; an animal is a sentient (organism of some kind). We conclude, then, that Generalization (or Abstraction), when properly interpreted, works in the service of the logical evolution of meaning. The genus, qua abstract vestige, is potentially the rudiment or germ of wliich the species are the specifications. It requires but the interest in the logical development of meaning to transform it actually from the one to the other.* The Predicahles. The theory of practical definition, as outlined in the foregoing discussion, is closely connected with the Aristotelian doctrine of the Predicablcs. The Predicahles, for Aristotle, were the various kinds of attribute which might be predicated of a subject. If I make the statement ' S is P ' (where S is a class-concept), P may stand to S in any one of five possible relations. It may be its definition — i.e., it may give the genus and differentia of S. Or it may be the genus alone or the differentia alone. Finally, it may give a proj^erty or proprium of S, or else an accident. These ' heads of predicahles,' as they are sometimes called, ' have passed,' to quote Mr. Joseph again, ' into the language of science and of ordinary conversation. We ask how to define virtue, momentum, air, or a triangle ; we say that the pansy is a species of Viola, limited monarchy a species of constitution ; that one genus contains more species than another ; that the crab and the lobster are generically different ; that man is differentiated from tlie lower animals by the possession of reason ; that quinine is a medicine with many valuable properties ; that the jury brought in a verdict of acci- dental death ; and so forth ' {ibid., p. 54). There is a later scheme of Predicahles connected with the name of Porphyry, a logician who wrote some six hundred years after Aristotle. Superficially, the sole difference between Porphyry's scheme of Predicahles, as given in his JLlaayar/i], and the older scheme of Aristotle himself, appears to be the substitution of the predicable of ' species ' for the prcdicablc of ' definition.' The predicahles, for Porphyry, are genus, species, differentia, proprium, and accidens. But the substitution in question conceals a more fundanif-ntal disagreement between the two schemes. In the case of Aristotle the subject-term meant a common nature, a kind, species, or universal, and not the individual object as such. The predi- cahles were, therefore, one and all, predicated about a species, and * Cy. with the above the discussion in Chapter VIII., p. 88. The distinction bi^tween the abstraction implied in generalization and tlic abstraction which results in ' abstract terms ' should be noted. CuAP. II.] DEFINITION AND THE PREDICABLES 23 it would have been obviously tautological to predicate the species of itself, and therefore illogical to include the ' species ' among the predicables. Witli Porphyry the subject about which the predicable was predicated might not only be a species, but an individual object. In this latter case it was reasonable to predicate the species under which it stood, and so ' species ' found its place among the predi- cables. In adopting the Aristotelian scheme of predicables, we at the same time reinterpret it ; for the point of view from which we regard the whole problem of the predicables is essentially different from Aristotle's. Aristotle's outlook was objective. He considered the content of the object as such, and not in its relation to the intent — i.e., the intention — of the subject. To define a thing was to state that which made it what it was, and was therefore essential to its existence. But if we admit that ' essential ' necessarily means ' essential from a certain point of view,' and thus admit the principle that definition is strictly relative to purpose, we have qualified the Aristotelian standpoint in a way so vital as to preclude any appeal to the authority of Aristotle. With a view to bringing out the positive significance of the position which we have adopted in regard to the problem of definition, we turn now to the vexed question of the Object of Defijiition. Mean- ing, we would say, is the direct object of definition. What, then, do we understand by Meaning ? Meaning, as we conceive it, is, in the first place, a product of thought in its relation to reahty, or of reality in relation to thought. Meaning, in other words, is the meaning of an object for a subject ; or, more specifically, it tells us what an object is in relation to a specified interest or purpose. Meaning is thus a product of objective Nature and subjective interest, or, if we prefer it, of objective content and subjective intent. It must not only be the meaning of what is, and so objective in regard to content ; it must be our meaning, and so subjective in regard to the dcfiner's intention or intent. Again, in defining meaning we may have in view either some restricted practical purpose or the broader interests of Science. This distinction we may appropriately equate to the familiar dis- tinction between formal and real definition. The formal definition is a conventional definition framed to fit a specific interest that involves no more than a merely fragmentary hold on objective reality. The framing of real defuiitions, on the other hand, is ultimatel}'' controlled by one and the same unvarying ideal — namely, that of bringing the greatest possible simplicity and order into our grasp of Nature. Meanings, again, are fixed and made definite through the use of words. Hence, to define the meaning of an object is at the same time to define the meaning of the word which symbolizes it. We 24 THE PROBLEM OF LOGIC [II. ii. do not, of course, define words apart from their meaning. What is defined by the term ' rational animal ' is not the mere sound-sign ' man,' but its meaning. If bj^ words we mean the mere sound- signs in themselves, we cannot be said to define words, nor even to ' describe ' them, but only to utilize them as sensory supports for meanings which can be defined. The question ' What is it that we define, things, meanings, or words ?' has been the theme of immemorial controversy. There have been three rival parties. The realists have maintained that it is things that we define ; the conce})tualists, that we define meanings ; the nominahsts, that we define words and names. Tiie controversy hinged on the meaning of the ' universal.' The realists held that tilings had, in all those relations in which they resembled each other, a common or universal nature, and that, in defining this common nature, we were defining what was at least as genuine and indispensable a constituent of reahty as was the individual nature of objects. The conceptuahsts held that the universal element existed, not in the objects themselves, but only in the thought which conceived tliem ; the true universal was the concept. Finally, the nominalists held that things called by the same name had nothing in common but the name. The universal was thus a mere convenience of language. The only true existent, whether in reality or in thought, was the individual, and the individual was conceived by the nominalist in a sense which excluded the presence within it of any universal nature. The conflict between these rival views was a conflict between ab- stractions which, far from being intrinsically hostile to each other, were, in reality, mutually complementary and indispensable. We have already suggested that the definition of meaning is always at the same time the definition of an object, and to this extent the definition is realistic : definition is always definition of objective content. On the other hand, such objective content, wc hold, is definable only in relation to subjective intent, so that, in defining the object, we arc defining it as conceived in the light of this or that specific interest. To this extent our point of view might be cliaracterized as conceptualistic. Still, it is not abstract, but, shall we say, concrete conceptualism. The conceptualism we have ado];>ted is simply reahsm tempered by the requisite of reference to purpose. According to tlic interest or purpose engaged, this plastic con- ceptuahsm may bear any shade of meaning, from the limiting case of a mare conceptualism to an ideahsm in which the realistic element is completely transfigured. If what is essential to me in defining a term is primarily and predominantly this, that my meaning shall be clearly and unambiguously understood, the nature of the object counts for little in the definition, and my meaning has but a vanish- ing reference to objective reality. This is logical conceptuahsm in a Chap. IL] DEFINITION AND THE PREDICABLES 25 strict but still intelligible sense. It is governed by an interest in the logical purity of meanings as such. If, on the other hand, my interest in the meaning of an object — the interest that it has for me, the subject — Hcs primarily in discovering what that object means, or tends to mean, within the spiritual unity of the universe, the conceptualism is transformed into idealism, and my definition will answer to the logical requirements of ideaUstic conviction. We have finally to add that the true logical nominahsm, in its relation to the problem of definition, is indistinguishable from con- ceptualism. To define a word is to define its meaning : we do not define as a mere sound-complex the aggregate of vowels and con- sonants which make up a word. When we say ' Man is a rational animal,' we are not defining the mere verbal label or sign repre- sented by the three letters m, a, n, arranged in a certain order. All definition of meaning is at the same time verbal definition, and vice versa. The distinction between nominahsm and conceptualism, in definition, is a distinction without a difference. The statement that we do not define mere sound-complexes as such may easily be misunderstood. It may be taken to mean that we do not even define the meanings of symbols qua symbols. But this is by no means implied in the statement. Any and every meaning, as we hope eventually to sliow, is definable in some true sense of the word. The meanings of symbols as such are indeed definable. I define the conventional symbol ' man ' when I say : ' " Man " is a conventional verbal symbol representing the concept " rational animal." ' Every symbol has, in fact, a twofold mean- ing : the meaning of the symbol qua symbol, and the meaning of the idea which is symbolized by the symbol. The meaning, in a word, may be the meaning either of the sign or of the signification. When I say ' man ' means a rational animal, I am defining the meaning of the sign ; when I say ' man ' is a rational animal, I am defining the meaning of the significate.* We now jDroceed to apply the logical doctrine of meaning and of definition, as we have just been formulating it, to the non-defining predicables, property and accident. A property or proprium is an attribute wliich, though not neces- sary to the definition itself, is still relevant to the defining interest. It is thus already present by implication in the meaning wliich an object has for us in the light of a specified interest. Thus, in the geometrical proposition ' The equilateral triangle is equiangular,' the predicate states a proprium of the subject. ' Triangle ' is the genus, ' equal-sided ' the differentia, ' equiangular ' the proprium. The equiangularity of an equilateral triangle is implied in the system of spatial relations, apart from which an equilateral triangle has no geometrical meaning, and our geometrical interest no real object. The geometrical interest in an equilateral * For a further development of this point, cf. pp. 115, 121. -0 THE PROBLEM OF LOGIC [II. ii. triangle presupposes this reference to the nature of Space, and the equilateral triangle is conceived as constructed in Space as Geometry treats of it. The very construction furnishes the definition. We trace out a plane rectilinear figure with three equal sides, enclosing a space — i.e.. a triangle with tliree equal sides. But when we come to examine the ' properties ' of the triangle as thus constructed, we discover that one of these is ' equiangularity.' As a further property of an equilateral triangle, qua triangle, we have the fact that the three internal angles are collectively equal to two right angles. Let us look a little more closely at the relation between proprium and defuiition. A definition, as we have seen, is the definition of an objective nature qua related to some definite interest or point cf view. It would, however, be irrelevant to include within the definition whatever was relevant to the interest ; for the function of Definition does not extend beyond the removal of ambiguity, and there may be much that is jDerfectly relevant to the interest, but which, so far as mere non-ambiguity is concerned, need not be explicitly stated. The propria, therefore, develop, from the point at which Definition stops, the meaning of the objective nature that is being defined. What the definition states is only that fraction of the essence which its own logical principle — the principle of non- ambiguity — requires it to state. The residue is developed in the form of propria. We must distinguish between two tj^^es of propria — two at least, for we may eventually find it convenient to add a third. Properties may be either ' implied ' or ' characteristic' They are ' implied ' when they are deducible with logical necessity from the nature we are interpreting, as fixed by the definition in strict relevance to the defining interest. Thus ' equiangular ' is an ' implied ' property of ' equilateral triangle,' for it can be deduced with logical necessity from the geometrical space-construction defined by ' three-sided plane rectihnear figure enclosing a space ' and by the differentia of ' equal-sidedness.' A property is ' characteristic ' when it predicates of the nature we are interpreting an attribute which, without being ' implied,' can be shown by observation or experience to be both typical of that nature and relevant to our interpreting interest. Thus, from the point of \iew of biological science, such attributes as ' con- tractile,' ' irritable,' ' assimilating food,' ' reproducing itself after its kind,' would be characteristic properties of an ' organism.' The Meaning of ' Essence.^ By ' essence ' or ' essential meaning ' we aim at expressing the contact between an objective nature and a subjective interest. What is indispensable to the conception of ' essence ' is this interplay Chap. II.] DEFINITION AND THE PREDICABLES 27 between content and intent. It will thus be seen that, from the logical point of view, the point of view of right-thinking, ' essence ' and ' meaning ' are synonymous terms. All meaning is essential meaning, tiiough some types of meaning are more intimately essential than others. From the point of view we have adopted, the non-essenticxl or accidental — that which implies no interplay between content and intent — is logically meaningless. It is meaning- less for the interest in question, and therefore meaningless for right- thinking, wliich is so constructed as to be unable to assimilate the irrelevant as such. Sonae types of meaning, we have just said, are more intimately essential than others. In so far as the intent is an interest in defining the content up to the point required for satisfying the principle of non-ambiguity, the essence of our meaning is given by genus and differentia. In so far as the intent takes us beyond genus and differentia to other marks which are still relevant to it and characteristic of the content, the essence of our meaning is given more inclusively by propria as well, by ' implied ' or ' characteristic ' properties. But there is yet a third form of interplay between content and intent. The essence of our meaning becomes still more inclusive if .we reckon among the marks which are relevant to our intent, and in tliis sense essential to it, features wliich, though relevant, are problematic. Thus a building may he a palace, a palace may he the palace of a king. From the point of view of a general interest in buildings as edifices for social uses, the possi- bility of being a palace is a perfectly relevant mark of a building, and the possibility of a palace being a royal palace a perfectly relevant mark of a palace. Such ' problematic ' properties, as we may call them, need not be actuallj^ realized in any concrete in- stances of the meaning or nature in question. Any type of building which the architect could imagine, plan, and realize if need be, would be a problematic property of ' building.' It might be con- venient to give a special name to such problematic properties as were not only capable of reahzation, but actual^ reahzed in at least one concrete instance or occasion. We might refer to these as ' occasional ' properties. Thus, from the architect's point of view, it would be an occasional property of a building to be a palace or a country-house. Problematic properties which were not occasional in this sense might be referred to as ' purely problematic' It might be possible to build a house which should have the precise shape of an elephant or of an icosahedron ; but, until such houses are actually built, the device in question remains a purely problematic property. Problematic properties should not be identified with accidents or accidental marks, as we have defined them above. The genuine accidents, from the general point of view we have adopted, must be marks which are irrelevant to our intent, and so entirely outside the interplay of intent and content. Thus, in a flower, the 28 THE PROBLEM OF LOGIC [11. ii. colour, which to the artist is essential, is to the botanist relatively accidenta,l, whilst the microscopic characters so important to the botanist are, from the artist's point of view, entirely negligible. Again, if my interest lies in the assuaging of my thirst, tumbler, mug, and other appropriate vessels are all ahke to me : the handle of the mug and its absence in the tumbler are mere accidents, for they do not in any way affect the fulfilling of my interest. So, again, despite the fact that the burning of wood and the rusting of iron are both processes of oxidation, and so chemically akin, they are still essentially different for the person who is seeking warmth. To such an one the resemblances which interest the chemist are purely irrelevant, and in this sense accidental. It may be objected that accidents as pure ' irrelevants ' are not predicables at all, for no one can logically predicate of a subject what is irrelevant to it. Subject and predicate are united in the interest which prompts the making of the statement, and, as so united, are relevant to each other. This may very well be granted, in which case the ' accidents ' of Aristotle's scheme become identical with the ' problematic properties ' of the scheme that we have adopted, and the accident, in the guise of a realizable possibility, enters, in an intelligible way, into the essence of our meaning. The predicables are then reducible to jour — definition, genus, differentia, and property ; a property being either ' imphed,' ' characteristic,' or ' problematic,' and a problematic property being either ' pure ' or ' occasional.' One word more on the problem of Essence. Once the intent or defining purpose is determined, and the content limited to what is strictly relevant to the intent, the meaning of Essence is logically clear. But in ordinary irreflective thought we are, as a rule, neither self-conscious of our defining purj^ose, nor do we consistently apply it to the deciphering of a given content. We are largely the slaves of suggestion and habit. When we habitually experience certain things together, we come, in accordance with well-known laws of mental association, to conceive them as inherently belonging to each other. Indeed, we show independence of mind just in propor- tion as we cease to be the slaves of such association. I quote the following from Dr. Watts's ' Logic ' : ' A court lady, born and bred amongst pomp and equipage and the vain notions of birth and quality, constantly joins and mixes all these with the idea of herself, and she imagines these to be essential to her nature, and, as it were, necessary to her being. Thence she is tempted to look upon menial servants and the lowest rank of man- kind as another species of beings, quite distinct from herself. A ploughboy that has never travelled beyond his own village, and has seen nothing but thatched houses and his parish church, is naturally led to imagine that thatch belongs to the very nature of a house, and that that must be a church which is built of stone, and es- Chap. II.] DEFINITION AND THE PREDICABLES 29 pecially if it has a spire upon it. A child, again, wliose uncle has been excessiv^ely fond, and his schoolmaster very severe, easily be- lieves that fondness always belongs to uncles, and that severity is essential to masters or instructors. He has seen also soldiers with red coats, or ministers with long black gowns, and therefore he persuades himself that these garbs are essential to the character, and that he is not a minister who has not a long black gown, nor can he be a soldier who is not dressed in red. It would be well if all such mistakes ended in childhood.' I can add an instance from my own experience. I was taken as a child to see the Crystal Palace. From that day onwards right on to advanced boyhood I firmly believed that a palace was not a palace unless it was made of crj'stal. Palace and stone were two ideas that would not blend in my mind until my further reading gave the necessary shocks to this old super- stition, and the power of reflective thought at length slowly dis- solved it. Real or Scientific Definition. Of all the spc-cial purposes we have in view in framing definitions, one stands out pre-eminently above all others — that of meeting the requirements of Science. The logical function of Definition is here adjusted to the ideal of a systematized knowledge of Nature, and consists in the removal of all ambiguities which arise in the pursuit of this ideal. It will be readily understood that the definitions which are required for ordering our meanings within the vastly complex net- work of relations which subserve the organization of Science cannot be reached in quite so simple a manner as can the occasional defini- tions which subserve our varied practical interests. Thus, the mere process of comparing one concept with another will not in any way suffice to define a fundamental physical concept such as that of inertia, weight, mass, or gravitation. In each of these concepts we have the condensed expression of great scientific dis- coveries, the embodiment of higlily elaborated theory ; hence the path to definition here lies not in a process of simple comparison, but in a searching analysis of the interactions and interrelations of the facts of Nature. In Geometry such analysis proceeds by the help of construction, and it is by ideally constructing its concepts — e.g., those of straight line and circle — that the definitions of Geometry are reached. Hero the specifj'ing mark is genetic, a mark embodying a rule of con- struction. Thus, ' The circumference of a circle is a line traced by a point which moves in one plane at a constant distance from a fixed point in that plane.' Cf. also the definition of a circle as a section of a cone drawn square to its axis. Outside Geometry the genetic definition is not usual, though it 30 THE TROBLEM OF LOGIC [II. ii is common in Clicmistry, wlion wc wish to define compounds as made up of their elements. The main interest which Science has in defining the terms it uses is in connexion with the problem of Classification. Order is here the dominating need, and the work of definition is therefore dominated by this general requirement of order. Thus the relatively simple and schematic requirements of formal definition are quite inadequate for the purposes of Science : the distinction between formal and scientific definition is inevitable ; but the main value of a distinction of this kind would be lost if, by insisting on it, we were in any way to obscure the essential unity of the defining process at whatever stage of thought we choose to consider it. In formal and in scientific definition alike we have necessarily to define by relations, and in reference to a purpose stated or implied. In formal definition the subjective reference to purpose is more conspicuous than the objective relatedness to a system of kindred meanings. But tlie connexion of the defined meaning, through its verj' definition, with a system of interrelated meanings is none the less present for not being so obvious. If, in the interest of some restricted purpose, we find it sufficient to define ' Man ' as ' rational animal,' we have still three closely related meanings — those of humanity, rationality, and animahty — systematically involved in the definition. Thus formal definition is essentially relational in character, though in some cases the relational reference is more ai">parent than in others. ' King ' can hardly be defined Avitliout explicit reference to the relations in which Kingsliip stands to the government of the country ruled ; and in a whole class of cases — the so-called class of correlatives {e.g., ' Whole and part,' ' Genus and species ') — the definition of either term involves the statement of its relation to the other. In scientific definition, where meanings are so much more systematically interconnected, the relatedness of the defined meaning, as defined, to a system of Idndred meanings is a much more patent characteristic of the definition than is the reference to purpose, which here comes more defuiitely under objective control. It is true that different sciences have different points of view, but the reference to purpose which this distinction in view-point involves is implied rather than expressed, whereas the relatedness of the meaning to be defined to a whole system of other meanings tends to enter more and more explicitly into the very structure of the definition itself. The essential unity of the defining process, whether formal or real, practical or scientific, is perhaps brought out most clearly by the consideration that the process of ' comparison ' through which our practical or occasional definitions are obtained is only a special, simple case of the more general procedure of analysis and synthesis, which we utilize in all defmition processes of a scientific character. Chap. II.] DEFINITION AND THE PREDICABLES 31 To have defined a term or concept scientifically is to have analyzed its relations to other concepts characteristic of the same scientific system, and to have then synthesized these relations in the simplest and most relevant way possible. But this involves just those very processes of criticism and reconstruction which we shall find indis- pensable in formal definition when we endeavour to remodel certain given definitions in a methodical manner {vide Chapter III.). Note on the Categories. It has for long been customary to preface a doctrine of Terms with a statement about ' Categories.' There are forms of thinking about reality wliich ai'e, in a certain important sense, irreducible. Activity is not passivity, time is not place, nor quantity quality, nor substance relation. If we add to these eight varieties the concepts of ' state ' and ' situation,' we have before us Aristotle's complete list of Categories — that is, of ' predicates one or other of which must in the last resort be affirmed of any subject, if we ask what in itself it is ' (Joseph, ibid., p. 38). In liis excellent chapter on the Categories (ibid., ch.iii.), Mr. Joseph insists on the importance of this ancient enumeration of the ultimate forms of being. Of the importance of a theory of Categories from the point of view of an analysis of knowledge there can be no possible doubt. The subject is, indeed, so important that, were the discussion once broached, a thorough-going treat- ment would be indispensable. Mr. Joseph has done invaluable service in so lucidly connecting the Aristotelian and Kantian doctrines of the Categories ; but, by the very necessities of an ' introductory ' discussion, the story of the Categories is made to end with tliis reconcilement of Aristotle and Kant, and the great attempt of Hegel to systematize the Categories afresh from the point of view of Thought's own logical development is completely ignored. But even Hegel has not said the last word. There are Neo-Hegelian improvements, post-Hegelian developments, and anti- Hegehan reactions ; there are even some who choose to ignore Hegel altogether. The Categories are, in fact, ' Uving oi^tions,' and cannot be adequately discussed as monuments, however imperish- able, of a past that has no longer any relation to the present. It seemed better, therefore, not to enter upon any systematic discussion of the Categories. At this initial stage, at any rate, logical propriety required that the Categories should yield pre- cedence to the Predicables, and that the discussion of terms ' accord- ing to the nature of their meaning ' should make way for that more relevant discussion of them which is ' based upon tlie relation in which a predicate may stand to the subject of which it is predicated ' {ibid., p. 53). [On the whole subject of Predicables and of Categories, ^h\ 32 THE PROBLEM OF LOGIC [II. iii. Joseph's masterly treatment (' An Litroduction to Logic,' ch. iii, and iv.) cannot be too strongly recommended, even by those who venture to dilTer from tlie Aristotehan standpoint from which those two chapters are written.] CHAPTER III. II. (iii.) THE TESTING OF DEFINITIONS. Rules towards securing Soundness in Definition. 1. We must distinguish definitions from translations and derivations. E.g., if we have two equivalent symbols for one and the same idea, we do not define the one symbol by substituting the other for it. To say that ' dyspepsia ' is indigestion, or that a laundress is a washerwoman, is not to state what dyspepsia or laundress means. Such statements are sometimes called circular definitions ; but why call them definitions at all ? They have as httle title to be called definitions as have the statements, ' Anima is the soul,' ' Mere is mother.' So, again, such statements as ' Sycophant means fig- shewer ' [avKov (paiico) suggest mere derivations. They answer the question, ' What did the word mean once V not, ' What does it mean now V They derive but do not define the term. Still a derivation is in a sense a fossil definition, and so has more right to the name than a mere translation. It might be reasonable to refer to it as an etymological definition. The statement ' Assiduity is sitting close to one's work ' is an etymological definition, so far as ' sitting close ' is concerned, 2, We must see that the definition fits — that it is neither too narrow nor too wide, that it exactly expresses the meaning we wish to convey by the term we use. In other words, definiendum and definition must be commensurate with each other — i.e., whatever can be relevantly predicated of the object defined must be predicable of the definition also, and vice versa. This is, perhaps, the most important rule of all, and can best be observed by always adopting the natural method of defining, which consists in comparing the word or class to be defined with those other words or classes which approach it most closely in sense. This natural method of defining by simple comparison of what is most aUied in meaning ensures a proximate genus being reached instead of some remoter genus , and, further, the differentia can be so chosen as to cover just the one species, and exclude all the sister-species, the class-terms most liable to be confused with it. If the genus is not proximate, the definition is Ukely to be too wide. Suppose I wish to define Chap. III.] THE TESTING OF DEFINITIONS 33 ' sqiuare.' I compare it with ' rhoml^us,' and fuid at once, as genus, equilateral quadrilateral, and as differentia, rectangular ; or I compare it with ' oblong,' and find at once, as genus, rectangular quadrilateral, and as differentia, ec|uilateral. But if I reach my definition through comparison with terms less closely allied in meaning, the definition is less likely to fit well. Thus if I compare ' square ' with ' circle,' the obvious genus is ' plane figure.' The square is then quite sufficiently distinguished from the circle by means of the differentia ' rectilinear.' But the resulting definition, ' A square is a rectilinear plane figure,' is very much too wide. As an important corollary from this second rule we have the requirement that a definition should contain nothing superfluous. Thus, the following attempt at defining a ' tip ' obviously needs pruning : ' A tip is an extra gratuity paid out of goodwill over and above what can be demanded by contract.' Here ' extra,' ' gratuity,' ' over and above ' all involve the same idea. When reduced to the more economical and ' fitting ' form, ' A tip is a gift paid out of goodwill,' the definition, though still faulty, is much improved. When practically applying this rule, we may profitably guide ourselves by the following test-questions : (i.) Do all the kinds of objects denoted by the term possess the differentia given ? If not, the definition is, to this extent, too narrow. Example : A dog is a domestic animal. Are all kinds of dogs domestic ? No ; ' dingoes ' are wild. Therefore, the definition fails to include all kinds of dogs, and is consequently too narrow. (ii.) Having ascertained that the definition is not too narrow, we ask, ' Is it too wide V This test-question we may state in two equivalent forms : (a) Are there no other terms that satisfy the same definition ? (6) Is the definition simply convertible ? — i.e., given that A is B, is it equally true that B is A ? Example : The house-dog is a domestic animal that barks. Is it equally true to say that a domestic animal that barks is a house-dog ? 3. The terms of a definition must be of the same order as the term defined. They must not be figurative or metaphorical. A metaphor is* ' the use of a word in a transferred sense, the trans- ference being from the order to which it properly belongs to some other order.' Thus, if I define ' faith ' as ' the eye of the soul,' I am transferring to the spiritual order the word ' eye,' which belongs to the physical order, and primarily means an organ of the body. So in the definition of a camel as ' the ship of the desert,' the term ' ship ' is transferred from the inorganic to the organic order. The definition, in fact, must be homogeneous throughout with the term defined. Example. — Logic is the medicine of the mind. This is metaphorical. Logic and medicine are not of the same * Father Clarke, 'Logic,' p. 222. o 34 THE PROBLEM OF LOGIC [II. iii. order. One is a discipline to be assimikited by the mind, the other a drug to be absorbed by the body. 4. Tlie definition must consist of terms more elementary than the term detined — i.e., it must be such that no one can reasonably expect to understand the term to be defined without first under- standing wliat the defining terms themselves mean. Tliis rule must be apphed with reference to the given interest — e.g., that of Geometry. I may be quite right in defining a circle as follows : ' A circle is a plane figure contained b}'' a line of which all the points are equidistant from a fixed point within it,' since the specific mark contains only such terms as ' line,' ' point,' ' equidistant,' all of which express more elementary geometrical ideas than that of the circle. Hence a definition is not invalidated because the untrained mind finds its terms less simple than the term it defines. ' Man ' is to most people, no doubt, a much simpler and more familiar term, much easier to understand, than its definition ' rational animal,' but these defining words are more elementary than the more obvious term they serve to define. Example. — A fine is a pecuniary mulct. This is, scientifically, a correct definition, as a mulct is any for- feiture or penalty. But from the purely practical point of view it would be a breach of this fourth rule, or, in technical language, an ' ignotum per ignotius.' 5. A term should not be defined by the aid of terms which cannot themselves be appropriately defined without first defining the original term. To break this rule is to commit a ' circulus in definiendo ' or ' vicious circle.' E.g. : ' Man is a human being.' ' The sun is the centre of the solar system.' ' Network is a reticulated system of cordage.' ' An archdeacon is an ecclesiastical dignitary, whose business it is to perform archidiaconal functions.' Example. — Cheese is a caseous preparation of milk. ' Here caseous ' means ' cheesy,' and we still want the definition of ' cheesy.' We wish to know by what kind of preparation cheese can be obtained out of milk. The differentia should indicate the recipe for transforming milk into cheese. A vicious circle in definition is more than a mere blemish. It destroys not only the value of the definition, but the definition itself. The ' statement ' that ' cheese is cheesy ' is, in fact, no statement at all. It does not predicate anything of cheese, but stops at the concept whicli is to be defined. ' Cheese is cheesy ' takes us no further than ' cheese.' The definition is, therefore, to this extent non-existent. We must be careful, however, not to be too hasty in accusing a definition of involving a vicious circle. Chap. III.] THE TESTING OF DEFINITIONS 3u Example. — A Lilliputian is an inhabitant of the island of Lilliput. Taking ' Lilliputian ' in its primary sense (in its derived sen.se it is a synonym for ' dwarf '), we should have to meet the objection that if Lilliput is defined as the land of the Lilliputians, then to define the Lilliputian as an inhabitant of Lilliput is to shut oneself up within a vicious circle. But if ' Lilliput ' is defined in such a way that its definition does not introduce the Lilliputian — e.g., by its geographical position — then there is no vicious circle at all, and the definition is correct. Such definitions as ' A sovereign is a gold coin equal in value to twenty shillings ' and ' A day is a period of time consisting of twenty-four hours ' are liable under similar limitations to the fallacy of vicious circle, the former if a shilling is defined as the twentieth part of a sovereign, the latter if an hour is defined as the twenty-fourth part of a day. As a particular case of circular definition, we have the attempt to define a term by means of its correlative. In the case of corre- latives — in the case, that is, of such terms as ' whole ' and ' part,' ' genus ' and ' species,' ' first ' and ' second,' ' cause ' and ' effect,' the two terms must be defined together. We cannot define one by the other. A whole cannot be logically defined as ' an aggregate of parts,' if by ' a part ' we mean ' a fraction of a whole.' The defini- tion here is, in fact, the definiendum itself. To define a ' whole ' is to defuie a ' whole of parts.' It is a unity of some kind, of which the nature varies with the form of relation between whole and part. In specifying this form of relation, whether spatial, organic, or spiritual, we define the type of unity we have in mind, and specify the general meaning of ' whole.' We may therefore define a ' whole ' or ' whole of parts ' by means of the genus ' unity ' and the indeterminate differentia ' possessing some kind and some degree of self -coherence.' Mill, in his ' Logic ' (Bk. I., eh, ii., § 7), clearly points out why it is that certain words go in pairs, as in the case of the instances men- tioned above. It is because the meaning of both terms is derived from the same fact or set of facts. Thus, taking the relation of ' father ' to ' son,' he writes : ' The paternity of A and the filiet}^ of B are not two facts, but two modes of expressing the same fact.' The terms ' father ' and ' son,' however, are not strictly correlatives as are the terms ' parent ' and ' child.' They are semi-correlatives. Father- hood does not necessarily imply sonship, though sonship imphes fatherhood. ' Sheep ' and ' shepherd ' are semi-correlatives in a precisely similar sense. There can be no shepherd unless there are sheep to be herded and tended, but there can be sheep without a shepherd. So, again, a third implies a first and a second, but these do not imply a third. Hence no circle is committed by defining a shepherd as ' a person who looks after sheep,' for we may very well define a sheep without introducing its relation to a shepherd. But 3—2 36 THE PROBLEM OF LOGIC [II. iii. ■we cannot, without a circle, define a sheep as ' the kind of animal which a shepherd looks after.' G. A detmition should not be given in a negative form if a positive idea is intended. As Professor Read reminds us, a natural historian would not define a lion by saying that it was not a vegetarian. So, in the positive interests of Geometry, it would be better to define a curve as ' a line that is always changing its direction ' than to defme it as ' a line in no part straight.' On the other hand, where the word to be defined stands for a distinctly negative idea, this form of definition — i.e., negative definition — is to be preferred to any other. E.g., 'An alien is a person who is not a citizen,' ' A bachelor is a man who is not married.' Examples on the Testing of Definitions. I. A circle is a figure of which all the points are equidistant from its centre. Purpose of the definition : To give a geometrical definition of a circle. Criticism of the definition as given. (a) The word ' centre ' is not more elementary than the term ' circle,' therefore should be avoided. Correction : A circle is a figure of which all points are equidistant from a certain fixed point within the figure. {b) It is not true that all points of a circular area are equidistant from the centre ; one point of the area is, in fact, the centre itself. Correction : A circle is a figure enclosed by one line, the circumference, of which all points, etc. If by ' line ' we understand ' continuous line,' this correction should quiet the suspicion that the circumference might be punctiform, a discontinuous aggregate of points, (c) The ' one line ' of this definition may still meander freely over any surface of which all jooints are equidistant from a certain point within the figure. In mathematical phrase, its locus may be the surface of a sphere. Final Reconstruction : A circle is a plane figure, en- closed by one line (the circumference), of which all points arc equidistant from a certain fixed i>oint within the figure. Ciup. III.] THE TESTING OF DEFIXITIOXS 37 II. Work is the salt of life. Verbal Division :* By ' work ' we may understand citlier an activity or its product. Tlie former sense is evidently intended here. Purpose : To define Work as an activity having relation to moral life. Criticism : The definition is metaphorical. We must get rid of the metaphor. Reconstruction : (i.) Work is a type of purposive activity (genus) which stimulates, purifies, and sustains the life (differentia). Query : Is ' work ' here sufficiently distinguished from ' play ' 1 (ii.) Work is a purposive activity which, when regarded in the light of a moral obUgation, stimulates, purifies and sustains the life. III. A chair is an article of furniture with four legs and a back. Purpose : To define a chair by the use to wliicli it is put. Criticism : [a] Proximate genus not given. Correction : A chair is a seat. (6) The differentia is not satisfactorily given. Correction : If we compare a chair wdth a stool, we obtain as genus ' moveable seat,' and as differentia ' having a back.' If we compare a chair with a sofa, the differentia is ' intended to seat one person.' (c) ' Four legs ' is a mere ' accident ' or problematical property of the occasional type. Beconstruction : Proximate genus (of chair, sofa, stool) — ' ^Moveable seat.' Differentia : ' Intended to accommodate one person at a time, and having a back.' IV. A cow is a ruminant with cloven feet and sweet-smelling breath. Purpose : To define a cow zoologically. Criticism : (a) Proximate genus wanted. Comparing ' cow ' with ' bull,' we obtain as genus ' ox ' (in the ordinary generic sense of that term), and as differentia ' female.' (h) ' With cloven feet ' is a characteristic property. ' Sweet-smelling breath ' is a problematic property of the occasional type. A cow may or may not have sweet-smelling breath. The breath might de- teriorate without the creature ceasing to be a cow. Reconstruction : A cow is a female ox. o * By ' Verbal Division ' we understand tlic division of an equivocal or niany- meaninged word into its various alternative significations. Thus the division of •box' into 'covered case, partition in a theatre, blow with the fist, shrub, or drirer'a scat ' would be a verbal division. ■^0 33 THE PROBLEM OF LOGIC [II. iii, V. A candle is a kind of light used before gas was invented. Purpose : To define a eandle from the point of view of its use as a hght and the structure wliich subserves that use. Criticism : (a) Genus inexact ; a eandle is not a kind but a means of light. (6) The specifying mark leaves the definition in one respect too icide, for other things besides candles were used for lighting before gas came into use. In another respect it is too narrow, for candles are still used, though gas has been ' invented.' ' Used before ' implies that candles ceased to be used when gas came into fasliion. (c) Further, gas was not ' invented ' but ' manufactured.' The specific mark must, therefore, be cancelled as flat and irrelevant, and a radical reconstruction is called for. Reconstruction : A candle is a means of lighting, consisting of a stick of fatty matter traversed by a wick. VI. The Sun is the star that shines by day. Purpose : To define the sun from the point of view of its appearance (Ptolemaic point of view). Criticism : Can ' day ' be defined without involving a vicious circle ? Is not ' day ' that time during wliich the sun is above the horizon ?* Peconsiruction : Comparing the sun with moon and stars, which agree in giving forth no perceptible heat, we obtain : The sun is a celestial luminary which warms the earth. VII. ' A soldier is a brave man who is ready to die for his country. Purpose : To define a soldier as such — i.e., from the point of view of his mihtary office. Objection : (a) ' Brave ' superfluous, as the essential kind of bravery that a soldier requires is implied in ' ready to die.' Correction : (i.) A soldier is a man who is ready to die for his country. Objection : (6) ' Man ' makes the definition too narrow. Cf. Amazons and drummer-boys. Correction : (ii.) A soldier is a person who is ready to die for his country. Objection : (c) The definition is still too narrow. It excludes mercenaries, organized revolutionists, etc. Correction : (iii.) A soldier is a person who is ready to die for country, cause, or material reward. * Thi3 criticism, as Mr. Joseph points out (ibid., p. 100), is given by Aristotle hinistlf. Chap. IV.] DEFINITION AND DIVISION 39 Objection : (d) Many units in an army are nol ready so to die. In this respect the definition is again too narrow. Correction : (iv.) A soldier is a person pledged to fight — to the death if need be — for country, cause, or material reward. N.B. — In the above, it has been found convenient to merge the two stages of criticism and reconstruction under a single process of reconstructive criticism through successive objections and corrections. A tendency in this same direction may already have been noticed in connexion with the discussion of some of the preceding definitions. CHAPTER IV. II. (iv.) DEFINITION ANT) DI\^SION : LOGICAL DIVISION. The process of comparison by which definitions are framed to meet the logical need of the occasion gives, as a result, a genus with two or more species included under it. In a word, the defini tion of the species through a process of comparison results in the division of a genus into two or more of its species. Definition and Division are thus closely cormected from the point of view of logical origin. They are also closely connected from the point of view of logical function. Definition and Division are both necessary to the full understanding of the meaning of a word. Definition gives us — (a) The more general class under which the class in question faUs. (6) A specific distinguishing mark. Division continues the process of supplying information by giving us the alternative sub-classes. The problem of meaning, then, covers both Definition and Division, and the principle of Non-Ambiguity is regulative of both processes. {Cf. the illustration of p. 18 borrowed from Mr. Sidg- wiek.) Hence, if we identify the Principle of Non-Ambiguity with the principle of Defi:iition, we must understand the term ' Definition' in that wider sense of a complete definition of meaning which includes Division as well. 40 THE PROBLEM OF LOGIC [II. iv. Logical Division. The term ' Division,' which is the established designation of the procedure we have now to examine, is not happily chosen. We cannot appropriately speak of dividing a word, or the meaning of a word, for meanings are ' diflfcrentiated ' rather than divided. The very term 'Division' (as also such other metaphorical expressions as ' parts,' ' joints,' etc.) seems almost to imply a physical division, a division of some individual thing into its component parts.* The use of the word has the further disadvantage of prejudicing the interpretation to be put ui^on the process in its logical aspect. For this process essentially concerns the relation between a genus and its species, and the term ' Division ' in this connexion naturally suggests that logical Division consists in the splitting up of a genus into its constituent species. If this is the way in which we are to conceive the process, then the true formula for the relation between genus G and species S^, So, S3 is G = S^ and Sg and S3. Plane triangles, we should have to say, are divided into equilateral, isosceles, and scalene. These are the parts of which ' plane triangle ' is the whole. But when I say that ABC is a plane triangle, I certainly do not mean to say that it is an equilateral triangle and an isosceles triangle and a scalene triangle, that it is S^ and S2 and S3 ; I mean that it is Si or S, or S3. It is this disjunctive formulation which alone truly represents the nature of logical Division. Logical Division is in no sense a splitting up of tilings into their parts. For the thing is not a genus, nor are its parts species. The division of an animal (mentally, of course) into head, trunk, and limbs, or of a book into parts or chapters, is a purely physical division. The part here does not stand to the whole in the relation of species to genus. We cannot say that the head or trunk or limb of an animal is itself a sort of animal. But in logical Division the genus divided must be predicable of each of the species into which it is divided. If we divide ' human being ' into ' man or woman,' each of the two species into which the genus ' human being ' is divided is itself a sort or kind of human being. There is another species of non-logical Division usually referred to as ' Metaphysical Division.' This is the mental division of an object into its several attributes, as when I analyze ' organism ' into its genus, differentia, and various properties. These are not parts of the concept ' organism ' in the sense in which head, trunk, and limbs are parts of an animal, for the qualities could not really be separated from each other as head or limb could be separated from the trunk, nor are they collectively equivalent to the object divided. * Cf. Plato's admonition that ' the philosopher must divide by the joints, and not hack anywhere liiie a clumsy cook ' ; and Seneca's remark that a genus ' should be divided, not cut into shreds.' Chap. IV. ] BEFIXITIOX AND DIVISION 41 The true significance of logical Division can best be gauged by considering the relation of Division to Definition in connexion with what we may call the logical development of meaning. To this development, as we have seen, both processes are essential, and we niaj^ define their respective functions within this development by saying that Division serves to render determinate tiiose elements of moaning in the definition which are still left indeterminate, and therefore capable of further specification. Division, in a word, is just the further differentiation of the definition in so far as it contains indeterminate elements. Given the definition of a plane triangle as a three-sided rectilinear plane figure, the relations between the three sides are not determined except to this extent — that we know, from the geometrical definition of ' figure,' that the three sides must include an area ; there is otherwise an indcterminateness in the side-relations, an indcterminateness which is rendered determinate by the division or differentiation into equilateral, isosceles, or scalene. Illustration of the Logical Develo})ment of Meaning through Definition and Division. A government may be defined as the ruling power in a society consolidated through some dominating interest, the form of rule varying in every case with the structural character of the body wherein the ultimate authority is vested. The consolidating interest may be either political or non-political. If non-political, it may be either ecclesiastical (Church-government) or non-ecclesiastical. We restrict ourselves to developing, through division, the meaning of a State-government. In the case of a State-government, the structural character of the ruling body may take any one of three forms : it may consist of an individual,* or it may consist of a privileged class, or of the com- munity itself. A State-government, that is, may be either an Autocracy, an Oligarchy, or a Democracy. If it is autocratic, the form of government will vary according as the ' rule by one ' is limited or unlimited. An Autocracy, that is, may be either a Limited or a Constitutional Monarchy, or else an Absolute Monarchy or Despotism, passing, when degenerate, into a Tyrannj-. If the governziient is a class-government, the form will vary according to the nature of the ruling qualification. If this is rank, the government will be an Aristocracy ; if wealth, a Plutocracy. If the government is a government by the people, its form will varv witli the method of self-government. Tliis mav be direct, as in the Citizen-Rule of ancient Athens, or representative, as in the case of modern Democracies, the form of rex^resentative govern- * Perhaps two or three, as in the case of the two Kings of Sparta, or of the Roman Triumvirates. 42 THE PROBLEM OF LOGIC [II. iv, ment varying again with the conditions of the franchise and the number and nature of the representative bodies. Thus we see that a logical division is not necessarily exhausted by a single division of a genus into its alternative species. The interest which prompts the division may require for its fulfilment the further division of the species into sub-species, and these, again, may require to be divided. These further divisions of species and sub-species would at the same time be subdivisions of the genus. The conception or genus with which the division starts is known as the summum genus of the division ; the ultimate subdivisions of this genus — ultimate, that is, in respect to the purpose of the division — are its infimae species. The intermediate classes are sometimes called ' subaltern genera ' — genera, because ever}' species except the infima species is a genus to the classes into which it is divided. Just as the infima species is a species which is not also a genus, so the summum genus is a genus which is not also a species. Every subaltern class in a continued division is at once species and genus. The logical interest which prompts and guides a division may be either formal or real. It is ' formal ' (with a small ' f ' ; vide p. 16) when it is ' practical ' and ' occasional ' in character. It is ' real ' when the divisions are drafted in the s( le interest of scientific research. Tliis distinction between formal and real may be apphed to the divisions themselves. A real division might then be regarded as a Scientific Classification. There is, however, a reason for not identifj'ing the two terms ' Classification ' and ' Real Division.' Real Division proceeds always do"OTiwards from ' genus ' to ' species.' In the process of Classification, on the other hand, we may move in either of two directions : we may move from the ' species ' upwards, or from the ' genus ' downwards. Every separate classification has its own summum genus, so that a summum genus cannot profitably denote anything absolute, as the ' being ' of Porphyry's tree is not unusually supposed to do. Thus the summum genus of the classification scheme in Zoology is tiie kingdom ' Animal,' and not ' Living Being,' which would include Plants as well, and might even be extended to Metals, if we may trust certain recent scientific research. The ' infima species,' again, is by no means a fixed distinction in any given system of classification, but is relative to the limit of purposiveness in the making of class distinctions. The African Lion, which is classed as a ' variety ' in Animal Classification, may be regarded as an infima species, but if it became useful to distin- guish sub- varieties, these latter would in their turn become the infimse species. Logical Division must be carefully distinguished from Enumera- tion. Enumeration is a summing up of the individuals which Chap. IV.] DEFINITION AND DIVISION 43 answer to a given class-designation, whether that class be a summum genus, subaltern genus, or inlima species. It is therefore a process which runs parallel to the development of meaning through logical Division. At any stage of that development it may be purposive to turn from the conceptual ordering of fact to the counting up of the individual units which the concepts serve to include under classes. When we consider facts from the point of view of their number or quantity, the process is an Enumeration. From the logical point of view the interest in Enumeration centres mainly, as we shall see, in questions relating to its completeness or its incompleteness. Basis of Division, or Fundamentum Divisionis. Every division is based upon and guided by a jundam&ntum divisionis — i.e., by some character of the group or genus which is a source of difference amongst its members. Thus, in the botanical division of Angiosperms into Monocotyledons and Dicotyledons, the fundamentum divisionis, or F.D., is the number of primary leaves possessed by the plant-embryo. It will readily be seen that the fundamenta divisionis are simply indeterminate attributes of the genus. If ' Man ' is divided into ' White man,' ' Black man,' ' Yellow man,' ' Brown man,' ' Red man,' the F.D. is ' skin-colour.' But the genus ' Man ' is here relevantly defined as ' a rational animal (det.) possessing a skin-colour of some kind (indet.).' The F.D. cannot be a determinate attribute of the genus, qua deter- minate, for the simple reason that, in so far as it is determinate, it ceases to be specifiable. At the same time, most so-called deter- minate attributes are only partially determinate, and, in so far as they are indeterminate, may serve as fundamenta divisionis or bases of division. From the point of view of the interest we have in dividing or differentiating the meaning of a concept these fundamenta divisionis are essential characteristics of the concept, and must therefore be included within its definition. Thus, suppose we desire to define the statistical unit from tlie point of view of a statistical inquirj^ which purposes to class the citizens of a country according to means and occupation. The definition would take some such form as this : The ' statistical man ' is ' a citizen of a certain means and occupa- tion ' ; and the full meaning of this unit can be made clear only when we specify the divisions we intend to draw under these two heads. Thus the ' statistical man ' may be regarded as (1) 'a citizen who has an income that is cither under £50 a year or under £500, or over that amount ' ; and as (2) ' a citizen who is an artisan or is engaged in business, or is in a profession, or falls outside these three classes.' 44 THE PROBLEM OF LOGIC [II. IV. The Rules of Logical Division. I. There should be one fundamentum divisioni?, and one only, for each complete act of division. II. The species or alternatives into which a genus is divided must be mutually exclusive. III. If the division involves more than one step, it should proceed gradually from the summum genus towards the infimse species. Divisio ne fiat j:)er saltum. IV. The division, within the limits of relevancy, must be disjunctively exhaustive. Rule I. — There should be one fundamentum divisionis, and one only, for each complete act of division.* The division of a genus is complete when the genus has been differentiated, and the process of successive dififerentiation con- tinued until the degree of distinction required by the purpose of the division has been precisely attained. In this process each sub- differentiation, or subdivision, should help to develop, more and yet more distincth^ that one indeterminate aspect of the genus of which the differentiation was the original aim in dividing. The principle which is here involved is that the F.D. must be a mark of the meaning that we aim at developing through division. We may find it convenient to change the F.D. after a first division, and to carry out the ' subdivisions ' upon fresh bases. But in this case our division is no longer a single process, but a chain of divisions, and the term ' subdivision ' becomes a misnomer. For, in assuming a fresh basis, we have started a fresh division. A division of the species is therefore not necessarily a subdivision of the genus. And yet we must not misinterpret the function of the F.D. in Division b}^ in.sisting that it is itself incapable of any development. Discontinuity between one basis and another implies, indeed, a corresponding change of the interest whicli gives unity and direction to the dividing process, and so implies also a corresponding break in the division. But there is an important via media between dis- continuity and a static continuity. The F.D. may legitimately be changed, provided the change is a change within its own original meaning. Thus, after dividing ' human being ' into ' male or female,' the F.D. being ' sex,' we do not necessarily abandon this F.D. when we proceed to subdivide ' male ' into ' man or boy,' and ' female ' into ' woman or girl,' for the age-basis may be here brought forward in its bearing on sex differences. What is essential i.s that the sex interest should dominate the division into its most detailed differentiations, and that all variations in divisional basis * It is, of course, possible (as in the last illustration) to divide a genus according to more than one principle of division, provided that we keep the divisions distinct. We then have what is called co-division. Thus, again, adopting the fundamenta of ag • and sex, we may co-divide ' human being ' into ' young, middle-aged, or old,' and into ' man or woman.' Chap. IV.] DEFINITION ANT) DIVISION 45 should be variations on the sex-theme. It is in this sense that the F.D. must be one and constant throurihout the dev^elopment of any given division. There may be many sub-f undamenta, but the.ge must themselves be developed in the service of the original fundamentum. In so far as the ' sub-fundamenta ' are developed on their own account, each initiating a new interest, the division is broken up into component parts, which arc only loosely and, as it were, exter- nally connected with each other. The organic unity of the division is lost. Moreover, overlapping is almost certain to ensue, for the supreme preventive against the overlapping of the various parts of a division lies in making sure that the parts stand for the various modes in which a single general meaning — e.g., the sex of a human being — can be differentiated or developed. When two or more bases of division Bhte simultaneously adopted and developed, the resulting overlapping is known as cross-division. The different divisions cross each other, and the confusion which ensues bears witness to the importance of the first rule of logical Division, Rule II. — The second rule of logical Division follows naturally upon the first rule. It is directed against the errors which result in overlapping, whether of the cross-division kind or not. The species or alternatives into ivhich a genus is divided must be mutually exclusive — i.e., no part of the division must overlap or be included under any other part. The only security for observing this rule lies in holding to a single fundamentum. If we divide ' human being ' into ' male or female or young or old,' employing simul- taneously the two fundamenta of sex and age, we obviously break this rule. It is possible, however, to break Rule II. without breaking Rule I. — namely, through carelessness in the statement of alter- natives. Thus I may divide ' man ' (F.D. ' means ') into ' rich, easy, or poor,' but may define ' easy ' in such a way as to cause it to overlap with ' rich ' or ' poor,' or both. Bule III. — If the division involves more than one step, it should proceed gradually from the highest genus towards the lowest species. Divisio ne flat per saltum. In each step of the division the species must stand in the same order or rank of generality. Let G be divided into S^, S.,, S3 ; and S, again into S'^ S'.,, S'3. Were we to divide G into S^, S',, S3, we should have two ranks of generality under one and the same genus. The division would clearly be inadequate, since no account would have been taken of S'^ or S'3. Consider the old-fashioned division of ' Digitigrade ' into ' weasel, civet, hya?na, the cat-kind, fox, wolf, dog.' Here the species are not in the same order of generality. Thus ' fox ' and ' wolf ' are species of the genus Canis (the dog kind), just as ' lion,' ' tiger,' etc. are species of the genus Felis (the cat kind). Had we given the genus Canis, and thereby kept in the same order of generaUty the members of one step in the division, we should have been iQ THE PROBLEM OF LOGIC [II iv. secure against omitting the jackal, wliich would have been included as being under that genus. Buk IV. — The division, within the limits of relevancy, must be disjunctive!}'' exhaustive. We have already had occasion to point out the essentially dis- junctive character of Division. When we divide G into S^, Sg, S3, we mean that G may be developed either into S^ or into So or into S3 ; we do not mean that G ma}- be developed into Sj^ and Sg and S3. Hence, when we say that the division must be disjunctively ex- haustive, we mean that S^, Sj, S3 must — within the limits of rele- vancy — exhaust the alternatives. The meaning of the word ' exhaustive ' can, in fact, be defined only in relation to the requirement of relevancy. When we say that a division of a genus into its species must be exhaustive, we mean that it must give all the differentiations of the genus wliich are at once possible and relevant. The limit of relevance will be given b}^ the purpose of the division. In the case of the divisions which figure witliin the classification of the natural sciences, the exhaustive- ness cannot be other than provisional, for further investigations may reveal new species, or call for the revision of divisions as previously carried out. Moreover, only those species would be relevant that are also actual, for scientific classifications are not concerned with the laying out of possibilities as such, but only with the ordering of such possibilities as Nature has realized. Thus a division of Man, according to skin-colour, which included blue man and green man, would include irrelevant items, since anthropological science studies not mere possibihties, but facts. It would be more than exhaustive, and break this fourtli rule of Division just as much as a division into ' white man or black man ' which would be under-exhaustive. In Division by Dichotomy [vide p. 47) the division will be seen to be implicitly, though not determinately, exhaustive. In cormexion with this rule of exhaustiveness in Division Mr. Joseph {ibid., p. 103) gives an instructive illustration which I take the liberty of quoting in full : ' Suppose that an income-tax is introduced ; it is necessary that the Act imposing it should state what forms of wealth are to be regarded as income, and taxed accordingly. The rent of land and houses is clearly a form of income, and would be included in the division of that genus ; but if the owner of a house Lives in it instead of letting it, he receives no rent. Nevertheless, he enjoys an income, in the shape of the annual value of the house he lives in, just as truly as if he had let that house, and received for it a sum of mone}'^ sufficient to hire himself another ; and he ouglit to be taxed if he lives in his own house as much as if he lets it. But if the income-tax Act omitted to include among the species of income the annual value of houses occupied by their owners, he would escape payment on that head altogether. Such is the practical importance of making a division exhaustive. CiiAi'. IV.] DEFINITION AND DIVISION 47 Division by Dichotomy. In the process known as Dichotomy {Si-y^^a, in two; rifivco, I cut) we divide the genus into two alternative species — ' x or not-.r ' : X is commonly called the positive, and not-x the negative species ; but, as the negative species proves on analysis to be negative only in the name, we propose to substitute for the words ' positive ' and ' negative ' the words ' definite ' and ' indefinite.' Thus we may divide ' Animal ' into ' vertebrate or non-vertebrate,' when by ' non- vertebrate ' we mean ' some animal other than vertebrate.' We then systematically subdivide on the same principle, and continue dicho- tomizing in this way until it ceases to be purposive to go further. What is known as Porphyry's Tree* illustrates the process in that incomplete form in which only the definite terms are di- chotomized. Being. Corporeal. Incorporeal. Animate. Inanimate. Sensible. Insensible. Rational. Irrational. I I I Socrates. Plato. Etc. * As Mr. Stock points out ('Logic,' ed. 1903, p. 94), the 'Tree of Porphyry' is ' a device added by later writers.' In Porphyry's treatise there is no division by dichotomy, but simply the logical development of the single category of Sub- stance taken as summum genus : Substance. I Body. Living body. I Animal. I Rational animal. I Man. 1 I I Socrates. Plato. Etc. Mr. Stock adds the folio-wing interesting footnote : ' We might suppose that "thing" or ''being" could be predicated of "substance," but Porphyry, fol- lowing Aristotle, regards each of the ten categories as a distinct summum genus. He will not allow that " being " is prcdicable of them all in the same sense.' 48 THE PR0BLE3I OF LOGIC [II. iv. Tliis rejection of the indefinite terra at eacli step of tlie division is technically known as an ' abscissio infiniti,' the ' infinitum ' or ' indeterminate ' being here the indefinite term. The definite and indefinite terms in their relation to each o'her are sometimes referred to as Contradictory Opposites, Contra- dictory Relatives, or Contradictories. Thus ' cold ' and ' not-cold ' are said to be contradictory opposites. But the name is unfortunate and apt to mislead. A definite term and its counter-indeterminate are not contradictory in the sense of contradicting each other. It is only statements that can contradict or be contradicted. It is true that when such terms are predicated of the same subject in the same relation the assertions within which they thus function as the respective predicates contradict each other ; but it is the opposition of the two statements, and not that of the two predicates as such, which constitutes the contradiction. We shall, in fact, see, when we come to consider what we mean by an indefinite term, that these so-called contradictory opposites are complementary rather than antithetic. They should therefore be carefully distinguished from contrary opposites or contrary relatives, which may be defined as terms markedly opposed under the same head. We say ' markedly ' and not ' most,' since under any given head — e.g., that of temperature — we may have more than one pair of contraries. Thus ' cold ' and ' hot ' are con- traries ; but so also are ' freezing ' and ' broiling.'* It will be seen that each of a given pair of contrary terms is itself a positive term with well-defined positive reference. ' Black ' is just as positive in meaning as ' white,' ' miserable ' as positive as ' happy,' ' hard ' as positive as ' soft.' A term is, of course, a ' contradictory ' or a ' contrary,' not per se, but only in relation to its opposite. In particular the indefinite term ' not-x ' is not in itself ' a contradictory term.' It is contra- dictory only in relation to the complementary definite term ' a:,' and that only in the derivative sense already indicated. The Meaning of the Indefinite Term. Tlie logical significance of Dichotomy depends primarily on the meaning we assign to the indefinite term. We must, therefore, carefully consider what this meaning may be. An indefinite term is a term of the form ' not-a; ' or ' non-a:.' It indicates what is other than a; in a sense that we must now proceed to determine. Some logicians insist that it must be, in character, perfectly and illimitably indefinite. Not-a:, they say, must surely take up all that is excluded from x. Out of the sum-total of think- • This indefiniteness does not extend to contrary propositions. There the op- position exists unambiguously between ' all ' and ' none,' between ' All S is P ' and ' No S is P.' Chap. IV.] DEFINITION AND DIVISION 4'J able existence we subtract x : all tliat is left must be not-a;. Not-a; = everything - a;. Thus if .r= Europeans, not-x stands for 'the unlimited myriads of entities which people the heterogeneous domain ' of ' everything - European.' It is in this sense that not-x has been called an Infinite Term. This, however, is a useless logical figment, and only worth mentioning as a warning concerning what not-x should not be made to mean.* It seems clear that in the interests of logical science not-.r cannot be indefinite in this inimitable sense. This brings us to what we may call the disjunctive, or the suppositional, use of the indefinite term not-.r. The ordinary use of terms is limited by some ' Suppositio,'t some Topic, some Universe or Subject of Discourse. In so far as a man's interest is not that of pure negation — in which case the denial will take the form ' S is not P,' and not the form ' S is not-P ' — his mind is always moving within some assignable suppositio, and the sig- nificance of the indefinite terms he uses is limited by reference to this suppositio. It is, moreover, important to realize that the term not-x requires to be disjunctively differentiated. Let us take, by way of illustra- tion, the following division : Colour. Red. Not-red. Here ' not-red ' has the implicitly disjunctive meaning of ' some colour other than red ' — i.e., ' either blue or green or yellow,' etc. It does not stand conjunctively for the sum of colours other than red. Were this it? meaning, not-red would be a term fulfilling a merely epitomic or abbreviative function, and ' red ' and ' not-red ' taken together would conjunctively exhaust the suppositio of colour. It is true that the division of colour into red or not-red is also exhaustive, but it is exhaustive in a disjunctive and not in a conjunctive sense. This view of the implicitly disjunctive meaning of not-.r in Dichotomy supports the more general view that we have taken of logical Division as the progressive differentiation of the meaning of a concept. On this disjunctive view the division of ' colour ' into ' red ' and ' not-red ' precisely means tliat colour is either red * ' Aristotle long ago pointed out that ovk ivSpwwos was not properly a name nt all ; and he perhaps extended his countenance too much to it when he said that, if we were to call it anything, we must call it a "name indeterminate" {6i'o/j.a ddpLO-Tov) because, being the name of nothing positive and in particular, it had a purely indeterminate signification ' (Joseph, ibid., pp. 29, 30 ; cf. also footnote, p. 30). t ' Suppositio ' is an earlier name for ' the universe of discourse,' a name recently revived by Venn and Carveth Read. It means ' the range of subject matter about which we consider ourselves to be speaking.' Mr. Joseph, following Do Morgan, prefers the term ' limited universe.' 4 :0 THE PROBLEM OF LOGIC [II. IV. or not-red. Hence, when we proceed to differentiate ' not-red ' into ' blue or green or yellow, etc.,' we are simply carrying on the very same principle of disjunctive differentiation which we applied to the division of the concept ' colour,' When the indefinite term is understood in the sense which we have attempted to define, the main objections which have been levelled against Dichotomy as a process of division fall entirely away. Thus Mr. Joseph {ibid., p. 106, sq.) maintains, in the first instance, that in the subdivision of the ' negative ' class or ' concep- tion,' the essential nature of division as a process which exhibits its membra dividentia as ' alternative developments of a common notion ' {ibid., p. 107) is consistently violated. Mr. Joseph holds this objection to be fatal and decisive {ibid., p. 109). But it depends entirely for its force on what we conceive to be a misinterpretation of the meaning of the ' negative ' term. Mr. Joseph takes ' land ' as the meaning or conception to be divided. He divides it by dichotomy into ' building-land ' and ' land not used for building.' Each of these conceptions he subdivides. Thus ' land not used for building ' is di\ided into ' farm-land ' and ' non-farm-land,' and so on. He then points out {ibid., p. 109) that ' to farm land is not a way of not building on it,' and, generally, that the division of a ' negative ' conception is necessarily a division in which the species is no longer a specification of the genus — a division, there- fore, which fails to respect the true logical relation between genus and differentia. Now it is undeniable that ' to farm land is not a way of not building on it,' but the ' negative ' term ' land not used for building ' has, as we have seen, a certain positive meaning of an indeterminate predi.sjunctive kind. It stands for ' land used for some purpose other than that of building,' and the farming of land is precisely a specification of this indeterminate generic idea. A ' negative ' con- ception affords, therefore, as sound a basis for subdivision as does a positive or definite conception. It is just as sound to specify ' land u.sed for some purpose other than that of building ' by ' farm-land ' as it is to specify ' land used for building ' as urban or suburban. The objection may perhaps be raised that if we are proposing to divide the genus ' land ' into the two alternative species ' land used for building purposes ' or ' land used for jiurposes other than building,' we do not really carry out what we propose to do. For what we are so dividing, it may be said, is not ' land,' but ' land as subserving a human purpose.' Hence ' waste-land,' the land that subserves no human purpose, is excluded from the division, though it i.s as genuine a species of land as building-land or farm-land. This objection has a certain point and directness which challenges close consideration. We must admit the justice of the plea that it is not ' land as such ' which can be divided into ' building-land,' or ' land used for some purpose other than building.' This division Chap. IV.] DEFINITION AND DIVISION 51 is undoubtedly a division of ' land as subserving a human purpose.' But, from our point of view, ' land as such ' is not a suitable genus for logical division. Meaning is necessarily the meaning of an object for a subject, and can be made unambiguous or logically definite only when the subjective interest which goes to meet the object is first clearly specified. Indeed, Ave could go a step further, and maintain that the object which we propose to define and divide is first con- stituted as a logically definable and divisible object through the selective, abstracting activity of a subjective interest. The object to be logically divided is always a ' genus,' and, as such, its meaning will be variously differentiated according as the dividing-interest is variously specified. We admit, then, that ' waste-land ' is not included in our division of ' land as subserving a human purpose,' but hasten to add that, in so far as ' waste-land ' means ' land that subserves no human purpose,' it would be irrelevant, and therefore logically meaningless, to include it.* The ' negative ' term ' not used for building,' there- fore, does not mean ' used for some purpose other than building, or else not used for any purpose at all '; for the addendum wliich the words ' or else ' introduce is irrelevant to the genus we are dividing, and cannot therefore be included within the meaning of the ' negative ' term. ' Not used for building ' must therefore mean, as already stated, ' used for some purpose other than building.' By first defining the object to be divided, through the limiting activity of a definite subjective interest, we cut off from the outset, at one logical stroke, all differentiations of the object's meaning which do not positively subserve the development of that interest. Negating addenda of the type of that just considered have no longer any raison d'etre. The whole race of them is excluded ah initio. IMr. Joseph further accuses a dichotomic division of not proceed- ing on a single fundamentum. ' In the proper division of land,' he says [i.e., the division of land into building-land, farm-land, forest, means of communication, pleasure-ground, waste), ' the basis taken was the use to which land is put, and that was retained throughout ; but in the division by dichotomy, the basis taken was, first, the use of land for building, by which it was divided into building-land and the rest ; and the rest was divided on a different basis — viz., the u-e of land for farming, and so on ' {ibid., p. 109). But once the in- definite term is understood in the sense we have adopted, it is no longer true to say that the first F.D. in the process by dichotomy was ' the use of land for building.' When we divide land into * building-land or not-buikh'ng land,' we are dividing it into ' build- ing-land or land used for purposes other than building.' Our F.D. is therefore ' the use to which land is put,' just as in the case of * In a division of ' land ' from the point of view of scientific intent, such as that of the geologist, there would be no waste-land, just as to the botanist there is no such species as ' weed.' 4—2 ol THE PROBLEM OF LOGIC [11. iv. ' the proper division of land.' So, again, when we proceed to divide ' land used for purposes other than building ' into ' farm-land or non-farm land,' we do not adopt a diflcrcnt basis of division. The basis still remains, as before, ' the use to which land is put.' When land is used for purposes other than building, it maybe used either for farming purposes or for non-building purposes other than farming. We would point out, in conclusion, that Dichotomy is by no means a purely Formal process, which can be carried out independently of material knowledge. As Mr. Joseph convincingly insists [ibid.,]). 110, footnote),* we have no right to divide x into the species a and 7iot-a unless we know tliat, as a matter of fact, a is a species of x. Thus, it is absurd to divide circle into rectilinear circle and non-rectilinear circle, though we are, of course, perfectly justified in saying that every circle (here, as in Analytical Geometry, identified with its cir- cumference) must be either rectilinear or not. We cannot develop the meaning of ' circle ' by assigning to it as one of its species the rectilinear circle. Li dividing G into S or not-S, S must be a possible and relevant differentiation of the genus G. The Testing of Given Divisions. In the testing of given divisions we have first to decide whether the division is logical or non-logical, and, if the latter, whether it ia physical, metaphysical, or verbal. If the division is logical in form, we must test its observance of the four rules. This we may conveniently do by means of the following test-questions : I. (a) Is there more than one F.D. ? (6) If only one, is it appropriately chosen ? II. (a) Is there overlap i^ing of the classes ? (6) If so, to what cause is it due — to a confusion of funda- menta (giving cross-division), to careless definition, or to a confusion of the ranks of generality ? III. If due to the latter cause — i.e., if the membra dividentia are not ' cognate ' — what is the remedy ? Answer : Subdivision. IV. Is the division adequately exhaustive ? Examples. — Test the following divisions : (i.) ' Living being ' into ' moral or immoral.' We must begin by defining ' moral.' If we mean genuinely, actively moral, then the class of indiffcrents in morality is left out. If under ' moral ' we mean to include all creatures capable of morality that are not positively immoral, then the division is sound. But in any case we have omitted the non-moral in the sense of * Vf. also ilellonc, 'An Introductory Text-Book of Logic,' ch. vi., § 10. Chap. IV.] DEFIXTTION AND DIVISION 53 ' moral incapables ' — plants and animals, human infants, and pathological cases of adult human beings. The division, therefore, is not exhaustive (breach of Rule IV.). Moreover, the division as applied to ' living being ' is unsatisfactory, as most men are some- times moral, sometimes immoral. It would better apply to ' act.' (ii.) ' Man ' into — (a) ' timid or rash '; (b) ' avaricious or prodigal.' The F.D.'s are not specified. They may be taken to be (a) ' be- haviour with regard to danger,' and (6) ' behaviour with regard to money.' Again, these divisions are not exhaustive. There is in each case a twofold mean to be introduced — (a) ' cautious or valiant '; {b) ' economical or liberal.' So long as we ' cut well at the joints,' the more distinctions we can relevantly make, the better. Indeed, it is well to avoid the habit of fancying that between two extremes there can only be one mean. In the case of (a) the objection must be raised that the division much more naturally applies to the act than to the man ; for most people are timid in certain respects and not in others, much depending on habit. Further, the timid may, when their emotions are suffi- ciently roused, become rash, or even really brave (c/. the maternal instinct of protection in ordinarily timid women, or the moral courage of the convinced but naturally timid reformer, or the courage of the martyr for faith's sake). (iii.) ' Students ' into ' idle, athletic, and diligent.' Criticism (1). — The dividendum is not expressed in logical form. The plural term ' students ' necessitates an ' extensive ' interpreta- tion. In so far as Division is differentiation of meaning, we must adopt the singular form, and restate our dividendum a^ ' student.' A corresponding alteration must be made in the form of the division itself. We must substitute the disjunctive ' or ' for the conjunctive ' and.' The division, then, which we have now to discuss is that of ' student ' into ' idle, athletic, or diligent.' Criticism (2). — The F.D. is twofold : work-status and games- status. A co-division is here required to remedy overlapping (Breach of Rules I. and II.), and to ensure adec^uate exhaustiveness (Rule IV.). The division excording to work-status may be given briefly as follows : Student. Idle. Not-idle. I Perfunctory. Diligent. 54 THE PROBLEM OF LOGIC [11. iv. The attempt to divide ' student ' according to playrstatus raises, however, a fundamental difficulty. For the F.D. ' play-status ' cannot be included, even as an indeterminate mark, in the definition of ' student.' A student cannot be defined as one who patronizes some form of play or takes some form of recreation. Problematic properties cannot, even at the call of the dividing-interest, be trans- figured into differentiae. There is certainly a difficulty here, but the logical remedy is simple and direct. The genus or dividendum may be altered so as to answer appropriately to the requirements of the case. We cannot accept ' play-status ' as an F.D. of ' student,' but we can accept it as an F.D. of ' student who is interested in games.' It should not, however, be supposed that this procedure is a mere subterfuge or dodge. We are not infrequentlj'^ asked to perform operations on inappropriate objects. We might be asked, for instance, to multiply 8 cows by 15 sheep, or to divide 15 sheep by 5 sheep. We might be asked to decide upon the specific spiritual quality of a ghost's body or a comet's tail. We may even be asked to convert an proposition. Against all such questions as these we safeguard ourselves by pointing out that the requirement cannot be met, and that the nature of the object resents the subjec- tive demand inconsiderately made upon it. A number can be divided by another number, but not a sheep by a sheep, nor so many cows by so many horses. A comet's tail cannot grow spiritual by the simple process of becoming sufficiently thin. Similarly a student cannot put on a games-interest in order to suit the caprices of a question in logical Division. A c^uestion in Logic may itself be illogical. When we are asked, then, to divide ' student ' according to play-status, we answer that it is only the plaj^-student that has a play-status, and that, from the point of view of play, the student who does not play must be cancelled, not, indeed, as a ' skulk,' a ' shirker,' or a ' book-worm ' — for these pretty labels do not express feeUngs controlled by logical interests — but as an irrelevance — an irrelevance to the limited interests of the play-topic. We may adopt, then, as our division according to play-status, some such classification as the following : Playing student. I I Athletic. Non-athletic. Shaping badly. Shaping well. (iv.j * Quadrilateral figure ' into ' square, rectangle, parallelo- gram, or rhomboid.' We take ' quadrilateral figure ' to mean ' plane rectilinear quad- rilateral figure.' The classes overlap, with breach of Rule III. The correction CuAP. IV.] DEFINITION AKD DIVISION 55 needed here is therefore not that of co-division (the cross-division remedy), but that of subdivision. Species and sub-species are con- fused together, the division taking leaps along the predicamental line. We may correct the division thus : Quadrilatoral figure. Parallelogram Non-parallelogram (bi- parallel). (F.D. parallelism of sides). Rectangle. Non-rectangle. Trapezium Trapezoid. I I (mono-parallel). Square. Oblong. Rhombus. Rhomboid. We now see very clearly that, in the original diWsion, the classes are not mutually exclusive (Breach of Rule II.). The square is a rectangle, and the rectangle a parallelogram ; and, further, the rhomboid is a parallelogram. Thus, what the given division tells us is, briefly, that the quadrilateral figure is a parallelogram. No account, therefore, is taken of the non-parallelogram — the trapezium and trapezoid. The division, then, is not exhaustive (Breach of Rule IV.). It may be worth while to consider this division more closely from the point of view of the f undamenta involved. Unless the first rule of Division is to be broken, the fundamentum must remain generically the same throughout. Now the division according to parallelism of sides and the subsequent division of the parallelo- gram — (1) according to angle-relations, (2) according to side- relations — introduce fundamenta which do not at once appear to be modifications of one and the same generic idea. But on closer scrutiny they are seen to be so. We may accept side-relation as the generic fundamentum, and characterize our three specific fundamenta as (1) side-paralleUsm, (2) side-inclination, (3) (rela- tive) side-length. With regard to (2), we see that the angle-relation is itself a specification of the side-relation ; it is that relation of one side to another which is measured by the inclination of each to the other. According as the two sides which contain the angle are more or less inclined to each other, the angle itself is greater or less. We conclude, then, that Rule I. is not in any way broken, but rather legitimately applied. (v.) ' Plane Triangle ' into ' equilateral, obtuse-angled, or right- angled.' Identifying ' equilateral ' with the commensurate term ' equi- angular,' we notice that the division is not exhaustive. The acute- angled triangle which is not equiangular is not included (Breach of Rule IV.). There is no overlapping. 56 THE PROBLEM OF LOGIC [11. iv. But the division, as given, involves two fundamenta, which, though not generically, are still specifically different — namely, ' side- relation of relative magnitude ' and ' angle-relation.' And it is a breach of Rule II L (though not necessarily of Rule I.) to utihze simultaneously at any given stage two fundamenta that are specifi- colli/ different. Proper subdivision, then, might seem to be the natural remedy, and we might present the corrected division as follows : Triangle. Acute-angled. Right-angled. Obtuse-angled. ^ I I Equilateral. Non-equilateral. Isosceles. Scalene. But the division, so framed, seems to require to be completed by the subdivision of tlie two remaining members of the first division, and the total result is unnecessarily complex. It would be simpler in this case to institute a co-divusion wliich, when completed, would run as follows : Triangle into equilateral, isosceles, scalene (F.D. relative side-length), and into acute-angled, right-angled, obtuse- angled (F.D. side-inchnation). (vi.) ' Yorkshire ' into ' North, East, and West Ridings.' This is physical division. (vii.) ' Lemonade ' into ' fluid, acid, sweet,' etc. Tliis is an incomplete metaphysical division. (viii.) 'Accident ' into ' misadventure or irrelevant predicable.' This is verbal division, the discrimination of the possible meanings of an ambiguous term. CHAPTER V. II. (v.) CLASSIFICATION.* The first main object of Classification is to keep control over facts by marshalling them in order ; and the general principle which guides * As already indicated in the last chapter (vide p. 42), the term 'Classification' is more comprehensive than the term ' Real Division ' ; for, in the first place, it includes not only the downward movement from summum genus to infimae species to which we are restricted in Real Division, but also the upward movement from the lowest species to the highest genus. In the treatment of Classification here Chap. V.] CLASSIFICATION 57 every such endeavour is that of bringing together those things which are most alike and separating those things which are most unhke. Thus, to take the case of animals, we have here an immense and bewildering variety of individual beings. A sufficient know- ledge of Anatomy enables us to detect within this maze of life certain relatively permanent types of structure by the aid of which we form zoological species. When these are compared together, some will be seen to have characters in common by which they resemble one another and differ from all other species. These we group together into what is here technically called a genus. From genera we pass by similar steps to famihes, orders, classes, and finally to sub-kingdoms. The words ' class,' ' genus,' ' species ' have here acquired meanings quite different from those involved in stating that the definition of a class or species is given by stating genus and differentia. In this latter statement all the terms are general and relative. From tlie point of view of the predicables, the word ' class ' is used generally for any group of objects resembling each other in certain character- istics.* Thus, a sub-kingdom, or an order, or a class proper, or a genus, or a species is a class in this sense of the word. So, again, if we take any two successive groups in the scheme of classification, the first will stand to the second as genus to species in the predicable sense of these terms. ' Class ' is the genus of which ' Order ' is the species. But in these classifications the words ' class,' ' genus,' ' species ' have fixed specialized meanings. A ' class ' comes between a sub-kingdom and an order, a ' genus ' between a family and a species, a ' species ' between a genus and a variety. Types of Classification. Classifications are of two kinds : they may be either real or formal. When we state that classifications are governed by the para- mount consideration of order, our primary meaning is that classifica- tions arise in response to a dominating subjective purpose, the need for order. But there are two main ways in which tliis subjec- tive purpose realizes itself : it may cither develop in whole-hearted conformity to the nature of the material studied, or it may show a divided adherence, conforming partly to the requirements of the given we have used the term almost exclusivelj' in that sense ia which it cannot be mistaken for Real Division — i.e., we have considered the up-building of a classiiication rather than its explication from the most general concepts downwards. But even where the direction of Classification coincides with that of Real Division, the two processes remain distinct. For Classification includes processes of Definition as well as of Division; whereas Division and Definition, as we have defined them, are mutually exclusive. * The extension-import of a class is here assumed, as the more convenient for our purpose (vide p. 14G). 58 THE PROBLEM OF LOGIC [11. v. material, but partly also to one or other of the specialized demands for order ■which the subject makes in the interests of his own practical life and culture. Li the former case the classification may be called real ; in the latter, formal. In each case the dominating factor is the subjective interest in order, and here, as well as there, the interest may be ' disinterested.' But in the one case this interest is fixed on the discovery of the material's own order imposed upon it by the laws of its own nature ; in the other — whether through choice or necessity — it is bent on arranging the material in a selective spirit by the help of such of its characters as happen to be relevant to the classifier's specific requirements. AU the classification-schemes of the Natural Sciences are real in the sense above defined. There are two main types of Beal Classification, respectively knovm as natural and diagnostic. But they do not stand on the same level, for the diagnostic type of Classification has its sole raison d'itre in the service of the natural. As the distinction between these two types of Real Classification is particularly important, we proceed to consider it at some length. Natural Classification. In classifying according to Nature, scientists have been guided by the following important clue, which may be regarded as the guiding-thread of true Natural Classification — to wit, that it is characteristic of the ways of Nature that, when she makes a differ- ence in any single fundamental particular — e.g., possession or lack of a spinal cord — she correlates with this difference a large number of other differences. In the case of the Genetic Sciences, which view their object-matter from the standpoint of its development, this characteristic admits of a ready explanation. Given two species, one with and the other without the rudiment of a spinal cord, it is obvious, from the point of view of Evolution, that they will develop in very different ways, and acquire very different pro- perties. Such classes as are formed of things which agree among themselves and differ from others in a multitude of characters were called by J. S. Mill ' natural kinds.' A classification is natural only in so far as it keeps to natural kinds throughout. A natural classification, then, may be defined as one in which, roughly speaking, the divisions are so constituted that the objects included in any one of them resemble each other and differ from all others in many significant respects. In Natural Classification the more important characters — i.e., those wliich are accompanied by the larger number of correlated differences — are selected for determining the higher groups, and thus the kinds classified will, on the whole, be arranged, from the primary divisions downwards, according to the principle of ' sub- Chap. V.] CLASSIFICATION 59 f ordination of characters.' In this arrangement, the higher the place which any class holds in the classification, the more important are the characters which constitute it. This arrangement will prevent any widely dissimilar groups from being brought together in the lower divisions. The ox and the frog will be held apart in the classi- fication, as in Nature. Thus, if we are considering flowering plants, we notice that plants in which the ovules are enclosed in a protective structure resemble one another (and differ from those whose ovules are unprotected) not only in this particular, but in a large number of other points as well, such as the structure of their vascular tissue, the form of the stamens, the germination of the pollen-grain, and the development of tlie endosperm. In classifying flowering plants, we therefore divide them first of all (according as they have protected or unprotected ovules) into Angiospermae or Gymno- sperma?. In subdividing the Angiospermse, we choose the character of the presence of two primary leaves, or of onty one, and thus form the two alternative sub-classes, Dicot3'ledons a,nd Monocotyledons. After this we go on to other characters in descending order of importance, and so form our Orders, Sub-orders, Genera, and Species. The characterization of Angiosperms, according as they are dicotyledonous or monocotyledonous. admits of being stated in a relatively untechnical way. Thus : (i.) Dicotyledons have the following characters : (1) The embryo has two seed-leaves or cotyledons. (2) The first or primary root of the embryo branches after it leaves the seed. (3) The stem branches repeatedly. (4) The stem, when perennial, has a distinct pith, con- tinuous rings of wood, and separable bark. The stem increases in tliickness by the formation of fresh rings of wood outside those already formed and inside the bark. The hardest wood is insid*?. (5) The outer parts of the flower are most commonly in fives — i.e., have five members in each whorl. (6) The leaves are net-veined. (ii.) Monocotyledons have the following characters : (1) The embryo has only one seed-leaf. (2) The primary root branches before it leaves the seed. (3) The stem, as a rule, shows little branching, and in the monocotyledonous trees (such as Palms) it ma}- be quite unbranched, growing only from a bud at its apex, the buds produced in the axils of the leaves remaining undeveloped. CO THE PROBLEM OF LOGIC [II. v. (4) The stem is without any distinct pith, continuous rings of wood, or separable bark. The wood consists of bundles of fibres and vessels, which are separately embedded in cellular tissue. The hardest bundles are outside. (5) The outer parts of the flower are in threes. (6) With few exceptions, the leaves are straight-veined. It is to be noticed that the most important characters are by no means (usually) the most obvious. Our natural groups seem, at first sight, to include extremely heterogeneous kinds. To an unbotanical mind, the yellow cowshp, the scarlet pimpernel, and the purple cyclamen would seem as unlike as flowers could be ; yet these three species are closely related, and we class them all in tlic Natural Order Primulacea. So also the daisy, the goldenrod, and the thistle belong to one Natural Order, the Compositte ; and two flowers so unhke as the blue cornflower and the purple knap- weed belong, not only to the same family, but even to the same genus (Centaurea). We do not, in Classification, give the preference to the most obvious, but to the most significant and the least vari- able characters. Thus, in both Zoological and Botanical Classifica- tion, Analogy (resemblance arising from adaptation to similar functions) is of far less importance than Homology or morphological identity. Hence the paramount necessity, for purposes of Classi- fication, of the study of Development. In classing any organism, we must consider not only its characters at any one moment of observation, but also those exhibited by its past history ; for thus alone is it possible to ascertain the liomologies of structure upon which Comparative Morphology is founded. The importance to Classification of a close study of Development has been tenfold increased by the discovery of the connexion between ontogeny and phylogeny, the establishment of the theory that each individual organism (at least among animal forms) ' recapitulates ' in its development the wliole history of its race. If we were to meet, for the first time, a full-grown hen, we might be uncertain of her exact place in the Animal Kingdom ; but when we have watched day by day the development of the chick, in the egg, from the single cell which represents some protozoan ancestor, through the fLsh-hke stage which exhibits a swimming tail and con- spicuous gill-slits, and again through the reptilian form with its four limbs and hands, each with its five digits distinctly shown by the microscope, on to the first emergence of the characteristic bird- like form, then we have no difficulty in relegating our adult fowl to her proper position in our zoological classification. Thus, an ideal natural classification of animals or plants would represent, not only the present affinities, but tlie whole ancestral history of the organisms dealt with. It would indicate no mechan- Chap. V.] CLASSIFICATION 61 ical arrangement of isolated types, but an organized continuum in which some of the missing Hnks would be supplied by pala^onto- logical research, and others would be ideally reconstructed with more or less of probable exactness. Our scheme of classification would thus become a genealogical tree, showing the vital relation of each kind to all the others, and thus making evident the organized unity of the whole.* Definition in Connexion with Natural Classification. — The Problem of Classification involves the necessity of defining the names wliich constitute the Nomenclature. In the case of Natural Classification, Definition takes the form of Characterization — i.e., of giving an in- ventory of the known characteristics common to all the typical members of the class indicated by the term to be defined — a result to be obtained only through those thorough-going analyses and syn- theses which are called for when we study Nature, with reconstruc- tive intention, as a complex and developing system of which all the parts and aspects are intimately interrelated. In a natural classi- fication, as we have seen, every group, from the primary divisions downwards, will possess a number of common characteristics. Thus, the definition of the term ' Dicotyledon ' might be stated somewhat as follows : The term ' Dicotyledon ' stands for a plant possessing the distin- guishing characters of the Angiospcrmoe (genus), and further characterized by the following marks : Embryo with two cotyledons. Stem, when perennial, having a distinct pith, continuous rings of wood, and separable bark, and branching repeatedly. Leaves net-veined. Parts of the flower usually in fives. So, again, the definition of the term ' Vertebrate ' in Zoology would be somewhat as follows : The term ' Vertebrate ' stands for a multicellular animal (genus) characterized by the following marks : 1. The possession (at some stage of the animal's development) of a smooth, elastic, dorsally i)laced rod (the Notochord) lying ventral * As a particularly important and impressive instance of Natural Classification in the realm of inorganic Nature, we may mention the classification of the chemical elements according to Mendelecll's Periodic Law. This same instance is also an excellent example of Classification by Series (vide Professor Duncan's ' The New Knowledge,' ch. iii. ; Hodder and Stoughton, 1906). As another, perhaps still more important, instance of Natural Classification — this time in the realm of spiritual values — we would refer to an article on ' The Classification of the Virtues,' by H. W. Wright (The Journal of Philosophy, Psychology, and Scictiiific Methods, vol. iv.. No. G, March 14, 1907). However, Mr. Wright does not so much furnish the classification itself as the principles for making it. ' As the species are classified according to the part they play in the process of organic evolution, so the virtues are classitied according to the office they discharge in the organization of conduct. Thus our ideal of a principle of classification organic to the field of its application is realized ' {ibid., p. 100). 62 THE PROBLEM OP LOGIC [IL v. to the norve-cord. This may be replaced by a cartilaginous {i.e., gristly) rod, or by a column of distinct ' vertebra.' These, again, may either remain cartilaginous or be replaced later by vertebrre of bone. (These vertebrae grow round and protect the nerve-cord.) 2. The possession, at some stage of development, of gill-shts in the anterior part of the alimentary canal, 3. An unpaired dorsal nerve-cord, which is tubular, having a central canal, and is protected by the notochord or the vertebrae. In the more advanced forms the brain and sense organs are highly developed, the latter being paired. 4. A highly organized circulation. The heart is always ventral to the alimentary canal. 5. Symmetrical segmentation. Definition by characterization tends, in the case of the develop- mental sciences, to take the form of Definition by Type, a type being defined as ' an example of any class — for instance, the species of a genus — which is considered as eminently possessing the character of the class ' (Whewell). Thus, Dr. P. Chalmers Mitchell says that Morphologists ' are slowly coming to some such conception as that a species is the abstract central point around which a group of variations oscillate, and that the peripheral oscillations of one species may even overlap those of an allied species ' (' Enc. Brit.,' 10th edn., vol. xxviii,, article on ' Evolution,' p. 343). Definition by Type is no doubt to this extent logically defective — that it does not provide ideally against ambiguity ; and, in its insistence on a central as distinguished from a peripheral defijiiteness of character- ization, it resembles Description rather than Definition proper ; but it is none the less the Definition natural to elassificatory Science. There is good reason why, in Botanical andZoolofrical classification, the reference to organized reality should call for definition by type. Typical structures possessing a complete fitness for existence sur- vive, and the intermediate forms tend to disappear, though there may be many deviations from type that are not important enough to interfere with that fitness to survive upon which the persistence of the type depends. Hence, in the developmental sciences. Real Definition — the definition of a class or concept that is framed to bear the searchlight which Science throws upon Nature — is essentially central in character. The central qualities and tendencies determine the definition ; but in its application tlie definition takes in all varia- tions which show a more marked approximation to the central refjuirements in question than to those of any other definition. This Definition by Type, we may add, forms a transitional link between a rigid peripheral definition, or definition by boundaries, and the more inward and vital definition by ends or ideals. In this latter kind of Definition, the defining marks, far from being pos- sessed in common by all the members of the class defined, may be Chap. V.] CLASSIFICATION 63 possessed, in strictness, by none. If ' Man ' is defined by the ideal his nature is capable of reaching, it is not necessary tliat any single individual man should possess the marks in question.* Real Definition, finally, is essentially provisional and progressive. The widening of knowledge implies tlie remodelling of scientific principles and scientific classifications, and this implies that the definitions of essential concepts and of natural kinds undergo a sympathetic renewal. Where the aim of Definition is to charac- terize according to Nature, and the knowledge of Nature is continu- ally deepening, the definition must adapt itself if it is not to stultify the very reason for its existence. Diagnostic Classification and Definition. A natural classification, in order to be really useful, should be accompanied by an analj'tical key. Such a key is a diagnostic classification, its function being to serve as an index or searcher for the corresponding natural classification. The essential dis- tinction between these two types of Classification is that, wliilst the marks which serve to locate a given species witliin the system are, in the ease of Natural Classification, fundamental, in the case of Diagnostic Classification they may be merely superficial. The marks here are external and salient, and easily recognized. A diagnostic classification meets an important practical requirement — that of easy diagnosis — diagnosis being the method of determining the place of a natural kind in a classification, finding the correct name or label for the object by means of its characteristics. The botanical system of Linnaeus is essentially of the diagnostic type. It has been called artificial, because its classification-con- nexions do not stand for natural affinities. This is true, but it was not the author's intention that his classification should be natural. He intended that it should serve as a complete practical index or catalogue. ' It is an index to a department of the book of nature, and as such is useful to the student. It does not aspire to any higher character, and although it cannot be looked upon as a scientific and natural arrangement, still, it has a certain facilitj' of application wliich commends it to the tyro. In using it, however, let it ever be remembered that it will not of itself give the student any view of the true relations of plants as regards structure and properties, and that, by leading to the discovery of the name of a plant, it is only a stepping-stone to the natural sj'stem. Linnseus * As a suggestive illustration of what is involved in a philosophic definition — a definition, that is, which is framed under the control of such categories as those of dcveloptncjit and pcrsonnlity — see Edward Caird's ' Evolution of Religion,' Lecture II. For the so-called ' pragmatic ' definition, see C. S. Peirce. ' Illustra- tions of the Logic of Science,' in The Popular Science MontWy, vol. xii., under the two headings. The Fixation of Belief ' (November, 1S77), and ' How to Make our Ideas Clear ' (January. 1S78). 64 THE PROBLEM OF LOGIC [II. v. himself claimed nothing higher for it. . . . Besides his . . . index, lie also promulgated fragments of a natural method of arrangement ' (' Enc. Brit./ Otii edn., vol. iv., p. 80). This distinction between Natural and Diagnostic Classification puts in a clear light the relative character of what is ' essential ' for Definition. The need for a diagnostic classification shows that for scientific purposes the salient mark is often more essential than the structural or the functional mark. If we wish to identify a plant, we don't, as a rule, need to examine its microscopic characters in order to class the specimen by some minute peculiarity of structure. It is, therefore, not true to say that in Diagnostic Definition the specifying mark may be non-essential. For the purposes of Diagnosis and of Diagnostic Definition its saliency is just what is essential. Definition in connexion with Diagnostic Classification is Definition with the purpose of identification. Hence it naturally takes the form of diagnostic characterization. It is a definition giving the salient, easily tested marks. Thus ' Iodine ' may be diagnosticallj^ defined as a substance that colours starch blue. Where the absence of a mark forms the most striking means of identification, the diagnostic definition includes a negative characteristic : Manx cats are cats that have no tails. An apetalous plant is a flowering-plant in whicli the corolla is absent. Formal Classification. As we have already stated, formal classifications are characterized by the intimate relation in which they stand to the specific require- ments of the individual classifier. There are two main types of formal Classification to which we may conveniently give the names of Conventional Classification and Index-Classification, the latter existing solely for the sake of, and in the service of, the former. Conventional Classification, again, may be either Appropriately Conventional or not. In the latter case, the Classification may suitabl}' be called Artificial. A conventional classification is appropriately carried out when there is no maladjustment between the nature of what is classified and the specific nature of the purpose which directs the classification. The kinds here classified must therefore not be those proper to any natural science, for in that case a subjective, conventional ordering of them would not be proper to their nature. They must be drawn from products of human art and thought, such as statues or books. Here, more especially in the case of books, no valuable end would be gained by attempting to group the types or kinds after the complete manner characteristic of Natural Classification, in which the full resemblances of the types classified are taken into account. It is here more purposive. Chap. V.] CLASSIFICATION 65 and therefore more lofrical, to fix on an attribute or group of attri- butes which happens to be of importance for the purpose, and to construct and classify the types in strict relation to it. On the other hand, where the types are natural kinds — e.g., species of plants — and yet are not classified according to their nature, but according to a specifically subjective principle of selection and arrangement chosen without regard to the real nature of the material in question, the classification may conveniently be termed ' Artificial.' This appears to be a right and proper use of the word, though it gives a sense more restricted than that implied in the ordinary contrast between Natural and Artificial Classification. Thus the various kinds of garden plants might be formed and arranged in the light of some subjective interest {e.g., the decorative interest, which may find colour-distinctions essential), and such an arrangement, when contrasted with the true, genetic order in which the various species of plants stand in relation to each other, might suitably be called ' Artificial.' Artificial Classification would then be a kind of Conventional Classification, but would not be identified with Conventional Classification in general. Conventional, like Natural, Classification needs the co-operation of a key-classification subordinated to its own special requirements. But this key-classification will not, of course, share the objective character and intention of the analytical keys proper to Diagnostic Classification. As a rule, it will be found to be strictly alphabetical, as in the case of all indexes and catalogues. Thus, a librarian, in constructing and classifying types of books, will do so according to some subjective plan for which his own convenience rather than the nature of the object is the dominating standard. But the librarian's classification of the books is one thing, the cataloguing of the same for the convenience of readers is another thing. The latter classifi- cation is a mere finder to the former as that is represented by the arrangement of the books on the shelves, and stands to it in a rela- tion closely analogous to that in which a diagnostic stands to a natural classification. And yet there are differences. Thus, a diagnostic classification yields in itself a certain superficial know- ledge of the nature of what is classified, and can be translated into other languages, the arrangement not being alphabetical ; but a catalogue, qvxi alphabetical arrangement, yields no knowledge of what it classifies. To be aware that Punch and the ' Principia ' have a common initial letter hardly constitutes a knowledge of the books in question, and any attempt at translation would involve such a complete transformation of the original arrangement as to be equivalent to the construction of a new catalogue. Finally, we would draw attention to the fact that spatial grouping, such as that of the books on the shelves of a library, or the arrange- ment of a collection of butterflies in a cabinet, is in no sense a logical classification. It is an arrangement of specimens, and not GG THE PROBLEIVI OF LOGIC [II. vi. a classification of species. Again, the assigning of individuals to their respective classes, though in itself a logical operation, is not a classification of species, but only a classing of objects. We may class specimens, but we cannot classify them Classification. I I Real. Formal. I I II I I Natural. Diagnostic Conventional. Index-Classification (Analytical key). | (Alphabetical key). I I Appropriate. Artificial. CHAPTER VI. II. (vi.) SCIENTIFIC TERinNOLOGY AND NOaiENCLATURE. Technology, Let us first say a few words about Technical Terms. Words, as we have seen, are sensitive, and pass through a process of growth. Various associations cluster round the original nucleus of meaning, making it extremely hard to define sharply even the usual meaning of the word. Now Science, in its anxiety to escape the dangers arising from these clinging associations, often takes the extreme step of inventing symbols which, since they can never be current, can never gain an associative meaning. Hence a great advantage in clearness and precision. On the other hand, we must face the fact that, by using technical terms, we cut Science off from ordinary life. To meet this objection Political Economy has, on the whole, adopted the plan of using popular words — e.g., ' rent,' ' wages,' etc. But it defines these strictly for its own accurate purposes, and is therefore misleading to the uninitiated reader. And yet this plan has the great advantage of keeping the student in close touch with fact. The use of technical terms is, of course, justifiable only on the ground that accurate distinctions are needed. To be technical in one's language and inaccurate in one's thought is to make oneself ridiculous. The two essentials of the technical language of Science are (a) a good descriptive Terminology, (6) a good Nomenclature. (a) Terminology. — By descriptive Terminology we mean a collec- tion of word.s wliicli will enabl ; us to describe natural kinds. Of all the sciences, perhaps Botany has the best descriptive terminology. Chap. VI.] TERMINOLOGY AND NOMENCLATURE 67 Every part of a plant and every variety of plant structure has been so exhaustively named that the plant can, so to speak, be drawn in words. The flower has its calyx, consisting of sepals, its corolla of petals, its stamens, with their filaments and anthers, its pistil with its carpels, style, and stigma, etc. Again, among all the various forms of the leaves of plants tliere is not one which cannot be accurately described. Tlius, when a leaf is long and very narrow, it is said to be linear ; when the length is three or more times as great as the breadth, and the broadest part is below the middle, w^iile the summit is tapering, the leaf is described as ' lanceolate ' ; when the broadest part is above the middle, and the blade tapers towards the base, the leaf is called ' cuneate ' ; and when the blade is broadly cuneate with a rounded top we say that it is ' flabelliform.' A leaf that approaches the form of a spoon or ladle is called ' spathulate ' ; and other forms of leaves are known as ' ovate,' ' obovate,' ' orbicular,' ' oval,' ' oblong,' ' elliptical,' ' rhomboidal,' ' oblate,' and ' falcate.' (6) Nomenclature. — jA descriptive terminology must be carefully distinguished from a nomenclature. The nomenclature of any classification consists of the names for the groups or kinds which the classification systematizes ; the words by which these groups are characterized constitute its terminology. Nomenclature, like Definition, tends to vary with the point of view from which names arc considered. The purpose of Science being steady — that of naming in accordance with principles of Classification — we have, of course, a corresponding steadiness of nomenclature. With variety of interest comes variety of nomen- clature, as the following extract from Watts's ' Logic ' (quoted b}^ Dr. Gilbart, ' Logic for the Million,' pp. 66, 67) clearly shows : ' ]Most of all [flowering] plants agree in this — that they have a root, a stalk, leaves, buds, blossoms, and seeds ; but the gardener ranges them under very different names, as though they were really different kinds of beings, merely because of the different use and service to which they are applied by men — as, for instance, those plants whose roots are eaten shall appropriate the name of roots to themselves, such as carrots, turnips, radishes, etc. If the leaves are of chief use to us, then we call them herbs, as sage, mint, thyme ; if the leaves are eaten raw, they are termed salad, as lettuce, purslain ; if boiled, they become pot-herbs — as spinach, coleworts ; and some of those plants which are pot-herbs in one family are salad in another. If the buds are made our food they are called heads or tops, so cabbage-heads, heads of asparagus, and artichokes. If the blossom be of most importance we call it a flower, such as daisies, tulips, and carnations, which are the mere blossoms of those plants. If the husks or seeds are eaten, they are called the fruits of the ground, as peas, beans, strawberries, etc. If any part of the plant be of known and common use to us in medicine, we call it a physical 5—2 68 THE PROBLEM OF LOGIC [11. VI. herb, as carduus, scurvy-grass ; but if we count no part useful we call it a wood, and throw it out of the garden ; and yet, perhaps, our next neighbour knows some valuable property and use of it ; he plants it in his garden, and gives it the title of an herb or a flower. Now, when things are set in this clear light it appears how ridiculous it would be to contend whether dandelion be an herb or a weed, whether it be a pot-herb or a salad, when, by the custom or fancy of difiFerent families, tliis one plant obtains all these names, according to the several uses of it and the value that is put upon it.' In an ideal nomenclature each name would indicate the place occupied by the class named in the classification. This would be done b}' relating the class-names to each other, instead of allowing each group to name itself independently of the rest. Definition per genus et differentiam is thus represented, in a very simple form, in the systems of scientific nomenclature. In Botany and Zoology, for instance, each kind takes the name of the genus of which it is a species, and adds toit adift'erentia giving, usually, some characteristic or salient mark. Thus, the zoological name of the Rabbit is Lepus cuniculus : that of the Common Hare, Lepus timidus. The Red Deer is Cervus elaphus, the Wapiti Deer Cervus canadensis. The Brown Bear is Ursus arctos, the Grizzly Bear Ursus ferox. So also Botanists call the Field Rose Rosa arvensis, the Dog Rose R. canina, the Sweetbriar R. rubiginosa. The Marsh Violet is Viola palustris, the Sweet Violet V. odorata, the Hairy Violet V. hirta, the Sand Violet V. arenaria. The Common and the Creeping Buttercu}:), the Hairy Ranunculus, ' Goldilocks,' and the Lesser Celandine all belong to the genus Ranunculus, and are distinguished respectively by the specific names acris, repens, hirsutus, auricomus, and Ficaria. In view of the great efficiency secured by making the name itself a sort of condensed definition, we may feel considerable sympathy with Mr. Garden's protest against what he calls the evil fashion, once so prevalent amongst naturalists, of paying compliments by naming genera and species after each other. ' What am I the better,' he asks, ' for hearing a rare moss called Hedwigia horn- schuchiana, beyond being led to infer that Germany has, or had, two botanists, one called Hedwig and the other Hornschuch ? On the other hand, when I am told that such a moss is called Trichosto- mum lanuginosum, I am, on supposition of previous knowledge of Trichostomum, presented with a definition, lanuginosum (" woolly ") expressing the differentia of this species in the genus Trichostomum, even as Trichostomum does that of the genus when viewed as species of the higher genus which contains it.' Chemical Nomenclature is peculiarly efficient. The names of the Elements, indeed, have, for the most part, been arbitrarily chosen, and are of historic interest rather than of scientific value ; but the names of compound substances are assigned on systematic principles. Those of simple binary compounds {i.e., substances composed of Chap. VI.] TERMINOLOGY AND NOMENCLATURE 69 two elements only) are formed by combimng the names of their component elements, and as in many cases the same two elements combine in different proportions, tlie different compounds so pro- duced are distinguished by means of tlie addition of terminal syllables or (more usually) of prefixes. Thus, among the compounds of Sulphur and Oxygen we have Sulpliur dioxide, Sulphur trioxide, Sulphur sesquioxide. So, too, we have Potassium monoxide and Potassium dioxide. Lead tetroxide. Arsenic pentoxide, etc. Simi- larly the names of acids indicate their places in the classification by means of significant prefixes and suffixes. Thus Sulphur, in com- bination with Oxygen and Hydrogen, forms a whole series of acids known respectively as hyi:)osulphurous acid, sulphurous acid, sul phuricacid, thiosulphuric acid, pyrosulphuric, and anhvdro-sulphuric acid. In combination with other elements Sulphur forms a series of sulplu'c?es, sulpln7e5, and sulphates, the termination showing in each case the position in the series of the compound indicated. Further, the symbolic nomenclature of Chemistry is even more efficient and precise than the verbal system. Each element is symbolically represented by the initial letter (or two of the letters) of its Latin name, and the symbolic names of compounds are made up of the symbols of their component elements with the addition of numbers which indicate the proportions in which these elements are combined. Thus H is the symbol of Hydrogen, S of Sulphur, and of Oxygen ; and, in the series of acids cited above, hypo- sulphurous acid is symbolically represented as H2SO2, sulphurous acid as HjSOg, and the others in order as H2SO4, H2S2O3, HSgO,, HgSgO,. In Astronomy, also, we find both verbal and symbolic names. The verbal name is framed, as a rule, on the ' genus et differentia ' principle. The system is analogous to our method of designating persons by a family name and a Christian name. The family name is represented by that of the constellation, the Christian name by a letter of the Greek or Roman alphabet, or a number. Thus, a Lyra}, Q Pegasi, Z Herculis, T Coronae, 113 Herculis. Frequently the number of the star in some given catalogue is used as its designation — e.g., Lac(aille) 7215, Brad(ley) 3077. As the constellations, especially those in the southern hemi- sphere, have been variousl}'' mapped out by different astronomers, and as different astronomers, again, use different catalogues, there is still a good deal of uncertainty as to the naming of stars. The same star may thus belong to more than one constellation, and be differently numbered in different catalogues. Hence the great advantage in star-naming of using the symbohe name. The symbolic name is a formula or rule for finding the position of a star, and so identifying it. The formula consists in giving what are called the co-ordinates of the star — its latitude and longitude, so to speak (technically its right ascension and declina- 70 , THE PROBLEM OF LOGIC [II. vii. tion). Thus, the symbolic name of a Lyrae is : 18 hours, 33', 6" R.A. ; + 38^ 41' Declination. It would seem, then, that, since the purpose of naming a star is to be able to identify it by means of its name, and since a star can always be identified by its right ascension and declination, nothing but this statement of the star's position is really necessary. The symbolic name should be completely sufficient. ' Unfortunately, the position constantly changes through the precession of the equinoxes and other causes, so that this designation of a star is a variable quantity.'* The true symbolic name of a star is, tlierefore, given by the formula noting its R.A. and declination + all the rectifications required for precession, refraction, errors of instrument, personal equation, etc. CHAPTER VII. II. (vii.) CONNOTATION AND DENOTATION. DEFI^'ITION and Division are the two fundamental methods for develoi^ing or making exphcit the meaning of a term. The results of these two processes have special names given to them ; — Definition gives the connotation, Division the denotation of a word. Thus, if we define ' Man ' as ' rational animal,' this is its connotation. If we divide ' Man ' into ' Aryan, Semitic, or Turanian,' we are giving its denotation. The connotation of a term, then, consists of the defining marks which the name implies ; the denotation, of the alternative class- distinctions into which the meaning of the name can relevantly be di\ided. Let us consider more closely each of these two aspects of a word's meaning. 1. Connotation may be either formal or real. The connotation of a name will be formal when the name is used in the service of an interest that is more or less subjectiv^e and occasional ; it will be real when it is the connotation of a scientific term. But in either case connotation is essentially definite, being the product of defini- tion. And just in so far as an object possesses the attributes or the characteristics formulated in the connotation does it merit and obtain the name. From the two types of logical connotation above referred to, the formal and the real, we must carefully distingush a type of non- logical connotation usually referred to as ' subjective intension.' The ' subjective intension ' of a class includes only such marks as * Simon Ncwcomb, ' The Stars,' pp. 36, 37. Chap. VII.] COXXOTATION AND DENOTATION 71 happen to be suggested on any occasion to any individual when a given word is mentioned. Thus, in the instance given on p, 29, ' crystal ' would have been to the author, as a child, part of the * subjective intension ' of the word ' palace.' The ideas which a word serves to bring before the hearer's mind constitute its indi- vidual or ' subjective ' intension (in the usual sense of these words), but not the logical connotation. The psychological suggestions of a word are one thing, the logical imiDlications of a word quite another.* 2. The Denotation of a class or class-name depends upon its connotation, and in the same sense in which the division of a class depends upon the definition given to it. As division serves to differentiate and to specify what is indeterminate in a definition, so the denotation differentiates and specifies what is indeterminate in the connotation. The distinction between these two ways of stating the matter is that, in the former case, when we are speaking of Definition and Division, we have logical processes in mind, and, in the latter case, the results of these processes. It is quite custom- ary, however, to use the term ' Definition ' in the sense here reserved for ' connotation.'! Denotation will be formal or real according as the connotation is formal or real. The formal denotation of the term ' horse ' includes, as alternatives, all the different kinds of horses that come logically under the class ' horse ' as formally defined. The real denotation of the term includes, in a similar disjunctive sense, all the kinds of Equus cahallv^ that come witliin the central or ' typical ' definition of that species recognized by classificatory Zoology. 3. Interpreting ' Denotation ' as a stage in the logical develop- ment of a term's meaning, we manifestly need another term, quite distinct from logical denotation, for specifying the enumerative relation between a class and the individuals to which the class- concept applies. The term ' Extension ' appears to be the most appropriate for this office. This would involve a specialization of the function which Professor Keynes has suggested for this very term. The problem, as it presented itself to Professor Keynes (' Formal Logic,' 4th ed., p. 30), was to fix a type of extension (in our sense of the word) which, in reference to the concept ' horse,' say, should include not only the horses that breathe and eat grass, but the steeds of fiction and imagination — such creatures as Pegasus, tlie Wooden Horse of Troy, the white horse of the fine lady at Banbury Cross, the horses of our dreams and of our desires. * Vide Chapter I., p. 17. t It would greatly conduce to clearness of nomenclature -were the terms ' Defini- tion ' and ' Division ' exclusively applied to the propositions which represent the defining or the dividing process. Thus, ' Man is a rational animal ' might pass as the definition of ' man,' ' Man is Aryan, Semitic, or Turanian ' as a corresponding d vision of the term. ' Rational animal ' would then be the connotation of ' man,' ' Man is a rational animal ' its definition, ' Aryan, Semitic, or Turanian ' its deno- tation, ' Man is .^van, Semitic, or Turanian ' its division. 72 THE PROBLEM OF LOGIC [II. vii. It is for this comprehensive office that Professor Keynes has sug- gested the term ' extension.' ' By the . . . extension of a general name . . .,' he writes, ' we shall understand the whole range of objects, real or imaginary, to which the name can be correctly applied, the only limitation being that of logical conceivability.' But if the term ' extension ' is adopted in the sense here defined by Professor Ke^Ties, it should not be overlooked that in so far as its range is not limited by a corresponding connotation, either in the formal or in the scientific sense, it cannot rank as a logical type of extension. Considered apart from any reference to a definite connotation, there would, for logical purposes, be the same objection to the term ' extension ' as there is to the so-called infinite term ' not-x ' {vide pp. 48-52). It is logically essential that extension should in all cases be determined by connotation. We must carefully distinguish between the specification of mean- ing, through Division, and the application of meaning, through Enumeration. We propose to stamp this distinction by a corre- spondinglj' distinct use of the two terms ' denotation ' and ' exten- sion.' Denotation we define as differentiation of meaning, to be interpreted disjunctively through the formula 'G=Si or Sg or S^, etc' Extension we define as application of meaning to individual objects, to be interpreted conjunctively by means of the formula ' G applies to (or indicates) the individuals I^ and I2 and I3, etc' Corresponding to this use of the term ' Extension ' we would suggest the term ' Intension.' Let ' Intension ' stand for the full relevant development of the meaning of a concept through Definition and Division. The intension of a term will then be equivalent to its connotation and denotation combined, and we liave the formula : Intension — Connotation + Denotation. Our use of the term ' Intension ' in the sequel will always be in the inclusive sense here indicated. The ' Inverse Relation ' of Connotation and Denotation. It has been customary to formulate the relation between Connota- tion and Denotation by pointing out that, as we pass from summum genus to infima species in a classification, at each step increasing the determinate connotation by at least one differentia, we tend to diminish the number of kinds denoted by the concept. Thus, if we specify 'ship' as 'steam-sliip,' the word no longer denotes the mere sailing-vessel. If we further qualify it as ' screw-steamship,' the species paddle-steamer is ruled out. But, substantially correct as is this view of the relation in question, it is none the less superficial and misleading in its emphasis. It obscures the fact that the fundamental relation between connotation Chap. VII.] CONNOTATION AND DENOTATION 73 and denotation is not ' inverse,' but ' complementary ' — that conno- tation and denotation are, in fact, complementary stages and co- factors in the logical articulation of meaning. Moreover, the relation by no means implies that the total meaning or intension of a genus is poorer than that of a subordinated species. This remains an open question. Let G stand for any given genus, Sp So, S3 for its species (F.D. /) ; let d^ d^ d^ stand for the deter- minate connotation of G, and let f-^, /j, f^ stand for those specifica- tions of / which give the differentiae of S^, S.,, S3 respectively. Then the full meaning or intension of G, as relevant to the present com- parison between G and its species, is given by ^- /. L 1 Ji Ji and the corresponding intension of S^ is given by d^ + d^ + d^+f^. The question before us, then, is whether (/j or /g or f^) — for this is what / amounts to — is richer or poorer in meaning than j^. The difficulty which besets the solution of this conundrum suggests that genus and species are more profitably studied as mutually indispensable links in the development of meaning than as rival claimants for some monopoly of meaning which shall enrich the one at the expense of the other. Connotative and Denotative. Names — The Limits of Definition and Division. A name may appropriately be called ' connotative ' in so far as it possesses a connotation, ' denotative ' in so far as it possesses a denotation. The expressions are useful as helping to give precision to the important inquiry concerning the limits of definability and divisibilit}'. If we consider a given conceptual system, such as a natural classification of animals or plants, it is at once clear that all the subaltern genera, the classes between the summum genus and the infimae species, are both connotative and denotative ; they are, we may say, conno-denotative. But it is not so clear that either the summum genus or the infima species is conno-denotative. The summum genus — ' Animal ' in the case of the zoological, ' Plant ' in the case of the botanical classification — cannot, relevantly to the system which it represents, be defijied per genus et difjcrentiam. The summum genus, being the ' highest,' cannot be the species of a 74 THE PROBLEM OF LOGIC [11. vii genus higher than itself. It might seem, then, that summa genera were indefinable. So, again, it would seem that the infimae species, being ' lowest ' in the ranks of a division, were not relevantly subdivisible. There are, moreover, other difficulties — those, namely, which are associated with the ambiguity of the term ' infima species.' If the infima species is a class-concept, it should be definable in a sense precisely similar to that in which a subaltern genus is definable. If, on the other hand, the proper name, or the singular meaning, is to be identified with the infima species as its hmiting form, we are confronted by a new set of difficulties which centre round the question : ' Can a proper name be defined V Having thus briefly stated the difficulties, we pass on to consider how they can best be met. (i.) Is the Summum Genus Definable ? It is manifestly true that in the case of the summum genus ' Animal ' there is, within the classification, no higher genus by the help of which it could be defined. But this simply points the moral that the zoologist cannot develop the full meaning of his leading concept, ' Animal,' without connecting it with the leading concepts of other sciences — e.g., the botanical concept ' Plant ' — and recog- nizing a superordinate genus, ' Organism,' which dominates both interests ahke. At the same time, even within the limits of the specific classification which it represents, a summum genus must admit of a partial definition through an indeterminate attribute, the primary F.D., of which all subsequent fundamenta di\4sionis are the specifications. Thus, taking as our summum genus one of the two primary groups into which the Animal Kingdom is divided, the Sub-Kingdom ' Metazoon,'* this summum genus is definable as ' an animal organism possessing an anatomical structure of some kind.'' This last-named characteristic, though indeterminate or indefinite, supplies, none the less, a perfectly unambiguous mark, and, as we have seen, an indefiniteness which does not amount to ambiguity is no disquahfication for the purposes of Definition. * Protozoa cannot unarabiguoualy be said to possess anatomical structure. If we have shirked the definition of ' Animal,' it is because scientists do not yet seem to have discovered a satisfactory differentia between ' animal ' and ' plant.' But if this should not be obtainable, the logical course would be to absorb the so-called 'Animal' and 'Plant' Classifications within the single Classification of Organic species. The Summum Genus 'Organism' might thus be defined as ' a cellular structure of some kind,' or, better still, ' a protoplasmic structure of Bome kind.' The ess*3ntial point is that no classificatory system can be developed without a primary F.D., and this primary F.D. supplies an adequate differentia of the Summum Genus, distinguishing it unambiguously from all other Summa Genera. The reader who is interested in the attempt to fix the distinction between 'plant' and 'f^nimal' will find an excellent treatment of the problem in Prof. Bergson's ' L'Evolution Creatrice' (douxieme Mition, pp. 115-1.30). Chap. VII.] COKNOTATION AKD DENOTATION 75 The disjunctive specification of this dominating fundamentum gives the division of ' Vertebrate or Invertebrate' ; and all the subse- quent fundamcnta — e.g., ' Dentition ' — are so many modifications of this original attribute of the summum genus — the possession of some kind of anatomical structure. But a fresh difficulty arises when we conceive the process of abstraction, whereby summa genera are reached, carried to its limit, and culminating in a concept like ' Being ' or ' Existence.' Such a concept or meaning can have no more general concept beyond it, since it is posited as ultimate for our thinking. We cannot, therefore, bring it under any superordinate genus, nor can we connect it with any co-ordinate species fulfilling a function logically similar to its own, as we can connect ' Animal ' with ' Plant.' The ultimate summum genus cannot be defined per genus et differentiam. We cannot compare this unique definiendum with any co-species ; we therefore cannot sift agreement from difference, and so distinguish a genus from a differentia. We must look elsewhere for a solution of the problem. It might be urged that this arch-concept is self-defining. But if so, in what sense ? It cannot be self-defining in the sense in which connotations are self-defining. The ultimate concept does not tell us its own meaning as do the expressions ' rational animal ' and ' the mother of the two Gracchi ' {vide p. SO). But if not self- defining in this determinate form of self-definition, may it not still be self-evident, and therefore in last resort self -definable ? There is no logical justification for supposing this. The ultimate abstraction can make no appeal to immediate experience ; it there- fore does not proclaim its own meaning, in however vaeue and undeveloped a form, by the easy way of unreasoned intuition. But it might conceivably be self-evident in another sense. It might proclaim its meaning indisputably to the trained insight of the logical reason, though it failed to impress the exoteric conscious- ness. Can it be self-evident in tliis esoteric sense ? In order to test this point we apply the well-known logical criterion of intuitive certainty ; we ask whether it is impossible to deny the self -evidence of Pure Being without falhng into self-contradiction.* Let us first consider the argument in favour of the logical self- evidence of the statement that ' Something, qua pure being, is.' We take as our model Dr. McTaggart's defence of the indubitable certainty of Hegel's dialectical starting-point, the Category of Pure Being stated in the form ' Something is.' Hegel's Pure Being differs in some respects from the summum genus we are here considering, but the differences do not affect the present argument, and our proof of the non-self-evidence of the ' Being ' wliich gives the summum genus tells equally well, in our opinion, against Dr. McTaggart's * The ' self-afTirmation ' of Being — namely, the affirmation that it exists — is in a sense, a statement of what it is, and to tliis extent implies its definability. 76 THE PROBLEM OF LOGIC [11. vii. defence of the self-evident character of the ' Something is,' which gives the leading category of the Dialectic. To deny the self-evidence of ' Being ' — so runs the argument — is to dcnj- the self-evidence of the assertion that ' Something is.'* But this assertion cannot be denied without being at the same time reaffirmed. For the denial at least ' is.' And to doubt the assertion is as conclusive in its favour as to deny it. For onr doubt must be either genuine or not. If it is genuine, then we do not doubt that wo doubt ; we hold that something is — namely, our doubt : and if it is not genuine, then we are all the while admitting the truth that ' Sometliing is,' while we pretend to doubt it. Xow if this argument were sound we should have to admit the self-evidence of Pure Being. But the argument is surely fallacious. Suppose I deny the self-evident character of Pure Being. I assert my denial, certainlj', but not in the sense of ' pure being.' I assert it in a much less abstract sense. I may, therefore, without any logical inconsistency, denj'' that ' Something qua pure being is,' for the assertion of my denial is the assertion not that ' Something is ' qua pure being, but that ' Something is ' for me as an immediate experience. In the two propositions ' Pure Being is ' and ' My denial of the existence of Pure Being is ' the word ' is ' has two quite different meanings. We therefore cannot admit that the ultimate summum genus is either self-defining or self-evident ; nor, as we have seen, can it be defined per genus et differentiam. It would, no doubt, be convenient if at this point we could cut the knot with the short sharp word ' indefmable.'' The stroke would, however, be suicidal, for it would cut at the root of the whole logical theory of Definition. If a term is ' indefinable ' in the strict sense of the word, it must remain permanently infected with ambiguity, should ambiguity ever come to cleave to it ; for, the remedy of Definition being unavailable, the ambiguity must remain to tease logicians to the end of time. But no one will pretend that the term ' Pure Being,' that ' x ' which is the ultimate summum genus, is free from ambiguity. Moreover, if an incurable ambiguity attaches to the summum genus, there is no root of soundness in any classi- ficatory system developed on the genus et differentia principle. For in such a system there is no class-term of which the meaning does not rest ultimately upon the summum genus. ' Man,' we say ' is a rational animal ' ; but both rationality and animality are in last resort specifications of the wholly indeterminate concept from which the developmrnt of all moaning initially flows. If the summum genus is indefinable, our definitions are, one and all, illusory, and we can never ultimately know what we really do mean. Our definitions will all be more or less remote specifications of ' that we know not what.' If x^ be the ultimate concept, and a;„_i a penulti- * Vide McTaggart, ' Studies in the Hegelian Dialectic,' § 18, p. 21. Chap. VII.] COXXOTATION AXD DENOTATION 77 mate concept — a species of x^ with differentia S,^ — we say that r„_j is x^ quahficd by 5„. But what is a:,^ ? Similarly x^_