c ELEMENTS OF LOGIC AS A SCIENCE OF PROPOSITIONS. PRINTED BY MORRISON AND GIBB, FOR T. & T. CLARK, EDINBURGH, LONDON, * . . . . HAMILTON, ADAMS, AND CO. DUBLIN, .... GEORGE HERBERT. NEW YORK, .... SCRIBNER AND WELFORD. AS A SCIENCE OF PROPOSITIONS. BY E. E. CONSTANCE JONES, LECTURER IN MORAL SCIENCES, OIRTON COLLEGE, CAMBRIDGE ; JOINT-TRANSLATOR AND EDITOR OF LOTZE'S " MICKOCOSMUS." EDINBURGH: T. & T. CLAEK, 38 GEORGE STREET. 1890. PREFACE. THE following pages have grown out of an attempt to reach, point by point, some solution of various questions in Logic, which, both in learning and in teaching, I have felt to be special sources of difficulty. The continued use of Jevons's Elementary Lessons in Logic with beginners, has particularly contributed to keep these problems before my mind ; for Jevons's little book, though full of interest and suggestion, is not free from inconsistencies and confusions in connection with the questions referred to. Having reached apparent solutions of some difficulties, and finding that these solutions are, as it seems to me, consistent among themselves, and in harmony with a certain general view of Logic which I take, I am desirous to submit what I have written to the test of publication. I at first intended to call this collection of chapters " Notes " ; but as objections to this name, which I could not gainsay, were put before me, I have adopted the present title ; meaning to convey by it, not that the follow- ing pages are intended for beginners, but that they present what is necessary for indicating the outlines of the Science of Logic as I conceive it. What I most strongly feel the need of, and what I should have preferred to attempt to write, is an elementary handbook, corresponding in some respects to Jevons's ; but I think that certain divergences of my view from current views require an amount of explanation and justification which would be out of place in a book intended for beginners. The very large number of references introduced is due to two causes. First, to the wish to confirm my opinion by that of accepted authorities when the two seem to accord ; and secondly, to the desire to indicate as precisely as possible, in cases of difference, the doctrines which I am combating. 2000697 VI PREFACE. I am greatly indebted to the kindness of Mr. W. E. Johnson, of King's College, who read through most of my sections as they originally stood in manuscript, and whose judicious and penetrating criticism has enabled me to work out some points in my own view more fully and clearly, to avoid several inconsistencies, and to correct some serious mistakes. It would take too long to specify in detail all the cases referred to; but I ought to mention that Mr. Johnson's views differ from mine on some points of funda- mental importance. 1 I am also under very great obligations to Mr. J. N. Keynes, of Pembroke College, who has been so kind as to read the proofs of this book, and whose criticisms have been most valuable to me, though I have not, in every case, been able to accept them. This has (in part) necessarily resulted from a general difference of view a difference which is clearly seen by reference to Mr. Keynes's work on Formal Logic, the name of which occurs so often in the following pages. I should like to say that I trace the distinction which I have drawn between Independent and Dependent Cate- gorical Propositions, and, indeed, I believe my whole view of the Import of Categoricals, to a suggestion received from some strictures on Locke's treatment of propositions, in a lecture (heard several years ago) of Professor Sidgwick's. And it was some remarks of Professor Sidgwick's, indicating the confusion between logical and psychological points of view in Mill, that first made me feel the necessity of treating Logic as a non-psychological Science. I must also mention that I am indebted to Mr. Alfred Sidgwick for criticisms that have helped me to put several points more clearly. GIKTON COLLEGE, CAMBRIDGE, November 30, 1889. 1 The Import of Hypothetical and Disjunctive Propositions, and some ques- tions connected with Predication and Existence, should perhaps be specially indicated. CONTENTS. PAET I. IMPORT OF PROPOSITIONS. (I.) OF TERMS AS ELEMENTS OF PROPOSITIONS. SECTION I. (INTRODUCTORY). DEFINITION OF LOGIC. Logic may be defined as the Science of the Import and Relations of Propositions, or more briefly, as the Science of Propositions. Logic is not psychological, 1 both because it is not subjective and because it is of universal application. It starts from the standpoint of ordinary thought, and assumes reason in man and trustworthiness in language, pp. 1-3 SECTION II. NAMES AND TERMS. Names are to be distinguished from Terms. In All R is P, the Terms are All R, and P. All R, the Subject-term, consists of Term-name (or Term-sign) (R)+ Term-indicator (All). A Name is a word or group of words applying to a thing, or things. A Thing is whatever has Existence (Quantitiveness) and Character (Qualitiveness). A Term is any word or combination of words occurring in a Categorical Proposition, and applying to that of which some- thing is asserted (S), or that which is asserted of it (P). Denomination of a Name or Term corresponds to Quantitiveness of a Thing ; and Attribution of a Name or Term corresponds to Qualitiveness of a Thing. All Names have both Denomination and Attribution. Determination is Attribution in as far as explicitly signified. Implication is Attribution in as far as only implied. The Determination of any Name includes the Attribute of being called by that Name. By Import of a Name or Term is signified its Denomi- nation together with its Attribution. Things are either (1) Subjects of Attributes, or (2) Attributes. The names which apply to (1) are Substantival Names; those which apply to (2) are Attribute Names. The Characteriza- tion of Attributes, as well as of Subjects, is largely effected by (3) Adjectival Names, which can never occur as Subject, but only as Predicate, of a Cate- 1 For the distinction of Psychology from other Sciences, cf. Encyclopedia Britannica, 9th edition, part 77, p. 38, article Psychology. Vlll CONTENTS. gorical Proposition. Substantival Names are subdivided into (a) Common, (b) Special, (c) Unique Names, pp. 3-15 Tables I. II. (Adjectival Terms), pp. 16, 17 Table III. (Names), p. 18 SECTION III. TERMS. The characteristics of terms often cannot be settled without reference to the propositions of which they are terms. Still, many of the most important distinctions in propositions depend upon differences in the terms, especially in the Subject Terms. The widest distinction between terms is that between Uni-terminal or Adjectival Terms terms which can only be used as Predi- cates of propositions ; and Bi-terminal Terms terms which may be used both as Subjects and as Predicates. The principal division of these is into Attribute Terms and Substantive Terms. Among the further subdivisions of terms a specially important one is that into Dependent or Systemic (implying a dependence or relation of subjects of attributes connected in some system, which may be of any degree of complexity, from the simplicity of a class or of any two related subjects to the intricacy of a genealogical tree, or even of the universe itself) and Independent. From a proposition containing a Systemic Term e.g. E is equal- to -F a number of Immediate Infer- ences can be drawn in addition to those which can be drawn from other pro- positions, pp. 19-25 Tables IV. -XVI. (Terms), . . . ..."'. . . . pp. 25-34 SECTION IV. NOTE ON DEFINITION AND CONNOTATION. The definition of a name sets forth its meaning, and the meaning of a name is said to be its Connotation. Connotation has been understood in various senses ; but the best view seems to be that what a name connotes is those attributes on account of which we apply the name, and in the absence of any of which we should not apply it, . . . . . . pp. 35-37 SECTION V. THE MEANING OF ABSTRACT AND CONCRETE, AND OF CONCEPT. An examination of the definitions and use of the terms Abstract and Concrete by different logical writers reveals an inconsistency between the various state- ments of the same writer and a divergence between different writers, that indicate considerable difficulty in the distinction which is had in view. It will not do to say that an Abstract Term, as opposed to a Concrete Term, means a term the application of which presupposes a process of abstraction for this is true of every significant term. And we do not escape difficulty by saying that a Concrete Name is the name of a Subject of Attributes, while an Abstract Name is the name of an Attribute of Subjects. Nor is it satisfactory to restrict the application of Abstract Term to Concepts, whether Concept means something complete in itsdf and isolated from all else, or the mental equivalent of a general name, . pp. 37-44 CONTENTS. ix (II.) OF PROPOSITIONS AS WHOLES. (A.) CATEGORICAL PROPOSITIONS. SECTION VI. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. Formal (most General) Import of Categorical*. Having treated Terms, the elements of Categorical Propositions, as applying to things, and not to the mental process of apprehending things, it would be incongruous to define a Categorical Proposition as the expression of a. Judgment ; and, moreover, this would leave us still asking for the definition of Judgment." A Categorical Proposition may be defined as A Proposition which affirms, or negates ( = absolutely denies), Identity of Denomination in Diversity of Determination. Or it might be defined more briefly as A Proposition which asserts Identity (or Non-Identity) in Diversity (cf. Section XXVII. By Non-Identity I mean Complete absence of Identity), pp. 44-54 Classification of Categorical Propositions. The primary division of Categorical Propositions is into Adjectival and Coin- cidental (cf. p. 21). Most of the further subdivisions of Categoricals are summed up in Table XVII. p. 62, and the whole are given in detail in the Tables, pp. 62-76. Important differences in use, depending on differences of relation to other propositions, are connected with the differences of form exhibited in the Tables, pp. 54-61 Tables XVII.-XXXI. (Categorical Propositions), . . . pp. 62-76 SECTION VII. NOTE ON THE PREDICABLES. In the doctrine of Predicables we are concerned with the matter of propositions. In the accounts of Predicables we find confusion of points of view and of the elements concerned ; and, in particular, confusion between Denomination and Determination, pp. 76-78 SECTION VIII. MILL'S VIEW OF THE IMPORT OF PROPOSITIONS. Any general differences in ordinary Categorical Propositions, beyond those already noticed, depend upon either I. Relations of Determination between S-name and P-name, and under this head comes Mill's distinction between Real and Verbal Propositions. Or II. Determination of S-name, or of P-name, or of both. Under this head comes Mill's division of propositions into Propositions of Existence, Co-existence, Sequence, Causation, and Resemblance. Mill's application of these Categories to the Import of Categorical Propositions is strained, and he confuses Formal and Material (Non-Formal) points of view, pp. 79-81 X CONTENTS. SECTION IX. SYSTEMIC (HI DEPENDENT PROPOSITIONS. The characteristic which distinguishes Systemic or Dependent Propositions from Independent Propositions is this : In Systemic Propositions such as, D is equal to F, A is like B of the two terms (S and P) one applies to some thing or group of things, and the other expresses the relation of that thing or group to a second thing or group. Hence it is possible for a person knowing the system referred to, to draw more inferences from Dependent Propositions than from Independent Propositions. A fortiori arguments, and other arguments containing Dependent Propositions, can, with the help of Im- mediate Inferences, always be expressed in strict syllogistic form, pp. 82-84 SECTION X. NOTE ON MATHEMATICAL PROPOSITIONS. The copula in Mathematical Propositions is to be understood as meaning in equal to (i.e. is exactly similar quantitatively) ; and since a thing cannot be said to be equal to itself, the terms of Mathematical Propositions (taking = as the copula) must have different denominations, i.e. they must apply to different things. Hence the terms of Mathematical Propositions can be quantified with any, only when they have the most abstract application possible, i.e. when they apply to numbers generally, and are not understood to refer to some assigned unit (cf. Sections IX. and XXVII.), . pp. 84-86 SECTION XI. PREDICATION AND EXISTENCE. The view that Universal Categoricals do not (while Particulars do] imply the "existence" of what is referred to by S and P, and the interpretation of All S is P, No S is P, to mean Sp = 0, SP = 0, respectively, are not to be accepted, for first, if we take "existence" in the widest possible sense, to deny that our terms do apply and are meant to apply to what has a minimum of existence of some kind, implies the view that our terms do not apply, or are not meant to apply, to things at all. It 'also cuts off all possibility of positing or implying existence in general (except in what appears to me to be a wholly arbitrary, and therefore inadmissible, way). But second, "existence" may be taken to mean " membership of the Universe of Discourse." On such a view, our Universe of Discourse may be (1) all-embracing, or (2) restricted. Let X represent the Universe of Discourse. Then if (1), it follows that Everything is X. But this by Obversion gives us Nothing is x. Here we have transcended our Universe, so it was not all-embracing. And similarly with restricted Universes, whenever we mention our Universe, we can tran- scend it. And in interpreting All S is P, as Sp = 0, we do transcend it ; for since is not X, it must be x. And when we transcend X, and talk of what is x, there seems no reason why we should call X rather than x, or than X -(- x, our Universe of Discourse. And Sp = must mean either SpX = ( = SpX = x) in which case we have a contradiction in terms or Spx = x, in which case both our terms refer to the region x and not to X. Among the inconveniences involved by the view which this Section attempts to refute CONTENTS. XI are the following : Universals and Particulars are to be differently inter- preted, and no interpretation can be given to S is P, S is-not P ; Subversions and Conversions of A are not valid inferences ; * All S is P and No S is P may be asserted together, pp. 86-102 SECTION XII. (B.) INFERENTIAL PROPOSITIONS. An Inferential Proposition is a Proposition expressing a relation between Ante- cedent and Consequent, such that an identity (or identities) expressed or indicated by the Consequent is an inference from an identity (or identities) expressed or indicated by the Antecedent. Inferential Propositions may be (1) Hypothetical, or (2) Conditional. A Hypothetical Proposition is one in which two (expressed or indicated) Categoricals (or combinations of Categoricals) are combined in such a way as to express that one (Consequent) is an inference from the other (Antecedent). A Conditional Proposition is one which asserts that any object which is indicated by a given class-name and distinguished in some particular way, may be inferred to have also some further distinction. The import of an Inferential may be expressed in a Categorical of the form, G is an inference from A. Hypothetical are either Self-contained or Keferential. Conditionals are either Divisional or Quasi-Divisional. Conditionals (but not all Hypothetical) are reducible to Categoricals of the form, Any E that is F, is H ; and it is only Categoricals of this form that are reducible to Conditionals, pp. 103-113 Tables XXXII., XXX III. (Hypothetical and Conditional Propositions), pp. 114, 115 SECTION XIII. (C.) ALTERNATIVE PROPOSITIONS. Alternatives may have some element of unexclusiveuess, but must also have some element of exclusiveness, otherwise there is no alternation. In as far as "alternatives" are absolutely unexclusive, they are of the form A or A. Where the Alternatives are Propositions, there must be some difference of meaning in the Propositions, or there is no Alternation, and so far there is exclusiveness ; but Alternatives may be true together, and so far there is unexclusivcness. Where the Alternatives are Terms, there may be un- exclusiveness of denomination, but there must be some exclusiveness of determination. An Alternative Proposition may be denned as A Proposi- tion in which a plurality of differing elements (connected by or, and called the Alternatives) are so related that not all of them can be denied, because the denial of some justifies the assertion of the rest. Alternative Proposi- tions may be divided into Classificatory, Quasi-Divisional, and Contingent (cf. Section XXVII.), pp. 115-121 Table XXXIV. (Alternative Propositions) p. 122 SECTION XIV. NOTE ON CLASSIFICATION AND DIVISION. Division and Classification are the same thing looked at from different points of view : any table presenting a Division presents also a Classification. It is 1 The Quantification of A would also, I presume, be illegitimate. Xll CONTENTS. desirable to distinguish Classification from Classing, and from Systematiza- tion pp. 123, 124 SECTION XV. QUANTIFICATION AND CONVERSION. Quantification is a necessary stage in the Conversion of Categorical Propositions. It is only Coincidentals that can be quantificated and converted. From the view of the Import of Categoricals advocated in Section VI. it follows that the Quantification of Common Categoricals is always possible, but is only to be admitted as a transformation-stage. This view of Quantification is con- firmed by a consideration of the traditional logical treatment of proposi- tions, pp. 124-130 SECTION XVI. THE MEANING OF SOME. The special force and meaning of propositions in the stage of Quantification depends principally upon the meaning given to Some. To define Some as meaning "Some but not all," or "Some at least, it may be all," or " Not none," is not satisfactory. It seems best to say that Some H means an inde- finite quantity or number of R. Taking this meaning of Some, Quantification by Some merely makes our terms explicitly indeterminate, and the function of Quantification, on the whole, seems to be simply to bring into prominence the quantitive (denominational) aspect of the Predicate, . pp. 130-132 PART II. RELATIONS OF PROPOSITIONS. SECTION XVII. GENERAL REMARKS ON THE RELATIONS OF PROPOSITIONS. Two Propositions may be related to each other as Incompatible, or Unattached, or Correlative, or Premissal. To any two Premissal Propositions a third pro- position may be related, either as inferrible, or as non-inferrible, pp. 133-135 Table XXXV. (Eelations of Propositions) p. 136 SECTION XVIII. INFERENCE. One Proposition is an Inference from another or others, when the assertion of the former is justified by the latter, and the latter is, in some respect, different from the former. An "Inductive" Inference must be allowed to be formal, as well as the Inferences commonly distinguished as "Deductive," and a "Mediate" Inference only differs from an "Immediate" Inference in being more complex, pp. 137-141 Table XXXVI. (Inferences), p. 142 CONTENTS. xiii SECTION XIX. IMMEDIATE INFERENCES (EDUCTIONS). When we pass from one proposition to another, and the latter is justified by the former, and differs from it in some respect, the latter is an Immediate Infer- ence (Eduction) from the former. Eductions may have I. Categoricals (a), or Inferential (b), or Alternatives (c), for both educt and educend : these may be called Pure Eductions, or Eversions. Or, II. they may have a Categorical with an Inferential (a), or a Categorical with an Alternative (6), or an Inferen- tial with an Alternative (c). These may be called Mixed Eductions or Trans- versions. There are eight principal kinds of Categorical Eversions (cf. Table, p. 150). The only Inferential Eversion may be most appropriately called Contraversion. There seems to be only one strictly formal Alternative Eversion, which may be called a Converse. In Transversion the most in- teresting points are that all Inferentials and Alternatives may have their meaning expressed in Categorical form ; that Conditionals and Categoricals (of which S and P in the one correspond to A and C in the other) are re- ciprocally educible ; that Inferentials are educible from Alternatives, and Alternatives from Inferentials, and thus the Alternative answering to any Inferential has a corresponding Categorical, educible from the Categorical which answers to the Inferential, pp. 143-149 Table XXXVII. (Immediate Inferences or Eductions), . . p. 150 SECTION XX. INCOMPATIBLE PROPOSITIONS. Propositions are Incompatible when they cannot both be true. Two Pro- positions are Contrary when they cannot both be true, but may both be false ; they are Contradictwy when they cannot both be true and cannot both be false, pp. 151-156 MEDIATE INFERENCES (SYLLOGISMS). SECTION XXI. (A.) CATEGORICAL SYLLOGISMS. The Dictum de omni et nullo is merely a formulation of the truth that if any object or objects belong to a class, what can be said about the class (dis- tributively) can be said about it or them. It applies only in cases in which we are dealing with A, E, I, or propositions. And Jevons's Rule of Infer- ence is not satisfactory. If Syllogism means Formal Mediate Inference, Categorical Syllogism may be defined as A combination of three categorical propositions, one of which (the Conclusion) is inferred from the other two taken together these two being called the Premisses, and having in common one term-name which does not occur in the conclusion. The conclusion has its S-name in common with one premiss, and its P-name in common with the other premiss. And of such Categorical Syllogisms the following may be accepted as Canon : If the denomination of two terms is identical (or XIV CONTENTS. non-identical), 1 any third term which has a different term- name and is de- nominationally identical with the whole (or a part) of one of those two, is also identical (or n on -identical), in whole or part, with the denomination of the other. The traditional rules of Categorical Syllogism may be condensed, and amended in correspondence with the above Canon, . pp. 156-163 SECTION XXII. (B.) INFERENTIAL SYLLOGISMS. Inferential Syllogisms are Syllogisms which have an Inferential Premiss. A Pure Inferential Syllogism (1) is A Syllogism of which the conclusion and both the premisses are Inferential Propositions. A Mixed Inferential Syllogism (2) is A Syllogism of which the major premiss is an Inferential Proposition, the minor premiss and the conclusion being Categorical Pro- positions. (1) May be Hypothetical (a), or Conditional (b) ; (2) may be Hypothetico-Categorical (c), or Conditio-Categorical (d). There are separate Canons for (a), (b), (c), (d), pp. 163-165 Table XXXVIII. (Inferential Syllogisms), p. 166 SECTION XXIII. (C.) ALTERNATIVE SYLLOGISMS. An Alternative Syllogism is A Syllogism of which one premiss is always an Alternative Proposition or a combination of Alternative Propositions, and of which one premiss and the conclusion, or both premisses, or both premisses and the conclusion, may be alternative. Alternative Syllogisms may be Pure (a) or Mixed, and Mixed subdivide into Categorico - Alternative (b), Hypothetico-Alternative (c), and Conditio-Alternative (d). The four classes, (a), (b), (c), (d), have distinct Canons, .... pp. 167, 168 Tables XXXIX., XL. (Alternative Syllogisms), ... pp. 169, 170 SECTION XXIV. NOTE ON THE GROUND OF INDUCTION. Cause, as defined by Mill, is a contradictory notion, and all Inductive Inference is based upon the assumption of a certain constant coinherence of attributes in the subjects concerned. In Induction we proceed upon the principle that any subject of attributes that is like another in one respect is like it in a plurality of respects (or that any attribute is one of a set recurring uniformly). "With this are connected the further principles, that no subject of attributes is unlike another (or its former self) in one respect only, that no two objects or classes are alike in all respects, and that no two objects or classes are unlike in all respects (cf. Section XXVII.), . , . pp. 171-175 SECTION XXV. NOTE ON THE LAWS OF THOUGHT. The Law of Identity is an expression of the permanence of things, of their identity in diversity, and is better conveyed by the formula Every A is B 1 I take identical to mean completely coincident, and non-identical to mean altngether un- coincident. CONTENTS. XV [or not B] than by the strictly unmeaning A is A. If A is B, A is-not non-B, or Two contradictory propositions cannot both Reaffirmed; and A is either B or not-B, or Two contradictory propositions cannot both be denied, seem the best formulae for the Laws of Contradiction and Excluded Middle respectively. These three Laws may be called the Axioms of Logic, and express the three principles (1) of the possibility of significant assertion, (2) of consistency, (3) of inter-relation or reciprocity (of. p. 206), pp. 175-178 SECTION XXVI. FALLACIES. Confusion should be regarded not as itself Fallacy, but as a source of Fallacy. All Fallacy consists (1) in identifying what is different, or (2) in differencing what is identical ; thus we get a primary subdivision of Fallacies into those of (1) professed Identification or Discontinuity, (2) professed Difference or Tautology. Fallacy may be defined as The assertion or assumption of some relation between (i.) Terms, or (ii.) Propositions, which does not hold between them. Or taking the word in a narrower sense, there is Fallacy whenever we conclude from one or more propositions to another, the conclusion not being justified by the premiss or premisses. All Fallacies are reducible to Formal Fallacies Elemental, or Eductive, or Syllogistic, or Circular (cf. Tables XLL.XLII.), pp. 178-193 Tables XLI., XLII. (Fallacies), pp. 194, 195 SUPPLEMENT. SECTION XXVII. RECAPITULATORY. This Section is, for the most part, a recapitulation, . . . pp. 196-208 PABT I. IMPOET OF PROPOSITIONS. (I.-) OF TERMS AS ELEMENTS OF PROPOSITIONS. SECTION I. (INTKODUCTOKY). DEFINITION OF LOGIC. To provide a satisfactory definition of Logic is admittedly difficult. The definitions which have actually been given differ among themselves ; and in many cases an author's definition does not seem to apply directly and naturally to the topics of which he subsequently treats. For instance, Jevons says that Logic is the Science of Eeasoning, or the Science of the Laws of Thought (Elementary Lessons in Logic, Less. I.), and then proceeds to consider Terms, Propositions, Immediate Inference, Fallacies, Method, Induction, Abstraction, etc., to some of which subjects, certainly, the definition does not obviously and without straining apply. He suggests, however, another and, I think, a more satis- factory definition when, in the Elementary Lessons (p. 69, 7th edition; cf. also op. cit., Preface, p. vi.), he speaks of Logic as treating of " the relations of the different propositions and the inferences which can be drawn from them" (inferences, of course, come under the head of relations). 1 In accordance with this suggestion, I propose to define Logic as the Science of the Import and Relations of Propositions, or more briefly, as the Science of Propositions. 1 Cf. also Mill, Logic, Bk. i. ch. i. 2, aiid Boole, Laws of Thought, p. 7. A 2 IMPORT OF PROPOSITIONS. All the subjects usually treated in handbooks of Logic come simply and naturally under the above definition, and are con- veniently classifiable. We may, I think, without any violence include a consideration of Names and Terms, which are elements of propositions ; a consideration of Predicables and Categories, of Definition, of the meaning of Categorical and other propositions, and of Quantification, comes under the head of " Import of Propositions ; " Opposition and Immediate Inference, Syllogism, Analogy, Induction, Scientific Explanation, Fallacy, etc., would be included in " Eelations of Propositions." Logic is objective, for it relates to objects of thought ; universal, for it applies to all objects. As concerned with objects known, it implies a knower. But all sciences imply a knower, all deal with objects. It is because of an unique characteristic pervading explicit reference of knoivn Object to knowing Subject that Psychology is called " subjective " : the knower qua knower is not the known even in Psycho- logy. Logic, I think, just as much applies to and just as little is Psychology, as it applies to or is any other science ; and I do not see why, if we are studying the mental pro- cesses concerned in Inference, etc., we should call our study Logic and not Psychology. We can only tell in any case of reasoning whether our processes have been right i.e. logical by comparing the proposition which states our result with the propositions which state our data. If we regard Logic as concerned with the elements, import, and relations of asser- tions expressed in language, we have assigned to it a sphere coextensive with knowledge itself, and in accordance with the general recognition of it as fundamental and of universal application, and with its old name Science of Sciences. The burden of proof lies with those who narrow this sphere, and call it psychological, or metaphysical, or physical, or anything else except logical. Since, however, Logic is admittedly concerned with Truth, with what we ought to think and propositions are valuable only as a means of arriving at and expressing Truth, it might be asked, Why not define it at once as the Science of Truth ? NAMES AND TERMS. 3 To this, I think, a twofold answer might be made ; for first, the use of the word Propositions instead of Truth in the defini- tion seems to simplify both the application and the articula- tion of the science ; and second, there is no way of expressing truth except in propositions, and no way of testing any truth which is called in question except by comparing the proposi- tion which expresses it with other propositions. If Logic is the Science of Propositions, it must start from the standpoint of ordinary thought, ascertained by reflexion on ordinary language. Two assumptions which appear to be involved in ordinary thought are, that (1) the meaning and application of terms is uniform, and (2) that which is self- evident ought to be believed. That is to say, ordinary thought assumes reason in man, and trustworthiness in language. These assumptions may in any given case turn out to be unwarranted ; but in order to prove that they are so in that particular case, in order even to doubt or to examine that case, we are bound to assume them to some extent at least provisionally. Thus it seems that a comparatively general and permanent faith in the validity of these assumptions is an indispensable condition of intelligent scepticism in any particular instance. The following pages are chiefly concerned with Formal Logic Formal being taken to mean most general (cf. Professor Sidgwick's History of Ethics, ch. iii. 1, p. 108, first edition). SECTION II. NAMES AND TERMS. Although we frequently see Names and Terms used syno- nymously, it seems desirable to distinguish Names which are Terms from Names which are not Terms, and even to emphasize the distinction, since the failure to keep this 4 IMPORT OF PROPOSITIONS. distinction in view tends, I think, to confusion (cf. post, Section on Categorical Syllogisms). For instance, it is very unsatisfactory to find, in a treatise on Logic, in which a Categorical Proposition is analysed into " two terms and the copula," that S and P are referred to as the terms of such a proposition as All S is P, while such syllogisms as All P is M, All M is S, Some S is P ; All men are animals, All animals are mortals, Some mortals are men ; are spoken of as having " three and only three terms." ] If a proposition contain nothing but two terms and a copula, it is clear that the terms in the above propositions are All S (Some) P, All P, (Some) M, All men, (Some) animals, and so on. 2 Again, if in All birds are feathered, Tully is Cicero, the terms are birds, feathered, Tully, Cicero, what are we to call All birds ? Supposing we get out of the difficulty by saying 1 Cf. e.g. Jevons' Elementary Lessons in Logic, 7th edition, p. 183 foot, p. 124 ("whatever is predicated of a term distributed"), p. 127 (e.g. "Every syllogism has three and only three terms "), etc. * When Mill (Logic, ii. 383, 9th edition) says that Fallacies of Ratiocination "generally resolve themselves into having more than three terms to the syllogism, either avowedly, or in the covert mode of an undistributed middle term, or an illicit process of one of the two extremes," he implicitly allows the meaning of term advocated in this Section. And if the Subject and the Predi- cate of a proposition are its terms, then this meaning which I wish to assign to term is countenanced by Mill in the following passage (Logic, Bk. i. ch. i. 2, vol. i. p. 19, 9th edition) : " In the proposition, the earth is round, the Predi- cate is the word round, which denotes the quality affirmed, or (as the phrase is) predicated : the earth, words denoting the object which that quality is affirmed of, compose the Subject." (Mill also uses Name in the sense in which I wish to use Term (a sense which is frequently assigned to it) ; cf. Logic, loc. cit., " The first glance at a proposition shows that it is formed by putting together two names." " Every proposition consists of three parts : the Subject, the Predicate, and the Copula. The Predicate is the name, denoting that which is affirmed or denied. The Subject is the name, denoting the person or thing which something is affirmed or denied of.") The distinction which I draw between term and term-name is also taken by Mr. W. E. Johnson, but with different terminology. Cf. Keynes, Formal Logic, p. 54, 35. NAMES AND TERMS. 5 that All birds consists of term + indicator, there remains the objection that in one case the term applies to the whole of the Subject, while in another case it applies to only a part of it. And in such propositions as, Snowdon is the highest mountain in Wales, These men are sailors, are we to say that highest mountain in Wales or the highest mountain in Wales, that men or these men are terms ? If $ is P is a form representative of all affirmative Categoricals, and if, in it, S and P are terms, I do not see how inconsistency of terminology can be escaped if in such a proposition as, e.g., All birds are feathered, we call birds a term. And the circumstance that in my opinion an essential point in Categorical Propositions is the quantitive identity of certain elements, is to me a further reason for wishing to attach the appellation of term to those elements rather than to what is very frequently only a constituent of them. We might call M, P, S, Men, Animals, Mortals, the Term-names or perhaps it might be better to use the expres- sion Term-signs when we make letters stand for significant words, reserving the expression Term-names for cases where significant words are used. Thus in the above instances Men, Animals, Mortals would be Term-names, M, P, S Term-signs. We can, in this way, mark a distinction of Names as part of Terms, both from the terms of propositions and from names in the ordinary wide sense of that word, which allows us to use it of isolated words or groups of words that apply to objects, e.g. the nouns, etc., occurring in alphabetical order in dic- tionaries and indexes. Many substantival words are commonly or always modified when they occur as Subject-names of propositions, by some characterization (expressed or implied) that need not attach to them when they are in isolation ; e.g. by the words all, some, one, certain, this, those. This con- stituent of the Term may perhaps be called the Term-indicator, or more briefly, the Indicator. In some cases Term and Term < v are the same, e.g. in S is P, Tully is Cicero. t -name j Name may be defined as any word or group of words applying to or indicating a Thing, or Things. By thing I 6 IMPORT OF PROPOSITIONS. mean whatever has Existence and Character. 1 Existence and Character have a certain correspondence with Quantity and Quality as sometimes used ; but since Quantity, Quality, and their derivatives have in ordinary logical use also narrower and somewhat different meanings, I should propose to use Quantitiveness and Qualitiveness (with the corresponding adverbs and adjectives). These words seem to me convenient because they mark both a distinction from and a likeness to Quantity and Quality as ordinarily used, and they are pre- ferable to That-ness and What-ness (which are more unequi- vocal in meaning), because they have corresponding adjectives and adverbs. By Quantitiveness I mean that in virtue of which anything is something, that which is involved in calling it some- thing or anything just the bare minimum of existence of some kind which justifies the application of a name (that is, of any name at all). To attribute Quantitiveness to anything would be simply to say tJiat it is. Thus Quantitiveness would have a meaning nearly allied to that of Quantity in the phrase Quantity of Propositions, meaning the Universality or Particularity of their Subject-term, i.e. the application of that Term to all or some of the things indicated by the Term-name. But when we say that mathematical, as distinguished from logical, propositions deal with Quantity, or are quantitative, Quantity means Quality which is increased or decreased (but not altered in intensity} by addition or subtraction of homogeneous parts. I think it would be convenient to call this Extensive Quality as contrasted with Quality in which increase or decrease of amount involves alteration of intensity. This latter may perhaps be called Intensive Quality. The peculiarity of mathematical propositions is, that the whole characterization of their Terms is concerned with what I venture to call Extensive Quality. 1 Cf. Mr. Bradley's Principles of Logic, p. 3, "In all that is we can dis- tinguish two sides (1) existence, and (2) content." (It is, of course, only as thought of that things have names applied to them.) Cf. also Professor W. James, The Psychology of Belief (Mind, Iv. 331), "In the strict and ultimate sense of the word existence, everything which can be thought of at all exists as some sort of object, whether mythical object, individual thinker's object, or object in outer space and for intelligence at large." NAMES AND TERMS. 7 By Qualitiveness I mean that in virtue of which anything is wliat it is. The Qualitiveness of a Thing includes all its attributes, thus completely characterizing the kind of its Quantitiveness ; and whatever we predicate of a thing expresses some attribute of it. Quality is commonly used both in this sense and also in a narrower sense, as, e.g., when we speak of the Quality of Propositions, meaning their character as affirma- tive or negative. And when we distinguish between (1) Quantity and (2) Quality in an object, referring all the while to its attributes as, e.g., between (1) the weight and (2) the nutritive, etc., attributes of a loaf of bread Quantity means Extensive Quality, and Quality means Intensive Quality (in the sense indicated above). The use of Quality as meaning the affirmative or negative character of propositions would perhaps be justified by the consideration that this affirmative- ness or negativeness is such an important characteristic as to merit being called Quality tear e^o^v. But no confusion need result if we add the qualification of propositions when using Quality in this sense. A Term is any combination of words occurring in a Cate- gorical Proposition, and applying to that of which something is asserted (S), or that which is asserted of it (P). Attributes may be (1) Intrinsic or Essential, (2) Extrinsic or Accidental. Either of these again may be Extensive, Intensive, or Simple. An Intrinsic Attribute of anything named is some attribute included in the meaning of its name ; all other Attributes are Extrinsic. E.g. Carnivorousness, four- footediiess, are Intrinsic Attributes of a lion ; being of a par- ticular shade of colour, being born in Africa, having a tufted tail, are Extrinsic Attributes. Again, Intrinsic and Extrinsic Attributes may be either Dependent (or Systemic) that is, attributes in which explicit reference is made to something other than that which has the attributes or Independent that is, not making such reference. These differences come to be of consequence when Adjectival Names are used in propositions, that is, when they become Terms (Predicates). They are of consequence partly 8 IMPOKT OF PEOPOSITIOXS. with reference to the most general (or formal), and partly with reference to the less general (or material), distinctions between terms and propositions. We may therefore classify Adjectival Terms (in accordance with the distinctions above taken) as in Tables I. and II. It would seem that what- ever is indicated by a name is thought as having what I have called quantitiveness and qualitiveuess. And unless it has quantitiveness and qualitiveness some continuity of exist- ence x and some distinguishing attributes it must be wholly characterless or a nonentity. I propose to use the word Denomination (of a Name or Term) as corresponding to Quantitiveness (of a Thing) ; and Attribution (of a Name or Term) as corresponding to Qualitive- ness (of a Thing). Denomination of a Name or Term will therefore refer to the continued identical existence of the things, whether Subjects or Attributes, which are indicated ; and Attribution of a Name or Term will mean the distinctive character of the things named. The Attribution of a Name or Term in as far as explicitly signified may be called the Determination; in as far as it is only implied, it may be called the Implication : thus Attribution will mean Determination + Implication? I agree with those logicians 3 who maintain that every name or term has what I have called Denomination and Determination (if we may admit as part of the Determi- nation of a name the attribute of being called by that name). Indeed it seems to me that Denomination and Attribution (of which Determination is always a part) are mutually implicated in terms, as inevitably as quantitiveness and qualitiveness in the things indicated, or as lines and angles, or likeness and difference. In as far as a term is denominative, it applies (as I under- stand denominative} to the quantitiveness, the mere undeter- 1 Cf. post, Section on the Laws of Thought. 2 I have avoided the words Denotation and Connotation, because they have, as Fowler says, been "already employed with so much uncertainty" that it is difficult to use them without some risk of confusion ; and indeed no use of those terms that I am acquainted with corresponds to the distinction which I have in view here. 3 Cf. e.g. Bradley, Principles of Logic, p. 156. NAMES AND TEEMS. 9 mined existence, of the thing of which it is the name that identity which enables us to speak of a thing as one, under whatever change of attributes. In as far as it is determinative, it applies to the qualitiveness of the thing including in qualitiveness the kind of its existence (material, fictitious, ideational, etc.). This difference of aspect in terms is possibly what Jevons is thinking of when in the Elementary Lessons in Logic (Lesson V.) he emphasizes the distinction between Intension and Extension. The importance which he attributes to this, saying that when it is once grasped there is little further difficulty to be encountered in Logic, is hardly borne out by his further treatment ; but if what he had in view corresponds to what I have called Attribution and Denomination, the importance he assigns to it is, I think, not exaggerated. The following passages from Dr. Bain, Dr. Venn, and Mill, seem to me confirmatory of that view of Existence and Character in Things, and Denomination and Determination in Names or Terms, which I have here taken. Dr. Bain says (Logic, 2nd ed. i. 59), "Existence has no real opposite;" (p. 107), "With regard to the predicate Existence, occurring in certain propositions, we may remark no science, or depart- ment of logical method, springs out of it. Indeed, all such propositions are more or less abbreviated or elliptical, etc." Dr. Venn (Empirical Logic, p. 232) says, "Though mere logical existence cannot be intelligibly predicated, inasmuch as it is presupposed necessary by the use of the term, yet the special kind 1 of existence which we call objective or experi- ential can be so predicated. It 1 is not implied by the use of the term ; it l is not conveyed by the ordinary copula ; it is a real restriction upon anything thus indicated, and therefore it is a perfectly fit. subject 1 of logical predication." Mill says (Logic, ii. 325, 9th ed.), "If the analysis of qualities in the earlier part of this work be correct, names of qualities and names of substances stand for the very same sets of facts or phenomena ; whiteness and a white thing are 1 The italics are mine. 10 IMPORT OF PROPOSITIONS. only different phrases, required by convenience 1 for speaking of the same external fact under different relations. Not such, however, was the notion which this verbal distinction sug- gested of old, either to the vulgar or to the scientific. White- ness was an entity inhering or sticking in the white substance ; and so of all other qualities. So far was this carried that even concrete general terms were supposed to be, not names of indefinite numbers of individual substances, but names of a peculiar kind of entities termed Universal Substances. Because we can think and speak of man in general, that is, of all persons in so far as possessing the common attributes of the species, without fastening our thoughts permanently on some one individual person; therefore man in general was supposed to be, not an aggregate of individual persons, but an abstract or universal man, distinct from these." It would, I think, be convenient to extend the sense of Determination so that the determination of any name may include the attribute of being called by that name. This is certainly a part, and not an implicit part, of the attribution. By Import I intend the Denomination together with the Attribution of a name or term, i.e. the complete scope of the term in its quantitive and qualitive aspects. To take examples : Denomination of (1) Man is the more or less permanent existence of all individuals of the human race (Socrates, Plato, Aristotle, Shakespeare, and so on). (The whole of the characteristics of Man is included in the attribu- tion of the word. Existence and Character (Quantitiveness and Qualitiveness) are, of course, inseparably bound up to- gether, though we may think and speak of them separately. The existence- of each thing is unique, but this uniqueness of existence can only be made clear by its unique attribution and the existence and the attribution involve each other.) Denomination of (2) Triangularity is the mere existence of the attribute named wherever it occurs. Determination of (1) is the attributes of animality and rationality, and (in accordance with the view suggested above) 1 The italics are mine. NAMES AND TERMS. 11 it also includes the attribute of being called Man ; of (2) is the characteristics of having three angles, and being called Triangularity. Implication of (1) is that the things to which the name is applied are Subjects of Attributes, have a particular external form, etc. 1 Of (2) that that to which the name is applied is (wherever occurring) an Attribute of Subjects, etc. The Import of (1) is all creatures to which the name applies, considered with reference both to quantitiveness and qualitiveness, they being Subjects of Attributes, having the characteristics of animality and rationality, and being called by the name Man, etc. Of (2) is the attribute Triangularity, as having quantitive- ness, i.e. as occurring (wherever it does occur) and as having definite qualitiveness (i.e. as differentiated from other Attri- butes by having three angles, and by being called Triangularity, and as differentiated qua Attribute of Subjects from Subjects of Attributes, etc.). The Denomination of (1) All the Greek poets [are celebrated] means the quantitiveness (qua Subjects) of those things of which All the Greek poets is the name i.e. of the individuals Homer, ^schylus, Sophocles, and so on ; of (2) Whiteness [is the colour of snow, sea-foam, privet-blossom, etc.] is the quantitiveness (qua Attribute i.e. the occurrence in Subjects) of that of which Whiteness is the name. (Most Attribute Names do not take a plural, because in them determination is most prominent, and denomination of the singular includes every case of occurrence. The only exception is, groups of Attributes which have such striking similarity that they possess a name in common e.g. colour, virtue.) 1 It would generally be very difficult (not to say impossible) to state at length the whole of the implications of any name used with intelligence. It is, I think, to a great extent upon the fulness and vividness with which implications of names are realized in thought, that the force and adequacy of our ideas depend ; and the realization of some implications is indispensable for understanding. Such implications seem to be had in view when it is said that our terms always refer to a certain definite Universe of Discourse. This way of meeting the case, however, does not appear to me to be satisfactory or useful (cf. post, Section on Predication and Existence). 12 IMPORT OF PROPOSITIONS. The Determination of (1) is the attributes of belonging to the Greek nation, of producing fine poetical compositions, of being the only Greeks who did so, of being called All the Greek poets. Of (2) is the attribute common to and dis- tinctive of snow, sea-foam, privet -blossom, etc., and on account of possessing which they are called white, and the attribute of being called Whiteness. In (1) the Implication is that the things named are Subjects of Attributes, of a particular form, speaking a particular language, etc. The Implication of (2) is that the thing named is an Attribute of Subjects, etc. The Import of the above terms is given by combining, in each case, the Denomination and Attribution of the term. The broadest division of Things that language involves and suggests is into I. Subjects of Attributes ; II. Attributes. The names which apply to I. may be called Substantival Names, and those which apply to II. may be called Attribute Names. In the present connection it may perhaps be allowed to distinguish Subject of Attributes and Attributes as follows : A Subject is that of which the differentia is to liave charac- teristics and not to be a characteristic. An Attribute is that of which the differentia is to be a characteristic. That it may also have characteristics does not destroy its nature as Attribute, any more than being a father abrogates a man's relation as son to his own father. If we start with Tilings simply, every characterization of any Thing will without difficulty be allowed to be effected by the attribution of the terms applied to it. But I see no reason why, if we start with Things that are Subjects and Things that are Attributes, we may not (if it is convenient) reckon that in this case Attribution begins with such charac- terization as sets forth the distinctive kind of Attribute, or the distinctive kind of Subject. I do not see what objection can be made to this, as far as Attributes are concerned (and no one, as far as I know, objects to it with regard to Subjects), NAMES AND TERMS. 13 by any one who allows that Attributes have distinctive character, to which corresponds Attribution of names. And if any Attribute can have Attributes ascribed to it (and ordinary language certainly countenances, perhaps even necessitates, such a reference), it must be in virtue of its quantitiveness. Any Attribute capable of further character- ization by attribution, must be capable of it in virtue of its as yet to some extent uncharacterized existence or quantitive- ness, not in virtue of the characterization by attribution which it has already received. The characterization of Attributes, as well as of Subjects, is largely effected by names of a third kind, which may be called III. Adjectival Names. In these names the qualitive- ness of the object named is most prominent and some definite characteristics are determined, as in white, fragrant, organized, beautiful. Adjectival Names have several important charac- teristics. (1) They always refer to some Thing (Subject of Attributes or Attribute) previously named, which they help to characterize, and can occur as P of a Categorical Proposition which has either an Attribute Term, or a Substantival Term for S ; while an Attribute Term can be predicated only of an Attribute Term, and a Substantival Term only of a Sub- stantival Term. (2) They can occur only as P, never as S, of a Categorical Proposition. 1 (3) Attribution (as already implied) is prominent in them. It is interesting, with refer- ence to this consideration, to notice that in, e.g., modern English, 2 adjectives do not take the sign of the plural, although the things which they qualify may be many. (4) They are applied because of certain characteristics in the things to which they apply. In (3) Adjectival Names resemble Attribute Names ; in (4) they resemble Attribute Names and Common Names (cf. Table III.). What is primary in a Subject is that it is ; what is primary in an Attribute is what it is : an Attribute Name always 1 Cf. also German in such propositions as, e.g., Diese Lieder sind wunderschiin, Wir sind's nicht gewohnt. 2 Cf. Stock, Deductive Loyic, 88. 14 IMPORT OF PROPOSITIONS. characterizes the Attribute which it applies to so fully that any affirmative Categorical Proposition having Complete Attri- bute Terms for both S and P must be a Nominal Proposition. A Subject Name may determine nothing more than that what it applies to is called by that name. Substantival Names are names in which (in isolation or as Subjects) the quantitiveness of what is named is most prominent. 1 Here the determination may include definite characteristics, sufficient to enable us to define and apply the name, as in, e.g., bird, fairy, accident. Or we may have some characteristics determined, but not enough to enable us to define or apply the name, as the eldest son of Charles I. Or it may only be (i.) determined that the thing called by a name has the attribute of being called by that name; (ii.) implied that the thing has, 1st, what is common to all Subjects of Attributes; 2nd, unique individuality; 3rd, an unique name as in, e.g., Tom Smith. Substantival Names may be divided into (a) Common Names, i.e. names of which the application is restricted by the determination only, as man, fairy, Ragged Robin. (b) Special Names, i.e. names the application of which has some definite degree of further restriction, but is not confined to only one object or group, as Predicables, Admiral of the Fleet, Czar of Russia, Friday, September. Special Names have always more than the minimum of Determination ; and there may be an indefinite number of Fridays, Admirals, etc. ; but there can be only one Friday in the week, and fifty-two in a year, and, at any given time, only three Admirals of our Fleet, only one Czar of Eussia, and so on. (c) Unique Names, i.e. names of which the application may be said to be restricted to one object or group of objects, as, the sun, father of D., this boy, Julius Ccesar, Mary, Tom, Quellyn Youde, Vancouver's Island, 1888 A.D., the children of King Charles I. Unique names may have a maximum of determination, as 1 When a Substantival Name is used as P of a proposition, the qualitiveness of what is named becomes most prominent. NAMES AND TERMS. 15 the sun, or a minimum, as Gordon. Such names as Gordon, Tom, Muriel, of course may be, and are, applied to many individuals, but they may still be called Unique, being given in every case with the intention of distinguishing an unique individual an object of which (without further knowledge than the name affords) we can only predicate (1) what is common to all Subjects of Attributes, (2) unique individuality, (3) an unique name, (4) what that name is. If a " proper name " conveys more to us than this, it is because either (1) we have special knowledge of the individual named, or (2) because the name has, so far, ceased to be a Proper Name. I have adopted the above distinctions of names in prefer- ence to those ordinarily given in logical handbooks for the following among other reasons. The old distinctions form independent couples (e.g. General and Singular, Collective and Distributive, Positive and Negative), and they do not lend them- selves to a satisfactory classification. Some of them are of no logical importance, e.g. Collective (a name that is not collective may be used collectively), Positive and Negative, Eelative and Absolute ; and the distinction between Categorematic and Syncategorematic is a distinction purely of words, and not even of names, much less of terms (though Jevons, Elementary Lessons in Logic, 7th ed. p. 26, uses it as applying to terms). The distinction between Abstract and Concrete is inconsist- ently treated by logicians, and is, in my opinion, untenable, since it seems impossible to arrive at any valid justification for the adoption of those particular words in their logical use, or at any satisfactory test by which to determine their appli- cation. My reasons for this opinion and some discussion of the subject are given in a short consideration of the terms Abstract and Concrete. On the other hand, the division of names which I have adopted appears to correspond to impor- tant distinctions either in the objects named or in the aspect of them with which we are concerned ; there are no cross- divisions, and a formally good classification is possible. , All of them are, I think, of further consequence when we come to the divisions of Terms and of Categorical Propositions. 16 IMPORT OF PROPOSITIONS. 02 H O NAMES AND TERMS. 17 al H E ^ P *-* -*-* bO H v c3 "*^ ' a?' Q 5i S 4 * "" -s o 1 &'?, M s "^^5 o 1 ^> a-) c8 "^ Sal CQ l__( M 2 P 1 Si's H 1 S-" ^^ od S i I-I| $ H "S 1 1 00 *" ?^ M . * S 2 E" 1 "R ^ir i CO GJ O | S "-5! IB g fe 0? 'a? _" "* 2 H P t, -^ ^'o c^ oJ 1 3 ) i 1 H M H ** *" d s i 1 ! 1 g Of oi -sSs S w "i b.s-8 o 1 J^3 s I El 5-i 2 - J I o> Q 18 IMPORT OF PROPOSITIONS. - - - S J3 5 fi .a w -C H U> } O2 03 fe < ?'s "i .2 g kS "O "o ~~^ ^ S)<^ (M fg'C 3 W J- o fjO ' = 0^o O2 r-l ^2 (Cl ' ^ S M < t^*4 r_i . >> f-1 'C'-O . oo o o OD * 8 w 2 z a * o .25 "| ~^ N j G 3 *B @ . -M ;; " TERMS. 1 9 SECTION III. TERMS. If we consider Names qud nominal and not qud terminal (cf. Table of Names, p. 18), we shall find some broad distinctions corresponding to differences in the things named, or in the aspect of them which is emphasized differences which are of importance when we come to the classification of Terms and Propositions. As regards Terms, however, we frequently cannot fully settle their character as Attribute Terms, Sub- stantival Terms, etc., until we have considered what their special force is in the propositions to which they belong. An isolated name can generally be classed on mere inspection as primarily adjectival or substantival, and so on; but the terms of any proposition must be regarded as parts of that proposition, and only then, it may be, can they have their character definitely and fully determined this character, of course, depending on the character of the thing named. For instance, if I am asked to characterize the name Whiteness, I have no hesitation in calling it an Attribute Name ; but if the word Whiteness is given to me as a Term or part of a Term, and I am required to characterize it, I can only say, Until I know the proposition in which it occurs, I am unable to do so. If, e.g., the proposition is, Whiteness is a colour, then Whiteness is an Attribute Term; if the proposition is, This table-cloth is whiteness itself, then I should say that Whiteness is part of an Adjectival Term (whiteness itself being equivalent to as white as white can be) ; if the proposition is, This whiteness is death-like, I should say that whiteness is perhaps part of an Attribute Term, this whiteness (this white- ness meaning this pallor of countenance for an exactly similar colour on china or on silk, etc., need not be death-like). It will be found, however, that most of the important distinctions in propositions depend upon differences in their Terms, especially the Subject Terms e.g. any proposition 20 IMPORT OF PROPOSITIONS. beginning with a class-name qualified by No is an Universal .Proposition ; any proposition beginning with a class-name qualified by Some is a particular proposition. I therefore proceed to consider Terms before discussing Propositions. The accompanying Tables of Terms, pp. 2534 (containing many important distinctions in addition to those which correspond to the distinctions of names already noticed), exhibit the distinctions of Terms in schemes of Division. The remarks which follow here will be made with reference to these Tables. The first distinction I have taken is that between what I have called (1) Uni-terminal and (2) Si-terminal Terms. (1) Are terms which can only be used as P of Categorical Propositions ; (2) are Terms which may be used as either S or P of Categorical Propositions. All Uni - terminal Terms are Adjectival, and the first subdivision here is into what may be called Vernacular Terms, e.g. red, like X, and Specific Terms, e.g. lanceolate, pinnate, Chartist, aesthetic, " intense." (These would include what Dr. Venn calls Special or Technical Terms (Empirical Logic, p. 281). He goes so far as to say that it is philosophi- cally more correct to call these terms, not English, but another tongue, op. cit. p. 282.) Each of these again may be sub- divided into Dependent or Systemic (implying a dependence or relation of objects connected in some system, which may be of any degree of complexity, from the simplicity of a class or of any two related objects to the intricacy of a genealogical tree, or even of the universe itself) and Independent. Any one who has a knowledge of the system referred to by a Systemic or Dependent Term can draw from a proposition containing it a greater variety of inferences than is possible in the case of propositions which contain only Independent Terms (compare, e.g., E is F, and E is equal to F}; hence the logical importance of this distinction, and hence also the hopelessness of constructing a " Logic of Relatives." A fortiori arguments are simply arguments of which some terms are " dependent." All kinds of Terms are divisible TERMS. 2 1 into Dependent and Independent. Dependent Adjectivals are such as like B, before C, equal to D, less pinnatifid tlian E,, out-heroding Herod. To the division into Urn-terminal and Bi- terminal Terms there corresponds a very important division of Categorical Propositions, namely, that into what I propose to call (1) Adjectival Propositions and (2) Coincidental Propositions. (1) are Categorical Propositions which have a Uni- terminal Term for P, and cau neither be converted nor quantified ; (2) are Categorical Propositions which have Bi-terminal Terms for both S and P ; most of them can be converted, and those unquantified Coincidentals which have Common Names for Term-names can be both quantified and converted. This distinction will be further considered with reference to Quantification. The subdivisions of (1) and (2) correspond. It is therefore not necessary to consider them under both heads, and I have accordingly in the Tables of Categorical Propositions (Tables IV. XVI.) aimed at carrying out the division under one head only, choosing (2) rather than (1) because all (1) are reducible to (2), and it is with (2) that we are concerned in the logical processes of Conversion, Reduction, etc. The principal division of Bi-terminal Terms is into Attri- bute Terms and Substantive Terms. Attribute Terms are further divisible into (1) Vernacular and (2) Specific Terms ; (1) and (2) subdivide into Complete Terms e.g. Steadfastness, Stupidity and Partial Terms. The latter may be Definite or Indcjlnite Singular e.g. His heroism, Some sestheticism ; and Definite or Indefinite Particular e.g. Their hard-hearted- ness, Much affection. Particulars are Distributive or Collective. All the above species are Independent and Dependent. Under Substantive Terms we have the species (1) Common Terms, (2) Special Terms, (3) Unique Terms. Common Terms are divisible into Vernacular and Specific Terms. The Vernacular Common Terms of any language include Universal Terms corresponding to every Term-name ; have determination (can be defined), their determination being a sufficient guide to 22 IMPORT OF PROPOSITIONS. their application ; and are understood by any persons who are said to know the language, without special training or informa- tion, whether scientific, artistic, professional, or peculiar to any trade, or section of society, and so on. Vernacular Names form the bulk of any language, and we expect to find them fully enumerated in any good ordinary dictionary. Specific Names (including Technical Names, Slang and Cant words, and so on) also have a maximum of Determination and may be Universal, but to understand them needs some special training or information. We find them partly in special treatises and vocabularies, dictionaries of Slang, of History, of Biography, in local Vocabularies, the Encyclopaedia, Inquire Within, Hone's Day Book, etc. ; but they are to a large extent unstatutable language. Of such expressions as cesthetic, Philis- tine, take the bun, masker, Parnellite, we should not know where to look for a printed explanation ; and such words are specially difficult to translate, while Technical Names are probably the easiest of any. Technical Names supply the material of scientific Nomenclature and Terminology. The Vernacular words of any language may be recruited from time to time from Specific words, and the departments of the latter, on the other hand, sometimes appropriate Vulgar Terms. Propositions having Specific Terms may be reduced to pro- positions having Vernacular Terms, but many of the latter cannot be reduced to the former. It is in this circumstance that I find the justification for introducing this distinction in a logical division. It is with reference to Specific Terms that the case for Universes of Discourse seems to me most plausible. It may no doubt conduce to clearness and conciseness that in vocabularies of, e.g., Architectural Terms, Terms of Sport, Slang, and so on, a limitation is expressly introduced once for all (cf., however, post, Section on Predication and Existence). But this limitation is itself limited, and the cases in which it applies are generally indicated by a difference of type or some similar device. Vernacular Terms are divisible into Partial and Total ; TERMS. 23 Partial into Singular and Particular ; Singular into Definite and Indefinite ; Definite and Indefinite (and every other penultimate class) into Independent and Dependent. Par- ticular Terms divide into Definite and Indefinite, and each of these into Collective and Distributive. Total Terms ( Universals) subdivide into Definite (Distributive and Collective) and 7ft- definite (Distributive}. The Subdivisions of Specific Terms correspond to those of Vernacular Terms. Examples of all these classes, and of those which follow, are given in the Tables of Terms. By a Partial Term, is meant a Term of which the applica- tion is not ex vi termini the whole sphere of the Term-name ; by a Total Term, is meant a term of which the application is ex vi termini the whole sphere of the Term-name. All E includes every E, whether we look to determination or appli- cation ; some E may happen to apply to all the Es, but cannot have the same determination. It may be noticed that many technical and other terms which have the form have not the force of Dependent Terms ; e.g. Fibres of Corti, Basis of Division, Consilience of Inductions, Man-of-war, will of iron. By Special Terms I mean such terms as Predicables, Conic Sections, the days of the week, which resemble Common Terms in that they are fully determinative, and may be used uni- versally as in, All Conic Sections are curves and resemble Unique Terms in being members of a limited, and as it were organic system ; as in The five Predicables are Genus, Species, Difference, Property, and Accident. Unique Terms are different; for though, e.g., Apostle, Continent are fully determinative, and we can say All Apostles, All continents, we cannot regard Apostles and continents as being related to the ttvelve Apostles, the five continents, in the same way as all Predicables are related to the five Predicables, all Conic Sections to the four Conic Sections. Special Terms are divisible into Total and Partial ; these into Simple (similar to Common Terms) and Synoptical (re- garded as indicating members of limited groups). Simple 24 IMPORT OF PROPOSITIONS. Totals (Universals} are divided into Definite (Distributive and Collective) and Indefinite (Distributive). Synoptical Totals (Generals) may be (1) Summary or (2) Enumerative ; (1) subdivides into Definite (Distributive and Collective} and In- definite (Distributive) ; (2) subdivides into Distributive and Collective. Partial Simple Terms are Singular (Definite and Indefinite) and Particular (Definite and Indefinite, Distributive and Collective) ; Partial Synoptical Terms are Unitary (Definite and Indefinite} and Plurative ; Plurative are Summary (Definite and Indefinite, Distributive and Collective) and Enumerative (Distributive and Collective}. The final division, as before remarked, is into Independent and Dependent in each case. Unique Terms are subdivided into Whole ((a) having the application of Term and Term-name the same, or (&) no distinction between Term and Term-name) and Partial; Whole into (b) Individual and (a) Total ; Individual into Appellative, Descriptive, and Mixed; Totals (Generals] into Summary and Enumerative; Total Summary into Appella- tive, Descriptive, and Mixed (Definite and Indefinite), and the Definites into Distributives and Collectives ; Total Enumeratives into Appellative, Descriptive, and Mixed (Distributive and Collec- tive}. Partial Terms are divided into Unitary and Plurative; Unitary into Appellative, Descriptive, and Mixed (Definite and Indefinite} ; Plurative divide into (1) Summary and (2) Enumerative; (1) into Appellative, Descriptive, and Mixed (Definite and Indefinite, Distributive and Collective} ; (2) into Appellative, Descriptive, and Mixed (Distributive and Collective}. All Enumeratives are, of course, Definite. All Definite Partial Terms have an unique application. Special Terms are (as already indicated) not limited in application to one object or group of objects, or one or some of a particular group, differing in this point from Unique Terms. By Descriptive Terms, I mean Terms of which the Term-names determine the distinctive characteristics of the objects to which they apply ; by Appellative Terms, Terms of which the Term-names are of the nature of (so-called) Proper Names. A Mixed Term is a term which is partly TEEMS. 25 Descriptive and partly Appellative ; as the Shield of Achilles, George Smith's brother. Any other (unexplained) names used in this classification are, I hope, self-explanatory. I think that the reason why such names as Gold, Water, the number 6, the half-sovereign, the word " and" the word " symbol" etc., are always or mostly used in the singular number, is because these names apply to things of which the intrinsic quality does not vary from instance to instance. (Compare the corresponding plural use of such names as peas, beans, etc.) Attribute Names (cf. ante, p. 11) seldom take a plural, but the denomination of Attribute Terms may be limited by the term-indicator which, however, can never be numerical. TABLE IV.] TERMS. UNI-TKRMINAL TERMS. ADJECTIVAL TERMS. ATTRIBUTE TERMS. Bl-TERMINAL TERMS. SUBSTANTIVE TERMS. COMMON TERMS. SPECIAL TERMS. UNIQt'E TJSKM.S. TABLE V.] ADJECTIVAL TERMS (VERNACULAR AND SPECIFIC). Independent. e.rj. "White ; Strong ; pinnatifid ; non-connotative ; quantified ; hedonistic ; Socratic ; Aberdonian ; Chartist. Dependent. e.g. more lanceolate than Lastrea Dilatata ; out-heroding Herod ; more Chartist than Frost ; like summer ; true as steel. IMPORT OF PROPOSITIONS. C- 02 Q to O i 21 a * IT a .. S a "S SO",- S &> B 2-o * ! p ._ W CO s^ 1:'3 ! ^ 'f- 1 -ij '-*. TERMS. 27 > *to M _e_!*f! s 2,2 .->"2 3.2.T* X co = g llillSp II l?^n a ||3 ^^ >> o 8 h2 ^ ""^^ sai2-si?3j :o- H^g^J^i^' m J? i .5; u H *3 s i i!ft* fi l "j^i. a " S " 2 5- > ^oitE dill ^^ |6|IS|^iS^5 ^2a5* g f|I f ^oS^gr^ S P -^ S^'p. H 28 IMPORT OF PROPOSITIONS. tr JB J & ** C - O SB. N &. 1 " TK TE nde Ter 33 ""* O gJT c to >:; '.2 bj~ r .a" g'4S^, H*o S SI ^ S el cS*. Sf.s * x >-=, g c ^2-217* g> "S 2 ' 'j2 .2 to S S ~ -2 e'O ! n 9 f- V o rs fc< .^ to cs a J3 y "i ^ -M . TERMS. 29 . ft ^ - w 35- 1-3 SL| r a -2 3- s -2 Sl.S'* "^ "** 5 Q' . ^ 1 "r"'-*- a ^ .a-la* .2 *! S v*< *fi * c* ") ^ -^ oi~** K ^ o 3 "' O c3 c3 -*a cS ^ 03 aJ 1 ' fl ^^= V ^3 OQ ^ ^Q ^j L '^ J ^3 ^ -^ s S to g o ^ o * "T^ ^ yntt ^ Kn 2.33s Pi ft S *>_, .2 * 3 i W_ o -t> !-c o > H h4 <4- 05 .2 X ^4**H O O^'O p HH S ft !-* 00 03 03 c H^ o S S *5 Q v 03 ^ || K 1 C c *3 o> ri gO'g >5 i C,,^ S- O5 2 a 5 53 M M ^j o> H ^ 5 c^3 IS H C L X P 2 3 H H 1 Dependent -il'S - Efia a ,H^ S 4l^ J&j T3 4 1 7" H k j -H d 3 -* a 's S-aj *- -5 S S 1 H &|S O - tct- * H 7-1 '-C ;i. fl .. 30 IMPORT OF PROPOSITIONS. *> * ' ~-fc3 Q) . , ff K * >* C > < "aj 1 S IfL 1 .ll!l|J SJS S | 5l2"? J gH | d j - *":3.S ^ jR ? 8 8^ 05 p tc a "ts o ^ c sS.,^ -3 .) , 2 o S5 W ^ &* S ^*'^ yi ^ (-* C S >> oo J; **>~5 pfc a, | c c i i"ce c 52. S S If^"^^ ^'o'S ^ su ^'s|| [ ^^ 02 5 co 4 "^ ^ ^ H =* s 1 '^ H *" L S f" 1 a | ^g-S c 1,^5'oS "S o ^*o M PI oo Hw " r <"Ho /^? t"^ OS ' ~* m ' "' ^ *~^ H S Q H ^ ^ ^',2 r-=i toj " " * 1^ o^c-^^- " jj S w ^ ^ ** 2 s 5T t, ^ Q 'w>'3) ^ 5* ^J *3 ^H C^- oo *2 ^^ '^ *l -1 "* C" -2 Oi r ~ l ^ H => _K_ o cc H - 43 S '5 '*-' Sll 5 ^ ** S ^ ^. S f3 FH P a ^2 . . w c Q ri 'S "3 A *~ ' tn ." o o ^ S ^ f-l S5 J S "S * ^ ^ ^,0 0^5 ^ i E 02 H S 5 '3 u o ^ Ed 'W *u ^ ^S R E^ i2 Z'-^ 1 o N ? a H S" |SJ g *|||.| - S _^_ K> CO * 4) , o n g w 5 u ^ . *> g S ^v'S S- * ri H E > "e PH^OOV f 00 S 2 c? ^ u_i ' ^* ^ <~ > M H , g ti^ _ C -|3 ce ll ) 7^ - fi i o 3 TERMS. 31 TABLE XL] INDIVIDUAL TERMS (UNIQUE). (APPELLATIVE, MIXED, AND DESCRIPTIVE.) Independent Terms. e.g. The last man ; the pre- sent Prime Minister ; the greatest poet ; the sun. Julius Caesar; Mary; Conrad ; The Iliad ; Athena ; George Eliot ; Sir Walter Scott ; Van- couver's Island ; " Long- shanks ; " Melpomene [was the Muse of tragic poetry]. Dependent Terms. e.g. The circumference of the earth ; the Last of the Mohicans ; Jarues Thompson's second brother. The Inferno of Dante ; George Eliot's Dorothea; the CEdipus Tyranuus of Sophocles. TABLE XII.] UNIQUE UNITARY TERMS. (APPELLATIVE, MIXED, AND DESCRIPTIVE.) DEFINITE TERMS. INDEFINITE TERMS. Independent Terms. Dependent Terms. Independent Terms. Dependent Terms. c. g. This e.g. That son 6.0.-) e.g. One of the Apostle ( = this one of the of Jacob ( = that one of the sons of One, 1 of the Some j Apostles. sons of Jacob. One of Hesiod's Apostles). Jacob). one i Muses. This Muse (- That Muse of One of the this one of the Hesiod (= that Muses. Muses) ; Euphro- one of Hesiod's syne [was one of Muses). the Graces]. 32 IMPORT OF PROPOSITIONS. 55. S 02 S g H 8 H ! tf & nJ PH H & O" i i Sq & Rc~ E j*i i ^ ^ ^-? 4_t4-4-tl 2 o S 'J3 fe ,X o 2 ^uL^s O tS'43 !^ &>^ 1 '3 |^ EH S*" < 3 TERMS. 33 TABLE XIV.] UNIQUE PLURATIVE TERMS (ENUMERATIVE). APPELLATIVE, MIXED, AND DESCKIPTIVK. I DISTRIBUTIVE TERMS. I COLLECTIVE TERMS. Independent Terms. Dependent Terms. Independent Terms. Dependent Terms. e.g. The nearest e.g. The nearest e.g. The largest e.g. The nearest and the farthest and second near- and second largest and the farthest of the planets est of the planets of the Continents of the planets of [have elliptical of our Sun [are [have together an our Sun [are Mer- orbits]. between the Sun area of 28 million cury and Nep- A g 1 a i a and and the Earth]. square miles]. tune] ; the eldest Thalia [were M n e m e and A g 1 a i a and and the youngest Graces]. Melete of Mt. Thalia [were two sons of Jacob Helicon [were of the Graces], [were Reuben and worshipped by Benjamin]. the Boeotians]. M n e m e and Melete of Mt. Helicon [were two of the Bceotian Muses]. TABLE XV.] UNIQUE TOTAL TERMS (ENUMERATIVE). APPELLATIVE, MIXED, AND DESCRIPTIVE. DISTRIBUTIVE TERMS. COLLECTIVE TERMS. Independent Tirms. Dependent Terms. Independent Terms. Dependent Terms. e.g. The largest, e.g. The first, e.g. The largest, e.g. The first, second largest second . . . and second largest second . . . and . . . and smallest seventh days of . . . and smallest seventh days of of the planets last week [were of the planets last week [were [have each an rainy days]. [are the satellites the seven most elliptical orbit]. The Agamem- of our sun] ; the wretched days of Aglaia, Thalia, non, Choephori, daughters of my life]. and Euphrosyne and Eumenides Apollo [were Clio, The Agamem- [were daughters of ^Eschylus [are Melpomene, etc.]. non, Choephori, of Apollo]. magnificent Aglaia, Thalia, and Eumenides plays]. and Euphrosyne of jEschylus [were the three [form the Graces]. Oresteia]. 34 IMPORT OF PROPOSITIONS. S W-S < g f=* e 2 Is L Lg Q a' q^ 2n B 5 r--~. >5 H PH H W , H H H y. H J H O &T > ^o 1l H J 3 H PH to M 8-1 "gti 3 O" H s M H s H Hi ill-si S'3 a ts^r^^-iia O ^ 2 2 3- fcC 64 05 T3 _fi e r3 K S -11 2 r *iJ8 ^3 ' 'j NOTE ON DEFINITION AND CONNOTATION. 35 SECTION IV. NOTE ON DEFINITION AND CONNOTATION. The Definition of a word, it is said, sets forth its meaning ; and the Meaning of a word, as distinguished from its application, is frequently said to be its " connotation." But what is the connotation of a word or name ? According to some, it is the whole of the attributes common to the things called by that name. This is the view of Jevons and some other writers, and, according to Dr. Venn (Empirical Logic, p. 183), it is shared by Dr. Bain. Mr. Keynes, however (cf. Formal Logic, 2nd ed. p. 26), thinks Dr. Bain's opinion to be that the connotation of a word comprises, not all the attributes common to the things to which it applies, but only those which are independent of one another. The difficulty, not to say impossibility, of deciding what qualities (if any) are independent, seems to be an insuperable objection to this latter view. The opinion that any name of which we know the application (cf. Jevons, Elementary Lessons in Logic, Less, v., etc.) connotes all the " peculiar qualities and circum- stances" which we know to belong to the thing named, involves the admission that proper names are among the most connotative of any ; and this admission Jevons makes, or rather insists upon. But the proper name of a person not known individually, must be allowed, even by Jevons him- self, to have only a minimum of connotation, while a class- name applied to any object not known individually may convey a maximum of connotation. Jevons confuses (1) the information conveyed by a name, without any individual knowledge concerning the very thing or things named, and (2) the information gained by individual knowledge of the very thing or things indicated by a name, and consequently associated with and suggested by the name. The view that (2) is included in connotation involves as a consequence that the same name may have different connotations to different 36 IMPORT OF PROPOSITIONS. people. And there is indeed a further confusion here, besides the one mentioned above a confusion, namely, between (1) the qualities which a thing is 'known to possess, and (2) the qualities which it actually does possess (cf. Keynes, Formal Logic, 2nd ed. p. 27, distinction between intension, connotation, and comprehension}. Taking connotation to include (2), it is clear that we do not, and cannot, know the whole connotation of any name whatever. And it is plainly absurd that the meaning of a name should be said to be something which no person has ever understood to be conveyed by it. In the case of any class-name, if it is said that it connotes all the attributes known to be possessed in common by the things to which it is applied, it follows that no universal synthetic propositions are possible ; and worse than this, that a multitude of significant names must have such a voluminous meaning, and so many words the same meaning, as would make language hopelessly unmanageable and confused. Since our thought is discursive must proceed by successive steps of intuition we need corresponding conditions in language; that is, we need limited definitions and clearly marked differences of meaning in different words. It seems best to say that what a name connotes (what is included in its determination) is, those attributes on account of which we apply the name, and in the absence of any of which we should not apply it. (Cf. Mill, Logic, Bk. i. ch. ii. 5, p. 38, 9th ed., and Bk. i. ch. viii. 3, p. 156 ; also Keynes, Formal Logic, 2nd ed. p. 25.) It may happen, and generally does happen, that the attributes connoted by a name are in our experience inseparably connected with other attributes which it does not connote ; but it is not on account of these latter that we apply the name in question. I believe, indeed, that it is probable that every attribute is one of an unique set, all of which are inseparably connected (cf. Section on Ground of Induction}, and that the more our knowledge grows, the fuller and surer will be the suggestions which, from association, each name carries with it. But this increase of knowledge concerning the things indicated by any name is MEANING OF ABSTRACT AND CONCRETE, AND OF CONCEPT. 37 quite different from increase of the connotation of the name itself; and increase of the former kind takes place to a far greater extent than of the latter kind ; though, no doubt, there can hardly be change of connotation except as the result of an increase of knowledge. SECTION V. THE MEANING OF ABSTRACT AND CONCRETE, AND OF CONCEPT. ^Reference to the various definitions of Abstract and Concrete Terms given in logical handbooks is sufficient to show that the distinction is one involving some difficulty. In Tfie Oxford Elements of Logic (1816) adjectives only e.g. white, round, long are recognised as Concrete Terms (cf. p. 16); such names as man, house, fairy, are not classed under the head either of Abstract or Concrete. Dr. Abbott in his Elements of Logic (1883, cf. pp. 4, 5, 83, 84, etc.) seems undecided how to class adjectives ; Jevons, in Studies in Deductive Logic (2nd ed. p. 4), omits them altogether ; but in his Elemental- if Lessons in Logic (p. 21, 7th ed.) he says that we must " carefully observe that adjectives are concrete, not abstract." Again, while in Studies in Deductive Logic (p. 1) lie allows only names that can stand as the Subject of a proposition to be Categorematic, thus by implication excluding adjectives from the category of terms altogether, in the Elementary Lessons (p. 18) he admits adjectives among the words " which stand, or appear to stand, alone as complete terms." He explicitly says (Elementary Lessons in Logic, p. 21 ; Studies in Deductive Logic, ch. i. 2, pp. 1, 2) that lie was conscious of a difficulty, and the presence of this to his mind is clearly betrayed by these inconsistent and con- fused statements. Jevons' conclusion seems to be that abstractness must be considered " a question of degree " (cf. Studies, p. 2). No doubt it is a question of degree if by 38 IMPORT OF PROPOSITIONS. an abstract term is meant a term, the application of which presupposes a process of abstraction every adjective, every common term, every term applying to an attribute, is applied as a result of abstraction ; even a " proper name " is in this sense abstract, for, though not applicable to more than one individual in the same sense, it is applicable to that one at different times and under different circumstances, and in using it as a permanent appellation, abstraction is made from these times and circumstances. This is not, of course, the sense in which Abstract is understood when used in antithesis to Concrete. According to Mill (Logic, i. 29, 9th ed.), "A concrete name is a name which stands for a thing ... as John, the sea, this table . . . white." " An abstract name is a name which stands for an attribute of a thing," e.g. white- ness. Here the distinction seems to depend on discriminating between a Subject of Attributes and Attributes of a Subject. It seems clear that by thing as used here, Mill means just a subject of attributes. But what reason is there for calling a term which applies to attributes Abstract, while a term which applies to a subject is called Concrete ? Attribute implies subject as much as subject implies attributes as much as parent implies child, or half implies whole. As Mill himself says (op. cit. i. 5 3), " the condition of belonging to a substance " (subject) is " precisely what constitutes an attribute." In what respect is the term redness, which applies to an attribute of red things, more abstract than the term red thing, which applies to a thing which has the attribute ? A further difficulty on Mill's view would arise with reference to the predicates of such propositions as, e.g., Perseverance is admir- able. If adjectives are concrete, we have here a " concrete " Predicate asserted of an " abstract " Subject. Mr. Stock, Deduc- tive Logic (1888, pp. 28, 29), says, " Whether an attributive is abstract or concrete depends on the nature of the subject of which it is asserted or denied. When we say, ' This man is noble,' the term ' noble ' is concrete as being the name of a substance ; but when we say, ' This act is noble,' the term ' noble ' is abstract, as being the name of an attribute." " Those terms MEANING OF ABSTRACT AND CONCRETE, AND OF CONCEPT. 39 only are called abstract which cannot be applied to substances at all." (Op. cit. p. 27. The italics are mine.) Compare also what is said on pp. 24, 25. If \ve fall back upon Whately (Logic, 9th ed. p. 81), we find that he describes Abstract Term as a term which is applied to a "notion derived from the view taken of any object " when not considered " with a reference to, or as in conjunction with, the object that furnished the notion." As a term applying to an attribute is, ex vi termini, considered with such " reference " and " conjunction," we seem driven to the conclusion that what Whately ought to mean, and what must be meant by Abstract Term as distinguished from Con- crete, if there is a consistent meaning in the distinction, is that an Abstract Term is the .name of a logical " Concept " some- thing complete in itself and isolated from all else totus teres atque rotundus, involving no reference to attributes, as a term applying to a subject does, and no reference to a subject, as a term applying to an attribute does. Here there is indeed a very marked distinction between the objects indicated by Abstract Terms and by other terms. But it remains to ask whether it is possible that Terms that is, the Subjects and Predicates of propositions can indicate such logical Concepts. The meaning here assigned to Concept is substantially that recognised by Mansel, who, in common with some other logicians, holds that Logic is concerned with Concepts, and Concepts only. Locke's " Abstract Idea " seems to correspond to Mansel's " Concept," and he says that the " names of abstract ideas" are "abstract words" (Essay, Bk. iii. ch. 8, 1). But, according to Locke, "all our affirmations . . . are only in concrete " (loc. cit). With this view I agree, only going so far beyond it as to hold that not only our affirmations, but also our negations, are " only in concrete." For of such a " concept " nothing but itself could be asserted, and nothing could be denied but the negative of itself ; if isolated and independent, it could have no relations whatever to things in space and time. It would be like one of Leibnitz's Monads, 40 IMPORT OF PROPOSITIONS. having " no windows " by which anything could get into or out of it ; a closed, solitary, impregnable whole, incapable of diminution, increase, or division, or alteration of any kind. It seems indisputable that a " concept " as thus denned (cf. Mansel, etc.) must be quite incapable of alteration. Altera- tion of any " concept " ABC would mean that some other " concept "-^e.g. AB, or ABCD is substituted for it. If not isolated and independent, it would, of course, be related to all other things, like any ordinary idea. Again, if a " concept " were something complete, the name applying to it and deter- mining its character would have to indicate relations to every- thing in the world, for such relations are among the attributes of every constituent of the universe. Indeed, one such name would describe the universe and all things in it, and there need be only one name at all, and no propositions. But, without pushing the thing to such an extreme, it must be allowed that if all terms applied to independent or complete concepts, all propositions would be reduced to the A is A type ; any illustration, any bringing into connection, any movement of thought at all would be impossible. Indeed, assertion itself would be impossible ; for A is A, taken strictly, has absolutely no predicative force, and merely attempts to assert a necessary presupposition of all significant assertion (cf. post, p. 52), and even, I think, of thought itself. I think that not only must it be impossible for names applying to monadic concepts to be the terms of propositions, but also that such concepts could not be objects of thought at all. This seems to follow directly from the acceptance (1) of the Law of Relativity (Semper idem sentire et non sentire ad idem recidunt), and (2) of that definition of concept according to which it is totus and teres something complete in itself and wholly unrelated. Nothing is an object of knowledge unless it is an identity in diversity, a permanent amid change, and unless it is like some things and unlike other things. Whatever is comparable with other things must be connected with them in some system, e.g. in space ; but members of a system are doubly related, namely, both to one another and to MEANING OF ABSTRACT AND CONCRETE, AND OF CONCEPT. 41 the unity of which they are members, hence the members of a system can never consist of such essentially isolated entities as concepts. But the name Concept may be differently defined, e.g. as the " mental equivalent of a general name." Of the existence of such mental objects there can be no doubt. But I should demur to this definition, because I should maintain that it draws an arbitrary distinction between the mental equivalent of Common Names and that of other names, e.g. Proper Names. Have I not an idea as truly general, corre- sponding to, e.g., Alfred Tennyson, as to snow or horse ? My idea of him must be one that applies throughout all variety of time, place, and circumstance, just as my idea of snow or horse applies under a variety of individual manifestations. And there seem many reasons in support of the view that Common (and Proper) names are not the names of concepts (in the sense of mental equivalents}. For if they are (1) we are left without any term for the object from seeing (or in some way knowing) which we have got the idea. (2) When a familiar object, e.g. a bird, is seen, some such mental equiva- lent must accompany the sight of it as accompanies the hear- ing of the word, otherwise it could not be recognised. (3) In the case of a word having two distinct applications e.g. box, page we determine which of the applications we are to take by reference, not to a concept, but to a thing of which we may have a concept ; because what any concept is must be determined by what the thing is of which it is the concept. (4) The idea called up in the mind by a Common or other name, is an idea which differs widely in different minds, and in the same mind under different circumstances (as of context, interest, etc.). Thus the same name would have an indefinite multitude of different meanings. If we say that in every unit of all this multitude there is some element of similarity, and that it is this which is meant by mental equivalent, that a concept is a kind of mental type, e.g. a kind of Bird-in-itself, I would ask, Can it be recognised as a type unless considered in conjunction with its ectypes, the copies in which it is 42 IMPORT OF PROPOSITIONS. exemplified ? I should say that the person whose mental equivalent of a name (common or other) is most perfect and adequate, is the person in whose mind that name calls up the greatest fulness of well-ordered particulars, so connected and arranged as to give most prominence to what is most important ; so presented, in fact, as to exhibit clearly the law or type common to all ; here the element or elements of similarity are exhibited in the greatest fulness of relationship. It would be generally allowed, I think, that an expert in any subject is likely to have more perfect mental equivalents of the names special to that subject than those who are comparatively unacquainted with it ; or that any one has a better mental equivalent of the name of a person whom he knows well than he has of those with whom his acquaintance is but slight. It seems to me that, for instance, I myself have beyond com- parison a clearer, more satisfactory, and, I suppose, truer idea called up by names of things or persons that I am well acquainted with, than by those of things or persons that I do not know, or know but slightly, or am only learning to know. And the superiority seems to consist in the greater fulness and completeness of the corresponding ideas in the first case. Things with which one is familiar become clearer and more real in proportion as one knows more about them the unity of a system becomes more striking in proportion as one realizes more fully the inter-relations of the plurality which it embraces. This is quite compatible with the fact that an influx of fresh information, especially in an unfamiliar region, may sometimes involve one in great confusion. As to the mental equivalents which actually occur to people's minds in using names, experiment seems to show that these differ exceedingly in different cases. Such a word as animal, for instance, will call up to one person's mind the name simply printed, or written in a particular handwriting, or printed on the outside of a particular book ; or it may call up the image of a " picture alphabet " with illustrations of animals, or some story of animal intelligence, or a pet animal, or the first animal one cared for, or the cat of the house, or MEANING OF ABSTRACT AND CONCRETE, AND OF CONCEPT. 43 an idea of the movements made in speaking the word, or some striking delineation of an animal seen in a magic-lantern exhibition or a picture gallery, or Noah's ark, or a mere shape- less moving mass. If one dwells upon the word, an immense succession of ideas may occur to one; in rapid reading or speaking, probably only one or two. What seems very often to happen in the latter case is, that one just thinks very transiently of the word itself, with a satisfactory, though evanescent, consciousness of understanding its meaning and application. If in reading or listening one meets a word of which one does not know the meaning, one is instantly arrested by a feeling of dissatisfaction, due to the recognition of a hindrance to comprehension. As an illustration of what I mean, I may refer to what happens when, in looking rapidly through a passage in some' tolerably familiar language with a view to translating it, one comes here and there upon words of which one does not know the meaning. The trans- lator, the moment he sees the other words, and without any pause to realize their full import, is aware that he knows their signification ; and he is aware, just as instantaneously, that he does not know the meaning of the strange words. What perhaps often happens to some people, in connection with Common and Proper names, is that these call up in the mind a kind of " generic image." E.g. the word horse may suggest a sort of vague image, like a horse seen at a little distance in a fog, which is definite enough not to be mistaken for any other creature, but not definite enough to be identified as of this or that breed, colour, size, etc., much less as a definite individual : quadruped may suggest merely four vague elemen- tary legs, supporting an elementary body, like a child's draw- ing and so on. Our image of many acquaintances, and even friends, may be very vague, just definite enough to enable us to know them when we see them, but by no means definite enough to enable us to accurately draw or describe them, or perhaps even to say by what sign or signs we recognise them. Butler (Sermon I. note 2) puts the case of a man whom he supposes to " go through some laborious work, upon promise 44 IMPORT OF PROPOSITIONS. of a great reward, without any distinct knowledge what the reward would be." The state of this man's mind with refer- ence to the reward must, I imagine, correspond in essentials with the state of mind of a person dwelling on a Common Name withdrawn from context ; but, of course, names ordinarily occur to us with a context which helps to determine their mental equivalent. (II.) OF PROPOSITIONS AS WHOLES. (A. ) C ATEGOKICAL PROPOSITIONS. SECTION VI. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. Formal (most General) Import of Catcgoricah. It seems convenient to discuss Propositions in immediate connection with Terms, the constituents of all Propositions. Proposition may perhaps be defined quite generally as a sentence or significant combination of words affirming or altogether denying unity (in difference). Each of the principal forms of Proposition has, of course, its own special definition. Propositions may be divided into (1) Categorical, (2) Inferential, and (3) Alternative ; (2) may be subdivided * into Hypothetical, e.g. If D is E, D (or F) is G ; and Conditional, e.g. If any D is E, that D is F. The division is exhibited in tabular form, thus : PROPOSITIONS. I ! I Categorical Propositions. Inferential Propositions. Alternative Propositions. I ! Hypothetical Propositions. Conditional Propositions. 1 Cf. Keynes, Formal Logic, 2nd edition, pp. 64, 65 ; also post, Section on Inferential Propositions. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 45 I assume that any proposition would be admitted to be the expression of a judgment, and capable of being defined as such. This mode of definition is, however, subject to two inconveniences ; for, in the first place, until a definition of judgment has been given, we have defined ignotum per irjnotum ; and, in the second place, it tends to a confusion of standpoints if, after having treated Terms, the elements of Propositions, as applying to Things, we define Proposition as the mere expression of a psychological process. Unless we apprehended things we could, of course, have neither ideas of them nor names of them ; unless we judged we could neither think Propositions nor express them; and it is true that Logic is concerned with "what we ought to think." But Apprehension and Judgment, considered as mental processes, are the concern of Psychology, and Logic is concerned with what we ought to think only because we ought to think of things as they are. There is no more reason for defining Pro- position by reference to Judgment, than for defining Term by reference to Apprehension. If Terms are concerned with things, Propositions are concerned with the same things. Our things may, of course, be thoughts, or thoughts of thoughts, and so on, to any degree of " Re-representation," but at any point in the regress what our terms apply to is surely the objects thought about, and not the apprehension of those objects ; what our Propositions import is surely something about those things other than the fact (however indisputable) that we frame a judgment concerning them. However re- representative the objects to which our terms apply, our thought of the thing named would be impossible without our having an idea which is something other than the thing intended to be indicated by the name. The presence of such an idea is as inevitable as the nervous change which is supposed to accompany all change of consciousness. For instance, let my term be King's College Chapel, Cambridge. Here the object named is a construction of stone and mortar distant, perhaps, more than a hundred miles from my present position in space. But without an idea present to my mind 46 IMPORT OF PROPOSITIONS. and other than the object named, I could not hear or use the term with intelligence. And if my term is, the thought which I had two minutes ago of King's College Chapel, the object named, and the accompanying idea, though not so diverse as in the previous case, are equally distinct. A Categorical Proposition might be defined as, A Proposi- tion which affirms (or negates) Identity of Denomination in Diversity of Attribution, and is of the form S copula P. 1 But this definition would admit Propositions of the form A is A, because the second A differs from the first A in implication, since it is predicated, while the first A is predicated of. A is A, however, is a locution which has only the form and not the force of a Proposition. A significant Categorical Proposition, a Proposition in which the Predicate adds something to the Subject, may be defined as, A Proposition which affirms (or negates) Identity of Denomination in Diversity of Determina- tion. (Or if we consider directly the Things which are named by our terms rather than the terms themselves, we may define as follows : A Categorical Proposition is a Proposition which affirms (or negates) quantitive Identity in qualitive Diversity.) Thus a Categorical Proposition asserts complete coincidence or absolute non-coincidence of S and P. It will perhaps not be superfluous to illustrate the applica- tion of my definition by a few simple examples. In All birds are animals a proposition which (understood with an implication of the knowledge which we possess concerning the 1 In a class there is also one-in-many or many-in-one, namely, a qualitive one in a quantitive many, or similarity of character in a plurality of things. There is a third kind of one-in-many, where we have a system of Subjects of Attributes related to each other and to a common whole (a quantitive many in a quantitive one). Mill (Logic, ii. 395) considers the importance of the dis- tinction upon which my definition turns the distinction, namely, between a thing being identical (numero tantum), and things being similar (specie tantum). The same distinction is discussed by Dr. James Ward (Encycl. Brit. 9th ed., part 77, p. 81a, art. "Psychology "), who uses the terms individual identity and indistinguishable, resemblance. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 47 relation between the classes Birds and Animals) might be represented as in the first diagram what is asserted is that the denomination of All birds is the very same as the denomination of animals. But not of all animals, but only of those animals included by circle B that is, some animals. The denomination of All birds is found to coincide with, to be in short, the denomination of the some animals of the proposition under con- sideration. This coincidence of denomination of S and P might be represented thus : That the determination of All birds is differ- ent from that of [so??i] animals is obvious. Take again, Some vertebrates are quadrupeds (understood, as the previous example, in its full material signification). The continued identical existence of the things indicated by Some vertebrates is just the same as that of the things indicated by [some] quadrupeds that is, the denomination of S and P is iden- tical. The determination of Some verte- brates is, of course, different from that of [som] quad- rupeds. In the proposition, Those men are my three brothers, the S denominates the quantitive- ness the continued identical existence of certain individuals, say, AB, CD, and XY; and the P denominates the very same quantitiveness, the same continued exist- ence under whatever change of attributes i.e. the quantitiveness of the identical persons, AB, CD, and XY. Hence, wherever two terms have identical denomination, their application is the same ; what the one term is the name of, the other term is the name of. The determina- tion of Those men differs, of course, from the determination of My three brothers. Again in, This musician is a painter, the 48 IMPORT OF PROPOSITIONS. denomination of S is the denomination of P ; hence S and P apply to one and the same person. The determination is again different. In Perseverance is admirable, Courage is valour, there is the same identity of denomination and diversity of determina- tion as in the previous examples. The last example differs from the others in this, that (if not interpreted as a defi- nition) the determination of S differs from that of P in name only. In S is not P, what is denominated by S is declared to be not what is denominated by P, the determination of S differs ex vi termini from the determination of P. In Some E is not Q, what is asserted is, that the denomination of Some H is wholly nncoincident with the denomination of Q. The determination of Some R and of Q is, of course, different. In, There is no rose without a thorn, what is asserted is that the denomination of all roses is wholly unidentical with the denomination of without a thorn. And the determination of all roses is different from that of without a thorn. A consideration of the extreme case A is A (A is-not not-A) confirms this analysis. For though A is A conveys abso- lutely nothing more than mere A does (and this appears to me to be nothing at all, for a mere isolated name is a complete nonentity), the exigencies of assertion introduce difference of position in space or order in time between the Subject A and the Predicate A, in addition to the implication that the SA is what is predicated of, while the PA is what is predicated. Unless we could speak or write A twice over IMPORT AND CLASSIFICATION OF CATEGOEICAL PROPOSITIONS. 49 we could not assert A to be A. Thus in A is A there is a formal though valueless diversity of attribution, and this valuelessness becomes if possible more obvious when we use significant terms. And that both A's have an identical denomination (and thus both apply to an identical thing) seems so evident as to be incapable of proof. If the denomination of SA were different from the denomi- nation of PA, this would have to be expressed by saying that (S)A is-not (P)A. The proposition, A is not-A, is comparable to the terms Aa (a = not-A), Round -Square, or any other complex of contradictions. And while in A is A the diversity of attribution had shrunk to such a degree as to be purely a matter of form, and incapable of imparting any value to the predication, in A is not-A the diversity has become so extreme as to destroy the identity implied by the affirmative copula. In A is-not A, though there is a formal diversity of attribution between S and P, the determination is precisely similar, and hence the denomination is identical. The proposition is therefore self-contradictory, the identity involved by the terms being negatived by the copula. Unless we admit an indefinite variety of different copulas, I do not see that any insuperable objection can be brought against the above account of Categorical Propositions. This account, involving as it does the view that all terms have both denomination and determination, seems to me of fundamental importance. I have tried to give some further justification of it, both in later passages of this Section and also in the Section on Quantification and Con- 1 I should like to refer here to some passages of De Morgan, Dr. Venn, Mr. Bradley, and Mr. Bosanquet, which seem to me confirmatory or elucidatory of the view of the Import of Categorical Propositions which I advocate. De Morgan says (Formal Logic, pp. 49, 50), "Speak of names and say 'man t'a animal ;' the is is here an is of applicability ; to whatsoever (idea, object, etc.) D 50 IMPORT OF PROPOSITIONS. Propositions of the form : There is X, There are Y's, are reducible to either (1) X is in that place ; Y's are in that place For instance, if X = Newton's statue, then There is X Newton's statue is there ( = in some indicated place) ; if Y's = blackberries, then There are Y's = Blackberries are there ( =: in some indicated place) or (2) X is existent ; Y's are existent. For instance, if Y's = Green roses, then There are Y's may mean, Green roses are existent. 1 Such propositions as, It is raining, It is cold, are already in the form S is P it apparently being meant to man is a name to be applied, to that same (idea, object, etc.) animal is a name to be applied. . . . As to absolute external objects, the is is an is of identity, the most common and positive use of the word. Every man in one of the animals ; touch him, you touch an animal ; destroy him, you destroy an animal." Dr. Venn (Empirical Logic, p. 212) says, " What the statement [Plovers are Lapwings, Clematis Vitalba is Traveller's Joy] really means is that a certain object has two different names belonging to it." (The italics are mine.) The next quotation is from Mr. Bradley (Principles of Logic, p. 28) : " The doctrine of equation, or identity of the terms, has itself grasped a truth, a truth turned upside down and not brought to the light, but for all that a deep fundamental principle." " Turned upside down and made false it runs thus: the object of judgment is, despite their difference in meaning, to assert the identity of subject and pre- dicate [when taken in extension]." This " upside down " doctrine if for despite we read through is exactly what seems to me to be the true account of the import of Categorical Propositions (explaining identity to mean tantum numero). Mr. Bradley's condemnation of this interpretation seems to me to depend on a confusion between identity and similarity, for he goes on to say (p. 29), " In ' S = P ' we do not mean to say that S and P are identical [ = ? ]. We mean to say that they are different, that the diverse attributes S and P are united iu one subject. " If in S is P the attributions of S and P are diverse, but are "united in one subject," this is exactly what I mean by S and P being identical (where S and P are Substantive Terms). Mr. Bosanquet says (Logic, i. 96), "The content of a judgment is always ... a recognised identity in differences." 1 Is the there in this case a corruption of they ? If the original form was, e.g. Green roses, they are = Green roses exist, or are to be found (cf. an old IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 51 indicate something vaguely conceived as a causal agent to which P is attributed as effect, or, more vaguely still, a subject to which P is assigned as attribute. According to the above definition of significant Categoricals (as has been already repeated and illustrated to perhaps a tedious degree), the S and P of an affirmative proposition have always the same denomination and different determinations. If it is allowed that the S and P in any Categorical have denomination, it seems clear that in affirmative propositions they must both have the same (= identical) denomination and in negative propositions different (= non-identical) denomi- nations. If my S is the name of something having its own quantitiveness, the P which I assert that S is must certainly have the same quantitiveness, and therefore be the same thing (subject or attribute, as the case may be) as S, and have the same denomination as S. Of negative propositions the con- verse holds. The assertion that the S and P of the Categorical must have different determinations is perhaps more likely to be disputed than the assertion that they must, if affirmative, have the same denomination, and if negative a different denomination. (Terms having the same determination must have also the same denomination, therefore the above assertion concerning different determinations holds with reference to negative as well as to affirmative propositions.) In trying, just above, to apply my definition to " Propositions " of the form A is A, A is-not not-A, I came to the conclusion that this form of words can have no predicative force. I wish to set forth a little further the reasons for this conclusion, and will therefore ask, What can A is A, A is-not not-A, stand for ? What thought, what truth, or what assertion is it that can correspond to, or be expressed by, these forms of speech ? There seems to be prima facie a case for special examina- tion of these (which have been called Identical) " Propositions " form of inscription in books, e.g. Stephen Thorp, his book), it may have passed to They are, (i.e.) green roses (are) ; and then, perhaps for euphony's sake and with some oblivion of the primary meaning and a vague reference to there in sense (2), There are green roses. There seems sometimes to be pleonastic, as in There is frost to-night, There is nothing to be seen from my window. 52 IMPORT OF PROPOSITIONS. for A is A, and A is-not not-A differ in the following respects from ordinary propositions of the S is P, S is-not P type (1) they can have no intelligible contradictory; (2) they cannot be divided into Adjectival and Coincidental Proposi- tions ; (3) any word or combination of words or symbols may stand for S, and for P ; (4) S and P in A is A must be precisely similar; in A is-not not-A, S and P differ in being the precise negatives of each other. Let us take a sentence of the form A is A, in which A is significant and since A is-not not-A is reducible to the affirmative form, it need hardly be examined here separately. Let the sentence be, e.g., Whiteness is whiteness, or This tree is this tree. In using these forms of words how do I go beyond what is involved in the mere enunciation of the words whiteness, this tree ? That whiteness and this tree should BE whiteness and this tree respectively seems not a significant assertion, but a presupposition of all significant assertion as extension is a presupposition of colour, or ears of sound. And if, in perceiving whiteness or thinking of this tree, I ever need to assert that whiteness is whiteness, or that this tree is this tree, do I not just as much need to assert the same sentence separately for both S and P in each case ? And at what point is the process to stop ? And if identity needs to be asserted for the terms, does it not equally need to be asserted for the copula ? If we need to declare that whiteness is whiteness, etc., do we not also need to declare that Is is Is ? Unless we can start by accepting terms and copula as having simply and certainly a constant signification, I do not see how we are ever to start at all. The analysis involved in my definition of Categorical Pro- positions I believe to be both ultimate and absolutely general, and also to contain the maximum that can be asserted with absolute generality. When the Proposition is analysed into (1) Subject and (2) Predication, there are always two elements distinguishable in (2) ; namely, (a) a constant element (the copula) significant of identity or non-identity, (b) a changing element (the predicate). E.g. in (a) He sleeps, (/3) He will IMPOKT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 53 sleep, (a) = He (is) sleeping in present time, (/8) = He (is) to sleep in future time. Hence the analysis into Subject and Predication fails of being ultimate. Hobbes' account of Categorical Proposition that the Predicate is a name of the same thing of which the Subject is a name furnishes an absolutely general but a deficient and superficial definition (cf. Mill, Logic, i. 99). The Class Inclusion and Exclusion view is neither ultimate nor formal (strictly general). If we say that R is Q (1), R is not Q (2), may mean respectively R is included in Q (3), R is excluded from Q (4), we give an account which needs explanation even more than that which it professes to explain. For the relation between R and included in Q, excluded from Q, in (3) and (4), is pre- cisely the same as that between E and Q (1), not-Q (2) ; and the justification for adding included in to the copula in (1) is not clear. Again, this explanation is not properly formal ; for there are a multitude of propositions to which it cannot be made to apply at all, e.g. Tully is Cicero, Courage is Valour, The word quadruped is a word that means having four legs. And in the cases where it does apply, it refers to a relation not between the Terms, but between the Term- names, for the " relation " indicated by the copula between the Terms (Subject and Predicate) of a Categorical Proposi- tion is that of Identity or Non-Identity. And R is included in Q is not even compatible with Ris Q, for what R is Q means is, that R and Q are coincident or identical. As regards Mathematical Equations, they also may be analyzed into S copula P (cf. Section X.). 54 IMPORT OF PROPOSITIONS. The interpretation which makes (All S is P) = (Sp = 0) and Mill's view of the Import of Propositions will be dis- cussed in Sections XL and VIII. That view of the Import of a Categorical Proposition, according to which it asserts a connection between two ideas (which is one of the views discussed and rejected by Mill, Logic, Bk. i. ch. v.), results from a particular theory of the import of Terms. Classification of Categorical Propositions. In the Tables of Categorical Propositions (pp. 62-76), the first distinction taken is that between (1) Adjectival Proposi- tions and (2) Coincidental Propositions. As before remarked (p. 21), (1) are Propositions which have a Uni-terminal Term for P, and they cannot, as Adjectival Propositions, be con- verted ; but Adjectival Propositions can always be replaced by Coincidental Propositions, which are susceptible of conversion. And as all the subdivisions of Adjectivals and Coincidentals correspond, I have in the Tables of Categorical Propositions confined myself to Coincidentals. These are propositions which have Bi-terminal Terms for S and P, and they are susceptible of conversion. I have adopted the name Coinci- dental because it seemed a convenient word, and is, besides, suggestive of the identity of denomination which holds between the S and P of all affirmative Categorical Propositions, and is perhaps specially obvious in those in which both terms are bi-terminal. Coincidental Propositions may be either (1) Attribute Propositions, i.e. propositions which have an Attribute Term for S ; or (2) Substantive Propositions, i.e. propositions which have a Substantive Term for S. Attribute Propositions subdivide into Complete and Partial Propositions, and Partial into Singular (Definite and Inde- finite}. Particulars are Distributive or Collective. Each of IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 55 the above, again, may be Vernacular or Specific; and each of all these subdivisions (in common with every penultimate division in the classification) subdivides into .Independent and Dependent. A Dependent Proposition is a Proposition which has at least one Dependent Term. The majority of the subdivisions of Attribute Terms seem, however, to be most appropriately, and perhaps even most usually, expressed as Complete Propositions {i.e. Propositions which predicate concerning the Attribute in its completeness), the modification on which a distinction depends appearing as part of the content of the Predicate. E.g. instead of saying, Some perseverance is mischievous, it might (and perhaps most frequently would) be said, Perseverance is sometimes mischievous, or, Perseverance is mischievous in some cases. The corresponding Common Proposition here would be, Some cases (or instances) of perseverance are mischievous. We can say, That courage was remarkable, Some kindness is cruel ; but, That instance of courage was remarkable, Kindness is sometimes cruel, are perhaps preferable. Attribute Names have properly no plural, and Particular Definites frequently cannot be expressed as (Particular) Attribute Propositions. E.g. Those instances of laziness are nothing out of the common. In Coincidental Propositions which have Attribute Terms for S and for P, conversion takes place without any modi- fication of the terms ; e.g. Courage is valour, Generosity is not justice, convert quite simply to Valour is courage, Justice is not generosity. In such propositions as Courage is Valour, the terms have not only the same denomination but also a determination similar in every point except in this, that the object is called by different names in S and P (unless we regard the proposition as making an assertion about the word which is the Subject). In my Table of Categorical Propositions (Table XVII.) the first division is into Whole and Partial. Whole Propositions include Complete Propositions (cf. above), Individual Proposi- tions, and Total Propositions. 56 IMPORT OF PROPOSITIONS. Individual Propositions are divided into Descriptive, Appel- lative, and Mixed (partly Descriptive and partly Appellative). Total Propositions may be Universal (or Unlimited] and General (or Limited}. Universals are Common and Special, and the Common are Vernacular and Specific. Each of these classes of Universals may be Definite (Collective and Distributive) or Indefinite (Distributive). (All equations of the kind commonly called Mathematical or Quantitative propositions are Dependent.) The Generals are (1) Special, (2) Unique. (1) Subdivide into Summary (Definite and Indefinite) and Enumerating (which here and elsewhere are all Definite). The Definites may be Distributive or Collective ; the Indefinite Generals are (here and elsewhere, like the Indefinite Universals) all Distributive. (2) Unique Generals may be Summary or Enumerative, and these again may be Descriptive, Appellative, or Mixed. Those which are Summary further subdivide into Definite and Indefinite, Distributive and Collective ; the Enumeratives may be Distributive or Collective. Partial Propositions (i.e. Propositions of which the S has a Term-indicator which is not Universal nor General) are divided into Single (referring to one individual, species, or specimen of a class or quantity) and Multiple (referring to more than one such individual, species, or specimen). Single Propositions subdivide into Singular (Attribute, Common, and Special) and Unitary (Special and Unique). Common Singulars may be Vernacular or Specific, and each of these and Special Singulars subdivide into Definite and Indefinite. Unique Unitaries may be Descriptive, Appellative, or Mixed, and each of these, and Special Unitary Propositions, may be Definite or Indefinite. Multiple Propositions are Particular (Attribute, Common, and Special) and Plurative (Special and Unique). Such propositions as, Some bread is unwholesome, Some air is bracing, Some gas has escaped, should, I think, be classed rather as Multiple than as Single, since where the Some is not equivalent to certain kinds, certain specimens, or certain (somehow indicated) quantities, it can always be said that what is referred to is IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 57 quantity that may be divided without losing its specific character, and that it may therefore be regarded as Multiple rather than Single. Particular Common Propositions may be either Vernacular or Specific, and each of these is subdivided into Definite and Indefinite, and these into Distributive and Collective. The subdivisions of Particular Special Propositions are the same as those of Vernacular and Specific Particulars. Plurative Propositions are Special and Unique, and both subdivide into Summary and Euumerative. The Special Summary Pluratives are Definite and Indefinite, Distributive and Collective. The Enumeratives are either Distributive or Collective. Unique Plurative Propositions are Summary and Enumera- tive. Each of these may be Descriptive, Appellative, or Mixed. The different kinds of Summary Propositions subdivide into Definite and Indefinite, Distributive and Collective ; the Enumerative Propositions into Distributive and Collective. A Distributive Enumerative Proposition may be looked at as a combination of propositions (cf. Jevons' Elementary Lessons in Logic, 7th ed. p. 90 a " compound " sentence, consisting of " co-ordinate propositions "). Important differences in use, depending on differences of relation to other propositions, are connected with the differences that are apparent on a mere inspection in the propositions of the Tables, pp. 6276. The following may be noticed here A Distributive Universal Proposition is the only one from which both Universals and Particulars can be deduced by Immediate Inference (Collective Universals have the form without the force of Universals). It is only Distributive Universals such as, All particles of matter attract each other and Special Generals such as, The three angles of a triangle (the three angles of any one triangle) are equal to two right angles (a pro- position which, though Collective in form, has distributive force) that are capable of expressing a Law, a Law being a statement of some uniformity of coexistence or succession 58 IMPORT OF PROPOSITIONS. (depending on coexistence) in things. In expressing Uni- versality these propositions express also Necessity, since the rule which has not at any time or place an exception, states something which cannot anyhow be otherwise- while con- versely, what must be, is something to which there is nowhere an exception. Every Categorical Syllogism expressing a so-called " Inductive " reasoning a reasoning in which by help of particular instances we reach and establish a new law has an Universal proposition for major premiss and conclusion (cf. post, Section XVIII. 3rd note, and Table XXXVI.) ; every Syllogism by which any law is deduced from other laws has Universals or Special Generals for premisses and conclusion. Indefinite Universals (e.g. Any E is Q) are not directly subject to the ordinary rules of Immediate Inference and Opposition. Any R is Q converts most naturally to Some Q's are R's. There is no negative form specially corresponding to this Indefinite Universal. It is, of course, denied in Some R is not Q (contradictorily), and in No R is Q (contrarily) ; but these forms are the recog- nised correspondents of All R is Q, the Definite Affirmative Universal. In General, as in Universal Propositions the S-term applies to all the objects to which the S-name applies ; but in Generals the sphere of the S-name is restricted. As regards the Term-names of the Unique Terms, their application is fixed and limited once for all, but as regards Special Names, it may increase under certain conditions. For instance, the application of Muse or picture ~by Rembrandt can never be increased, while that of, e.g., Sunday, or April, or picture by J. E. Millais, may. It is only to Definite Distributive Universals and Indefinite Distributive Particulars that the ordinary rules for Conversion, and therefore, of course, for Keduction also, apply ; and the forms of Syllogism (Barbara, Celarent, etc.) recognised by the traditional Formal Logic are concerned with these only. To Singular Propositions (though they can be treated in some respects as Definite Universals) the same rules of Conversion and Opposition do not apply ; and with regard to propositions of the form Some Q is R, understood as IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 59 Singular e.g. Some jockey broke his horse's back over the first fence (1), similar remarks may be made. Some (= a, one, a certain) jockey broke, etc., may perhaps be denied by a proposition of this form, Some (= a, one, a certain) jockey did not break, etc. (2), but this could not be said of, e.g., Some jockeys are rascals, which no one could hold to be incompatible with Some jockeys are not rascals. I admit that (1) would be most ordinarily and naturally negatived by No jockey broke, etc. (3), but (1) might be incompatible, I think, with (2) ; the reason for denying (1) by (3) rather than by (2) appears to be that while (1) is the most indefinite form of affirmation concerning an individual that can be used, implying that he is merely pointed out as just one of a class, (3) is the most indefinite possible form of negation concerning an individual in it the denial is made of him simply as a member of the class whereas (2) rather implies reference to an individual indi- cated more specially than as a mere member of his class. When General (Definite) and Plurative Propositions are converted, the Predicate Terms of the new propositions got by this conversion must have indicators which are the same as, or equivalent to, those which they had as Subject-Terms of the old (converted) propositions ; e.g., All of my pupils have passed, converts to Some who have passed are all my pupils ; The, planets are bodies having an elliptical orbit, converts to Some bodies having an elliptical orbit are the planets ; Some of Rembrandt's pictures are master- pieces, converts to Some masterpieces are some of Rembrandt's pictures. The converses of General and Plurative propositions differ from Particular Propositions in this, that if in any converse of the former the Term-Indicator of the new predi- cate is omitted, the force of the proposition is quite altered. In the common examples of what is called Inductive 60 IMPORT OF PROPOSITIONS. Syllogism, 1 or Perfect Induction, the Minor Premiss is a Collective Enumerative Proposition, and the Major Premiss a Distributive Enumerative Proposition ; the conclusion being Summary and Distributive ; e.g., Sunday, Monday, . . . and Saturday are all (omnes) twenty- four hours in length ; Sunday, Monday, . . . and Saturday are all (cuncti) the days of the week ; . . All (omnes) the days of the week are twenty-four hours in length. It may be remarked that this Syllogism is incorrect in form, the Minor Term being taken collectively in its premiss, distributively in the conclusion. I do not remember to have seen this inaccuracy noticed. Mansel (Mansel's Aldrich, 4th ed. p. 221), Whately (Logic, 9th ed. p. 152), and Jevons (Elementary Lessons, 7th ed. pp. 214, 215), among others, offer as instances of Perfect or Aristotelian Induction, argu- ments exactly corresponding in form to the one I have given, without any remark on their formal incorrectness. To reach by Inference (Mediate or Immediate) an Universal Proposition, we must always start from an Universal ; and to reach a General we must always start from a General. Particulars are immediately deducible from Universals and Particulars, and Pluratives from Generals and Pluratives ; Singulars from Universals or Particulars or Singulars ; Unitary Propositions from General or Plurative or Unitary pro- positions. From Individual or Singular Propositions only Individuals and Singulars, and from Particular Propositions only Particulars and Singulars can be obtained. Complete Propositions can be got only from Complete Propositions or their 'converses ; and these, and Singular and Individual Propositions, convert quite simply, and admit of only one mode of negation. In Traduction as described and illustrated by Jevons (cf. Elementary Lessons in Logic, 7th ed. pp. 211, 1 1 should propose to call this (in an amended form) a Limited Deductive (Categorical) Syllogism. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 61 222), both of the premisses and the conclusion are Singular or Individual Propositions. I should like to extend the application of the term so as to include Syllogisms of which either (a) all the terms are Singular or Individual, or (b) the Subjects of both premisses are Definite Partial Terms. Although in Universal and General Propositions the dis- tributive all may have the same force as any in the majority of propositions, yet there are certain differences for any may occur as Subject - indicator in a proposition in which, by determination of S or P, the application of the Subject is restricted to one individual. E.g. Any one who wins this race will have a silver cup, Any person whom the Committee choose will be appointed Secretary, Any one may have my ticket (we could not here replace any by all}. Any is equi- valent to the a or an in many proverbial sayings e.g. A woman's mind and winter's wind change oft, An honest miller has a golden thumb, An ill plea should be well pleaded. The force of any X seems to be this: A thing, and the only condition of acceptance is Xness. Hence it follows that any is equivalent to all, wherever more than one is in ques- tion. From the statement that any X is Y it follows that all X's are Y (if there be more than one X), because Xness is connected with Yness. And, conversely, from all X's are Y it follows that any X is Y, because from every X being Y there may be inferred a connection between Xness and Yness. [TABLES. 62 IMPORT OF PROPOSITIONS. 3 P- 5 ^ c 2 d <0 g > _o A kJ C '"5-iI ^E ifc- w ? PH 2 |J ^ CC Q 5J ill I ir * H t IB C PH II gi O h s - ^7 3S | II a ^ o S 2" PH 5 g * 5 3 55 O 2 5 tc 'fl k H O 4 B a PH 1C ^pt H ^2 a X 2 oi ^-. 1 g| 02 ^ iJ OS < | SoT < OD | fi . H -|>l ~^| j .3 O -/I & PH ^H .T3 H ^ ce 1 II o"^^' HH 1 1 o = 1 ~|1P S oS oi ^ pS^* o K *- 02 fe 5*8 o c ^ E 'S H 3.2 H S * hH 02 O . jl"~ go ^7 I 31 SB . 11 |I PH ~H o | | ^(^^ -4 I "fc S O r^i s CATEGO 1 a 4- 3i s.2 t3 -3 'E'i 2 o * w o 2 PH ^3 E. -< g PH 2 00 .2 'o PH 4) .'S pfll z 13 ^ C - M (0 li^il il IP I! .J go ' 3 If ^ IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 63 PH 2 > Pi H -- s fa r . ^ c PH O 2 ? ^ A ^o 1 to c PH ^_ ^ ^S "^' "'2 a * ^-^ nlfi OS (C S o ^ - ** *5 S O OH S i5 ft. 55, e ^ a> |i|j -T d ^ ^ . j=^= j ai 55 . CO C^ '*^ fa * 2 *-* * S "^^ g H is ^' K 09 i ^ Q v> 03 c8 Q -^- ' (^ B * PH ^ , O < W O "-V . 3 "&4-W P< b ^S 11 " S H !~?1 Bi- o ^ ' ;.-S3g w 2^ I 1 !! 1 ?!.!!! ^.2 2i^cg^ S -era fe o es I .2 c g ^ ' 2 o co _ c8 B - fi O a o o m 'S^ ss ol om is ; iou suiiii S53-S.S> IMPORT OF PROPOSITIONS. TABLE XIX.] INDIVIDUAL PROPOSITIONS (APPELLATIVE, DESCRIPTIVE, AND MIXED) INDEPENDENT PROPOSITIONS. e.g. The sun is not a planet ; the present Czar is a tyrant ; Praise -God Bare- bones is one of Sir Walter Scott's characters ; Mon- mouthshire is not a "Welsh county ; Aglaia was a Greek goddess ; Jack is a fidgety child ; Tom Smith, the boy I speak of, has a ferret. DEPENDENT PROPOSITIONS. e.g. The CEdipus Tyrannic of Sophocles is an unsur- passed tragedy ; the Inferno of Dante has not been satis- factorily translated into English; the year 1888 A.D. was a year remarkable for its bad weather ; the youngest child of that poor woman has just died of whooping- cough ; Jane Smith's eldest boy has scarlet fever ; the P.S. to your letter yesterday was not of much conse- quence ; the circumference of the earth is about 24,000 miles ; Bacon of Verulam seems to be the denomina- tion by which Francis Bacon is commonly known to Ger- mans ; the greatest poet of the Elizabethan age was Shakspeare. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 65 ! "3 =- g a 3 "I Hi a E o | I, S ""< .2 . > a P? ! 1 o (f -S |B~I ^ K 02 S ' s 0. -S - ca &S 25 ^ &1 1. - II S-Si o cj i 2 < K S -S' "S ^* g . ' " o 1 - 08 oM '43 o i-r s -J s '66 IMPORT OF PROPOSITIONS. TABLE XXI.] UNIVERSAL PROPOSITIONS (SPECIAL). DEFINITE PROPOSITIONS. DISTRIBUTIVE PROPOSITIONS. Independent Propositions. e.g. All conic sec- tions are m a t h e- matical figures ; no elements are com- pounds ; no English Decembers are warm months ; no March could be more wintry than this July ; genus includes specie* ( = every genus, etc. ). COLLECTIVE PROPOSITIONS. Independent Propositions. e.g. All circles are fewer than all conic sections. INDEFINITE PROPOSITIONS (DISTRIBUTIVE). Independent Proposition*. e.g. Any circle is a figure with equal radii ; any Predicable is out of place here ; any Predicable will do for illustration. Dependent Proposition*. e.g. All Figures of Syllogism are valid forms of reasoning. Dependent Propositions. e.g. All Syllogisms in the first Figure do not include all valid Syllogisms. Dependent Propositions. e.g. Any Figure of Syllogism is a valid form of reasoning ; any April in England is an uncertain month with regard to weather; any Friday in Lent is a fast day. IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 67 00* CT^ <0 s % o a .2 .&-. 2 "2 13 a, g If 5 "is El s a^^ 2 ~ 5E O - 1 ^ ci- . & 1 -- 2 H w "2 "3 S. ' " i - 1 ^ cT ^ 1 & -- s5 J , .s '~\ ^" SfcHtSc3> a Scoa-'+J- < -' HPM S r ooC J g>,SS'? * -< S "^^ S b -I rQ B fl g.2 - 5, 5s ,-^ tt) CO W -~ -i"S ec -" : ;: 2; ^5 aj a 5 * j; ogjj % G"* S~ O S 3 h^- ~ -*a o ^ . T* o ^^-= '5 -c H 5 "*' & E ^ ^~u - c 'f'Sci" M H-t 55 rf ^ * y has been tak< recovered ; Qne J- m f litia . man i? not , a gold medal as big as a crown piece is t A Master in Lunacy was summone Court; an Asplenium Lanceolatum was frost ; one Cystopteris is a sickly plant ; a was then on the throne of Germany Jacqueminot is not mentioned. Dependent Propositions. e.y. One warder of a prison is missing of an artillery regiment is a prisoner ; friends is not a ratepayer ; a spire of been struck by liglltning. A guardian of the poor ought to be a ing person ; a frond of Allosorus t'ri-tpi' preserved specimen in my collection ; from Gower sang at the Eisteddfod ; a Baroko must be reduced ; a colonel of i prisoner ; one reduction from the 4th 1 1st has not beon attempted. * _ 5 3 O ^ S jr x5gwr.*t 111! NX S a < <.Q S, u 0. ft- SH r. 'n ^ ' S PH E S s o>"S 2 15 o2O75 "||' w w H J B S B Z -K ^^3 3 5 w ENUMERA (AL 1 DISTRIBUTIVE PROPOSITIONS. ^ *3 lis:l||l ^3*-! C -**-! Ci * ' S-^ s^^S^^ -iti.i*s^ ffa| & 5, SO, . S % ^ S a o > P 0) 08 g 03 CO P3 B 5 >- p B * r-3 g E K & " ** fi ** 8 *0 'I "** m a H ^ 'S -2 o . fe y^ B ~ HO !-> Q3 ^J ^ *^ CO I-C 1-1 H M 00 - - g ^ a o S > * Ss o ^ 1 ^ O2 ^ II 1 ^ S cc O o t-< ft* i^ ^- Q 0) Q(S Sf ^ (i-2'2 to> ^ o ^ , O rs o - 2 s S^ .3 ! O "o'S are us argumen o s }{l| IMPORT AND CLASSIFICATION OF CATEGORICAL PROPOSITIONS. 75 TABLE XXX.] PLURATIVE PROPOSITIONS (UNIQUE SUMMARY). (DESCRIPTIVE, MIXED, AND APPELLATIVE.) DEFI FINITE KITE INDE PROPOS ITIONS. PROPOS UTIONS. DISTRIBUTIVE COLLECTIVE DISTRIBUTIVE COLLECTIVE PROPOSITIONS. PROPOSITIONS. PROPOSITIONS. PROPOSITIONS. Independent Independent Independent Independent Proposition*. Propositions. Propositions. Propositions. e.g. Those e.g. Those two e.g. Some of e.g. Some of planets are eacli planets are Ju- the planets are the planets are larger than the piter and Saturn ; larger than the Jupiter, Saturn, earth; those those English earth ; some of and Venus. ancient Greeks bishoprics are the elements are Some of the were heroes ; two Durham and very heavy sub- Sirens were heard of the planets are Chester. stances ; some of singing together. nearer to the sun Those Graces those prisoners than the earth is. are Thalia and are spies ; several Those Muses Aglaia. of these trees are frequently re- have been struck ferred to by poets. by lightning. Some of the Muses are not very important personages in my- thology. Dependent Dependent Dependent Dependent Propositions. Propositions. Propositions. Proposition*. f.rj. Those two e.g. Those con- e.g. Some of e.g. Some of of the continents tinents of the the great rivers the great rivers of the Eastern "Western hemi- of America are of Europe are hemisphere are sphere are North larger than, any the Volga, the immensely larger and South in Europe ; some Danube, the than Australia ; America ; those of his pupils are Rhine, and the three members of grandsons of not geniuses. Loire. the present Cabi- Queen Victoria Some of the Some of the net are D.C.L.'s; are soldiers and Muses of Hesiod Muses of Hesiod these plays of sailors. are better known were Clio, Mel- Euripides are Those Muses of than the others. pomene and Terp- masterpieces. Hesiod are Clio sichore. Those Muses and Euterpe. of Hesiod are favourite deities of the poets. IMPORT OF PROPOSITIONS. TABLE XXXI. ] PLURATIVE PROPOSITIONS (UNIQUE ENUMERATIVE). (DESCRIPTIVE, MIXED, AND APPELLATIVE.) DISTRIBUTIVE PROPOSITIONS. Independent Propositions. e.g. The largest and second largest of the planets both exceed the earth iu bulk. Aglaia and Thalia were daughters of Apollo. Dependent Propositions. e.g. The largest and the smallest of the continents of the Eastern hemisphere have immense rivers. The Agamemnon and Choephone of jEschylus are fine plays. COLLECTIVE PROPOSITIONS. Independent Propositions. e.g. The greatest and second greatest of German poets are Goethe and Schiller. Aglaia and Thalia were two of the Graces. Dependent Propositions. e.g. The largest and the smallest of the independent States of Europe are Russia and San Marino. The Agamemnon and Choephorse of jEsehylus are two out of the three plays which form the Oresteia. SECTION VII. NOTE ON THE PREDICABLES. In the doctrine of Predicables we are concerned with the matter of propositions, since it is impossible to say of pro- positions expressed in symbols, under which Predicable-head the Predicates come. This subject of Predicables is full of confusion, and emphatically illustrates Carlyle's saying that " mixing things up is the great bad." It does not seem to me possible to reduce the accounts of Predicables to a form that would have practical or theoretical value ; but it may clear up the subject a little to indicate the different elements and points of view which, with- out clearly discriminating one from another, they seem to include. We may distinguish (1) a division of Predicates regarded from a particular point of view i.e. in relation to NOTE ON THE PEEDICABLES. 77 their Subjects or, more accurately, a division of Predicate- names regarded in relation to their Subject-names. (2) A scheme of division, and subdivision by dichotomy (" the matchless beauty of the Eamean tree "), from which a series of definitions " per genus et differentiam " and the relations of the positive members in a hierarchical classification are deducible. (3) A view of the relations between classes of natural objects and between individuals and their classes, resulting from and only compatible with a peculiar doctrine of the constitution of nature. (4) The relation between what the Subject-name applies to and what the Predicate- name applies to. (Cf. Genus and Species, which refer to relations between classes : cf. also Aristotle's division into Predicates which are (a) convertible (Definition and Property), (b) not-convertible (Genus and Accident) with the Subject ; in (a) there is identity, in (&) there is not identity of denomi- nation of S-name and P-name.) (5) The relation between what the Subject-name denominates and what the Predicate- name determines (cf. Difference, Property, Accident, which refer to relations of Subjects and their Attributes cf. Mill (Logic, i. p. 134, 9th ed.), confusion between class-relations and relation of Subject and Attribute) ; (6) A division of General Names corresponding to differences of classes (cf. Mill, Logic, Bk. i. ch. viii. 21. 134, 9th ed.). If we take the Tree of Porphyry, and make a table of Pre- dicates according to the suggestion which it affords, we get an intelligible division of Predicates into (a) Genus (wider containing class). (&) Species (narrower contained class). (c) Difference (mark by which Species is distinguished from Genus). But except on the Realist view, or where the Difference is unique, Genus is not distinguishable, in predication, from Difference (as in, e.g., All men are rational, All men are animals) ; unless we say that Genus is understood to refer to denomina- 78 IMPORT OF PROPOSITIONS. tion and Species to determination. Genus + Difference, when predicated of Species, give the Definition e.g. Man is a rational animal here there is identity of the classes referred to. The omission of this head of Predicables seems a defect in the Scholastic account of Predicables. If I say, Ccesar is a man, I predicate Species Species prjfidicabilis. But if I say, This animal is a man, what is it that I predicate (on any view of the Predicables) ? I do not see under which head of Predicables this Predicate is to be brought. If I say, All negroes are men, I predicate Species too, on the Realist (or on Mill's) view. But if we are to take this view, nothing but exhaustive knowledge can enable us to know in any case under which Predicable-head our Predicate comes. If I say, All men are animals, I predicate Genus, and All men is a Species subjicibilis. In, These animals are rational animals, I do not know what Predicable I predicate. And if I say, All rational animals are men, what is my Predicate ? Not Genus (that would be animals). Not Species, for that would be rational animals, Species it is said consisting of Genus and Difference. Not Difference, because rational would be the Difference. Not Definition, because here the Definition of the Predicate is given by the Subject. Not Property (for Property flows from essence, and men contains the whole of the essence). Not Accident (because men is essential). Coincidence of two classes in extension (of two class-names in application) can hardly be called a relation of classes (i.e. a relation of the extension of classes or application of class- names) at all (cf. post, p. 80, note 1). Difference, Property, and Accident either do not express class-relations (which are relations of extension), or they are resolvable into Genus or Species. Genus and Species are pro- perly understood in denomination (quantitively) ; but Differ- ence, Property, and Accident are properly taken (if they are distinctive at all) in determination (qualitively). (Cf. Jevons, Principles of Science, p. 699, 9th ed. "Difference, it is evident, can be interpreted in intension only.") MILL'S VIEW OF THE IMPORT OF PROPOSITIONS. 79 SECTION VIII. MILL'S VIEW OF THE IMPORT OF PROPOSITIONS. Any further general differences in (unquantified) Categorical Propositions, beyond those already noticed, depend, I think, wholly upon determination, upon 1. Eelations of determination between S-nanie and P- nanie here we get the distinctions between Analytic and Synthetic, Real and Verbal. Mill says that Verbal Proposi- tions only inform us as to the meaning of names ; and I should like to take him as nearly as possible at his word, and restrict the term " verbal " to Definitions and Proposi- tions asserting Synonymity of names. Such a Proposition as Courage is Valour (1) may mean (a) The word Courage is a word having the same application as the word Valour (in which case it is verbal), or (&) The thing named ~by the word Courage is ike, same as the thing named by the word Valour. I should propose to group together (a) and (&) with Defini- tions, as Nominal Propositions, thus : NOMINAL PROPOSITIONS. Verbal Propositions. Definitional Propositions. e.g. Man is a ra- tional animal. (a) Synonymous Propositions. e.g. Courage is Valour ( = The word (//) Quasi-Tautologous Propositions. e.g. Courage is Valour (= The thiny Courage is a word, -named by the word etc.) ; Marguerite is Courage, etc.). Daisy. Understood as (a), (1) is plainly a question of names ; understood as (6), not only is the denomination of S and P the same, but also no difference can be pointed out in the determination of S and P respectively, except that the object 80 IMPOKT OF PROPOSITIONS. named is referred to by one name in S and by a different name in P. 1 2. Determination of S-name or P-naine, or both. Under this head must certainly be reckoned Mill's division of pro- positions into Propositions of Existence. Coexistence. Sequence. Causation. Eesemblance. (Cf. Mill, Logic,- i. 116, 9th ed.) With reference to this list, Prof. Bain says that Mill " enumerates five ultimate predicates, or classes of predications" (Bain, Logic, i. 106, 2nd ed.) ; but though it seems to me to be true that Coexistence, etc., and such Existence as can be expressed, are most commonly expressed in the Predicate of a proposition, Mill's account of the heads of Coexistence and Succession is by no means in accordance with this view. He analyses, as an example apparently of both Coexistence and Sequence, the proposi- tion, " A generous person is worthy of honour " (cf. Logic, i. 110-112). What he here means by Coexistence (? and Sequence), and declares to be the " most common . . . mean- ing which propositions are ever intended to convey," would appear to be Coexistence of Attributes ; 2 and since Attributes cannot coexist (or exist) except in a Subject, this account of the import of propositions conies very near to the one I have proposed, only that it does not apply without modifica- 1 In all cases of coincident denomination of S-name and P-name in a Cate- gorical, the only "relation " between the Term-names is a relation of determina- tion, a relation within the one class which is indicated by each of them. In denomination, the S-name and the P-namc are not related, but identical. This remark applies both to Nominal Propositions and also to what are commonly called Synthetic or Real Propositions, e.g. All food-cookers are risible creatures (cf. ante, p. 79). * This, which may be accepted as Mill's view of the Formal Import of Pro- positions (in as far as it is to be gathered from the Logic), appears to be con- nected with his view of Logic generally, as concerned pre-eminently with Induction, with passing to new truths, for it is only by fresh enlightenment as to the connections of attributes that an increase of knowledge respecting classes of objects can be gained. MILL'S VIEW OF THE IMPORT OF PROPOSITIONS. 8 1 tion to what I have called Quasi-Tautologous Propositions, 1 and that Mill (though somewhat doubtfully) interprets partly in Sequence as well as in Coexistence (cf. op. cit. i. pp. 113, 114, 6). Again, according to Mill (op. cit. i. p. 116), this proposition, " The sensation I feel is one of tightness," is among the propositions which assert Resemblance. But this proposition does not seem to have any distinctive character- istic justifying that title. The Category of Causation he reduces to Sequence. As one example of a proposition assert- ing "a sequence accompanied with causation," Mill gives "Prudence is a virtue" (pp. 119, 120). Here we may perhaps say, that if this proposition asserts " a sequence accompanied with causation," then of any proposition with Common or Attribute Terms we may give the same account. Mill's application of his Categories to the Import of Pro- positions seems to me extremely strained, and the mixture here of Formal and Material (non-formal) points of view very confusing. Categorical Propositions which in any ordinary sense would be said to assert Coexistence, Sequence, Causa- tion or Resemblance, assert it in virtue of the content of the terms (generally of the Predicate) ; and thus understood, there are other Categories which might make good their claim to be added to Mill's list ; e.g. the Categories of Inclusion, Ex- clusion, Intersection, Coincidence, etc. Then there are the Categories of Identity (and Non-identity) and Diversity, which apply directly to all Categorical Propositions without exception ; the Categories of Inherence and Subsistence, which apply to all Adjectival propositions, such as, e.g., Trees are green; the Category of Inference, which applies to all Hypothetical and Conditional Propositions ; the Categories of Relations of Magnitude, Part and Whole, and so on. 1 According to Mill himself, its application would be very much more restricted. 82 IMPORT OF PROPOSITIONS. SECTION IX. SYSTEMIC OR DEPENDENT PROPOSITIONS. I mentioned above (of. ante, p. 20) the connection between what are called a fortiori arguments and Dependent or Systemic Terms. A proposition which has one such term for S or P or both, besides the ordinary purely formal Immediate Inferences which can be drawn from it in just the same way as from Independent Propositions, furnishes other Immediate Inferences to any one acquainted with the system to which it refers. These inferences are not purely formal, inasmuch as they cannot be drawn except by a person know- ing the " system ; " on the other hand, they are not material in the ordinary sense, since no knowledge is needed of the objects referred to, except a knowledge of their place in the system, and this knowledge is in many cases almost coexten- sive with intelligence itself; consider, e.g., the relations of magnitude of objects in space, of the successive parts of time, of family connections, of number. From such a proposition as The son of C is the father of D, iti addition to the purely formal inferences which may be drawn (the father of D is the son of C, etc.), it is possible for any one having the most elementary knowledge of family relationship to infer further that C is the grandfather of D, C is the father of D's father, D is the son of C's son, D is the grandson of C, etc. From C is equal to D (besides Something equal to D is C, etc.) it can be inferred that D is equal to C, C is not less than D, SYSTEMIC OR DEPENDENT PROPOSITIONS. 83 D is not greater than C, C is not greater than D, Whatever is greater than C is greater than D, and so on. (Cf. also, C is an inference from D, etc.) In each of the above examples we are not dealing solely with one object or group in the same way as in Independent Propositions, e.g. All men are mortal, Tully is Cicero, The sky is blue we are considering, besides the identity of denomination of S and P, two objects quantitively distinct, namely C and D. The S and P of each proposition have, of course, as just remarked, the same denomination, but an inspection of the Terms (where they are understood) enables us to know that in each case we are concerned with two things (two Subjects or two Attributes) related in a certain way, while of the examples last given this cannot be said. In each of the Dependent Propositions given, what is predicated of S is its relation to another object, and we are able to take that other object and predicate of it its relation to the first object. And where we have two Dependent Propositions as premisses, we are concerned with three distinct objects, and the relations between them ; and the point of union may be in one of the objects, to which both of the others are related. These con- siderations seem to me to account for the reputed anomalous character of a fortiori, etc., arguments. Every such argu- ment can, I think, be expressed (at greater or less length) by help of Immediate Inference or by rigid Syllogism, or by a combination of both, propositions being used that state explicitly principles or laws of the systems referred to, which, in the ordinary conveniently abbreviated form, are only implied. E.g. in A is greater than B, B is greater than C, A is greater than C 84 IMPORT OF PROPOSITIONS. (where we have four term-names), the reasoning may be expressed by a Conditional Syllogism, thus : If any thing (A) is greater than a second thing (B), which (B) is greater than a third thing (C) ; that thing (A) is greater than (C) : A thing (A) is greater than a second thing (B), which (B) is greater than a third thing (C) : That thing (A) is greater than (C). This Conditional may, of course, but with increase of awkwardness, be reduced to Categorical form. When Mansel says that a fortiori, etc., arguments as they stand are material, i.e. are arguments in which the conclusion follows from the premisses solely by the force of the terms (Hansel's Aldrich, pp. 198, 199), but that they are reducible to strict syllogistic form, he appears to me to be right. Among the most important of Dependent Propositions are Mathematical or Quantitative Propositions. SECTION X. , NOTE ON MATHEMATICAL PROPOSITIONS. My question here is, What is the quantity of the terms, and what the force of the copula, in Mathematical Propositions ? Take, e.g., (a) {2 + 3 = 6 1} , and let 2 + 3 and 6 1 mean, 2 + 3 and 6 1 of an assigned unit. Taking = as signifying is equal to, and 2 + 3, etc., as signifying 2 units together with 3 units, etc., may we read (a), with the subject taken distributively, as any (2 + 3)=some (6 1) (i.e. any 2 + 3 is equal to some 6-1, of the assigned unit) ? NOTE ON MATHEMATICAL PROPOSITIONS. 85 We cannot have any (2 + 3)=any (6-1), because the objects denoted by the Predicate in that case might be the very same objects denoted by the Subject, in which case the copula = would be inappropriate, since a thing cannot be said to be equal to itself. And if, taking S and P collectively, we interpret (a) to mean all (2 + 3) = all (6 - 1), on this view we might have 1 = (1 + 2 + 3+ etc.) (1 + 1) = 1 (cf. Boole), and so on ; for all 1's taken collectively embraces all units, however grouped. But this would not be admissible in Mathematics, and the appropriate copula here (cf. the Multiplication Table) would be is, not =. (But cf. Monck, Introduction to Logic, p. 19.) If, however, we say (cf. ante, p. 84) that (a) means any (2 + 3) = some (6 1), there arises the difficulty that Simple Conversion (as com- monly applied with the copula = ) would give us a pro- position of this form, some (6 1) = any (2 + 3), which would not be valid, for the reason which prevented our accepting any (2 + 3) = any (6 1). We might have some (2 + 3) = some (6 1-), or these (2 + 3) = (those 6 1), etc. But here the universality which we attribute to Mathe- matical propositions is wanting. 86 IMPORT OF PROPOSITIONS. If we interpret = as meaning is-equal-to-or-identical-with, then we can say any (2 + 3) -any (6-1), and our proposition is true, universal, and convertible. It may be remarked that the copula is-equal-to-or-identical-with has the same force as is-or-is-equal-to. If, on the other hand, we hold the figures in question to have the most general or abstract application possible, and take 2+3=6-1 to mean The numbers 2 -f 3 = the numbers 6 1 ; the difficulties above referred to do not arise. Thus under- stood, 2 + 3 = 6 1 is equivalent to any (2 -j- 3) is equal to any (6 1). I take equal to mean exactly similar quantitatively, and identical to mean the very same quantitively (numero tantum}. Thus a thing would be equal to some other thing, identical with itself. (Cf. post, Section XXVII.) SECTION XL PREDICATION AND EXISTENCE. The point discussed under this heading is indicated by Dr. Venn (Symbolic Logic, p. 128) as the question whether a " logician who utters a proposition of the form ' All X is Y ' can reasonably refuse to say Yes or No to the question, Do you thereby imply that there is any X and Y ? " (cf. below, " assert or imply "). 1 1 The subject here considered is treated of by the following writers (among others) : Jevons, Deductive Logic, pp. 141, 142; Dr. Venn, Symbolic Logic, PREDICATION AND EXISTENCE. 87 I wish to inquire, first, what can this question mean, and what answer can be given to it, as long as we do not mean by " existence " merely membership of the Universe of Discourse? (cf. Keynes, Formal Logic, 2nd ed. pp. 137, 138). If we say that evert/ term is the name of something, or if we say with Mill (Logic, Bk. i. chs. ii., iii.), that whatever can have a name given to it is a Thing, and that all names are names of Things, then we must either answer Yes to Dr. Venn's question, or we must say that there may be Thing* nameable and named which are absolutely non - existent. That this latter answer should be given is perhaps suggested in the question, " Whether when we utter the proposition ' All X is Y ' we either assert or imply that there are such things as X or Y, that is, that such things exist in some sense or other?" 1 (Symbolic Logic, -p. 126). It is, at any rate, Dr. Venn's view (cf. Symbolic Logic, ch. vi. e.g. pp. 130, 131, 136, 137) that Universal Categorical Propositions do not (while Particulars do) imply the " existence " of what is re- ferred to by S and P. (The view that the meaning of " All X is Y " is expressed by Xy = adopting Jevons' notation refers the non-existence which is here predicated not to X or to Y, but to Xy.) I should maintain that the Things spoken of must exist in some sense or other, and that those who assert the contrary may reasonably be called upon to produce and justify a definition of Thing which excludes existence in every sense, whatever. Indeed Dr. Venn himself in his most recent work 2 seems to allow this, for he says (Empirical Logic, p. 232) that " mere logical existence cannot be intelligibly predicated, inas- much as it is presupposed necessary by the use of the term." Mere logical existence means, I suppose, merely such exist- ence as is involved in a thing's being thought about and ch. vi., and Empirical Logic, chs. ix., x. ; Mr. Keynes, Formal Logic, Part ii. ch. viii. ; Mr. Bradley, Principles of Logic, note at end of ch. v. of Bk. i. 1 The italics are mine. 2 In which, however, he by implication confirms the account of Predication and Existence given in the Symbolic Logic (cf. Empirical Logic, pp. 230, 257). IMPORT OF PROPOSITIONS. named, which seems to necessitate some reference beyond the momentary thought of the thinker. 1 Dr. Venn also says (Empirical Logic, p. 141), "I incline therefore to say de- cisively with Mill that the reference of names is to be carried beyond the notion or concept to the objects or things from which the notions are derived or should be derived." And again, p. 158, "Each separate word, whatever the sense through which it is conveyed, is to be taken as an indivisible whole, and referred directly to the corresponding idea, or rather ... to the phenomenon itself." Again, " People do not speak with an intention to mislead, nor do ordinary adults talk habitually of nonentities" (p. 275). It is but the barest minimum of " existence " of any kind whatever mere That-ness that I contend for (no other more deter- minate existence could be involved in the use of all terms), and " logical existence " must certainly involve this minimum. 2 Whoever affirms that any term can be devoid of denomination (and hence have no application, not be the name of anything), would allow, I suppose, that such a term must have deter- mination (meaning) ; but I am quite unable to see how a term can have determination and not denomination that is to say, that it can signify character a combination of attri- butes but not " existence ; " this seems like saying that it can signify some kind of existence but not existence itself. I can only conceive of the world as consisting of Subjects (more or less permanent) and Attributes (more or less transient), each having at least a minimum of " existence " by which I understand a capacity of affecting or being affected : such a capacity belongs to even the most fleeting idea of the feeblest mind. No term, it appears to me, can be the name of any- 1 Cf. Bosanquet, Logic, i. 18, 19: "A name always refers to something." " That which is named is recognised as having a significance beyond the infini- tesimal moment of the present and beyond the knowledge of the individual ... It is, in short, characterized as an object of knowledge." a The "existence " that I mean is, I think, what is meant by Professor William James when he says, " In the strict and ultimate sense of the word existence, everything which can be thought of at all exists as some sort of object, whether mythical object, individual thinker's object, or object in outer space and for intelligence at large" (Mind, Jv. 331). PREDICATION AND EXISTENCE. 89 thing other than some of these Subjects or Attributes, and to some of these Subjects or Attributes any term must apply. It might be said, I suppose, that when I mentally construct the plan of a building, a picture, a story, I am merely putting together " combinations of attributes " which have no " exist- ence ; " I should say, however, that so far from having no existence, these objects of thought may have an extremely potent and influential existence, for they may be the arche- types and part-causes of constructions having a visible and tangible existence. It appears to me that they may have more energy of existence, and therefore more reality, than visible and tangible objects which once had physical existence, but which, in the form in which they are thought about, have altogether ceased to be, except in thought. And indeed the same may be said of objects of thought which are not arche- typal of any constructions in the material world. The exist- ence of anything, and the thought of that existence, are of course two distinct things, and also existence in one case may differ in character from existence in another case ; but these admissions are not inconsistent with the view that all thought is of something to which some existence is ascribed, and which actually has some existence though it may very well be that the existence ascribed to it may be a different kind of existence from that which it has. If by terms having determination and not denomination is meant terms which apply to concepts logical (or monado- logical) concepts, that are complete in themselves and altogether isolated it appears to me that even supposing such concepts to exist as ideas, and to have names by which they are called, these names could never be the terms of propositions. (Cf. ante, Section V.) If it is admitted that all terms are names of something, but maintained that the Things which are named may be " non-existent," the answer to Dr. Venn's question with which we started may, of course, be in the negative. But (besides the difficulty as to the meaning of Thing, and besides the difficulty there seems in affirming or denying 90 IMPORT OF PROPOSITIONS. anything of what has absolutely no existence whatever, or in making one affirmation or denial in preference to another) how, on this view, are we ever to posit existence pure and simple at all ? Unless an implication of existence is con- tained in the mere enunciation of the S and P of a proposi- tion, I do not see how it can be " implied or asserted." It is not existence pure and simple which is ever asserted in the P of any proposition, 1 but only some mode of existence, that is, some characteristic ; the bare " existence " of which, of course, depends upon the " existence " of that of which it is the characteristic. E.g. if I say Fairies are non-existent, the existence that I deny is not existence of every kind, since fairies have a certain kind of existence in fairy tales and in imagination. This existence in imagination is, of course, dis- tinct from the so-called mental image which accompanies not only our comprehension of the terms of propositions which we understand, but also our apprehension of objects which we recognise. What is denied to them in the above proposition is (perhaps) " ordinary phenomenal existence and at the time present." If I say Ideals of conduct exist, the existence that I affirm is not bare existence, nor, e.g., the kind of existence just denied to fairies, but existence in men's thoughts. Unless it is admitted that mere existence is intended to be implied in the very enunciation of the terms of a proposition, the interpretation of our proposition 1 Cf. Bain, Logic, i. 59, IJ)7, 2nd ed. : "There is nothing correlative to the supposed Universe, existence, the absolute ; nothing affirmed when the sup- posed entity is denied." "With regard to the predicate Existence occurring in certain propositions, we may remark that no science, or department of logical method, springs out of it. Indeed all such propositions are more or less abbreviated or elliptical. " Cf. also Venn, Empirical Logic, p. 198 : "Existence, in every case where it need be taken into account, can be regarded as being of the nature of an attri- bute." A " special kind of existence " is not "implied by the use of the term ; is not conveyed by the ordinary copula ; it is a real restriction . . . and there- fore it is a perfectly fit subject of logical predication " (op. cit. p. 232). PREDICATION AND EXISTENCE. 91 is liable to involve us in an infinite reress ; we have no TTOV Take a proposition of the form All E is Q interpreted on the view that Predication (at any rate in the case of an Universal proposition) is not intended to involve existence. All K is Q (1), it is said, is equivalent to Eq = O (2) * = There is no Eq (3). If we remove the ambiguity of is, (3) appears to be equiva- lent to No Eq is existent (4), (4) = All Eq is non-existent (5), and (5), interpreted in the same way as (1), is equivalent to No Eq-existent is existent (6), and this process may be carried on indefinitely (compare the result of interpreting S is P to mean S is P is true}. Besides which, (6) is a contradiction in terms. It is said that in reducing All R is Q to Rq 0, Subject and Predicate are taken strictly in extension (" denotation "). But since All R is (some) Q is pronounced to be equivalent to (not All-E-not-(some)-Q = but) Eq=0, 1 It seems to me that in just that "existence" of the things named by a term which is "presupposed necessary by the use of the term," the "refer- ence to reality " is involved, of which Mr. Bosanquet speaks (Logic, Bk. i. ch. i. 2) as essential in judgment. And then every proposition by its very nature and constitution lays claim to be true it cannot help itself and it can only be called in question or contradicted by another proposition also claiming to be true. But unless the terms of propositions are the names of something having some kind of existence or other, one does not understand how this inevit- able claim of propositions can have even so much significance as to be capable of being rejected. 3 Cf. Venn, Symbolic Logic, pp. 25, 144, etc. 92 IMPORT OF PROPOSITIONS. it is clear (1) that it is R and Q, and not All R, (some) Q, that have been dealt with ; (2) that R and Q have been taken in determination. 1 A further point is, that unless the very positing of a term signifies the existence of something named by the term, we could never say, S is P, since the mere symbol S is certainly not the symbol P. And when our terms are synonyms, or our proposition declares a definition, as in, e.g., Courage is valour, The word man is a word meaning rational animal, the analysis into Sp = seems peculiarly inappropriate. I think that some of the difficulty of this subject arises from the circumstance that there is often confusion between the following two questions : (1) Does a term necessarily imply some " existence " of something to which it refers ? (2) Do people when they use terms mean to imply that those terms apply to things having the characteristics usually attributed to the things named by the terms (or their con- stituents) ? In particular, it seems that a confusion about time is often involved ; for instance, when it is said that any assertion, All R is Q, leaves (or is meant to leave) the exist- ence of E doubtful, it is not always clear whether the doubt refers to all (any) time, or some particular time. If the doubt does refer to all time, we are simply taken back to the question about bare existence, and can only ask, If it is doubtful whether there is, or ever was or will be, any R, what is the meaning of talking about R at all, and what can we be entitled to affirm or deny of R ? (And unless the S and P are symbols of something other than themselves, we could not even say, All R is Q.) If the doubt refers to some particular time, then it refers not to mere existence, but to a certain determination of existence. If this is expressed, it will occur as part of the attribution of S or P. If not so occurring, it can only be supposed to refer to the present moment, since the copula certainly contains no reference to 1 Cf. post, Section on Quantification and Conversion. PREDICATION AND EXISTENCE. 93 past or future time. On this view, if we take, e.g., the pro- position All Albinos have pink eyes, our assertion must contain (a) A declaration of an universal connection (namely that between being an Albino and having pink eyes). (&) A doubt whether there are any Albinos living at the present moment. It seems to me not only that any one making the assertion would not be naturally conscious of (&), but also that the presence of (Z>) to the mind is not even apparent on reflection that, in fact, it is quite irrelevant. Or take All cases of shooting through the heart are cases of death. Or If a man is shot through the heart he dies immediately. Is there any implication of doubt about the existence of present cases of shooting through the heart ? As regards the general question, Do people when they use terms mean to imply that those terms apply to things having all the determination usually signified by the terms or term- constituents ?, I should be inclined to say in answer to it that any proposition detached from context and tone of assertion must inevitably be understood to have such an implication. (Context or tone may, of course, so affect a pro- position as to make us aware in any particular case that S is P is meant to convey S is-not P. 1 ) A remark of Mr. Bosanquet's (Logic, i. p. 78), though directed to another point, seems confirmatory of this view. He says, " In every judg- ment, as Mill incisively contends, we profess* to speak about the real world and real things." That we do always so speak, cannot, of course, be maintained. But I think that we do so in more cases than are at first apparent. For instance, we 1 E.g. if one says to a very unpunctual person,' " You are always in time." 2 The italics are mine. 94 IMPORT OF PROPOSITIONS. not uncommonly assert a proposition from knowledge (real or supposed) of the relation of the negatives of the terms which we use as is no doubt the case in such sayings as, An honest miller has a black thumb inferred from, and meant to express, the supposed truth that All white-thumbed millers are not-honest. All the wheels that go to Croyland are wheels shod with silver, is another instance of the sort. It is possible (though not common except when we are using symbols) to combine a plurality of Subjects to form a fresh Subject, and a plurality of Predicates to form a fresh Predicate, or, in other modes, to construct complex Subjects and Predicates. We may, of course, in this way construct terms which determine attributes that never have been, and never will be, and even never can be, conjoined in a single Subject e.g. we may combine A is b and B is a and get the proposition Aa is Bb or AB is ab. Here not only denomination, but also determination, pro- position, and term would vanish altogether if we could refer the contradictory determinations to one and the same Subject. But if the determinations remain as separate as the term- constituents which express them, denomination lasts as much as determination ; but it is a mere collocation of denomina- tions (as well as of determinations) in the case of each " term." A further objection to the view under discussion is that it does not afford an ultimate analysis. For let it be admitted that All K is Q means PREDICATION AND EXISTENCE. 95 then what does Eq = O mean ? It must be read off as either (1) E-not-Q (is) nought (= Something is nothing], or (2) E-not-Q (is-equal-to) nought. But (1) is in the form S is P, and (2) is reducible to that form, unless we hold the complexity introduced into the copula to be a step in analysis. So we seem brought back to the point from which we started. Nor does the above interpretation of Categorical Proposi- tions furnish a general analysis ; for, giving a widely different interpretation of Universals and Particulars (according to which Particulars involve " existence " while Universals do not), it does not and cannot say what S is P means where 8 and P may stand for any term (e.g. Some E, All E, this E, one E, etc.). If the copula is unvarying, must not the con- nection between S and P in all propositions be the same ? And how could we interpret All E is Q (1) into Eq = (2) unless we had first understood (1) in its ordinarily accepted (or some other) affirmative sense ? We have in (2) two elements the Predicate and a constituent of the Subject which do not appear at all in (1). Whence do we obtain (E)q and ? and what are our data for the assertion of '(2) unless we have first understood (1) to assert concerning All 11 that it is Q ? If a distinction is to be drawn between pro- positions which do, and those which do not, make explicit reference to the actual existence, definitely determined in time, of what is indicated by S and P, I think the line should be between those having Proper Names and Singular and Par- ticular Definites e.g. This E, Those E's, etc. for S, on the one hand, and all other propositions on the other. Again, treating our propositions as Coincidentals (which 96 IMPORT OF PROPOSITIONS. for symbolic purposes, and indeed wherever we use uninter- preted symbols, we are bound to do), if (1) All E is Q is expansible to All E is some Q ; if (2) what affirmative Categoricals express is identity of denomination of S and P (in diversity of determination) ; and if (3) some implies " existence ; " must not the " existence " of All R be implied in All K is Q ? If not, some as qualifying the Predicate-name differs in the most extreme way from some as qualifying the Subject-name. And I do not know on what grounds such a divergence of meaning can be justified. Some exponents of the view which I am disputing, how- ever, hold a different form of the doctrine. They hold that the " existence " here in question is not bare or mere existence, but a particular kind of existence existence in (= membership of) some region to which we are referring, and which is our Universe of Discourse. We must, it is said, know in all cases what our Universe of Discourse is. But how are we to know this in dealing with uninterpreted symbols e.g. K's and Q's ? In such cases we must (1) define our Universe by reference to our terms, or (2) take the Universe as all-embracing. Or (3) we must admit that we do not know how to describe or indicate our Universe. If it is asked why we do not admit a fourth alternative, and call our Universe, e.g. X, or Y, or Z, without defining X, Y, or Z by reference to E or Q, I reply that since our symbols are uninterpreted, we are not justified in referring E and Q to any one such Universe symbolically indicated rather than to any other, if X, Y, Z have any distinctive force at all. And if it is said that they have not, and that taking, e.g., X, as our Universe-term in reference to All E is Q, simply changes All E is Q (1) into All EX is QX (2), then on PREDICATION AND EXISTENCE. 97 the proposed interpretation of (1) (since X=l and = x), we et which is a contradiction in terms. (And must not RX and QX have a Universe Y, and so on ?) On supposition (3) we must be unable to say whether anything belongs, or does not belong, to the Universe of Discourse, and in this case the Universe cannot affect our assertions in any way. On supposition (1) our Universe is a region containing (a) E, T, Q, q, or (6) some selection from these. If (&), we are forced to transcend the Universe (cf. post} ; and case (a) re- solves itself into (2) where the Universe is all-embracing. Here, too, we are involved in difficulties. For let the Universe- Term (indicating the region which includes E, r, Q, q) be X ; then we can say, Everything is an X. But this is no more than to say, Nothing is x ; and here we have transcended our Universe, and need some term which will include X and x. In mentioning our Uni- verse we always make it possible to transcend it. And when we do transcend it, is it any longer our Universe of Discourse ! What is it that entitles X rather than x to that appellation ? I do not see how, here, the so-called Universe-Term differs from a mere Class-Term. And in working with limited and indicated Universes, we encounter similar difficulties. If we take any limited Uni- verse X, calling any member of it an X, we are immediately liable to transcend X, and in the interpretation of All E is Q, (referred to the Universe X) as we must transcend it. Here X seems obviously nothing more G 98 IMPORT OF PROPOSITIONS. than a Class-term. I do not see that in affirming or denying it one does anything more than affirm or deny membership of a class; or that when one has affirmed x, one is any longer entitled to speak of X as one's Universe of Discourse. 1 Again, let us take as our Universe the region of Animal life, and referring to this, say, e.g. All lions are tawny (1). According to the interpretation I have been disputing O PH 2 -2 _ I-H ""K-g'-S^" 5 O P-i 8.2 i S -J3 ^ . E IffS'S _il o x -2 $ S PH W5< , 2 P H Sfl^g 1 - KSSS 1 -^^g"S-MO fl ^ A K 03 O Pn+3 , . .rH M ,* O fli fl *> o._ ^ y S-2'So ~ cr.2 a & Qo n H l-H ^ H 1*1 I 1 -S v. SP o s~-^ g r^ w B S 2 o M v'S &H q lalig^ -Afi s 1 a ^ O'? HH g M "*'< 111 * s l2-'82 e; S A C -- S -2 cc c .2 ALTERNATIVE PROPOSITIONS. 115 TABLE XXXIII. CONDITIONAL PROPOSITIONS. DIVISIONAL PROPOSITIONS. QUASI-DIVISIONAL PROPOSITIONS. Independent Dependent Independent Dependent Propositions. Propositions. Propositions. Propositions. e.g. If any e.g. If any e.g. If any e.g. If any goose is not grey, native of the flower is scarlet, argument is a it is white ; if British Islands is it is scentless ; syllogism in the any Member of not Scotch, he if any fowl is a 3rd figure, it has Parliament is not is Welsh, or spangled Ham- a conclusion in I a Peer, he is a English, or Irish ; burgh, it is either or 0. Member of the if any parrot from silver or golden. House of Com- the West Indies mons ; if any is not grey, it is Peer is not a green ; if any day Duke, he is a of the week is not Marquis, or an Sunday, Monday, Earl, or, etc. or Tuesday, it must be Wednes- day, Thursday, Friday, or Satur- day. SECTION XIII. (C.) ALTERNATIVE PROPOSITIONS. I should like to call propositions of the form S is Q or R Alternative rather than Disjunctive, because the differentia of these propositions is that they consist of elements connected alternatively, and because the name disjunctive, in its untech- nical sense, seems as applicable to propositions of the form D is neither E nor F as to those of the form D is E or F. The one question which has been considered of importance here 116 IMPORT OF PROPOSITIONS. is whether the members of an alternation are exclusive or unexclusive. There has never, I think, been any dispute or difficulty about Alternative (Disjunctive) Propositions that has not arisen out of this question concerning the force of or. There may apparently be alternation I. between terms; II. between propositions. I. may occur in the S as well as in the P of a proposition ; but propositions having an alternative S and not an alternative P have not been commonly called Disjunctive. Such a form as D is E, or F is G, is clearly an alternative combination of propositions, but it is generally reckoned as a " Disjunctive " Proposition, as well as propositions of the form S is Q or E. Alternative Propositions may be divided into I. Classificatory Alternatives, which may be (a) Subsump- tional (S referred to P as Species to alternative Genera) ; e.g. All men are spiritual beings or mere animals, (b) Divisional (reducible to Divisional Conditionals S referred to P as Genus to alternative (constituent) Species) ; e.g. Any parrot is green or grey. In Divisional and Quasi-Divisional Alternatives, and in them alone, the disjunction is not a disjunction of ignorance or indetermination. II. "What may be called Quasi - Divisional Alternatives (reducible to Quasi-Divisional Conditionals) ; e.g. Any flower is scentless or it is not scarlet. III. A class which, for want of a better word, I call Con- tingent Alternatives (corresponding to Elliptical Hypothetical) ; e.g. The author of those plays is Bacon or Shakespeare, A is B or C is D. It may be said that what A or B means is simply not [a and b] (using Jevons' notation, according to which a = not- A}. But even supposing that we admit this to be true in all cases without exception, it is still possible that it may be as insuffi- cient an account of the meaning of alternation as Hobbes' ALTERNATIVE PROPOSITIONS. 117 account of a Categorical Proposition, according to which what the proposition asserts is " [the belief of the speaker] that the predicate is a name of the same thing of which the subject is a name." This is true in all cases without exception, but it is not the ivhole of what is true in each and every case, and it would admit propositions (so called) of the form A is A. And so it may be with the above interpretation of A or B. Though A or B be granted to mean at least not (a and H), the question may yet remain, Is or to be taken exclusively or unexclusively ? Various reasons may be adduced in support of the view that where we have two (or more) Alternatives separated by or e.g. A or B these alternatives ought to be understood as mutually exclusive (as well as together exhaustive). The view of educated persons as to the usual meaning of or ought to be of some weight here. To take first experts. There are a large number of distinguished logicians who hold that or is exclusive. 1 Kant, Hamilton, Thom- son, Boole, Bain, and Fowler take this view (cf. Keynes, Formal Logic, 2nd ed. p. 167, note 2). Examples brought forward in support of the unexclusiveness of or by other logicians do not seem to afford very powerful confirmation. Take, for instance, Jevons' well-known example (Pure Logic, pp. 76, 77), "A peer is either a duke, or a marquis, or an earl, or a viscount, or a baron." This instance, it is said, disproves the exclusiveness of or, because a peer may have any com- bination of the alternative titles. But I think that what the proposition really means is, Any person, in order to be a peer, must be a duke or a marquis, etc. A peer may indeed, as a matter of fact, have every one of the five titles enumerated ; but if he is a peer in virtue of one title, he is not a peer in virtue of any other. One title gives all the privileges of peerage, and all the titles in Burke can do no more. Or take the proposition (which occurs in a " Previous " examination paper), " Every ragged person either is poor or wishes to be thought poor." This seems to me an extremely ingenious 1 The authorities on the other side will be mentioned later. 118 IMPORT OF PROPOSITIONS. example, and at first sight very telling on the side of unexclu- siveness ; but if its full meaning were expressed, would it not run as follows : Every ragged person is ragged either because he is poor, or because he wishes to be thought poor ? and in this case the alternation is clearly exclusive. In legal documents, as I am informed, or is understood as exclusive, e.g. " A. B. is entitled to a sheep or cow," would be taken to mean that A. B. is entitled to only a sheep or only a cow. (My authority here is a Chancery lawyer of much learning and experience.) I have asked a number of persons (not experts) whom I know, whether they think that in using or they mean it to be exclusive or unexclusive ; and to the best of my remembrance, not one understood it as unexclusive. When I turn to my own experience, it seems to me that this is my own case too, and that when I use or I always think of it as having an exclusive force. Where the terms used are not, in fact, exclusive, it might perhaps be said that the alternation is elliptical, the current form of speech being an abbreviated one, due to the desire for conciseness, or to the fact that the full expression of the meaning would be intolerably awkward, or to the circum- stance that the particular case in question occurs so seldom that the exact expression for it has not got minted, as happens with the adjectival forms of names not often needed except in the substantive form. It might, in fact, be said that in such cases the alternation is taken to mean more than it actually expresses, as the form A is A does in, e.g., "A man's a man," " Cards are cards " (Sarah Battle) ; or as Indesignate Proposi- tions do, e.g. Birds sing. But all this, though it has some weight, needs confirma- tion by the results of reflection. The confirmation which it seems to me to receive from reflection is as follows : In as far as the members of any alternation (if terms} are taken in determination and are similar in determination, are taken in denomination and are identical in denomination, or (in the case of propositions) have the same signification, (1.) The formal alternation has no alternative force. It ALTERNATIVE PROPOSITIONS. 119 may be said, in fact, that there is no alternation in the matter except an alternation of words or symbols merely. A or A has no more title to be called an alternation than A is A has to be called a categorical proposition. A is A tells us nothing, and A or A tells us no more than A. Or (2.) The affirmation of one member involves the affirmation of the other, and the denial of one member involves the denial of the other, which is incompatible with interpreting A or A to mean not (a and a). Or (3.) The denial (or affirmation) of a term or proposition justifies us in proceeding to its affirmation (or denial). This involves a contradiction. Or (4.) Neither member of the alternation can be denied (nor affirmed, if affirmation of one member involves the denial of the other). In this case an Alternative proposition cannot be the major premiss of a syllogism having categorical minor and conclusion. I am bound to admit that an answer to (2) and (3) has been suggested to me by which (4) is obviated, the case in which neither member can be denied being seen to be merely a case of the general rule that not loth can be denied. But if it is only in virtue of the alternation that we can assert that not both can be denied, while at the same time the " alternation " A or A is said to be equivalent to A that is, to have no alternative force we seem to fall upon a fresh difficulty. The reasoning of (1) remains in force, but it may be said that it does not entitle us to deny that alternatives are unexclusive, for their being unexclusive means no more than this, that we are not in all cases entitled to pass from the affirmation of one alternative to the denial of the other all that A or B means is, that we cannot deny both A and B. (And we cannot deny both, because the denial of either member entitles us to affirm the other member.) This is obvious, and admitted by every one when such a case is proposed, as, Some parishes in the east of London are peopled by paupers or criminals ; Fruit is unwholesome unless 120 IMPORT OF PROPOSITIONS. it is ripe or cooked. No one can say that in these and similar instances it is impossible for the determination of both alternatives to coexist in one individual subject. And that these cases are comparatively infrequent is not to the point. It may, however, be said that even here there is an exclusiveness of determination, though not of denomination. And if we admit alternation in which the members are wholly unexclusive, e.g., A is B or A is B (1), we must, it seems to me, give up the equivalence between Hypotheticals and Disjunctives, for the Hypothetical answer- ing to (1) is If A is not B, A is B (2), which is self-contradictory, and has therefore no assertive force ; whereas if (1) is equivalent to A is B, and (2) is equivalent to (1), (2) means A is B. I cannot therefore help concluding that although alter- native terms may sometimes be identical in denomination and it is perhaps in view of such cases that Whately, Mansel, Mill, and Jevons (cf. Keynes, Formal Logic, 2nd ed. p. 167, note 2) insist upon the non-exclusiveness of alternation yet alternatives must always have some element of exclusiveness, that otherwise they have no logical value whatever. There is no escaping the admission that in as far as any form of words has alternative force, the alternatives are rigidly exclusive ; also that in as far as any alternation cannot be reduced to a strictly exclusive form, the alternation vanishes just as in S is P, the proposition would vanish if P turned out to be not S. For the members, in as far as not exclusive, are one a denial of either involves denial of the other, contrary or contradictory. E.g. in All R is Q (1), or this R is Q (2), contrary denial of (1) involves denial of (2), and denial of (2) involves contradictory denial of (1). Cf. post. pp. 151, 152. So, if by alternatives being unexclusive is meant only that ALTERNATIVE PROPOSITIONS. 121 the affirmation of one member (or members) does not justify the denial of the rest, then alternatives are unexclusive ; if by alternatives being unexclusive it is meant that they may be without any element of exclusiveness, then they are not unexclusive. An Alternative Proposition then may, I think, be defined as A proposition in which a plurality of differing elements (connected by or, and called the alternatives) are so related that not all of them can be denied, because the denial of some justifies the assertion of the rest. Hence from (1) the denial of some elements we can pro- ceed to (2), the affirmation (categorical or alternative) of the rest (2) is inferrible from (1). Thus all Alternations are reducible to Inferential Propositions (cf. Keynes, Formal Logic, p. 170, 2nd ed.), and, conversely, all Inferential Pro- positions are reducible to Alternations. Divisional and Quasi- Divisional Alternatives reduce to Divisional and Quasi-Divi- sional Conditionals, e.g. Any goose is grey or white, reduces to, If any goose is not white it is grey. Any flower is scent- less or it is not scarlet, reduces to, If any flower is scarlet it is scentless. Subsumptional and Contingent Alternatives reduce to Hypotheticals, e.g. All parts of space are infinitely divisible, or they are not continuous quantity; That bird is a Guillemot or a Razorbill ; S is P or P is not S ; reduce to, If all parts of space are continuous quantity, they are infinitely divisible ; If that bird is not a Razorbill it is a Guillemot; If P is S, Sis P. [TABLE. 122 IMPORT OF PROPOSITIONS. PH K W E Js 53 1 H *O tC 3 03 t< "^ W cS O 'XJ o> 55 11 HI _1-1 ElK & a. ' g.s= c 00 fe Sgjj > H i i 03 3 H 2 > 2 Q B! o PH g H M ^j (5 PH i~& O d , . 1 s "S - - ^J 30 5,3 < S 03' S - o P