UMiatvi, Hew lortt BOUGHT WITH THE INCOME OF THE SAGE ENDOWMENT FUND THE GIFT OF HENRY W. SAGE 1891 Cornell University Library BC71 .M16 Reason, thought, and language: or The m olin 3 1924 029 149 354 The original of this book is in the Cornell University Library. There are no known copyright restrictions in the United States on the use of the text. http://www.archive.org/details/cu31924029149354 REASON, THOUGHT AND LANGUAGE OR THE MANY AND THE ONE A REVISED SYSTEM OF LOGICAL DOCTRINE IN RELATION TO THE FORMS OF IDIOMATIC DISCOURSE BY DOUGLAS MACLEANE, M.A. SOMETIME FELLOW, LECTURER AND CHAPLAIN OF PEMBROKE COLLEGE, OXFORD LONDON HENRY FROWDE OXFORD UNIVERSITY PRESS WAREHOUSE AMEN CORNER, E.C, 1906 ^,H6H1%5' oxford: HORACE HART PRINTER TO THE UNIVERSITY PREFACE Specialists in what is sometimes spoken of disparag- ingly as Formal Logic have of late been almost as scarce as canonists or line-engravers. I therefore deem myself very fortunate to have been allowed to submit the first draft of this book to the expert criticisms of my friend, Mr. St. George Stock, M.A., of Oxford, who went through it in manuscript with his usual acute vigilance. If any errors, other than those of judgement, be detected in it, they have probably crept in during the rewriting of the work. These pages represent an effort to strengthen and revivify Formal Logic — though I do not admit that Logic can be anything but formal — by bringing it into closer connexion with the living facts of thought and speech. I have been bold enough also to think that both ancient and recent views upon various parts of logical theory require examination, and that the entire subject can be with advantage rehandled. The shield which I have especially desired to touch by way of challenge is that of the ' new logicians ' who hold that there can be reasons without Reason, as well as that of the traditional Logic which makes the implicit expUcit without the help of a middle term. Except in the light of what is universal thought cannot exist. Although I have assumed some acquaintance with the elements of Logic, I hope the exposition here presented iv Preface will not prove too technical for any intelligent reader. The historical aspects of the subject are ably treated of in established philosophical works, and are here merely glanced at. If an occasional repetition be complained of, I would plead that no one reads a treatise of this kind straight through — stans pede, as I may say, in uno. If on the other hand some lacunae are noticed, let it be remembered that, in Voltaire's phrase, ' le secret d'ennuyer est celui de tout dire.' I have exposed quite a large enough surface to the arrows of criticism, and cannot feel confident that none will find their way home. If any penetrate, I trust, at least, that they will have pierced, not a skeleton of dry bones, but flesh and blood. CoDFORD St. Peter, Wilts. CONTENTS CHAPTER I PAGE Introductory 1-14 Aim in view, § i. What Logic is and is not, §§ 2-4. Logic cannot but be ' formal ' ; yet it should not stand aloof from the complexities of thought and language, §§ 5-7. Even a purely symbolic Logic, while unconcerned with the content of Terms, has to take account of the grammatical elements of predication, §§ 8-14. It is only when we go outside the data that our reasoning ceases to be formal, § 15. 'Pormal' Logic accused of narrowness and rigidity, § 16. An unlimited field before it in the living facts of idiomatic expression, §§ 17, 18. This field scarcely known to the ancients, and neglected by the moderns for other objects of inquiry, §§ 19, 20. On the other hand, the law of Rationality is throughout one, §§ 21-3. CHAPTER II The Justification of any Thought .... 15-30 The subject of Logic is rational Consequence in Thought. Some analysis of the Thinking act is therefore required, § 24. But Logic is not Psychology, § 25. It investigates the justifica- tion of our thoughts. Every thought must have a mediating ground ; to think is to interpret, §| 26, 27. The assigning of a ground constitutes Syllogism, §§ 28, 29. Logic combats fallacy, not falsity, §§ 30, 31. Varieties of ways in which a ground may be assigned, § 32. Inadequate grounds, §§ 33, 34. Logic, then, is more directly concerned with Judgements (which can be mistaken) than with Concepts (which cannot), §§ 35, 36. Objection, that some consecutions in thought do not require a middle term. Immediate consequence and immediate confliction alleged to be possible, in and between both Concepts and Judge- ments, § 37. The objection met. The mind can never work from one point to another except through a universal. Illustrations, §§ 38-49. The Aristotelian Logic not consistently formal, being blended with' metaphysics and with natural philosophy, S 50. The view of Logic as an Organon to the Sciences, 9 Ji. Baconianism, § 52. Induction is only the ordinary Logic applied in a particular way, §§ 53, 54. Logic cannot supply rules for comparing and judging, §§ 55-7. On its theoretic side Logic is an exact science ; but in its connexion with human Thought and Speech it presents many problems and admits of progress, §58. vi Contents PAGE CHAPTER III The One sought in the Many 31-9 Beginnings of logical curiosity, § 59. The mind's conscious- ness of self, § 60. Yet Philosophy's first questionings were about God and the World, § 61. The groping after unity and law in nature and in conduct led to the establishment of General Con- ceptions and Definitions. Morality and Truth defended against sophistical challenge, §§ 62-5. Necessities of argumentation gave birth to a practical- and eristic Logic of the open air. Aristotle's scientific system thought out later, §§ 66-70. There must be a science of Reasoning as Reasoning, § 71. Logic is not simply Mental Science, §§ 72-4. CHAPTER IV Immutability of Rational Law 40-59 Reason an immutable standard and law, prior to all others, §§ 75, 76. Denial by the Empirical School, §§ 77-9. This Law is outside of, and above, proof, §§ 80, 81. Postulate of Truth, §§ 82, 83. Reason and Thought distinguished, §§ 84-9. We partake of Reason, § 90. We do not reason wrongly, but think wrongly, §§ 91-3. Not our Reason, but our Understanding, is deceived and darkened, §§ 94-6. Ambiguity of Middle Terms, §§ 97, 98. Other sources of Fallacy, §§ 99, 100. Petiiio ■principii, § loi. Fallacies, material and formal, §§ 102-5. Can we be too logical ? §§ 106-11. Note. Raymond Lull. CHAPTER V Reason regulates Thought 60-81 Rational compulsion laid on Thought, § 112. Thought human and divine, §§ 113-15- Law of Rationality supreme and ultimate, § 116. Twofold, prohibitive and imperative, § 117 Axiom of Consistency : its double aspect, §§ 118, 119. Principle of Contradiction, §§ 120-3. Hegehan view, §§ 124-31. Popular objections to the Principle, §§ 132-4. How applied to quanti- fied judgements, §§ 135-42. If applied only to singular judge- ments, contradictory and contrary apt to be confused, 55 uv-o Prmciple of Excluded Middle, §§ 150-5. Challenged as only true within a certain 'universe of discourse', §§ 156-60 Applied to quantified judgements, § 161. A metaphysical difficulty raised SS 162, 163. Fallacy of Many Questions, and question-beggin? Epithets, §§ 164-7. The Dilemma, §§ 168-70. ^ CHAPTER VI Axiom of Persistency ... »„ . 02-93 Positive and compulsive side of the Law of Rationality, S 171 Complementary to Axiom of Consistency, §S 172-4 Thesarn^ as the Principle of Identity, § 175, which il „L merely tau^o! logous, §§ 176-8. All assertion is an amplification, 6S 170 ,80 Identity perdunng through differences, § 181. A unity ^ Contents vii > PAGE plurality even in identifying judgements, §§ 182, 183. The pure Concrete is unnameable and unknowable, §§ 184, 185. Basis of Syllogism, § 186. Question about 'Identical' or Analytic Judgements irrelevant, §§ 187, 188. Subjects regarded primarily in extension, predicates in intension, §§ 189-93. Search for the one in the many the meaning of Induction. § 194. Mill on the Dictum de omni, § 195. Everything abides as it is till some cause of change occurs, §§ 196-9. CHAPTER VII Sufficient Reason 94-107 A logical principle. Every thought requires justification, §§ 200-5. Ultimate elements of belief, § 206. Authority as a ground,8§ 207. Will, §§ 208-10. Hov/ ? Sind Wky ? §^ 211-13. Cause and Ground, § 214. Ratio essendi and ratio cognoscendi, § 215. Sign a priori and a posteriori, §§ 216-18. Sign and Formal Cause, § 219. Plurality of Causes, § 220. Cause and Because, § 221. Where in a judgement does the Cause reside? § 222. Logic scrutinizes the sufficiency, not of any Reason, but, of any Reasoning, §§ 223, 224. Consideration of the Form of Thinking necessary, § 225. Note. Narrative Judgements. CHAPTER VIII Whatever is Rational is Syllogistic . . 108-20 Thought, its Form and Matter, § 226. Modality, § 227. To think is to judge, § 228. Are there three Forms of Thought ? § 229. Syllogism is on a different footing from Conception and Judgement, §§ 230-1. Conception and Judgement, as such, exhibit no ration^ character. The subject considered. Illustra- tions, §§ 232-42. No idea can be denied or predicated of itself, §§ 243, 244. Inconsistencies, §§ 245, 246. Opposition of Judge- ments, § 247. There are not three kinds of Comparison, §§ 248-52. Ratiocination, as employed upon human Thought, is discursive, but is concerned with the operations of Thought, not the properties of Things, § 253. Is Syllogism a judgement ? §254. CHAPTER IX Conception . . . . . . . . 121-42 Analysis of the Form of Thought, §§ 255, 256. Conditions of Thought, §§ 257, 258. All human Thought is Conceptual, §§ 259-62. But Concepts resolvable ultimately into Presenta- tions to Consciousness combined by the Intellect, § 263. Abstraction, §§ 264, 265. Perception and Reflexion, §§ 266, 267. Ideational activity of the Understanding in combining sense- impressions, §§ 268-71. Unity in diversity, § 272. Conscious- ness demands transition, § 273; but also persistence, § 274. Apprehension of Universals, § 275. Does Abstraction precede Generalization? §§ 276-8. Classification and Naming, §§ 279-85. The Concrete cannot be conceived. Place and Time. Tense, §§ 286, 287. Every Judgement has some abstract character. viii Contents PAGE §§ 288, 289. Nothing can be conceived which has not been experienced, and so cannot be imaged, § 290. Conversely, Images are of individuals, § 291. Common Names, §§ 292-4. Every Concept a complex, § 295. Qualifying (or Determmmg) and Descriptive (or Epithetical) Adjectives, §§ 296, 297. How the Concept develops as the Judgement, §§ 298, 299. Counter- implication of Sub-Contraries, §§ 300-2. CHAPTER X Inter-relation of Concepts 143"^^ Elements of the Concept, § 303. Definition, §§ 304-6. Inter- section of spheres, §§ 307, 308. Genus, Species, and Differentia, §§ 3091 31°- Inverse variation of Extension and Intension : how to be understood, §§ 311-19. Logical Whole and Part, § 320. Natural subordination of Concepts extra-logical, §§ 321, 322. Summum Genus, §§ 323-5. Infima Species, §§ 326-30. Sub- alternation, § 331. Conceptual Matter and Form, §§ 332-8. Matter and Form in Reasoning, §§ 339-43- ' Formal Thinking ', §§ 344-6. Reasoning is for Logic the only formal process, §§ 347-9- The Matter of Reasoning is Judgements ; The Form is the Illation, §§ 350, 351. CHAPTER XI Division and Definition 162-96 Division of a Concept's Extension, § 352. Dichotomy, § 353. Any ground of Division logically admissible, § 354. To serve a practical purpose, however, th&fundamentufft divisionis must be given, § 355. Cross-division, §§ 356-8. Rules, §§ 359-61. Seeming exceptions, § 362. Only Common Names divisible, § 363. Ideal Partition, §§ 364-6. Material Partition, § 367. Logic only supplies Negative Safeguards, § 368. Dichotomy criticized by Aristotle, § 369. Definition the counterpart of Division, §§ 370-6. What names are definable ? §§ 377, 378. Defining by Negatives, § 379. Good and bad Definition, §§ 380-4. Can Logic recognize Definition? § 385. Definition is subjective, since the meaning or intension of a name is so, §§ 386-g. There can be no defi- nitio ret, §§ 390-2. All Definition is Notional, §§ 393-5. Definition by Cause, §§ 396-8. English dislike of Definition, § 399. Definition of Substances and of Attributes, § 400. Definition /«r effectum, §§ 401, 402. 'Analytic ' and ' Synthetic ' Definition, § 403. Which comes first. Definition or Division ? §§ 404-7- Predicables, how far recognized by Logic, §§ 408-10. Pro- perty, §§ 411, 412. Accident, §§ 413-16. The usual treatment of the Predicables belongs to a Realistic system, not to Logic, §§417,418. Species subiicibilis axiA^raedicabilis,^ 419. Logic concerned with all predicates, §§ 420, 421. Force of Negative Sign attached to Concepts, § 422. The entire Concept cannot be negated, §§ 423-6. Emphasis laid on negated element, § 427. Contents ix PAGE CHAPTER XII Judgement 197-204 Should discussion of Judgement have preceded that of Con- cept ? §§ 428-33. Rudiments of Thinking, §§ 434, 435. The question psychological, not logical, § 436. Assertion of reality the essence of Judgement, § 437. Concepts are Judgements in fosse, §§ 438, 439. How is Quantification implicit in Concepts ? §§ 440-3. Does assertion of reality involve the actual existence of the Subject ? §§ 444, 445. The subject of all judgement is the Real, §§ 446-8. The ultimate 'Universe of Discourse' is the Real conditioned in this or that way, §§ 449-51. CHAPTER XIII Import of the Proposition 205-19 Import of ' is ', §§ 452, 453. Cannot be a mere Copula, §§ 454-6. Always predicates existence ; but in what sense ? § 457. Illustrations, §§ 458, 459. Further criticism of the usual doctrine, §§ 460-3. Secundi adiacentis, § 464. ' Copula ' often omitted, § 465. Existence predicated not absolutely but as qualified, §§ 466, 467. Denial of existence, § 468. Interest of every statement resides in its predicate, § 469. Existence hypothesized and assumed, § 470. Existence of subject deter- mined not by the ' Copula ' but by the form of the proposition, §§ 471, 472. It is not a question of quantity and quality, but of abstract and concrete, §§ 473-6. Singular judgements, § 477. Categorical and Hypothetical, § 478. Further discussion of existential import of A, E, J, and O propositions, §§ 479-83. What is meant by judged existence? § 484. Existence of predicate class, §§ 485, 486. CHAPTER XIV Import of the Proposition {contmued) . . . 220-9 Every judgement is within an assumed sphere of discourse — ultimately Reality, § 487 ; which is the same in Predicate as in Subject, §§ 488, 489. Coinherence in Reality either notional or phenomenal, § 490. Sometimes expressed by ' and ', § 491. But Subject and Predicate are not on an equal footing, § 492. In one sense the Predicate comes first, § 493. All judgement brings Object under Concept, T/tai under What, § 494. The Subject may be simply pointed to, § 495. The Subject is essentially substantival, the Predicate adjectival, §§ 496, 497. But what is attributed is an Attribute, § 498. Hamilton's doctrine of the Proposition criticized, § 499. ' Congruence ' and ' Confliction ', § 500. Does not account for A propositions, § 501. His doctrine assumes a classified scheme of inter- ordinated Notions, § 502. 'Agreement of Notions ' ; Hamilton treats all judgement as Analytic, §§ 503-5. Logical schools. §506, X Contents PAGE CHAPTER XV Analytic Judgements 230-47 Judgements Explicative and Informative, § 507. 'Verbal', § 508. ' Identical ', § 509. Such judgements in common use. Their purpose. Illustrations, §§ 510, 511. 'Contradictions in terms', § 512. Locke on 'frivolous' judgements, §§ SI3> Si4- Appeal to an assumed agreement, § S'S- AH propositions are instructive, § 516. Definitions, § 517. Locke's view really a Realist one, § 518. Reflective and expository judgements, § 519. An Analytic Judgement must claim to be such, § 520. The content of names is not fixed, § 521. Yet definitions do not change with every increase of knowledge, § 522. Our notion of a thing is not all we know about it, §f 523, 524. Analytic judgements go below the surface, § 525. View that all judge- ments are analytical, § 526. View that all are synthetic, § 527. Particular propositions synthetic, § 528. Analytic Judgements do not analyse, but base themselves on the analysis of, an idea, §§ 529-31. Analytic Judgements not ' immediate '. Pure reason cannot say what is in a notion, § 532. ' Synthetic Judgements apriorV, § 533. Appealing Vocatives, § 534. CHAPTER XVI General and Concrete Judgements . . . 248-61 Every Abstract Judgement implies a Cause or Law, § 535. Concrete Judgements state a fact, § 536. The cause not always indicated in the judgement, §§ 537-40. Every General Proposi- tion involves both an 'if and a 'because', § 541. Metaphysical aspects of predication extra-logical, §§ 542-6. Hypothetical and Categorical, §§ 547, 548. Abstract character of some seemingly Particular judgements, §§ 549, 550. Different mean- ings of 'air, § 551. Mixture of abstract and concrete, § 552. Past tense, § 553. Mark of quantity when part of predicate, § 554. Particular judgements obtained by generalization, §§ 555, 556. Invariableness of connexion between antecedent and consequent, § 557. Appeal to experience, § 558. Connexion expressed by ' and ', § 559. Predictive, § 560. Reciprocative judgements, § 561. Purely concrete statement impossible, § 562. Yet the distinction of abstract and concrete important, § 563. Clearer in English than in more synthetic languages, § 564. A point of space or of time may have an abstract interest, § 565. CHAPTER XVn Quantification 262-75 Quantity of Judgements. The major premiss must be definite, § 566. Hamilton's scheme of Quantity, § 567. Suggested classification of Judgements, §§ 568, 569. ' All ' and ' all the ', §570. Quantity as part of Subject or Predicate, § 571. Marks of a Particular Judgement, § 572. Examples, § 573. Plural Judgements, § 574. Singular Judgements, § 575. How to be classed, §§ 576-8. Uniqueness, § 579. Individual Judgements, Contents xi . PAGE § 580. General Propositions about 'one'. Examples, § 581. Sigwart on Particular and Universal Judgements, §§ 582, 583. ' Always ' and ' sometimes ' relative expressions, § 584. Quantity not a determination of the subject, § 585. A, E, I, and O Judgements, § 586. / and O, § 587. ' Some only ', § 588. Opposition of Disjunctives, § 589. Omnis X and nullus noti-X, § 590. Interrogations, § 591. Particular Negatives, § 592. CHAPTER XVIII Negation and Modality 276-85 Denial of Quantification, § S93- Denial falls where the interest lies, § 594. Place of ' not ' in a sentence, § 595. Doctrine that Negation implies a tentative Assertion, § 596. No such thing as a negative, but only a negated, ' Copula,' § 597. Is Negation a severance ? § 598. Objection to the view that Negation is a judgement concerning a judgement, § 599. Nega- tive and Privative Conception, § 600. ' Not ' as part of the subject, § 601. Summing up, § 602. Denial of an idea aflfects its whole extension, but part only of its intension, § 603. Sup- posed difficulty of proving a Negative, § 604. Modals — Modality when an element of the Predicate, §§ 605, 606. When affecting the entire Judgement, does it 'modify the Copula'? § 607. Assertiveness admits of no degrees, § 608. Problematic Judgement, § 609. Every judgement is a necessary inference, § 610. Probability, § 611. Do Tense and Mood modify the assertion? § 612. Negation, § 613. CHAPTER XIX Implication of Judgements 286-97 Conversion, § 614. Simple and /«rat«rf««j, § 615. Opposi- tion of Judgements, § 616. Obversion ; Conversion of Particular Negatives, § 617. Non-X is non- Y. Examples, § 618. ' Only ', §619. Is Implication illative ?§ 620. Conversion of ^ judge- ments, §§ 621, 622. Neither Conversion nor Obversion an inferential process, § 623. The A judgement completed, § 624. Differs from /, §§ 625, 626. Diagrams exhibiting implication of Judgements, § 627. Consequent and Antecedent, § 628. Opposition of Singulars, § 629. From denial of Antecedent or affirmation of Consequent nothing follows, § 630. Judgements expanded in conjunctive form, § 631. Concessive antecedents, § 632. Consequent and Consequence, § 633. Added Deter- minants and Equipollence, §§ 634-6. CHAPTER XX Extension and Intension 298-309 In Predication, § 637. Extension of Subject governs Predicate, § 638. Unless the quantification is relative, § 639. Intension, S 640. Subject-term's empirical extension, apart from quantifica- tion, § 641. Extensions identified, not equated, § 642. Conver- xii Contents PAGE sion of Judgements viewed in Intension, § 643. Extension and Intension inseparable, § 644. Proper and Common Names, § 645. Hamilton's ' discovery', § 646. ' Containing ' and ' Con- tained ', § 647. Notional Inclusion, § 648. How to be applied to Particular Judgements? § 649. Intensive Conversion only possible in analytic E judgements, § 650. Confused analysis, § 651. Class-inclusion and Attribution, § 652. Judgements expressed in Extension. Examples, § 653. ' Major ' and ' Minor ', § 654. Numbers, § 655. The Categories, § 656. Limited interest for the logician, § 657. Grammatical significance, § 658. Adverbial predicates, § 659. Other irregular predications, § 660. Conversion of such propo- sitions. Imperatives, Interrogatives and Interjections, §661. CHAPTER XXI Quantification of Predicate .... 310-26 Ignores Intension, § 662. Hamilton's attack on ' the common doctrine ', §§ 663, 664. A ' discovery' ? § 665. Or a paradoxical innovation ? § 666. Defended by Veitch, § 667. ' Enounce as you think', § 668. How far arguable? § 669. Implied Extension of Predicates, § 670. Distributive and Collective Assertion, §§671,672. Will any formula combine both? § 673. 'All X is all Y' ; ' Some X is all F', § 674. Ambiguity of ' all ', § 675. What is asserted of wholes is not in the same formula asserted of objects severally, § 676. Unnatural formulas. Hamilton inconsistent, § 677. Violence to the natural import of predica- tion, § 678. A twofold quaesitum, § 679. ' Every X is every F', § 680. Subject and Predicate levelled, § 681. Examples of Reciprocating Judgements, § 682. Complicated new Proposi- tional Forms, § 683. Hamilton's doctrine applied to Negative Judgements, § 684. 'Non-equation', § 685. Rather an equation of Negated Terms, § 686. Hamilton's own doubt, § 687. Facts of common speech and syntax alleged in support, § 688. The plea examined, § 689. Exponibles, §§ 690, 691. Definitions, I 692. Predicates of E and O; oil and E, § 693. Predication is not algebra, § 694. A subsidiary scheme of implied exten- sional equation might have been of interest, § 695. But predica- tion is not merely adding and subtracting, § 696. Hamilton's doctrine applied to Syllogism ; consideration deferred, § 697. Plurality of Causes criticized from an equational standpoint, §§ 698, 699. Difference between Condition and Conditioned destroyed, § 700. Irrelevant elements, §§ 701, 702. Judgement itself abolished, §§ 703,704. And Logic also, §705. Plural Causes : Examples, § 706. A Conclusion can be reached through more than one Middle Term. We thus come to Syllogism, § 707. CHAPTER XXn Syllogism 327-38 Why it has been necessary to analyse Conception and Judge- ment, § 708. Will a combination of Notion and Proposition yield an inference? §§ 709, 710. Premisses may be either or both hypothetic. Demonstrative reasoning, § 711. The latter Contents xiii PAGE extra-logical, § 712. Syllogism regarded as a single act of thought, § 713. Hamilton's general Formula of Syllogism, § 714. Implies Notional Inclusion, § 715. Inclusive spheres: do they enable us to dispense with middle terms? § 716. Mill's view, § 717. His own formula faulty, § 718. 'Coexistence' and 'Agreement', §§ 719, 720. Particular Inferences, § 721. Con- ditions of Valid Inference : Case and Rule ; Laws and Cautions, §§ 722-31. Proof that a true Conclusion may be drawn from false premisses, §§ 732-6. CHAPTER XXIII Mood and Figure 339-66 Valid and invalid combinations, §§ 737-40. Can be arrived at also apriori, § 741. Persistency and Consistency the double basis of Syllogism. Figures I and II. Direct and Indirect Moods, |§ 742-53. Figure I has no real supremacy over Figure III, P 7S4~62. Mnemonics for reduction to the First Figure, §§ 763-8. Reduction to the Second Figure as easy, §§ 769- 72. Cross-reduction, § 773. ' Major ', ' Minor ' and ' Middle ', §§ 774-6. A hierarchy of Concepts, § "JT]. Special features of the Four Figures. Figure I, §§ 778-80. Figure II, §§ 781, 782. Figure III, §§ 783-7. Figure IV, j§ 788-94. Distinc- tion of Figures attacked by Kant, § 795. CHAPTER XXIV Mood and Figure {continued) .... 367-86 Semi-conjunctive Reasoning, § 796. Conspectus of figured Forms, §§ 797, 798. Possible combinations, § 799. Implied judgements about non-/", § 800. And about non-5, § 801. Scheme of Moods with quality abolished, §§ 802, 803. Negative and Privative Conception, § 804. Reduction on this basis, § 805. A proposed simplification, §§ 806-8. A revised Mnemonic, §§ 809-11. Distinction between Major and Minor essential, §§ 812, 813. Order of Premisses. Indian Syllogism, §§ 814-20. Hamilton's Intensive Syllogism, §§ 821, 822. Sumption and Subsumption, § 823. Veitch's criticism, §§ 824-8. Negation of Intension, § 829. 'Part of and 'involved in', § 830. Is Extension or Intension uppermost in thought ? § 831. CHAPTER XXV Unfigured Syllogism 387-409 Hamilton's equational system no real simplification, §§ 832- 44. Ultra-dimidiate Quantification, §§ 845-7. Mathematics applied to Logic, §§ 848-61. Bearing on the inter-relation of Premisses and Conclusion, §§ 862-5. Inter-relation of the Extensions of three Terms, § 866. Proposed notation, §§ 867-9. xiv Contents PAGE CHAPTER XXVI Elliptical Reasonings 410-31 Sorites, §§ 870-83. Enthymeme, §§ 884-8. Other elliptical reasonings, §§ 889-98. Syllogism in one proposition, §§ 899- 901. Formulas for the four Figures, §§ 902-5. The ground as a separate clause, §§ 906, 907. Epicheirema, § 908. CHAPTER XXVn Conditional Reasonings 432-52 How divided, § 909. Do they differ from Categorical? §§ 910-12. Abstract and Hypothetical, § 913. Nature of minor premiss, § 914. ' Krug's view, §§ 9x5-17. 'Broken- backed sequences', § 918. Temporal and spatial conjunctions, §§ 919) 920. We are not concerned with metaphysical or gram- matical questions, § 921. Reason and Consequent and the Principle of Identity, §§ 922, 923. Equational view of Logic, § 924. How applied by Hamilton to Hypotheticals, § 925. His Canon, § 926. Hypotheticals ignored by Aristotle. Such forms more needed in some languages than in others, § 927. Only preparations for argumentation, § 928. Sigwart's view, § 929. How many terms in a hypothetical judgement ? § 930. Is there any 'immediate inference'? § 931. Antecedent affirmed and Consequent denied, '§§ 932, 933. Modus ponens and Modus tollens, §§ 934, 935. Negative predicates, § 936. Phrasing of hypothetical judgements, § 937. How contradicted, §§ 938, 939. Particular minor premiss, §§ 940, 941. Minor premiss may be itself hypothetic, § 942. This shown in the four Figures, §§ 943~5- Pre-eminence of First and Second Figures clearly seen, § 946. Adversative 'if, § 947. CHAPTER XXVni Disjunctive Reasonings 453-73 Various Forms of Disjunction, §§ 948, 949. How contradicted, §950. Exclusive or only alternative? §§ 951, 952. Disiunctio ambigui, §§ 953, 954. Choice between contradictories, § 955. Disjunctions with many members, § 956. Material incompati- bility, § 957. Modus ponendo tollens and modus tollendo panens, §§ 958, 959- Disjunction of contradictories does not require syllogizing, § 960. Conjunctive-disjunctive judgement, § 961. As major premiss, § 962. Constructive and Destructive, § 963. Double disjunction, §§ 964, 965. Dilemma, §§ 966-74. Danger in rebutting, §§ 975-7. Hypothetico-disjunctive, § 978. Be- tween Hypothetical and Abstract Categorical Judgements no logical distinction, §§ 979-81. CHAPTER XXIX Attacks on the Syllogism 474-97 Modern anti-scientific School, § 982. Denial of a single type of Inference, § 983. Synthetic activity of Thought, § 984. Contents xv PAGE What is to take the place of Syllogism ? § 985. Dr. Bradley's indictment, § 986. Charge of ■petitio frincijiii, § 987, Major premisses unnecessary, § 988. Reasoning without reasons, § 989. 'Private inspiration' suggested as a substitute, § 990. Or inspection, § 991. An emancipated Logic, § 992. A point of connexion all that is demanded, § 993. Rule against quaternio terminorum repudiated, § 994. Mill's Reasoning without univer- sals examined, §§ 995-1011. The difficulty a psychological one only, §§ 1012-14. The major premiss in Substitutional Inference, § 1015. And in arithmetical reasonings, § 1016. CHAPTER XXX Is Syllogism a Petitio Principii ? . . . 498-508 The Charge examined, §§ 1017-31. Another criticism suggested and rejected, §§ 1032-7. CHAPTER XXXI Universale, how obtained? 509-20 How are General Propositions arrived at? § 1038. By a formal process exercised upon the data of experience, §§ 1039- 42. All inference is at bottom the same, §§ 1043, 1044. In- duction is only the application of logical law to a particular principle, that of Causality, §§ 1045, X046. Canons of Induction, §§ 1047-61. 'Search for Form', or, in logical language, for the Middle Term, §§ 1062, 1063. CHAPTER XXXII Principle of Causality 521-49 'Uniformity of Nature', an ambiguous phrase, §§ 1064-6. Causality, § 1067. Cosmic stability a truth given by experience, §§ 1068, io6q. Not so the axiom that causes are always followed by their effects, §§ X070, 1071. Induction applies this axiom to phenomena, § 1072. Is the Axiom of Induction itself an induc- tion? §§ 107.3, 1074. Induction a union of ratiocination with intelligence, §§ 1075-7. Aristotelian 'Perfect' Induction, §§ 1078- 80. Methods|of true scientific Induction, § 1081. Need, however, of insight and imagination, § 1082. Induction explains all facts, not physical phenomena only, §§ 1083, 1084. Disciplinary value of Inductive and Deductive Methods compared, § 1085. Logic is not Methodology, § 1086. Nor does it supply a Criterion of Truth, § 1087. Reason is not Judgement, § 1088. Reason can- not frame bonae noHones, § 1089. Illustrations, §§ 1090, 1091. Analogy, §§ 1092-1101. Appendices 550 ERRATA Page 72, note i, line 11, for say truly read I say truly P. 95, page-heading, ybr a Necessary read b.s Necessary P. 134, n. I, last line, for f^a read (^a P. 152, § 324, 1. 3, insert comma after richest P. 157, 11. 3, last line, yby corregiosity read correggiosity P- ^^78, § 389, 1. 7, y&rLotze ji?arfLotze P. 216, 11. I, last line, for II a read II y a P- 357) n. Ji, 1. 4, for preicdated reorf predicated P. 366, I. 10, for Dimasis read Dimaris P. 480, 1. I2,^>- dominate rearf dominant CHAPTER I INTRODUCTION § I. If it be the case, as an eminent logician of the new school complains, that throughout the modern textbooks Logic is in a chaotic condition, exhibiting an astonishing diversity of opinion about its province and methods, there may be room for yet another treatise, which shall at least attempt to work out in detail a single and consistent view. The ideal which I set before me is that of a Logic which shall be more consistently formal than the Aristotelian and scholastic tradition, yet in intimate touch with the realities of human thought and language. § 2. 'Logic,' observes Dr. Bosanquet, 'has a hard task to hold its own against Metaphysics and Psychology.'^ It starts from the assumption of Reality and moves in the sphere of Mind. Nevertheless its conclusions are the same whatever view we take of the nature of Being and by whatever faculties we perceive and think. The older logicians mingled ontological conceptions with the science. The recent tendency has been to confuse it with epistemology, 'tracing the evolution of Knowledge in the light of its value and import,' from the first glimmer of awaking consciousness to the ordered hierarchy of the sciences, the greater and lesser thrones of Wisdom. Now the basis and presupposition of Logic, no doubt, is metaphysical — that funda- mental nature of Reality, that imperativeness of Truth, which imposes upon Thought the obligation of self-consistency. Still, this obligation is postulated by the logician, not proved.^ He does not try to pierce the veil to a knowledge of the ultimate Real. And with other questions connected with Being, such as essences and accidents, the relations of substance and quality, the meaning of causality, of necessity, of good and evil, of space and time, of personality — what God is and what man is — , he ^ Logic, i. 247. " ' Logic does not investigate the truth, trustworthiness, or validity of its own principles. This task belongs to Metaphysics.'— Sidgwick, Use of Words in Reasoning, p. 8. B 2 Introduction is not at all, or only incidentally, concerned. Similarly, while tracing the rational connexions of Thought, Logic is bound, indeed, to accept help from outside in taking the thinking act, to some extent, to pieces. It is only interested in the concept and the judgement as products; yet, to understand these products, it must scrutinize conceiving and judging as processes. On the other hand. Logic does not concern itself with mental, any more than with physical, phenomena as such, as contingently thus or thus. The constitution of Mind is for the psychologist to determine, as the nature of Existence is for the metaphysician. § 3. Nor yet again must Logic be confused with Method. Dr. Bosanquet, for instance, contends that ' The subject matter of logic is Knowledge qua Knowledge, or the form of knowledge. It is quite essential to distinguish the form of knowledge in this sense from its matter or content. The " matter " of knowledge is the whole region of facts dealt with by science and perception . . . The phrase "Science of Sciences" does not mean that Logic is a Science which com- prises all the special sciences, but that Logic is a Science dealing with those general properties and relations which all sciences qua sciences have in common. . . . Thus, not the nature and affinities of the plant-world, but classification, explanation, observation, experiment, theory, are the pihenomena in virtue of which the organized structure of botanical science participates in the form of knowledge, and its objects become, in these respects, objects of logical theory.' * -'^ Accordingly he maintains that the form of knowledge (identified with logical form) 'depends in some degree upon its matter'. The employment of symbols to represent logical processes is therefore, he considers, of very limited utility. § 4. Except that reasoning supposes a universal element in thought, I hold that Logic is no more Science than it is the sciences. Classification, explanation, observation, experiment, theory, are governed by logical laws. But Logic cannot tell us how to observe, theorize, and so forth, successfully. Or if it can do so, it must be some other branch of inquiry which analyses the purely formal relations of thought as connected rationally. Why should the new Logic, the ' Logic of Truth ', treat the old Logic with contemptuous toleration as a humble relative who has seen better days, when the two inquiries have ^ Essentials of Logic, Lecture III. A 'Purely Formal' Logic 3 really nothing to do with one another?* The hedge-sparrow squeezed into a corner is not related to the cuckoo, its intrusive guest, nor under any obligation to drudge for it. § 5. And yet there may be something worth weighing in the 'opposition to Formal Logic' announced by writers like Mr. Alfred Sidgwick. He tells us that 'formal logicians assume that the logical character of a word, or of an assertion, belongs to it quite independently of its context '. They seem to think that 'a sentence which is intended to express an assertion is the same thing as the assertion which that sentence is intended to express',' and that 'forms of sentence have some peculiar virtue which binds assertor and audience equally to a single indisputable meaning'; whereas 'the most effective source of fallacy and dispute is always the failure to get our meaning clear'.' To ask for the precise interpretation of a sentence, which is only the assertion's outer husk, ought not, he urges, to be regarded as going outside Logic. We must not be forbidden, then, to examine the matter asserted. We must not hfead off and starve inquiry by prohibiting excursions into the domain of psychology or of metaphysics, lest we so ' cramp Logic that it becomes a mere collection of misleading formulas, coupled with a little elementary grammar '.* ' The traditional conception of a reasoning process as something separate from its subject matter sterilizes the inquiry into the nature of good and bad reasoning.' ^ § 6. There appears to be some confusion here between ascertaining the meaning of a proposition and inquiring into the objective nature and actual relations of the subject matter.' ' Mr. A. Sidgwick, while advocating ' that larger and deeper study of Logic which is sometimes called the Theory of Knowledge ', confesses that it is 'to a great extent incompatible with the objects of the formal logician '. No doubt, until we reach the ultimate facts of consciousness, the ^tmum cognitum, every judgement, as having a ground, is partly an inference. But the separation of the inferential form from the judged content is the very object of Logic, and is a wholly different inquiry from an investigation of the bases, conditions, processes and faculties involved in Cognition. If the logician has not to inquire what the world is in itself, neither has he to ask how we perceive it, nor in what way we can best arrange our knowledge of it. ''■ The Use of Words in Reasoning, p. 17. ° Ibid. p. 19. * Ibid. p. 9. ° Ibid. p. 10. ° For the Matter of reasoning as contrasted with its Form, see below, § 3S0. B 2 4 Introduction Invalid reasoning, says Mr. Sidgwiclc, 'lies in the subject matter. It is no use considering the form alone.' ^ But he will not, I think, deny that the argument, 'Cats are dogs, dogs are animals, therefore cats are animals,' is perfectly valid reasoning, and leads to a conclusion not merely correct but true.^ What he intends, no doubt, is that we must look to the meaning of a proposition and not simply to its verbal expression. The textbooks, he says, 'keep alive the notion that formality is the strength of Logic instead of its weakness.' ' § 7. Now, the strictest formalist even of 'the childish or mediaeval Logic' knew very well that he had to deal with thoughts rather than sounds or marks upon paper, and that, if a pound is sixteen ounces and stray pigs are kept in a pound, it does not follow that stray pigs are kept in sixteen ounces. But we have all met the pedantic stickler in common life who informs us that an argument is illogical, through some trifling irregularity ; as when we are not allowed to say that bad workmen complain of their tools, and that therefore, since X does so, he must be a bad workman — where no doubt we have been technically guilty of ' undistributed middle ' ; but we meant ' bad workmen, and only they, complain '. And certainly the older Logic, taking little notice of such sub- auditions, was somewhat wooden and unpractical. Still, one of the uses of Logic is to make men express themselves accurately, affording them the opportunity of restating their reasoning if necessary. Logic and common sense have to help one another. The former shows the latter, when puzzled, what tests to apply to any reasoning. The latter suggests to the former what the real import is of the materials supplied to it. Again, we often instinctively see the bearing of a complicated point while the ^ Op. cit. p. 12. '^ All reasoning is formal, not because it exhibits a form or because it excludes matter, but because, in Hansel's words, the reasoning act ' is based on the form only of the preliminary data without reference to the par- ticular matter. ... So long as the formal relation of the data remains the same, the matter may be changed as we please, without affecting the logical value of the thought. . . . For this reason, all examples of logical thinking are better expressed by means of arbitrary symbols than of significant terms : not that it is in any case possible to think without some matter or other, but because it is wholly indifferent what matter we may at the time be thinking about' {Prolegomena Logica, 1st ed. pp. 242-4). ' Op. cit. p. 7. Formal, but not simply Symbolic . 5 formula 'All -^ is Y' and its three blind brothers are hobbling a long way behind. Again, apply the syllogistic formula, 'AH Y's are Z; .X" is a Y; then X is Z,' to the following example — ' All dogs come into the world blind. Ponto is a dog. Then Ponto comes into the world blind.' We want came not comes. It has to be pointed out, then, that a General Proposition is such, either as . making a concrete statement about the members of a class generally — as in the illustration just given — , or as making a general state- ment about a concretely designated object or objects — e.g., 'My three houses always let easily' — , or as making a general statement about a class generally^ — e. g., ' all cats (always) lap.' The conventional formula for syllogism fits general predication in the second and the third sense only. Nor will 'X is always, or invariably, Y' suit no. i any better. We seem to want some- thing like — ' It is the nature of X to be Y' Here is an argument — ' Bibamus, moriendum est.' And here a universal A proposition — ' Me duce, tutus eris.' And here, though imperative, an E judgement — ' Ne sua Minervam.' § 8. So long as Logic remains in a symbolic shape, no question, of course, can arise about the content of the terms of any pro- position, though many difiBculties and ambiguities may attach, as we shall see, to the verbal signs of quantity and quality and to the various phrases by which the attribution of y to ^ can be expressed. 'A term is any name or combination of names and words describing the qualities and circumstances of a thing' (Jevons). It ranges from a bare individual indication or pronoun — 'that object': ' she ' — to the most complicated bundle of grammatical clauses within one conception. A purely sym- bolic Logic not only leaves the content of the propositional terms empty of significance, but requires the great variety of relations between the terms, in which relations the form of the thought consists, to be given in one or other of four moulds, usually expressed in the forms — All ^'s are Y, some ^'s are Y, no X's are Y, some ^'s are not Y. A very useful Logic, like Dean Aldrich's, may be constructed within these limits; and it was indeed an immense philosophic achievement when 'the master of them that know ' first excogitated the bare skeleton forms into which all argumentation in every language can be thrown, displajdng the laws of rational consecution between 6 Introduction thought and thought. It was much to enable men to challenge an opponent to bring into the light the hidden ground of any assertion, to complete his syllogism, to exhibit his reasoning in one of the regular analyses, and, thus dissected, to submit it to formal tests. A simple norm of ratiocination demands for its elements simple norms of judgement. And these the ' traditional Logic ' framed, and built up into an inexpugnable system. >< § 9. But, in the first place, while undoubtedly there is such a thing as an abstract form of thinking, no syntactical type of sentence — such as '^'s are Y' — has an absolute right to be regarded as its representative. The same thought is equally well expressed by ' V-ness is predicable of X things ' ; or by, 'The possession oiX quality carries with it the possession of Y quality ' ; or by, ' Where X is found Y is found ' ; or in other ways. For the marks of quantity, all, some, not any, not all, we may substitute always, sometimes, never, not always {sometimes not), or other modes of expression, more or less complicated. 'All ^'s are Y' is the same mental judgement as ' only ys are X ', and the following pair of syllogisms are identical in reasoning : — Every M is P Some S's are M Therefore soine S's are P None but P's are M S is in some cases M Therefore S is in some cases P. If the latter type were adopted, the usual scheme of moods and figures would seem at first sight dislocated ; ^ but this syllogism comes out in the second Figure, in the mood Festino with a negative subject- term — No not-P's are M. S is sometimes M Therefore 5 is sometimes not not-/*. Now, ' None but the brave deserve the fair ' expresses what is meant at least as simply as ' Every one who deserves the fair is brave ', and ' Only the industrious will be relieved ' is at least as intelligible as ' All who will be relieved are industrious '. The missing premiss of 'It is Jehu, the son of Nimshi, for he driveth furiously', is more naturally expressed in the form, 'Only Jehu drives furiously,' than in the form, 'All who drive furiously are Jehu.' * See Appendix H. Complexities of Actual Thought 7 § 10. The laws of ratiocination are the same, whatever type of propositional formula we select. But it is more obvious, to take an example, that in ' All X's are Y' Y is undistributed than it is in ' None but Y's are X ', which is rationally the same judgement. Again, ' Only the wise are free ' is equivalent to ' All who are free are wise'; but "Tis only noble to be good' is tantamount to saying, 'All who are noble are good', not 'AH who are good are noble.' § II. Secondly, no set of logical formulas will enable us to analyse the complexities of actual thought and speech, or to expose without further help any but the simplest fallacies. The symbolic Syllogism is unequal to the subtilty not only of nature but of thought.^ In such an argument as Montaigne's 'Je I'aimais parceque c'etait lui, parceque c'^tait moi ', a real process of reasoning is concealed; but it is not easy to exhibit it formally. Even 'Here am I, for thou didst call me' is not quite so simple as it looks. Nor ' Be ye holy, for I am holy '. Or take the following syllogism : — Hoc ita iustum est si est voluntarium. lustum est. Ergo est voluntarium. This is really in Figure I, the major premiss being equivalent to ' Omne iustum voluntarium est '. Or take this : — Nemo fere saltat sobrius nisi forte insanit. iV sobrius est et saltat. Ergo insanit. More fully— Nemo non-insaniens sobrius est et saltat. • N sobrius est et saltat. Ergo non est non-insaniens (i. e. insanit). Symbolically — No non- F is X and also Z (no non-YX is Z). N is X and also Z. Therefore N is not non-Y. ^ Here is a sentence taken at random from a letter written by Laud to Sir Kenelm Digby : — ' It is not your-change {A) that-can-change-me {B) ; who (C) never yet left (D) but where-I-was-first-forsaken {E), and not always there (E).' The sentence contains three propositions — no 5 is A; no non-^C is D ; some EC is not D. The thing that can change me is not your change : no case where I was not first forsaken was ever a case of my leaving ; and some cases where I was first for- saken are not cases of my leaving (in the past). And here is a familiar concept : — ' God {X ) without-whom (non-X) nothing is strong ( Y), nothing is holy (Z) '=an X of whom it is the case that no non- A!" is Y and no non--Sr is Z ;=a (non-JC is non- Y) (non-^ is non-Z) X ! 8 Introduction More simply— Every XZ is Y (Every sober dancer is mad) N is XZ. Therefore N is Y. Sobrius means non-ebrius, not tipsy : and, if we represent it by non-^ instead of X, the syllogism will have a still more com- plicated and artificial look. Nevertheless the reasoning is transparent and usual. § 12. The following seems to follow rule, yet it is absurdly vicious : — 'All Cabinet ministers are human. Just nineteen politicians are Cabinet ministers. Just nineteen politicians, then, are human.' In the following the major term has the appearance of being less extensive than the middle, and the middle than the minor — '20 pennyweights are an ounce troy; an ounce troy is ^^ of a pound ; then 20 dwts are j^ lb.' § 13. Miss Trotwood's ' Donkeys ! ' implied a complete syllo- gism. On the other hand, many reasonings seem to have four terms. ' You must be quick with your letter, for the postman is waiting.' ' As the wind is so cold, I shall wrap up.' We shall have also to examine numerical, and what Hamilton calls ultra- dimidiate, inferences. De Morgan declares plausibly that any one who sticks close to Aristotle's rules will be unable to prove that, if most men have coats and most have waistcoats, some men have both. Jevons's wooden toy for getting and testing con- clusions from premisses could better deal with this class of arguments, however, than with many others. § 14. The ' mere logician ' is certainly not bound to interpret and arrange men's thoughts for them, or to point out the defect in any confused piece of reasoning as it stands. The interpreta- tion of language is a necessary preliminary to his examination of the connexion of the thought. He can claim to have the argument enounced in full before giving his verdict upon it. Thus the following lament of Lord Burleigh is a syllogism in the Second Figure — Ease and pleasure quake to hear of death ; But my life desireth to be dissolved. (It follows that) my life is full of cares of miseries. But we can demand that the expressions shall be formalized. I agree, however, that a logic in vacuo, wholly unrelated to actual difficulties and complexities of reasoning, what Sidgwick calls a fair weather Logic, applicable where no doubt or difference Thought dealt with through Language 9 of opinion has entered but helpless just at the point where ques- tion arises, needs to be supplemented, or rather illustrated, by an analysis of actual arguments and forms of speech. Reason in itself is absolute and universal ; yet being for human beings intimately connected with human thought, it must exhibit its unity in and through the varying structure of thoughts/ The practising logician, ever seeking behind the accidental parlance the necessary sequence of idea, studies the idiomatic expression of thought, with which, however, and not with the expression, his concern truly lies. § 15. This necessity of dealing with thought through language does not destroy the essentially formal nature of logical inquiry. Logic is formal because the validity of an argument does not depend on what we happen to know, outside the data, of the actual properties of the objects about which we are speaking, but on the rational connexion between premisses and conclusion. It is the same thing to the logician whether he is presented with such a proposition as, ' It never rains but it pours,' or such as, ' It never thaws but it freezes' — until he is told that thawing and freezing are contraries. He does not care whether the con- clusion that Socrates is mortal is reached by affirming that Socrates is a man and all men are mortal, or from the premisses that Socrates is a fish and all fish are mortal. If, on being told that water is nothing but HjO, I go on to conclude that Thames water is nothing but HjO, he will check me with a caution about dicta simpliciter and dicta secundum quid) but not because he happens to know that Thames water when analysed is found to be that and a great deal more. He declines to disallow concepts such as 'Greek kalends', 'fricass6 dans la neige', ' strawberries in the sea and herrings in the wood ', or proposi- tions like Proudhon's 'The true form of State is anarchy', or 'She had been vexed if vexed she had not been', until the incompatibilities which may exist in them are formally presented. Directly we go outside our data, we are appealing to the matter ' The anti-scientific school now fashionable denies the unity. ' Our main principle will have as many forms as there happen to be categories or kinds of relation ' (Bradley, Logic, p. 242). This school seizes trium- phantly on reasonings like this — ' Ten were killed and five wounded ; so that twice as many were killed as were wounded ' — to expose the sacer- dotal pretensions and exploded tyranny of the Major Premiss. 10 Introduction not to the form, to external experience not to internal rational necessity. Logic, in a word, is concerned with the necessary validity of consequences rather than with the contingent truth of assertions, with proofs rather than with circumstances. § i6. ' Formal ' Logic is, then, the only Logic. Such a science is often disparaged as narrow and narrowing.' To be sure, a river which has broken its banks and flooded the country- side has acquired breadth by such expansion; yet it is good engineering to coerce it within its proper channel. We have nothing to do with broad and narrow in philosophy. The inquiry what it is gives the inferential connexions of thought their legitimate force and right may conceivably be not worth undertaking. But if it is to be undertaken it must be kept scrupulously apart from investigation and co-ordination of the laws, however general, of phenomena, and from the grouping of them under the categories of human sensibility and under- standing. § 17. But a fertile field lies before the logician in the daedalian richness of human thought and speech — which is not only thought's expression but its mould. The foot shapes the shoe, and the shoe shapes the foot. We speak as we think ; but also, to a great extent, we think as we speak : that is to say, our thinkings run in the moulds prescribed by inherited syntax. Language implies Conception, and reacts on our conceptional powers, to develop and shape them. § 18. The question whether Language is necessary to Thought hinges on the possibility of framing general conceptions which are not fixed in a representative sign — words, or other significant marks, being, as Sir William Hamilton felicitously says, the entrenched and fortified positions which enable Thought, its spadework done, to advance into new territory. The question about the connexion between Thought and Language is for Logic, however, less about the content of terms than about the formal relations of terms in the proposition. It is not names that give ' Not, however, it should be observed, by Mill, who says : — ' I know of nothing, in my education, to which I think myself more indebted for whatever capacity of thinking I have attained, than early practical famili- arity with the school logic. I am persuaded that nothing in modern education tends so much, when properly used, to form exact thinkers. The boasted influence of mathematical studies is nothing to it' (Auto- biography, p. 19). The Traditional Forms Inelastic ii the logician most trouble. He could construct a very living science with the help of three letters of the alphabet. But it is when he tries to express the multitudinous aspects of predica- tion by algebraic or other symbols, or by the bald and simple forms of the ' traditional logic ', that he gets out of touch with the multifarious activity of real thought. 'All X'& are Y', for instance, has to stand for such propositions as, ' It never rains but it pours ' (no not- y is X) j ' Everybody's business is nobody's business'; 'Obstaprincipiis'; 'One good turn deserves another'; ' You shall want ere I want ' ; ' Other days bring other ways ' ; and a myriad other expressions, a number of which I have suggested later and in an appendix. ' No ^ is Y' must repre- sent such propositions as these :^ — 'Liberty is one thing and licence is quite another'; 'Stemmata quid faciunt?'; 'God befriend us as our cause is just'; 'Vendredi chair ne man- geras ' ; and so forth. The logician has to point out that ' One man (should have) one vote ' is not a singular proposition, nor ' Tres faciunt collegium ' a plural one, nor ' The many fail, the one succeeds ' a combination of plural and singular ' — all these being general propositions, as also is 'Two's company, three's none '. He has further to find room under the same formula, ' Every X is Y', for general propositions (' every X' = all ^'s) and for concrete universals (' every X' = all the X's). Probable and Modal judgements have also to be considered. Then, there are Narrative judgements ; also Added Determinants — in which the knot is not always so easily untied as in, ' English- men wear clothes; then old Englishmen wear old clothes' — , and Exceptive and Exclusive arguments. The Swedish agent's complaint, ' Only one man in England can write Latin, and that man blind,' cannot without weakness be carried to the conclusion, 'Then only one blind man in England can write Latin.' Rules of Inductive Inference will have to tell us why, ' This liquid poisoned M yesterday ; therefore it will poison N to-day,' and, ' This liquid scalded M yesterday ; therefore it will scald N to-day,' are not on all-fours. § 19. A universal Logic is possible because a universal Grammar is possible, the basal structure of thought being the same for all mankind. But this underlying unity admits of an immense variety of idiomatic peculiarities — for instance, the impersonal forms of speech of the Japanese. To the Greek 12 Introduction logicians, among whom linguistic study was in its infancy, all non-Hellenic tongues were barbarous. The mediaeval writers on Logic wrote for the most part in Latin, with its clear-cut and inelastic syntax. The comparative study of languages has now made great advance j yet even in England, which has a speech grammatically poor but opulent and imaginative of phrase, logicians have seldom departed from the trifling round of inherited illustration, based on the idea of a fixed natural order of concepts, — ' Man is rational,' and the like — unless it be to devise examples of the pseudo-scientific and ' useful ' kind, conveying incidental information about monocotyledonous plants, rhomboidal spar, mercury, carbon, and the Aryan race. The form of such illustrations is usually too easy for our purpose. A hundred times more exercise would be afforded to the logical student by a Shakespearian comedy or the talk of two children at play. The mediaevals, for all their limited range of illustra- tion, were right to associate Logic in their academic Trivium with Rhetoric and Grammar. It is in this direction that the future of Logic as, in one sense, a progressive science should, in my opinion, be looked for. § 20. Logic has to a great extent emancipated itself from the hewing of wood and drawing of water for experimental science, which the sensationalist school regarded as its proper menial service, though Mansel could say in 1851 :— ' The slave has broken prison, but the master has not yet relinquished his claim, and the fugitive still carries about him some links of his chain by which ever and anon some emissary of his former tyrants seeks to drag him back to the burdens and the flesh-pots of his servitude.' ^ Since Kant, the opposite tendency, that of develop- ing the matter of thought from its form and of identifying Thought and Being, has had greater influence, but is equally fatal to pure Logic. § 21. No doubt. Logic cannot be 'formal' if Mr. Sidgwick is right in his ultra- Nominalist contention that there is no abstract law of rationality— no 'entity' of reasoning— distinct from thought's subject matter; for, he says, 'to imagine that because we can speak of things in the abstract therefore abstractions have independent existence is to forget that they are, after all, abstractions.' ^ He complains that ' the textbooks generally 1 N. British Rev., vol. xv, No. 29. 2 jj^g ^y i^grds, pp. 10, 20. Attacks on the Syllogism 13 assume that all the doctrines of Logic may be deduced from axioms as undeniable as those of Euclid, and that unless this is done the " scientific foundation " is absent '} He speaks of ' the so-called laws of thought '.' ' The generalisations of Logic are only roughly true.' ' He grants that the Syllogism is ' not a wholly useless piece of logical lumber *. It contains a truth ' which, when the proper precautions are taken, may perhaps be found not entirely useless '.* Yet it is mechanical and standstill. § 22. On the other hand, in view of the modern attack from so many quarters upon middle terms, that is, upon reasoning through universals, the ' formal logician ' cannot but be consoled by the following words of Mr. Sidgwick : — 'The leading idea of the Syllogism is the recognition that where any fact is produced as sufficient to prove a conclusion, the suflGciency of such fact for such purpose depends on the acceptance of a generalisation which covers it and connects it with the conclusion. No doubt this is an extremely elementary truth. It ... is part of the constitution of any mind that forms a judgment about concrete affairs . . . However far we develop our Logic, we cannot outgrow our early acceptance of the axiom that every particular case has a general rule behind it, and the corollary that proof consists in finding a general rule to cover the particular case.' ° Elsewhere the same writer remarks that, as requiring (i) a principle and (2) the application of such principle, ' all rationalisa- tion may be represented syllogistically.' ' § 23. The rules of the textbooks are merely the elucidation of this statement, which gives the 'formal logician' all that he really asks. Having it, he may admit that the older Logic insufficiently recognized the difficulty of making the framework of abstract formulas fit the diversity of actual thinkings, and also that the concealment of real complexity under verbal simplicity is one of the most frequent sources of fallacy. We want a dialectical casuistry to deal with the refinements and subtilties of thought and speech. The problem which, Mr. Sidgwick remarks, ' is always troubling Logic and which never troubles Geometry, the difficulty of using your definition to tell you precisely how some doctrine shall be interpreted in particular cases,' must be grappled with. Thus arises the true applied ^ Op. cit. p. 6. " Ibid, p. 20. ' Ibid. p. 57. * Ibid. p. 72. ■* Ibid. p. 72. * Fallacies, p. iii. 14 Introduction Logic, the logica utens, which in no way resembles the utilitarian Logic of Ramus, Locke, Stewart, Mill, and Bain. Recently an anarchical school of logicians has established itselfj which throws dirt and stones at the Syllogism, rails at rules, and overthrows a philosophy in a footnote. I trust I have done justice to that 'synthetic activity of Thought' by which it is sought to supersede the dethroned syllogistic reasoning. But the movement against major premisses is an endeavour to remove the linch-pin of connected thinking — that is, of Thought itself. CHAPTER II THE JUSTIFICATION OF ANY THOUGHT § 24. The subject of Logic is Rational Consequence in Thought. The consequential nexus in all thinking is Reason. Logic, then, investigates the Law, or Laws, which Reason imposes upon the connexions of Thought. To do this it must to some extent analyse the thinking act. Is judgement an equation of values — as when we say ' ten shillings are half a sovereign '? Is it an identification, even when conceptually expressed — so that 'patience is a virtue' identifies patience with a particular virtue? Or is it conceptual, the placing of ah object under a conception, even when expressed as an identification — so that 'L'Etat c'est moi' brings the State under the idea of Louis XlVth's person ? Or is it sometimes one and sometimes another? Hobbes in his Computatio sive Logica makes all judgement and all reasoning to be an addition or subtraction sum. § 25. An analysis of conception and judgement is therefore necessary; but only so far as is required for the purpose of detecting in what way the imperative of Reason is obeyed in this, that and the other sequence of thought. The logician leaves it to the psychologist to scrutinize further the inner mechanism of our mental faculties, the secret workshop of our consciousness. He is only concerned with the formal relations of thoughts regarded as products.^ Once he is given the meaning of a proposition, he ceases to concern himself with its history. Had it been turned out by a rationalizing machine rather than by a mind, the fact would be immaterial to him. Again, he is not con- ^ Psychology, says Mr. J. N. Keynes, deals with reasoning processes in the sense of observed uniformities, and investigates their genesis. Logic deals with them purely as regulative and authoritative. It is ' concerned with reasonings only in respect of their cogency; and with the dependence of one judgment upon another only in so far as it is a dependence in respect of proof ' {Studies and Exercises in Formal Logic, p. 5). i6 The Justification of any Thought cerned directly with the elements of feehng and behef and (as Descartes shows) of will which enter into all judgement. § 26, Logic deals with thoughts as justified, as rationalized. All thinking the consecution of which is shown as obeying Reason— thought explicating itself as rationally inevitable — is thereby justified. Every judgement must have a ground. The attribution of a characteristic to an object cannot be supposed unmediated, reasonless. It was arrived at somehow. In other words, it is an interpretation. We view every fact in the light of a theory. I may be unwilUng or unable — like him who did not love Dr. Fell ^ — to say what the ground or justification of my judgement is. But until the reason is assigned Logic cannot test it. And the assigning it turns the judgement into a syllogism.'' § 27. To say that a judgement must have a ground is only to say that it results from finding that some circumstance which * Brown was bidden by Dean Fell, under pain of expulsion, to translate straight off Martial's epigram : — Non amo te, Sabidi, nee possum dicere quare. Hoc tantum possum dicere, non amo te. Compare — ' Hunccine amas ? ' Equidem. ' Quare ? ' Quia talis habetur. ' Inspice '. Quid prodest ? Intima causa latet. (Alexius.) * ' In every judgment more or less of criticism is entangled, such criticism being the element in every judgment which makes it a reasoned judgment, as contrasted with what an unreasoned judgment would be if such a thing could be found' (Sidgwick, Use of Words in Reasoning, p. 362). Ultimately, no doubt, we are driven back to facts of immediate perception. But perception is not yet judgement. Judgement begins when interpretation begins. Facts cannot be inconsistent, but only theories. No formed judgement, no proposition framed in language, can be a bare statement of fact. A painter cannot ' paint what he sees ' till he knows what it is he sees. Even a judgement of identification refers an object to some category already possessed by the mind. And statements about our perceptions themselves are descriptive and interpretative, and, there- fore, liable to be mistaken. If I did not know it to be otherwise, I could sometimes of a bright, windy night find it almost impossible not to think that the moon 'was racing through the fleecy scud. There can be no iniaTTifiJi of a/iea-a, only vovs. Take these two sets of statements — ' This object is a revolver ; it is six-chambered ; two of the chambers are empty; it is rusty ; it was made by [maker's name] '; and, ' This pistol is an ingenious weapon ; two shots have been fired from it ; it has been a long time in the water ; it has not been cleaned ; it is of an old-fashioned make.' The latter set of assertions is highly interpretative compared with the former. Yet neither is really intuitional. In fact, an intuitional statement is impossible. Every Judgement has a Ground 17 we know about a subject (about all S's or some 5's) invariably carries with it the characteristic P, is found in P things only, though not necessarily in all P things. This circumstance is the middle term, the ground of attributing P to 5. I say that Dick is a bad boy, because he breaks windows, or does some- thing else which I consider only bad boys do — ^though some bad boys, it may be, show their badness in other ways. § 28. The allegation of the ground of a judgement, then, necessarily takes the form of two other judgements, one of which contains the subject and the other the predicate of the original proposition, while a third term is common to both, the relation of this middle term to the other two being regulated by rational laws which Logic investigates. ' A syllogism used for proof,' says Sidgwick, 'is a judgment (the conclusion) expanded so that the two disputable elements in it shall lie open to inspection.'^ The inward connexion of the thought is macfe explicit. On the other hand, in assigning a reason for a judge- ment, we frequently state one premiss only, leaving the other to be understood. E. g. — ' There is mercy with Thee ; there- fore shalt Thou be feared ' ; ' Lightly tread ; 'tis hallowed ground ' ; ' Eo immitior erat quia toleraverat * ; ' Beati mundo corde, quoniam ipsi Deum videbunt'; or Cade's, 'Away with him ; he speaks Latin.* § 29. Or, to view the matter from the other end, if two thoughts meet in a middle term in certain ways. Reason impels the thinking activity along a determined groove and compels it to draw a conclusion. Should the mind by a confusion of ideas attempt to travel down a wrong groove. Logic points out that there is no rational sequence of thought, that the conclusion ' does not follow '. It may even have to turn the mind out of the attempted inference as being incompatible with the premisses. § 30. Logic combats not falsity but fallacy. Demonstration requires an ultimate postulate both of Matter and of Form — a criterion of the truth of the data, and a criterion of the validity of the reasoning. But Logic is concerned with the latter only. It does not ask whether a statement is true, but how it is justified formally. It does not require, then, to know the con- tent of terms, but only their formal inter-relation." Logic is a 1 Op. cit. 82. ' If the content of the terms remains abstract and blank, the syllogism c i8 The Justification of any Thought kind of consulting physician or confessor. 'Why,' it asks, ' do you say that whales are not fishes ? But, after all, you need not specify your reason. It will be enough to say by what rational process you arrive at that conclusion.' Answer. — ' Whales are not fishes because they are something which no fish is ' — the unexpressed something being ' viviparous '. Or all three terms may be left blank. Inquirer. — 'Something I am thinking of must have a certain characteristic because it belongs to a general class of things which I know has that characteristic. Is this good reasoning?' Logic signifies assent. Again, ' This is that, and that is not the other. Pray, what am I to conclude?' 'That this is not the other.' Again, 'il/'s are always P, but 5's are never M, Can I infer that 5's are never P? ' ' No, certainly not.' § 31. If the following reasonings were put before the plain man — (a) Soldiers wear uniform. Sailors are not soldiers. There- fore sailors do not wear uniform. (6) Swans are birds. Horses are not swans. Therefore horses are not birds. (c) Slaves belong to a master. Freemen are not slaves. Therefore no freeman belongs to a master — he might not improbably say that any one can see through (a), that (6) is a good argument, and that in (c) each of the three propositions is a truism. Yet (a), (6), and (c) are similar in form and all alike bad reasoning. The conclusion of (a) is false as a conclusion (Sioti) and false as a proposition (oti). The conclusions of (b) and (c) are true as propositions but false (i. e. without justification) as conclusions. The premisses in every case are true. In the syllogism, ' Pat is Irish because he is a Frenchman and all Frenchmen are Irish,' the conclusion is correctly drawn and true in itself, though both premisses be absurdly false.^ which combines them is also a skeleton construction. If the tenns are clothed with circumstance, the syllogistic framework is so also ; but the force of the reasoning depends not on the material connexions of the varying contents, but on the inward and rational connexion of the judged relations of the terms, considered formally. ^ That such elementary lessons in logic are not unnecessary is clear when a serious-minded paper like the Spectator lays it down (Feb. 18, 1899, p. 225) that, 'Though a man may sometimes jump to a right con- clusion and illogically reach firm ground, he can never by the logical Valid Forms for alleging, a Ground 19 § 32. The reasons for an assertion may be, like FalstafTs, as plenty as blackberries. But what the logician is alone concerned with is the limited variety of ways in which the ground of a conclusion can be formally exhibited. Thus — Why do you say that 5 is sometimes P? I say it because — (i) S has been known occasionally to be M and M's, are always P [Darii). Or because, (2) M's are always both 5 and P (Darapti). Or because, (3) M's are always S and are sometimes P (Disamis). Or because, (4) ^'s are always P and are sometimes 5 {Datisi). Or because, (5) Every P is M and M's are always 5 (Bramantip). Or because, (6) Some P's are M and M's are always S (Dimaris), Again. Why do you say that no 5 is P? I say it because — (i) 5 is always M, and M is never P (Celarent). Or because, (2) P is never M, while 5 is always M (Cesare). Or because, (3) 5 is never M, while P is always M (Camestres). Or because, (4) P is always M, and M is never 5 (Camenes). Only one kind of reason can be given for the assertion that 5 is always P. But that S is not always P could be shown in eight different ways. If other modes of arriving at a conclusion were proposed they would be invalid. It is the task of Logic to sort out the valid from the invalid forms of reasoning, enabling us to distinguish consequence from inconsequence. It has nothing to do with the worth of the premisses so long as they are premisses. But directly we turn our attention to them in themselves, and regard them not as data but as tudicata, they too must show their rational anatomy, the plan of their reasoned construction. § 33. The most amusing sophisms are those which audaciously process get a right conclusion from incorrect premisses.' It is really safer to have both premisses wrong than one only. Whately gives, as examples of a true conclusion being reached illogically from true pre- misses, the following : — Every rational agent is accountable. Brutes are not rational agents. Therefore they are not accountable. All wise legislators suit their laws to the genius of their nation. Solon did this. Therefore he was a wise legislator. c 2 20 The Justification of any Thought elude dissection, while pretending to offer a plausible reason ; as when Lamb excused his coming so often late to the office by saying that any rate he always left it early; or as when the husband claims to be economical by making one slice of bread do for both butter and jam. Sometimes the ground alleged is a mere play upon words, equivoque, or even pun. George Selwyn, speaking of Sir Thomas Rumbold, M.P., who had begun life as a drawer at White's and was ending it as nabob and millionaire, observed that everything comes to him who knows how to wait. Successful equivocation among childlike nations, with a great idea of the mysterious sanctity of words,^ is held to bind the person deceived ; as when Lycurgus bound the men of Sparta to observe his laws until his return, and never returned. § 34. The implied ground of a judgement may be so ludicrously inadequate that the jest would be gone if the argument were displayed in full. The Gloucestershire song, George Ridler's Oven, tells us that 'Gaarge he wur the oldest brother, And therevoore he would zing the beass '. When gas took the place of sperm oil as an illuminant, a benevolent lady asked. What will become of the poor whales ? The reasoning implies such confusion of thought that the help of Logic for its exposure hardly seems worth invoking. And yet if fox-hunting were to go out, and some one were to ask. What will become of the poor foxes ? the question would be a very pertinent one ; for if foxes were not artificially preserved for the chase they would soon be exterminated. § 35. Reasoning, we have seen, is thought justifying itself formally. It is the educing of a judgement from two antecedently formed or given judgements. The ratiocinative act, then, has to do directly with judgement, and only indirectly with conception. The terms of a syllogism may be left blank, but the outlined judgements of which it is composed must be stated. Conversely, every conclusion is a judgement. Judgement is ' a consciousness concerning the objective validity of a subjective combination of ideas ' (Ueberweg). It may therefore be mistaken, and so requires proof. A concept, on the other hand, does not admit of error, until it is asserted of a subject. When we speak of a ' true idea ' ^ St. Augustine defines falsehood as ' an unnatural use of words, con- trary to their final causes '- A Concept needs no Justification 21 we mean that it is true in this or that predication. It cannot, therefore, be called upon for its ground. Not being propounded as either true or false, it needs no justification. If it is (psychically) possible it is possible, and there is an end of the matter. 'Truth', says Dr. Bradley, 'is not found except in judgements.' There is no Why? to be asked for the notion ' an unlawful desire ', but only for the same notion developed as a proposition — ' Some desires are unlawful.' Nor can a notion stand as premiss. If we see a picture we do not inquire, What then? § 36. It is true that a concept is often complex, and indeed all except the primary notions — and can these be called notions ? — are really so. No object can have one attribute only unqualified by any other. Now the determining element in a concept, that which specifies it in the larger class to which it belongs, may be replaced by a relative clause, containing a dependent judgement. A broken vase is a vase which is broken. A three-legged stool is a stool which has legs which are in number three. A horse is an animal which is equine. Nevertheless such a dependent judgement asserts nothing categorically. It therefore needs no justification. It is ideal only. Accordingly the consideration of the Concept only enters into Logic as enabling us to analyse the import of the Proposition. § 37. But the reader is perhaps impatient to object to what is said above as follows : — Rational consequence in Thought, if that be the right definition of the province of Logic, need not always imply mediation, the alleging of a ground for a statement. Is there not such a thing, he will ask, as immediate consequence ? In certain propositions, such as truistic and also analytical propositions, the subject involves and necessitates the predicate. And even in concepts one element of the compound may carry another element with it by rational implication. Contrariwise, a concept may contain formally incompatible elements, and a judgement may be a contradiction in terms. In such cases there is surely no need of middle terms. The concept or judge- ment is self-justifying or self-condemning. § 38. A closer consideration will, however, show that there cannot be siich a thing as immediate inference, or consequence, in thought. Consistency, as contrasted with bare repetition, is never simple, but always complex. 22 The Justification of any Thought § 39. Both concepts and judgements, it is true, frequently exhibit marks of internal implication. E.g. — 'a man and (there- fore) a brother'; 'the safest because the boldest plan'. The former is explicatio notionis; the latter expUcatio rei. 'A new Church and therefore no Church' (Theophilus Anglicanus) is probably the former. In other words ' therefore ' and ' because ' point to general knowledge, to a major premiss, which is in the background. A man and (since the notion of man includes brotherhood) a brother. The safest plan because (boldest plans being safest) the boldest. It is obvious that safest cannot be be got straight out of boldest. If this is less obvious in the case of brother and man, let it be considered that the entire content of the notion ' man ' is not to be assumed as conveyed by the name 'man', which is all that, logically, we are given to start with. If the content of 'man' is given, such datum is something extraneous to the concept considered objectively. Again, ' a selfish, and so an unlawful, desire ' means ' a selfish (which is necessarily an unlawful) desire ' — the parenthetic asser- tion standing outside the concept, in apposition to one of its elements. The Almighty is 'patiens quia aeternus'. Wesley speaks of the Choctaws as ' the least polished, that is the least corrupted, of the Indian nations '. § 40. Another class of obviously complex notions contains an adversative particle. 'Black but comely.' 'Slow but sure.' 'Advo- catus et non latro.' Johnson said of Somerville that he wrote very well for a gentleman. Here, again, a general proposition is suggested. Advocates are (usually) robbers. Gentlemen do not (usually) write well. It is only by virtue of such general maxim that the notion has a rational character. This is the true significance of the legal aphorism, Exceptio probat regulam. Other illustrations are — 'A maiden of our century, yet most meek.' ' Poor (or rich), but honest.' ' Dura lex, sed lex.' § 41. A mark of internal implication is also found in proposi- tions. E.g. — 'A quadrangle has necessarily four corners'; 'A native oyster cannot have been imported'; 'Vertebrate creatures must needs have backbones ' ; 'To sail quite round a peninsula is clearly out of the question.' In such judgements there is explicatio notionis. But the internal mark of illation may be found in purely synthetic propositions; e. g. 'A bishop nowadays is necessarily a man with private means.' Only Syllogism exhibits Rational Character 23 § 42. The following may be given as illustrations of adversa- tive propositions — 'Fiat iustitia, ruat caelum'. 'Though He slay me, yet will I trust in Him'. 'Naturam expellas furca tamen usque recurret'. 'Timeo Danaos et dona ferentes'. 'A vagabond is not for that reason necessarily a rogue '. ' Ut desint vires, tamen est laudanda voluntas '. ' Ne sit summum malum dolor, malum certe est'. The Greek /a€v . . . 8e breaks up the antithesis into two parallel assertions. Contrast, 'England, with all thy faults, I love thee still.' § 43. This subject will be treated of more fully under Analytical Judgement (§ 507 seq.). § 44. Next, let us take the case of concepts and propositions in which, though there is no mark of internal implication, the elements seem obviously to imply and involve one another, either riotionally or etymologically, or even verbally. Instances are such as : — Stuck adhesive and suspended hung. A pacific eirenicon making for peace. A peculiar property. A wedded wife. Four square. An unlucky mischance. Semibovemque virum semivirumque bovem (Ovid). The foolishness of fools is folly. Costard says, 'We know what we know,' and Joe Gargery in Great Expectations assures Pip, ' Manners is manners, but your 'ealth's your 'ealth.' Sarah Battle deemed cards to be cards, desiring therefore the rigour of the game. When the butler at. Queen's Crawley announced mouton aux navets and potage de mouton a I'ecossaise, Sir Pitt Crawley observed with satisfac- tion that mutton is mutton, and an uncommonly good thing too — or words to that effect. We say, 'Che sara sara,' and ' Let bygones be bygones,' or ' We shall see what we shall see '. § 45. It is clear, however, that we cannot get from ' stuck ' to ' adhesive ' or from ' peculiar ' to ' property ' by a formal process of pure reason, without some additional explanation or some knowledge of the matter, though the matter be the content of a notion, or the meaning of a word, and not the properties of a thing. Even where, as in the above propositions, there is an actual verbal tautology, the word in the predicate has 24 The Justification of any Thought not precisely the same force as it has in the subject. The subject is more denominative and the predicate more intensive —drawing attention to what might otherwise escape notice in the characteristics which the name implies. § 46. In fact, every proposition has some ampliative signifi- cance, otherwise it would not be worth making — would not be, indeed, a proposition. ' It is ultimately one/ remarks Dr. Bosanquet, 'to say that I judge and that the real world for me, my real world, extends itself.' ^ ' A \% A' \s, not a judgement at all unless there be some real movement and advance of thought, some clearer knowledge gained by myself or imparted to another. Even a platitude is an extension of thought ; and moreover we often, out of a kind of moderation, couch assertions in a purposely platitudinous form, especially by the use of 'too' — e.g. 'We ought not to attempt too much.' § 47. Similarly, in the case of concepts, pleonasm is never mere repetition, but either force is sought to be gained by synonym — as, 'a poor unfortunate,' 'delightful and charming,' 'miserly skinflint' — , or the redundancy is humorous — as in Artemus Ward's 'female woman' — , or is due to ignorance or local idiom — a Scotch guide-book before me speaks of the ' Episcopal bishop ' (i. e. Episcopalian) — ; or to a change in the meaning of words — as, when we say ' cloth clothes ', for we also speak of linen clothes, and of a fair linen cloth. § 48. A real internal confliction of elements in concept or judgement is equally impossible. We can frame with lips or pen a contradiction in terms — ' bona fide imposture,' ' four-footed biped,' 'most tolerable and not to be endured,* 'your full cup is almost empty,' or the hke— but nothing here has been conceived or judged by the mind. No doubt, we are familiar with expressions in which there is apparently a self-contradiction, either verbal, as lago's 'I am not that I am', ttoXis cittoXis, faultily faultless, 'he is all fault that hath no fault at all,' or in sense, as, 'when I am weak then I am strong,' 'plus 5a change plus c'est la meme chose/ 'bourgeois gentilhomme,' 'black rubrick,' 'red albe.' One of Beaumont and Fletcher's plays is entitled, 'A king and no king.' But in such cases we have, not any real incompatibility of ideas, but rhetorical, ^ Logic, i. 4. Aristotelian Logic not Formal enough 25 poetical, epigrammatic, or humorous trope. This will be further illustrated below (§§ 133, 235 seq.). § 49. An internal necessitation or confliction of ideas must be given, then, by means of a middle term. If it is objected that whoever judges must be supposed to know what his ideas contain, we reply that the content must be realized by prior reflexion before judgement can take place ; and though to the speaker his own proposition may be a matter of course, it is not so to the hearer, otherwise it would not be made. § 50. The Aristotelian Logic is often. disparaged as merely formal. But, in truth, neither in the hands of its founder nor in that of his exponents, whether Peripatetic, Arabian or Scholastic, was it formal enough, being blended with natural philosophy, transcendental metaphysics, and divinity. The dovetailing of Logic into demonstration from self-evident axioms or irreform- able dogmas of faith was especially the aim of the mediaeval schoolmen. A system of Logic cannot, it is true, be constructed which shall be compatible with all opposing metaphysical doctrines; for an extreme nominalism or atomism strikes at the root of conception, of judgement, and of truth itself Logic is unable tp show how ideas may be formed so as always to agree with facts, but it guarantees that, if a thought is true, the facts shall be found to correspond — ^which is what is meant by truth. But, beyond postulating the existence and laws of truth, the logician is not concerned with ontological inquiries. His science, while it demands universals, can only help in a negative and merely regulative way towards their formation; nor can it distinguish cause and effect from any, other unexpressed relation between the subject and predicate of a general proposi- tion. To it the propositions, 'Cold winds come from snowy regions,' 'Cold winds dry the ground,' and 'Cold winds are unpleasant,' are the same in form, though to the meta- physician the first expresses a cause, the second an effect, and the third the inherence of a quality. ' It is slippery because it has frozen ' and ' It has frozen, because it is slippery ' are similar propositions for the logician's purpose ; though to Thought the one is ratio essendi, the other ratio cognoscendi. The subordination of ascending and descending classes, which for the physical philosopher is a scheme of species and genera, 26 The Justification of any Thought and for the ontologist the reconciliation of Being and Becoming, is for our purpose a relation merely of larger or narrower extension and intension. § 51. Easier than the detachment of Logic from metaphysical and psychological problems should be its liberation from a supposed allegiance to the sciences as their Organon. For by the view of Formal Logic as an introduction or propaedeutic to the Logic of ' fruit ', by the view which regards Syllogism as the Law and Inductive investigation as the Gospel, a line of partition is drawn between Deductive and Inductive Logic, which may even form separate volumes.^ The comparative utility of these two subjects of study need not here be discussed. They are essentially different, and no clear conception of Logic will embrace them both. They are not two' wings of the same building ; still less is ' Formal Logic ' the antechamber by which we enter the spacious halls of Experimental inquiry ; but it is as though to a symmetrical and self-contained Doric temple we built on a vast modern factory or railway station. § 53. Baconianism did not give men an enlarged and reformed Logic, but rather induced them to turn their backs on Logic as useless for the enrichment of human knowledge or the improve- ment of the human lot. Whether scimus ut sctamus or scimus ut operemur, in either case melius est naturam secure quam abstrahere. Logic offers no extension of man's empire over the universe. The system which Bacon proposed to substitute for the tenm deducta mathemata filo of the schoolmen — who, however must be given the credit of having on certain subjects spoken almost the final word— is weak and halting. It is really his superficial comparisons of instances which is unequal to the subtilty of nature. Laws do not leap to the comparing eye in the easy way Bacon imagined. It is not by his rules that the great 1 Grote observes, however, that whereas formerly the two streams— the ' Inductive and Ratiocinative halves of Logic '— ' flowed altogether apart in our minds, like two parallel lines never joining nor approaching. . . . Mr. Mill has performed the difficult task of overcoming the inveterate repugnance between them, so as to combine the two into one homo- geneous compound' (Review of J. S. Mill on Hamilton's Philosophy Westminster Review, 1866). None the less, what Mill has to say about formal logic is distinct from what he has to say about Induction ; whereas logicis at every step liable to become entangled with questions of meta- physics or of psychology. Inductive Proof 27 conquests of modern science have been achieved.^ There must be ' anticipations ' — not the barren theorizing of the intelkctus sibi permissus, but great and fruitful hypotheses.* On the other hand, he convincingly showed that knowledge cannot advance a step without materials furnished by the outer or inner experi- ence. But Logic stands apart from Experience, whether inner or outer. It is equally indifferent to the existence or non- existence of ' innate ideas '. The properties of a triangle are not more logical than the properties of salt or sugar, nor the laws of beauty and goodness than the law of gravitation. § 53. In' Induction there is, no doubt, a formal element of rational necessitation, which it is the work of ' Inductive Logic ' to abstract from the matter given in experience. It will be found, however, that the universal, validity-bestowing principle in all proof is the same, whether we are proving deductively or inductively. Not only must we say with Mill that ' all reasoning is resolvable into syllogisms', but with Hegel that everything rational is essentially syllogistic. . § 54. Inductive Logic is merely the regular logic applied in a particular way. Postulating as a vast major premiss the axioma generalissimum that Causes, uncounteracted, are always followed by their Effects, it subsumes under it a number of suggested explanations of a phenomenon, with a view to testing them and excluding all except the right one. If this or that ^ ' No amount of observation could detect any resemblance between the bursting of a thunderstorm and the attraction of a loadstone, or between the burning of charcoal and the rusting of a nail ' (A. W. Benn, Greek Philosophers, i. 151). ^ 'Modem science has substituted for the wings of Icarus a pair of crutches, bearing the names of Observation and Induction, with which, no doubt, she advances more securely. Nevertheless, science would be wrong in attributing all her progress to method. Besides the two instruments that we have named resides a free force, a sponta- neous element of the human mind ' (Vinet, Metaphysics). Bacon, says Dean Church, 'was so afraid of assumptions and "anticipations" and prejudices, that he missed the true place of the rational and formative element in his account of Induction.' His system was, therefore, 'as barren of results as those deductive philosophies on which he lavished his scorn ' {Bacon, p. 245). ' The verification of a great hypothesis is a kind of questioning and cross-questioning of Nature. Her awful silence in the presence of the unperceiving gives way before those who know how to put the questions' (Wilfrid Ward, Problems and Persons, p. 141). 28 The Justification of any Thought circumstance is not always followed by the effect under considera- tion, it cannot be the required cause. The minor premisses in this kind of reasoning are furnished by experience ; and the combination of experience with the above-mentioned axiom is what enlarges our previous knowledge of the laws of things. Mill tells us that he long puzzled himself 'with the great paradox of the discovery of new truths by general reasoning. . . . How a conclusion, being contained or implied in the premisses, could be a new truth was a difficulty which no one, I thought, had sufficiently felt, and which at all events no one had succeeded in clearing up '} But is it not plain that the newness of the truth arises either out of the novelty of the experience, or from old experience being viewed in a new light ? § 55- What is important, then, for induction is not reason (raisonnement) but knowledge and judgement. The logical analysis of the inductive process is of great interest. But the Five Methods are employed at every moment by every man, woman and child. Had they remained unformulated, the advance of the sciences would not have been retarded in the smallest degree.'' That advance must be ascribed to the wiser direction of the thinking subject, the judicious employment of the trained understanding upon the materials accumulated by observation and experiment. The natural philosopher is more concerned to ask what analogies are on all fours than, with the logician, to inquire in the abstract why parity of reasoning rightly carries conviction to the mind. § 56. A ' general theory of the right relations of all thought to its matter ', a ' reasoned theory of the rules which should govern the search for objective truth',' a 'scientia dirigendi facultatem cognoscitivam in cognoscenda veritate',* may be much superior to Logic, to ' the faded dialectic of the schools ' ; but it is not Logic. Inductive science furnishes rules for dis- tinguishing relevant from irrelevant grounds of inference. The trained experience of a detective, for instance, seizes on the important, and dismisses the unessential, features of a case. ^ Autobiography, p. 180. "^ Mathematics, on the other hand, are studied both for their own sakes and as a potent organon in the development of complex sciences such as physics, chemistry and astronomy. ' Mill, On Hamilton, p. 477. < Occam. Logic cannot extend our Knowledge 29 But the laying bare by Logic of the inward principle of illative cogency will be of little assistance for guiding the judgement to discriminate aright. § 57. And yet one writer ailer another has confused counsel proffered to the intelligence for judicious grouping of the con- tingent properties of things with dissection of the fundamental law of universal Reason.^ Lewes, for instance, defines Logic as the ' science of philosophical tools *, ' the codification of the rules of proof which the various sciences have employed and must employ '.' But why ' must ' ? It is this absolutely valid and compulsive principle of which the logician is in search ; and no examination of the I'Siai apxv oWaj/, but rather to Sv (ou;^ as vnapxov dXX') 3 6V. Reason as Abstract 39 but is simply our energizing as rational creatures.' Our thinking, as a cerebral activity, is compelled, while the objective nexus of thought is necessitated, by the reason of the thing. We recognize a universal rightness in the matter, an ought as well as a must. Otherwise there is no truth. What this objective standard is we now proceed to inquire. ^ Milton, however, makes Reason the sovereign faculty : — In the soul Are many lesser faculties that serve Reason as chief. {P. L. book v.) CHAPTER IV IMMUTABILITY OF RATIONAL LAW § 75. Is Reason an immutable standard and law ? Logical necessity, the law of all possible rational relations, is prior to every other form of intellectual necessity, prior to the Kantian Categories of the Sensibility and the Understand- ing, prior to the basal axioms of mathematics, prior to the metaphysical conceptions of Cause and Substance. It is the ultimate law of the thinking subject ; but the notion of it is necessary in itself as well as necessarily formed by our minds. § 76. Right reason is not even the way in which the Divine Mind merely as a fact reasons. For the Divine Perfection is not accidentally or arbitrarily thus and thus ; but, being its own law and having no standard outside and before itself, nevertheless could not be otherwise than it is. If we ask whence the necessity of such self-determination arises, we find ourselves at the limit of human speculation.^ § 77. Mill, contesting Hamilton's assertion that 'the laws of Logic constrain us, by their own authority, to regard them as the universal laws not only of human thought but of universal reason V doubts whether they are even an original part of our mental constitution, of the native structure of the mind. He considers that we may have adopted them as part of our mental furniture by always perceiving them to be true of observed phenomena, so that the opposite has now come to be incon- ' Dean Jackson (On the Creed) remarks upon the words 'God Almighty' that 'the possibility of contradicting or opposing Himself must by the eternal Law be excluded from the object of Omnipotence '. Bishop Butler observes that the will of the Almighty 'is as certainly determined by the principles [of right and wrong] as His judgement is necessarily determined by speculative truth' {Analogy, Pt. H, c. 8). Shaftesbury, however, argues that to say God is just and good is to imply that there is such a thing as justice or goodness independently, according to which God is pronounced by us to be just or good. ''■ Lectures on Logic, ii. 65. The Empirical School 41 ceivable.* He quotes Spencer: — 'The law of the Excluded Middle is simply a generalization of the universal experience that some mental states are directly destructive of other states."* To suppose that a law of thought is not necessarily a law of notimenal existence is no invalidation of the thinking process. According to Mill's doctrine, then, we only know that black is not not-black as we know that black is not green, or that unripe apples are unwholesome, viz. by having found it out. § 78. Regarding the law of Reason as merely a generalization from the way in which men do as a fact reason,' a summary of observed rules or uniformities of practice, an induction from a vast number of examples of valid arguments, — but how are they known to be 'valid'? — Mill looks on ratiocination as one of the activities of the Understanding *, with all of which Logic is concerned. With him, as with the Port-Royalists, Logic is 'I'Art de Penser', and a department of Psychology. The impossibility, therefore, of supposing logical axioms to be untrue is but an acquired mental cramp, or, at most, a native and inherited constitutional infirmity. Such axioms are true because they are universal, not universal because they are true. § 79. Mill, in fact, recognizes no essential rightness in Reason as Reason, no absolute conditions of valid inference. Yet when he contends that 'in no case can thinking be valid unless the concepts, judgements, and conclusions resulting from it are conformable to fact',' he cannot intend to deny that valid conclusions may be drawn from untrue premisses. We may ^ On Hamilton, p. 491. ^ See also Mill's Logic, i. 321 : — ' The Principium Contradictionis I consider to be, like other axioms, one of our first and most familiar generalizations from experience '. No. Such an axiom may be con- sciously realized with experience, but it is in truth a pre-requisite to every mental act. ' Mill seems to regard a conclusion as following from the combination of the properties of two propositions in the same phenomenal way that an explosion follows upon the union of a match and powder. ' Follows ', in fact, merely means ' results.' ' Res constringitur, non assensus.' * According to Hobbes nothing is required to make reasoning possible but senses and association. Reasoning is only an assemblage of names connected by the word est. We reason not about the nature of things but about their appellations, which are purely arbitrary, and are ex- changed like counters. " On Hamilton, p, 471. 42 Immutability of Rational Law reason connectedly from the most extravagant propositions — 'Si j'etais roy,' or 'If all the trees were bread and cheese and all the sea were ink.' ' If Sigwart is right that Logic is ' a technical science of Thought directing us how to arrive at certain and universally valid propositions', logical thought cannot be looked for from a person who begins : ' If I were you, I should do so and so.' One person cannot be another. § 80. Though the conclusions of logical arguments can only be conditionally true, yet we claim absolute certainty for the bases of Logic itself In everything else ' nous cherchons par- tout I'absolu et ne trouvons que le relatif '. But the logician's starting-point is the one metaphysical Absolute, not this truth or that, but the reality of Truth itself ^ This is the primary and ultimate notion of Being and of Knowing. Logic can only prove its own principles by means of those principles ; indeed, they can only be questioned by being assumed true. Reason can neither be established nor subverted save by an act of reason. Even if it could be shown to be certainly false, that would be equivalent to showing it to be possibly true ; for its falsity could only exclude its truth on the supposition that contradictories are incompatible, which is the very thing that was denied. To disprove reason by reasoning is to stultify oneself To expose unreason by reasoning is to beg the ques- tion. Nothing, some one has said, which is worth proving can be proven — certainly not the process of proof itself § 81. If inferences are not borne out by facts we are puzzled.' But while we may suspect the facts, or our premisses, or else look for some flaw in the reasoning, we never for a moment think that a correct deduction, however complicated and pro- ^ Or those great subtilties and high suppositions which Latimer ridicules as discussed in pulpits ; ' as whether, if Adam had not sinned, wee should have had stockfish out of Iseland ; and how many larkes for a peny if every starre in the element were a flickering hobby.' ^ That reality I cognize with the same immediateness of consciousness with which I cognize my own existence ; indeed the two cognitions are really the same. Now to speak of the consciousness of my own mind by my mind as relative to my mind splits impossibly into subject and object the primal, original fact of my being. To make a man's self non- Ego to himself, like a kitten chasing its own tail, is meaningless. ^ Tai ^ej/ aKrjdeL iravra avvahn ra VTrdpx^ovTayjrw 6e ^euSet Taxy di.aopiK6s (its revelation in the created world), after becoming with Philo God's Firstborn and Counsellor, was raised to an entirely new plane by Christian theology. The correspondence between the ' spirit of man ' and the ' Spirit of God ' is perfected by the Incarnation of the imndoTaTos AOros, who is no emanation of Deity but the second Person of Trinal Godhead, in whose archetypal image humanity was originally created. Can we Reason Wrongly? 49 invalid syllogism is accepted as valid, some two sentences have been wrongly interpreted as equivalent to each other. In no other way, surely, can we be deceived as to whether a given conclusion is implied in given premisses'.^ And again — ' Mistakes in reasoning are nothing but mistakes in the facts from which the reasoning proceeds.'^ Presented with some intricate question of genealogical relationships, I may arrive at an absurd conclusion ; it is not, however, my inferential power which is at fault, but the slowness of my comprehension.' § 93. It is objected that a man must at any rate understand his own thoughts — how comes it, then, that he can reason badly by himself? But each person has really more difficulty about his own thoughts than he has about those of other people. For the latter are presented to him one by one, formulated in language, and with some attempt at logical connexion. But his own ideas throng into the cramped field of the supra-liminal consciousness (to use Myers' well-known phrase), for the most part confused, shapeless, and mingled with a crowd of unreflective activities. At each moment that he would reason, these half-digested thoughts, scarcely-remembered impressions, tangled and disordered feelings, thrust themselves upon his mind. He must use them in the rough. Hamilton quotes the saying of Descartes : — ' Nihil nos unquam falsum pro vero admissuros, si tantum iis assensum praebeamus quae clare et distincte percipimus '.* This implies, no doubt, that false thinking, and not only false reasoning, ought to be impossible. 'What is actually thought cannot but be correctly thought Error first commences when thinking is remitted.' ° In other words, mistakes proceed from the will, which is the parent of laziness, from prejudice, confusion, arbitrary assumption, and that inattention to the limitations of our faculties which converts nescience and suspended judgement into ignorance and error .° ^ The Process of Argument, p. 65. ''■ Use of Words, p. 362. ' '"Can you do Addition?" the White Queen asked. "What's one and one and one and one and one and one and one and one and one and one?" "I don't know," said Alice, "I lost count." "She can't do Addition," the Red Queen interrupted ' (Carroll). < Cartesii Princ. Phil. i. 43. ° Twesten, Logik, § 308, quoted by Hamilton. * ' Attention is an act of volition, and attention furnishes to the Under- £ 50 Immutability of Rational Law § 94. The will corrupts the understanding. But — Neque decipitur Ratio nee decipit unquam. What, then, about madness ? Is this really ' loss of reason ' or only ' weak understanding ' and disordered imagination ? The lunatic who believes himself to be Julius Caesar or an elephant argues quite rationally on that supposition. Hamlet, in brainish apprehension of a rat behind the arras, consistently kills Polonius, and weeps to find what he has done. Ophelia, ' divided from herself and her fair judgement, Without the which we are pictures, or mere beasts,' very logically drowns herself. It is the intelli- gence which is unhinged. Within the world of his own in which the madman lives, the connexions of thought obey the rules of reasoning. § 95. It is the understanding by which the simple spatial and numerical notions are grasped. To put two and two together is an intellectual rather than a ratiocinative accomplishment. Galton tells us that the Damaras cannot count at all. ' If two sticks of tobacco be the price of one sheep, it would sorely puzzle a Damara to take two sheep and give him four sticks.' A learned pig were more arithmetical. Yet one of these inefficient cypherers on the trail of an enemy or wild creature would doubtless perform most intricate feats of inductive and deductive inference. In matters which a savage thoroughly understands, his reasoning process is swift. Zerah Colborn, having instantaneously found the square-root to thirty-three places of a number consisting of fifty-three figures, dictated it from memory twenty days after. But his purely ratiocinative power was no greater than that of Galton's Damaras. § 96. ' It is not the abstract principles of correct reasoning ', observes Sidgwick, 'which are unfamiliar to the average man (except in their technical expression), but the limits of the safe application of those principles when the concrete subject-matter is taken into account '} Children are usually very logical ; where standing the elements of its decisions. The will determines whether we shall carry on our investigations or break them off, content with the first apparent probability, and whether we shall apply our observations to all, or only partially to certain, momenta of determination' (Hamilton, Lectures on Logic, ii. ^^). Probably, since we are partly conscious of the part played by the will in our judgements, we form nearly all of them with certain mental reserves. * Use of Words, p. 83. Because our mistakes lie in our facts rather Error arises from Vague Conception 51 they go wrong is from want of experience. They look with a certain awe for a correspondence between language and realities. Words are to them not the counters which Hobbes says they are to the wise, but gold pieces having an intrinsic value, and not simply that which he who puts them into currency chooses to stamp on them. § 97. All important error, Sidgwick says, arises from ambiguity of the middle term. When an arguer proves his point with triumphant but suspicious ease and simplicity, it will usually be found that the middle term has been slurred and half-skipped. Hobbes proves that no law can be unjust, since right and wrong are derived from law — ^which assumes that iustum quia iussunt est, not tussum quia iustum. If forced by logic to state its reasoning in full, the mind will often shrink from avowing what was consciously or unconsciously implied in it. Frequently it rests upon some slovenly conception — like that of the parents who proposed to bring up their boy to the butcher's trade because he was so fond of animals — or some more or less disingenuous appeal to prejudice. So it is in the 'pathetic fallacy '. Epithets used in controversy (e.g., narrow, broad, intolerant, patriotic, firm, ruthless) prove nothing apart from circumstances. A jest, however, is usually spoiled by insistence on complete formulation. * My dear sir,' exclaimed Pugin to a clergyman in a Roman church who was praying that England might be converted in a vesture of offensively modern pattern, 'what can be the use of praying for the conversion of England in that cope ? ' So far as the great ecclesiologist's distress was serious, his unexpressed major premiss was that good taste and good religion go hand in hand. The following we should class under the head of ignoratio elenchi. Erasmus, having in a tract Ciceronianus satirized the Ciceronians, who would employ no than in our reasoning, Sidgwick suggests very inconclusively that 'the common distinction between reasoning and judgment ' is wrong. ' There is no unreasoned judgment, and no reasoning process apart from its subject-matter' ( Use of Words, p. 362). But, because there is a reasoning element in all judgement, it does not follow that reasoning and judgement are the same thing. What Sidgwick means, no doubt, is that error resides in the other element in judgement, the non-ratiocinative, which is rather comparison than judgement itself. The starting-point of com- parison is, in the ultimate psychological analysis, perceptive rather than intellective. E 3 52 Immutability of Rational Law expression not to be found in Tully (using Pontifex maximus for the pope, Dii immortales for God, and the like), Scaliger ferociously attacked Erasmus' public and private character. Milton himself, in his prose works, is a past master in this controversial method. But the underlying assumption is that intellectual and moral qualities are so intimately related that a scoundrel is certain to be a sophist, and to have vicious literary judgement as well.^ § 98. An enormous number of arguments have, as expressed, an undistributed middle term, that is to say, no apparent universal element, and this is a fallacy in the reasoning itself But I think there is always in such a case an assumption that the subject and predicate of the major premiss are 'convertible'. All A's {and A's only) are B ; Cis B; therefore C is A. The following example of fallacy is given in the Port Royal LogicP- A German poet, reproached by Mirandola with having introduced into a poem describing the wars of Christians against Christians all the divinities of paganism, mixing up Apollo, Diana and Mercury with the Pope, the Electors and the Emperor, main- tained that without this it would not have been a poem, seeing that the poems of Homer, Hesiod and Virgil are full of the names and fables of these gods. Obviously the German meant that mythological colouring is a predominant characteristic of great ancient poetry, and that all poetry is bound to resemble the great models in their leading features. The contention is weak, but the reasoning, thus understood, is correct. The same may be said — to pass from grave to farcical — of the illustrations of the advantages of water-drinking given in the report of the Brick Lane committee in the Posthumous Papers of the Pickwick Club? That gin and water should undermine a wooden-leg's constitution is a post hoc ergo propter hoc inference which depends on an audaciously convertible major premiss, the general identifica- tion of wooden-legged gin drinkers with the possessors of split ' It is perhaps pursuing the point rather too seriously to quote Vinet :— ' There is a strict relation between the rectitude of the moral sense and the correctness of the mind. . . . Let us remember how rare it is that intellectual speculations are completely exempt from moral influence, how imperfectly recognized is the bearing of Will upon Opinion' (Meta- physics). » Ft. Ill, c. XX. » Chap, xxxiii. Fallacies 53 wooden legs — the circumstance that the split wooden legs had been second-hand ones being deliberately put out of view. § 99. A large number of fallacies arise from the point to be proved not being kept steadily before the mind. For example, boiling oil used to be counted a specific against poisoning by lead bullets ; but after a certain battle, Berthon tells us,' it was found that the chief surgeon had forgotten to order a supply. He was court-martialled and about to be broken, 'when some one had the sense to propose that they should suspend judge- ment till the results of the omission were ascertained. After about a week it was found that all the wounded men were alive and doing well.' But the question was whether the surgeon had neglected his duty ; and the court was ' illogical ' in acquitting him. The elenchus is here lost sight of. § 100. Begging the question is sometimes a defiant assumption — ' It is right for me to persecute you, because I am in the right, but wrong for you to persecute me, because you are in the wrong'. More usually it is due to confused thinking.^ But confusion of thought has countless shapes. In 1886, the festival of Corpus Domini falling on St. John's Day, there was an apprehension among the Piedmontese peasantry that the end of the world was at hand, and many made their wills in consequence. They had a vague notion of impending death. Yet possibly they may have had a feeling that Christians ought to go to their last account with their affairs in order, their debts provided for, and a just disposition made of their goods — whether any one would be left to benefit by it or not. Mill remarks that ' men may easily persuade themselves that they are able to reason though they are not, because the faculty which they want is that by which alone they could detect the want of it'.' He infers ' A Retrospect of Eight Decades. ' It is the conceit, not the irrationality, which takes us aback in the Paisley man's surmise that Shakespeare may very well have been born in that town, 'for his abeelities would justify the inference'. Petitio principii is, in fact, rather a moral than a logical fault. For if not a surreptitious, it has usually an insolent, vulgar, or foolish basis. The Northern Farmer shows that the poor in the lump are bad, for — ' Tisn them as 'as munny as breaks into 'ouses an' steals, Them as 'as coats to their backs an' taakes their regular meals.' ' Essay on Whately's Elements, 1828. 54 Immutability of Rational Law that fallacies must be exposed not by common sense but by logical analysis. Logical analysis, certainly, by securing an argument being exhibited in its completeness, will enable us to lay our finger on the weak place in it, and give opportunity for mending it. But what the testators of Piedmont lacked was not logic but clearness of ideas. § loi. In almost every dispute there is some petitio principii to be hunted down. The opponent assumes that we will grant his premisses when probably we ought only to do so with qualifica- tions. Or he extorts a concession in one sense and proceeds to make use of it in another. To our mystification or indignation, we find that an admission has landed us in an intolerable conse- quence. A Cambridge professor who was asked in a mathe- matical discussion, ' I suppose you admit that the whole is greater than its part,' is quoted by De Morgan as answering, — ' Not I, until I see what use you are going to make of it.' If I am asked to allow that an indicator which is right twice a day is more useful than one which is never right at all, I shall probably cheerfully assent, until I find that I have granted that a watch which does not go at all is more useful than one which is always a minute fast. Take this syllogism : — ' Whoever says that a philosopher is an animal speaks truly. Whoever says that a philosopher is a goose says that he is an animal. Accordingly, whoever says that a philosopher is a goose speaks truly.' This looks a good syllogism. But reasoning is about thoughts, not about verbal expressions. And we notice that the first ' speaks truly' does not refer necessarily to everything which the person may be saying about the philosopher, but only to the predicating animality of him. To call a philosopher a goose, however, is indeed to attribute an animal nature to him incidentally, but an animal nature of a certain kind. It is to say he is an animal and something more. The statement is true, then, in one part, but not necessarily in the other. § I02. De Morgan points out that the scholastic logicians were so practised in reasoning, and so unaccustomed to a formal fallacy being adhered to one moment after being pointed out, that they treat almost entirely of material fallacies; whereas with us inaccurate reasoning is very common, and its exposure is regarded as a pedantic quibble. But this only means that we are impatient of form and theory, and resent having to recast Fallacies 55 an argument so that it shall conform to logical rules.* The slipshod reasoning which makes the wise despair of an age of cheap discussion springs from undisciplined judgement and hazy conception rather than actual paralogism. Confused materials are supplied to the mind to syllogize. Fallacies, in fact, are really psychological rather than logical. Logic forces them into the light, but does not show why we make them. If we are to think aright, the all-important thing is the bringing things under the right notions. The ratiocinative energy can be left to take care of itself, if only it is supplied with notions at once clear and distinct — made clear by definition and distinct by division. § 103. 'We are wrong,' says Vinet, 'in speaking of reason misled, reason corrupted. In itself it is never corrupted. It is the elements on which reason operates that are corrupt. And just as reason alone cannot pervert, so neither can it redress alone.' § 104. The classification of fallacies is treated so fully in the ordinary books that it need not be handled here." Mansel adopts a threefold division — Fallacies in the Thought, Fallacies in the Matter,, and Fallacies in the Language — Aristotle's irapa.- XayuTfiuoi iv Tg Xi^ei. 'Strictly speaking,' he says, 'Formal Fallacies alone come under the cognizance of the Logica docens, or logic properly so called, as being apparent but not real thoughts, or at least not the kind of thoughts which they profess to be. Material Fallacies, where the thought is legitimate but the relation to things inaccurate, belong properly to the province of the Logica utens, and can only be adequately guarded against by that branch of knowledge which takes cognizance of the things. A minute division of Material Fallacies may thus be carried on to an indefinite extent. . . . Fallacies of Language, it is obvious, will become more numerous as the process of thought becomes more complicated. . . . Any defect in this indispensable instrument of thought is communicated to the operations which it performs.' § 105. If, however, our contention is right that it is always our understanding and not our reason which is deceived, formal fallacies are at bottom fallacies either of matter or of language. * Unlike the Oxford man of the old Aldrich days who came away from a sermon indignantly exclaiming, ' The rascal made a fallacy in Baroso ! ' ''■ e.g. in Mansel's Aldrich, App. M, and his Prolegomena Logica, chaps, iv and v. 56 Immutability of Rational Law No one with a perfect comprehension of the terms he is using and of their propositional relations would ever syllogize wrongly. § 106. A further question should be glanced at before this chapter closes. Is it possible to be ' too logical ' ? Not unless it is possible to be too rational. If a man is unreasonable he is not really rational. Carlyle assures us that 'not the least admirable quality of Bull is, after all, that of being insensible to logic '. Less complimentarily it has been said, ' L'esprit anglais est tres inconsequent.' The Englishman usually thinks that he can carry a principle just so far as is convenient, and no further. Macaulay speaks of the promoters of a bill in Parliament caring little about the major premiss contradicting the conclusion if the major won two hundred votes and the conclusion a hundred and fifty more. On the other hand De Tocqueville said of his countrymen : — ' We are too logical, and cannot endure any institution in which a blemish may be found.' French thought is rectangular and somewhat unimaginative. § 107. If our premisses are exactly and certainly true, we cannot too logically act upon them. To do otherwise is to be irrational. It has been remarked that when we are right we are always more right than we believe ; if we hold a truth we never believe it enough, never trust it sufficiently. What is faith but the deductive loyalty to convictions of unseen things which refuses to be turned out of the way by the things of sight, and is verified by obedience? On the other hand, terms used in religion ought always to be filled with content, not used as tokens but realized in heart and understanding. Otherwise preciseness of thought may lead to an 'horribile decretum, fateor '} St. Paul's logic is ever spiritual and human, not algebraic, wooden, and 'hard-church'. Still, it is right to apply principles steadfastly. It was said of Hurrell Froude: ' See Calvin's Institutes, lib. iii, c. 23, § 7, on the doctrine of irrespec- tive reprobation. But, though the impossibility of expressing Divine mysteries adequately and without one-sidedness makes an over-dogmatic temper dangerous— ' non in dialectica,' says St. Ambrose, 'complacuit Deo salvum facere populum suum,'— yet, if truth has been revealed to human intelligences at all, it must be capable, under Divine guidance, of deductive elucidation. There is a softness about the blurred and hazy outlines of English beliefs, as of English scenery. But much of the cheap contempt of popular writers for scientific divinity is nothing but a prefer- ence for illucidity and down-at-heel slatternliness of thought. i^^^sJi ' Too logical ■" 57 'He is not afraid of inferences.' The weakness of the English mind, which is seldom extremist and intransigeant, is usually a shrinking from all methodical and definite thought. George Eliot avers that this trimming extends even to the exact sciences, and that an Englishman, confronted with the proposition that the radii of a perfect circle are equal, struggles to avoid assenting to more than that they have, under favourable circumstances, a tendency to be equal. He would sooner make an answer in arithmetic highly probable than prove it. § io8. Nevertheless, how few ordinary rules are true unre- servedly. And, again, how soon a formula gets separated from the idea which it never, perhaps, perfectly expressed. For language — to adopt Bosanquet's phrase — fits thought like a loose glove. The glove may slip off and keep the shape of a human hand, yet lie empty. Vinet apologizes for a forcible image. He says : — ' Unless we constantly hold fast the idea, we lose it on our way, and perhaps at the beginning of the way, much as a postillion riding his horse, and turning his back to the carriage, may chance to leave it on the road, and arrive at the journey's end with nothing behind him. This cannot happen in an algebraical calculation, where the separation of the sign and the thing signified never takes place. In reasoning upon moral matters, it is a condition of safety to keep incessantly testing the substance of ideas. Dialectics end by reconciling the mind to enormities. It becomes callous, as does the hand that has too long grasped a hard tool. There are truths and errors to which we soon cease to be sensitive.' § 109. Vinet, however, goes on to say : — ' I have never understood that species of disdain which is nowadays affected for theory, which is continually contrasted with practice. Theory is nothing else than truth itself Theory is inflexible as truth ; it survives all the usurpations of violence and all the sophisms of injustice, and in the midst of disorders presents itself majestically as the indelible type of all that ought to be.' He objects to a remark made by Catherine the Great to a theorist : — ' You work on paper, which endures everything ; and we unfortunate monarchs have to work with human flesh and blood.' No, Vinet urges. ' We must, no doubt, take man as we find him ; but we must not leave him there. This expres- sion of Catherine's, taken absolutely, is a protestation against 58 Immutability of Rational Law principles, against the invisible, against the ideal, against God. Let us take account of facts ; but let facts also take account of principles.' ^ § no. Again, that there is a logic of the heart does not prove that the heart's reasons — 'le coeur,' says Pascal, 'a ses raisons, que la raison ne connoit pas* — have not at bottom a rational character, admitting of formal explication. It may not be easy to reduce the lightning-hke conclusions of the emotions and passions to syllogistic form. A woman's mind is called illogical because it is intuitional. She sees things in a flash. Compared with man, Her subtile wit At that which he hunts down with pain Flies straight and does exactly hit.'' And if challenged for her reason she very likely gives an absurdly wrong one. She knows her boy will get a First Class because he has such a noble disposition. Seek to convert her to Rome with all the folios of Bellarmine, or to Geneva vnith Calvin's whole armoury of texts, she will reply, ' Oh, but you should hear dear Mr. Cope preach.' Still the reasoning is there, and the illogicality is often on the surface. The nut is not really got at without cracking the shell, nor even feminine conclusions reached without grounds. After all, ' I think it so because I think it so ' is the ultimate reason for all belief. § III. Lastly, we do not expect in imaginative literature that statements shall bear the weight of every inference which might formally be based on them. The poet leaps broad chasms of the unexpressed. He reasons by imagery. He does not trouble to express facts with pedantic preciseness. When Tennyson writes — Every moment dies a man. Every moment one is torn — we do not suppose him to wish us to infer that the population remains stationary, any more than we suppose Macaulay to give the Huguenot horsemen at Ivry one spur apiece in the lines— A thousand spurs are striking deep, a thousand spears in rest, A thousand knights are pressing close behind the snow- white crest. ' Metaphysics. 2 Patmore. 'Too logical^ 59 On the other hand, Renan says of Claude Bernard's prose style that it ' repose sur la logique, base unique, base ^ternelle, du bon style '. Note. Of the Doctor Illuminatus, Raymond Lull (1236-1315), 'the most eccentric product of the scholastic age,' it is said : — ' His great aim was to identify philosophy and religion. He undertook to demonstrate the highest mysteries of faith and to spiritualize the plainest forms of science. ... He often treats the exalted verities of religion with cold formality, but kindles into rapt enthusiasm at the contemplation of logical forms. In the missionary enterprises to which so much of his life was devoted he laid little stress on the ordinary signs of apostleship, on the living voice uttering living truth under the consuming fervour of higher inspiration and with the witness of marvellous signs ; but in place of these propounded his Art of Mechanical Syllo- gistic, which he successfully forced on the attention of kings, popes, cardinals, and councils, as the true theological machine for the conviction of the infidel and the conversion of the world. In this his great art {Ars magna Lulliana) his aim was to reduce all the operations of thought to a mechanical sim- plicity, or rather to enable any one to investigate all relations and discourse of all truths, without the trouble of thinking at all. It is an attempt to determine a priori not only all the possible forms, but almost all the possible matter, of thought. He endeavoured to do this by means of circles ... so that, by allowing the first circle to remain stationary and the others to revolve, all the attributes and relations which belonged to a subject should in turn be assigned to it. This mechanical scheme has a certain grandeur of purpose. Leibnitz, in his treatise De Arte Combinatoria, has treated it with seriousness and, to some extent, with approval' (T. Spencer Baynes' translation of the Port Royal Logic, xiv). Lull, however, has been styled 'the greatest of mediaeval missionaries '. His practical labours were enormous, and closed in martyrdom. Moreover, using a method the antithesis of the Baconian, he drew scientific attention to the possibilities of the magnetic needle and to the idea of a sea-route round Africa, CHAPTER V REASON REGULATES THOUGHT § 112. Having distinguished Reason and Thought, and seen that the former imposes absolute and irresistible behests upon the latter, we now go on to consider the law, or laws, given by Reason to Thought generally, and next the rules governing the connexions of Thought constituted as ours is. § 113. Thought, for us, is a 'knowledge of things under con- ceptions ', a knowledge of one thing or notion ' through another '. It is discursive, a running to and fro, between fact of consciousness and idea, a comparison, a recognition of similarity and difference. We come to know each thing by something which we know better. § 114, The Divine Thought, on the other hand, is intuitive and immediate. All things are naked and open unto it. We conceive, judge, syllogize. But to an Intelligence free from limitations all knowledge is spread out, not cognized but con- templated. Nor can it be supposed that the mind of Deity draws consequential inferences, or proceeds from known to unknown. For though we say that a conclusion follows — ' as the night the day ' — yet regarded objectively in itself the conclusion comes into existence simultaneously with the conjunction of the premisses. § 115. Yet, even though the Thought of a perfect Mind be an open vision of truth, it obeys the imperative of Reason, which is violable neither by the instinct of the brute nor by the NoSs Eao-tXcvs itself. Logical law not only does not admit of modifica- tion in the way that physical laws blend with and modify one another. It also transcends even mathematical necessity. For example, the distance of a star may be determined partly by spectrum analysis and partly by stellar parallax. The former rests on natural laws of chemistry which we find hold good billions of miles from our earth. But the measurement of distance by the geometrical properties of lines and angles — given, of course, true measurements and eliminating physical questions as to the refrac- tion of light, optical deception, and so forth— rests on a postulate Law of Rationality 6i wholly different from the idea of physical uniformity.' Given our spatial conceptions, the theorems of Euclid have an absolutely universal validity. The laws of space govern all human measure- ment. We not only ' fail to see ' how parallels can meet, but we are obliged to think they cannot.'' I am assuming that not meet- ing is no part of the definition of parallel lines. It is an old question whether mathematical axioms are analytic or synthetic. § ii6. The Law of Rationality is of a' still more universal reach than the Laws of Mathematics. It transcends Space and Time. It cannot be thought as operating less in the spiritual than in the sublunary sphere. It is ultimate and sovereign, and governs all thinking whatsoever and wheresoever. § 117. There must be an ultimate postulate both of the Matter and the Form of Reasoning. We are concerned here only with the latter. The Law governing the formal relations of thought is twofold. On the negative or prohibitive side it is the Law of Consistency. On the positive and obligatory side it may be called the Law of Persistency. The former disallows the con- junction of formally inconsistent attributes or the co-statement of two conflicting propositions. The latter justifies and compels the thinking of whatever is formally implied in a conception or judgement, or connexion of judgements. The former is expressed in the double Principle of Contradiction and Excluded Middle ; the latter in the Principle of Identity. These are the metaphysical bases of logic. They are not merely the ' negative conditions of the thinkable'.' At bottom, the three Principles are one and the same, and if one could be supposed violable the other two could not stand.* ' ' The measure of a man, that is of an angel ' (Apoc. xxi. 17). But we might be constituted to apprehend a world of four dimensions. See G. Howard Hinton, The Fourth Dimension ; Swan Sonnenschein, 1904. A history of the doubts raised respecting Euclid's assumptions about Space to the end of the eighteenth century will be found in Stackel and Engel's Theorie derParallellinienvon Euclid bis auf Gauss, Leipzig, 1895. " Dr. Bosanquet says : — ' You cannot prove that parallels never meet. In order to do so, you would have, like the Irishman, to " be there when it did not happen " ' (Lo^c, i. 339). But this is to make mathematical necessity a mere empirical summary of observations. ' Hamilton {Lectures on Logic, i. 106). * Hamilton says :— ' The laws of Identity and Contradiction infer each the other, but only through the principle of Excluded Middle ; and the principle of Excluded Middle only exists through the supposition of the 62 Reason regulates Thought The Law or Axiom of Consistency. § ii8. The Principles of Contradiction and Excluded Middle are the same principle regarded from opposite sides. Together they constitute the law concerning Contradictories. ^ The one denies that, if a statement be true, it can at the same time and in the same sense be untrue, or that if a statement be untrue it can simultaneously be true. The other asserts that a statement must either be true or be untrue. That is to say— since this is the meaning of 'either . . . or'— if it is not the one it must be the other. In other words, if a statement is not true it must be untrue, and if not untrue it must be true. § 119. The Principle of Contradiction— which Hamilton pre- fers to call the Principle of Non-Contradiction, principium non-repugnantiae — declares that if a statement be true the contra- dictory of it must be false. The Principle of Excluded Middle declares that if a statement be false the contradictory of it must be true. In other words, of two mutually contradictory proposi- tions both cannot be true, but one must be. Of the two one is true, and only one. As the self-evidence of both these Principles has been called in question, something more must be said about them. The Principle of Contradiction, § 120. When we say that a proposition cannot be both true and false — non est simul qffirmare et negare — we are asserting some- thing about the nature of Existence. We are not stating simply a mental limitation — as that two attributions cannot be combined in one act of consciousness, or that no object can be thought under qualities known to be incompatible. But we are making an ultimate assertion about the truth of things in themselves. We are laying down, in fact, what we mean by truth. And we say that we are logically precluded from making two contradic- tory predications about a subject because, metaphysically, an object cannot possess a quality and also not possess it. For a thing to be itself, a characteristic which it now has cannot also now be absent from it. The point must not be confused by the introduction of questions about personal continuity ; as whether two others.' These two cannot move without the third; and without them the third cannot be conceived as existent (Lectures on Logic, ij. 244). Mr. Stock holds that each law is independent {Logic, pp. 6, 7). Principle of Contradiction 63 Socrates seated is identical with Socrates standing ; or whether Ludovicus Rex is ' himself as Ludovicus without the Rex ; or whether St. Hubert's hunting-knife was the same knife after being several times re-bladed and new-handled. It is difficult to state a truism without making it a mere tauto- logy. But even tautology is in form assertive; whereas the possibility of assertion, implying the existence of truth, is what is really impugned when the Principle of Contradiction is impugned. § 121. The Empirical School, as we have noticed, see in this Principle merely a statement on our part that by long familiarity with the contingent circumstances of truths not conflicting we have come to be incapable of conceiving such confliction.^ Grote writes : — ' You can only prove the Maxim of Contradiction by uncontradicted appeals to particular facts of sense ; and if your opponent will not admit these facts of sense you cannot prove it at all.' " Dr. Bradley, after pointing out that there is no logical principle which will tell us what qualities are really disparate, goes on : — ' In logic we are not called upon to discuss the principle but to rest upon the fact. Certain elements we find are incompatible and, where they are so, we must treat them as such. It can hardly be maintained that there are no disparates except those qualities which at the same time imply each other. And the Law of Contradiction does not say any more than that, when such sheer incompatibles are found, we must not conjoin them. Its claims, if we consider them, are so absurdly feeble, it is itself so weak and perfectly inoffensive, that it cannot quarrel, for it has not a tooth wherewith to bite any one.' ' Even Ueberweg is found doubting whether the Principle of Con- sistency is fundamental, underived and unchallengeable. He looks for the ultimate rational principle in the correspondence of the content of perception and thought with existence {System of Logic, § 'j']). But in what sense is the perception of that correspondence ' rational ' ? Locke {Human Understanding, iv. 7, 9) says : — ' A child certainly knows that a stranger is not its mother, that its sucking bottle is not the rod, long before he knows that it is impossible for the same thing to be and not to be.' Before he realizes it consciously, no doubt. But the child could not apprehend mother, bottle or rod as constants if at the back of all its knowledge there were not the idea of truth. And truth means that a thing cannot both be and not be. * On Taine's De F Intelligence. Minor Works, p, 359. 64 Reason regulates Thought And, in the same comico-metaphysical vein, just before : — ' This axiom is not like the principle of Identity. It is a very old and most harmless veteran ; and for myself I should never have the heart to attack it, unless with a view to astonish common sense and petrify my enemies.' ' So that to say that a button cannot be both off and on is on the same level as the proposition that it cannot both be made of horn and be worth twenty thousand pounds ; and to say that a build- ing is at once empty and not empty is on the same level as the proposition that it is at once fireproof and built of pine and thatch. § 122. There are some native incapacities of conception which are part and parcel of the mind's structure and yet are seen at once to involve no limitation of reality. We can conceive nothing of which, or of the elements of which, we have had no outer or inner experience ; for example, infinity. A man born deaf cannot conceive harmony of sound. A street hooligan cannot conceive the pleasure which the connoisseur gets from a delicate piece of Sevres or a fine proof engraving. The happiness of an unselfish life is a sealed book to the selfish, and there are many things in religion which are too high for our conceiving, but which nevertheless we believe true. § 123. On the other hand we assert with Aristotle and with mankind that to avTO a/ia iirapx^eiv TE Koi fjLYi xnroipxeiv aSvvwrov T<5 clvtZ Kol Kara to aiiTO, and that this is 7racrS)V tS>v apxSiv /3e/3aioTa.T7i,'' the indispensable condition of thought and of truth, guaranteed both by the impossibility of making or believing any assertion whatever unless it be conceded, and by the primary instinct of mental self-preservation. It is a choice between this and an Heraclitean flux of all things. § 124. Hegel, however, confines the Principle to the sphere of phenomena. All contradictories are reconciled in the sphere of the Absolute by a higher unity, as partial aspects of a more comprehensive truth. Motion and change — each thing passing into something else — imply contradiction at every instant, a union of being and not-being in the same object at the same moment. But not only does nothing come into being without its opposite in thought : all assertion in itself necessarily involves a correlated contradiction, and every say is a gainsay. Silence ' ^'>^i'^> PP- 136-41- " Meiaph. i. 3, 1005!', 20. Principle of Contradiction 65 implies sound, order implies confusion, compulsion implies freedom. Thus identity and difference are mutually creative. The clearness of a notion is obtained by differentiation and the recognition of limitation. Omnis determinatio est negatio. Limitation is essential to consciousness. We cannot know A without being aware of non-^. The identity (co-existence?) of contradictories is the very condition of being and of knowledge. § 125. Pure being and pure not-being are, in this theory, identical because they are species of a common genus, the Unconditioned, and so have a common nature. In union they constitute the conditioned existence around us. The Absolute (i. e. God) is the abstraction from, and prius of, every discrimen and particularity — the whole sum of possible logical conscious- ness. The Hegelian Logic expounds Him in His essential self-Existence before being differentiated into this, that and the other concrete creation. Being, passing through not-Being, is determined as quality of things. There is a perpetual Becoming or development, a transition from the notional to the actual, an unresting river of thought. Not-being is necessarily thought simultaneously with being, and, since the process of thinking is the process of creating, necessarily co-exists with it. § 126. There appears to be in this doctrine a fundamental confusion between not-being and being not (observe the absence of the hyphen), between ' aoristic ' negation, or mere otherness, and contradiction.^ An object cannot have an attribute and not have it. But it can have an attribute and also have a number ' Prof. Caird points out (' On the Evolution of the Idea') that in Plato's Sophistes to \u) ov is not the negation, but only the other, of ov. If the Real is real, It, or He, cannot be modified as true and also as false. God cannot be the perfect indifference of contraries if He is the Truth, the Amen, the Yea — not a higher unity of Yea and Nay (2 Cor. i. 17-20), ' He abideth faithful ; He cannot deny Himself.' The ' catholicity ' of 17 akififla is a synthesis not of contradictions but of contrasts. Every state- ment about Reality is a limitation, and to transcend limit is to pass into the sphere not of the Absolute but of the Meaningless— why should it not be equally entitled to a capital letter ? To be blind to the comple- mentary aspects of the depositum fidei is the partiality of alpea-is. But one-sidedness is preferable to a boneless and pantheistic mysticism. The oecumenical Confessions, by affirming the doubleness and completeness of truths (e.g. 'licet Deus sit et Homo, non duo tamen sed unus est Christus '), shut out the narrowing explanations advanced by particularism on the one side or the other. 66 Reason regulates Thought of other attributes which are not that attribute. Length is not breadth ; yet a table may be both long and broad. To be rich is not to be thirty years old ; yet a man may be both. In relation to every attribute all other attributes are not it, are other than it. ' Not J[-ness ' (by which is meant ' a quality which is not that oiA' rather than 'the quality of not being A') embraces the potentially infinite number of qualities which are not identical with A-n&ss. Now, if an object had only the one quality, ^-ness, it could not be distinctly known, for all knowledge is by distinc- tion. To say that it is A, then, is to imply that it is something else, B, C, D, &c., as well— J5-ness, C-ness, Z»-ness, &c., not being ^-ness. In this sense 'being' involves the existence of 'not-being ' in the same subject. Though B-ness is not .<4-ness, though age is not wealth, yet a thing may be both B and A : a merchant, e. g. may be both aged and wealthy.' § 127. On the other hand contradictory ' being not ' has only a notional correlation with ' being ', and cannot co-exist with it in predication. A man may be of noble birth and bankrupt, but not of noble and of ignoble birth. He may be prejudiced and athletic, but not prejudiced and unprejudiced. It is not even certain that a positive impression always calls up an opposed idea. If the whole universe were a uniform blue, we should distinguish the colour of things from their shape and other qualities ; but we could not, I think, frame the conception of not-blue extension. We can imagine blest spirits beholding with awe and joy the Creator's goodness and beauty, yet shielded from the knowledge of the existence of sin or ugliness. §128. But even if the notional co-existence of opposites be with- out exception — as ' wise king ' implies the possibility of ' unwise king', 'full jug' of a jug which is not full — yet truth belongs to judgements, not to notions. In the Idea opposites lie side by side ' The Hegelian Absolute is really pure Abstraction, void of all reality, and also of all power or tendency to be determined in one way more than in another— otherwise the Unconditioned is subject to conditions. Pure and impure both are, and neither is the other. Each, if it is, also is not. The self-movement of the Deity realizes the Idea impartially in both. But this is to make not righteousness and peace kiss each other, but righteousness and unrighteousness, peace and wrath. 'Not-good' is not not-Being determined as goodness, but Being determined as not-goodness. Everything is thought as really yes or really no ; and non-Reality, not- Being, is not a conception at all. Principle of Contradiction 67 as opposed ; but they do not interfere with one another, and so need no ' reconciliation in a higher synthesis '. Strife implies simultaneous affirmation and denial. ' Being is the other side of thought' only if by thinking we mean judging. Judgement, unlike conception, involves assertion. Now this 'I assert' is the one thing which cannot possibly be made ideal, but is always actual. 'Nothing,' says Dr. Bradley, 'excludes any other, so long as they are able to remain side by side ; incom- patibility begins when they occupy the same area." But contradictory statements do occupy the same area. Conflicting assertions of actuality cannot be combined in judgement. § 129. Though the notion XY, then, involves the notion not- XY, the assertion ' Y is X' only requires the distinguishing .^^-ness from qualities which are other than it. In other words, the counter-relativity of ideas as actual does not involve as true the counter-relativity of statements about reality. Indeed if every ideal combination has in the noiimenal sphere a reality to correspond to it, the Hegelian system must, on its own showing, be in that sphere both true and false, since its falsity is as much a thought as its truth. Again, since the idea of the non- existence of God Himself is as much in tntelledu as the idea of His existence, it must be noOmenally as true. The confining the validity of the law of rationality to finite understandings, dealing with finite objects, results, in fact, not so much in what Mansel calls ' a gigantic scheme of intellectual pantheism ' as in an incoherent scepticism. Religion especially is undermined by the resolution of historical fact into mere beauty of idea. Modern monism regards everything as' good and true from a certain standpoint. Certainly, seeming oppositions of thought might find reconciliation in a wider grasp of the body and system of truth. But if two views really conflict, one must give way. Again, error may bring out truth, just as light would not be visible apart from darkness. But error and truth cannot, 'in the great chime and symphony of nature,' be the same thing. The denial of any attribution implies, no doubt, the existence 'Of the attribute in thought — and in this sense we can say with Spinoza, 'omnis negatio est determinatio ' — ; but it excludes existence, as attributed to that particular subject, in reality. The eternal distinction between the True and the False is not * Principles of Logic, p. 136. F 2 68 Reason regulates Thought dualistic ; for Truth has no meaning apart from the possibility of falsity. 'Not-being,' it is asserted, 'exists because it is a thought.' Is it, however, a thought, that is to say, a thought about reality? Thought which is to agree with reality must agree with itself § 130. If we are satisfied that two truths can never clash, and that the true and the untrue cannot be blended in one, we shall find practical safety, whenever a perplexing problem refuses to be untied, if we get back to something of which we feel perfectly convinced, and follow deductively the clue which it gives us. What is the logical course to take ? We need not fear that what seem to be rival claims of right and truth will really be found incompatible. If two principles or claims do undoubtedly conflict, without any possibility of reconciliation, we may be certain that one or the other is wrong. § 131. While the formal compatibility of two conceptions does not indicate that they are actually and empirically compatible as judgements, the formal incompatibility of two conceptions at once disproves their compatibility in fact. § 132. In answer to more popular objections to the Principle of Contradiction, it is of course true that predicates are often employed in a relative sense ; the same person is both father and son, both superior and subordinate. A battle or bet which is won is also lost. Weather which is bad for the corn may be good for the roots, and a pouring day is a fine day for the ducks — il fait beau temps pour les canards. In another sense Macbeth says, 'So fair and foul a day I have not seen.' ' Antiquitas saeculi ' is ' inventus mundi '. At a level crossing, gates open for trains are ipso facto closed for vehicles. Again, words like tall, loud, better, and the like, are comparative only. The robin in Rogers' poem sees a ' schoolboy's giant form '. § 133. Contradictory attributes, moreover, are predicable of the same subject at different times. Philip, drunk last night, is sober this morning. Tertullian said he had known ' pastores in pace leones, in praelio cervos'. It is possible to 'make a heaven of hell, a hell of heaven '. She sinks on the meadow in one morning-tide A wife and a widow, a maid and a bride. Or they are rhetorically conjoined, St. Hilary has the bold Principle of Contradiction 69 phrase, 'irreligious solicitude for God.' Hooker speaks of devout blasphemies, Bunyan of bold-faced shame, Laud (ironi- cally) of ail innovation of above thirteen hundred years old, Gibbon of organized anarchy, Drummond of Hawthornden of the dolorous felicity of life. Life in Holy Dying is called a sickly health. Elia calls his life with his sister double singleness. Horace speaks oiinsaniens sapientia. Milton accuses St. Peter of being arrogant and stiff-necked in his humility. Knox has been called a presbyterian pontiff, and Mill 'the saint of ration- alism '. There may be even verbal confliction, as in phrases like 'joyless joys' (Faber), TrdXe/^ios aTrdXc/xos, ' Beauty is most adorned when unadorned.' A subject may be qualified in opposing ways according to the point of view ; as in St. Augustine's apostrophe, ' O Pulchritudo, tam antiqua et tam nova ! ' Man, in the Sphinx's riddle, is four-footed, two-footed, and also three-footed. A sopho- more, or learned blockhead, is wise in one sense and unwise in another. ' Fairest Cordelia, thou 'rt most rich, being poor.' The bitter-sweet apple — but aigre-doux in French means sourish — combines two unlike flavours. The Quietists spoke of an actively-passive state of the soul. (See §§ 48, 235 seq.) § 134. It is obvious, however, that in such cases a quality is not simultaneously afSrmed and denied of the same subject in the same relation and in the same sense. If ever it be really so, the intention of the words is nonsensical ; like the tragical mirth enacted before Duke Theseus; or Mistress Ford's 'an eternal moment or so '. Slender says : ' All his successors gone before him have written armigero, and all his ancestors that come after him may.' And Launce declares : ' My grand-dam, having no eyes, wept herself blind at my parting.' More tragically, Constance in King John, 'Thou odoriferous stench, sound rottenness.' The Londoner's explanation to a surprised com- panion on an August bank-holiday — ' You see, blackberries are always red when they are green ' — was ridiculous only on the surface. For other illustrations see Appendix K. § 135. The Principle of Contradiction is usually expressed symbolically with a singular subject : ' X cannot be, and not be, Y: More fully, 'No YX (i. e. no X which is Y) is non-F (a non-yZ), and no non-YX (i, e. no X which is not Y) is Y (a Yxy The Principle of Excluded Middle is stated symbolically thus : — 70 Reason regulates Thought 'Neither is For is not Y.' ' Every non-YZ is not F; and every not-non-y^is Y.' § 136. But the Principles also apply to opposed quantified pro- positions, where the opposition lies between the respective quantifications, which may be regarded as the real predicates. Thus : — A. Universal Affirmative. All X's are Y. E. Universal Negative. No X is Y. I. Particular Affirmative. Some X's are Y. O. Particular Negative. Some X's are not Y. A is contradicted by O and O by A. E is contradicted by / and / by E. If a proposition be true its contradictory is ex- cluded, and if untrue its contradictory must be accepted. A and E are Contraries and incompatible. But if the one be untrue it does not follow that the other is true. A middle between contraries is not excluded. / and O, often called Sub-contraries, may or may not be true (they cannot be untrue) simultaneously. § 137. A strict dichotomizing, then, yields us only three kinds of objective possibility as regards the attribution of Yto X. The first dichotomy tells us that either all X's are Y (i) or not all X's are Y. The second dichotomy divides ' Not all X's are Y* into ' No X is Y' (2) and Some, but only some, X's are Y {3). These are the three kinds of objective possibility about the rela- tion of Yto X. For a verbal fourth possibility, ' Some, but only some, X's are not Y,' is really identical with (3). § 138. But, regarded as subjective judgements, there is a four- fold division. For, if I judge that some X's are Y^ I do not exclude the possibility of all X's being Y; and, if I judge that not all X's are Y, I am not necessarily denying that no X's are Y. Tts is logically consistent with vras, and ov iras with ovSets. Accord- ingly ' Some, but only some, X's are Y' is a double judgement, though it is only a single possibility. And the word 'dicho- tomy' is properly used for a logical division of judgements rather than a material division of possibilities. § 139. As applied to quantified propositions the Principle of Contradiction says that, if it is true that all X's are Y, it is untrue that some (any) .X''s are not Y; and vice versa. Also that, if it is true that no X is Y, it is untrue that some (any) X's are Y; and vice versa. Principle of Contradiction 71 § 140. Excluded Middle has exactly the same formulae, sub- stituting ' untrue ' for ' true ', and ' true ' for ' untrue '. § 141. If 'AH ^'s are Y' is meant to be contradicted by 'AH ^'s are not Y' , a. heavy stress must be laid upon all. E.g. 'All is not lost ' ; ' All are not of that opinion ' ; ' Toutes les Veritas ne sont pas bonnes a dire ' ; which are / propositions. But, ' All they that trust in Him shall not be destitute,' ' non est impos- sibile apud Te omne verbum ' are E propositions. § 142. Again, to contradict ' Some men are sinless ' by ' Some men are not sinless' is awkward and ambiguous. For con- tradiction, not would require to be emphasized. A stress upon 'some' would appear to give an A proposition strengthening the original one ; ' Not some are sinless, but all.' Some cannot ordinarily in English be contradicted by not some, as all can be by not all, but only by not any. In Greek, however, enclitic tis is contradicted by ourts. oiJTives is a rare plural form. Latin has the phrases nullus {ne ullus), nemo (ne homo), nonnullus, non nemo. § 143. We are here somewhat anticipating the application of the metaphysical Law of Consistency to the structure of human thought. But it is necessary to examine an objection to the Principle of Contradiction which Bosanquet advances. ' Apart,' he says, ' from the distinction of quantity, the difference between the logical contrary and the logical contradictory disappears.' ' ' The tax-collector is gone.' No, he is not gone (i. e. he is here). Bosanquet calls it 'an inconvenient accident that the Law of Contradiction applies to Contraries only, while logical Contra- dictories come under Excluded Middle'." But why adopt an unquantified formula ? What is denied when a quantified pro- position is contradicted is the number of objects of which the predication is asserted. Contradictory, here, cannot coincide with contrary. ' Not all ' cannot be intended to mean ' none ', nor nonnulli to mean omnes. On the other hand, when a judge- ment with a singular subject is denied, the negation qualifies, no doubt, the entire predication, so that to contradict ' The sauce- pan is dead ' need not imply that the saucepan is alive ; and yet usually the negation is considered as attached to the predicate itself. ' This cheese is palatable.' No, it is not (= un-) palatable. ^ Logic, i. 311. ^ Ibid. ii. 210. 72 Reason regulates Thought 'James went.' No, he stayed. ' He sleeps.' No, he is awake. 'The letters of the alphabet are of European origin.' No, they are of non-European origin. (But they might have come from heaven.) 'The Scriptures are inspired.' No, they are uninspired. Snakes inhabit Iceland. That is a mistake. They do not inhabit Iceland. § 144. Yet even in such propositions there is not necessarily a coincidence between contrary and contradictory.^ To deny that the water is hot is not to say that it is cold. To deny that knowledge is power is not to say that it is weakness. To say that logicians are not unanimous does not imply that they are entirely at sixes and sevens. An egg which is not good may be good in parts. The contradiction of 'John is a harmonious blacksmith ' may certainly convey the idea that he is an unhar- monious blacksmith. But logically it need not imply that he is a blacksmith at all. He may be a dentist, or an infant, or play in a German band. If it is untrue that Wellington was victorious at Cannae, it does not follow that he was beaten there. § 145. A singular judgement about a past event usually admits of no degrees of predication. The countess rose from her chair. The countess did not rise from her chair— that is, she sat still. But in the present tense a singular or collective judgement has usually some abstract character — 'The devil,' says Latimer, 'is never out of his diocese ' — and may be regarded as quantified. If it is asserted — ' Enough is not as good as a feast,' or 'Japan 1 Chrysippus' well-known catch, called Mentiens (for which see Mansel's Aldrich, App. § 6), about the Cretans being always liars, derives half its force from the confusion of contrary and contradictory. Epi- menides, who said this, is a Cretan, and is himself therefore a liar. If what he says, then, is true, it is untrue ; and accordingly Cretans are not always liars. It is only by stating this contradictory as a contrary, ' are always veracious,' that the rest of the dilemma has any point. If the Cretans are always veracious, Epimenides, being a Cretan, speaks truly, and Cretans are always liars, and in that case, Epimenides is a liar. And so on, ad infinitum. The simplest but ' most insoluble ' form of the puzzle is this; «I say truly that what I am now saying is untrue.' ' Si te mentiri dicis, idque verum dicis, mentiris an verum dicis ? ' (Cic. Acad. Pr. § 95 ; cf. Aul. Gell. N. A. xviii. 2, § 10.) But where, now, does Excluded Middle come in? The answer is that the statement is not merely formally self-contradictory, but formally impossible, except as a collocation of words. ' My present words are untrue ' simply sublates predication. It can neither be affirmed nor denied ; for there is nothing to affirm or deny. Principle of Contradiction 73 is not the England of the East,' or ' Westward the course of Empire does not take its way,' or 'Silence does not give consent,' what is meant to be contradicted is the too general and unquali- fied character of the statement denied. The proposition, ' If it is about to rain the glass falls,' is contradicted by ' Not always,' ' not necessarily.' The logical contrary would be, ' It never falls.' Material contrariety would be the assertion that under such circumstances the glass rises. Observe that the English verdict 'not guilty' means, not proved to be guilty; but the same verdict in Scotland signifies, proved to be not guilty, the Scots having a third verdict, ' not proven.' § 146. Logic can take no cognizance of material contrariety — black and white, up and down, thick and thin, rich and poor, and the like — unless the contrariety is given formally. It is true that under the Law of Relativity we cannot be conscious of any- thing except by a mental transition. We get the idea of heat by passing out of cold, of light by transition from darkness, of light- ness or softness by first (even if without conscious attention to the experience) experiencing weight or hardness. But the distinction between positive and negative states is psychological rather than logical. § 147. It should be observed that while the universal negative ' No men are happy ' is upset by a single instance, ' Caius is happy,' and the latter proposition is upset by the former, this eversion requires formally the additional statement, ' Caius is a man.' Obviously the contradictory of ' Caius is happy ' is not, ' No men are happy,' but ' Caius is not happy '. And this again need not mean that he is unhappy. § 148. There must always be some ambiguity about unquanti- fied propositions. ' I ought to go ' and ' I ought not to go ' are in truth contraries. The former is really contradicted by ' I am not bound to go', and the latter by 'I am not bound not to go'. These are the four types. A, E, I, arid O. § 149. Talleyrand, being asked if the report of George Ill's death were true, replied :— ' Some say so. Others deny it. For myself, I believe neither. But this is, of course, in confidence.' Which brings us to the consideration of the Principle of Excluded Middle. 74 Reason regulates Thought The Principle of Excluded Middle, or Third. § 150. This is the Law of disjunctive reciprocity.^ It says that two contradictory propositions cannot both be denied, as the Principle of Contradiction says that they cannot both be affirmed. § 151. What has been said above about confusion between contradictory and contrary opposition will guard us from the crudity of charting everything and everybody ' in coarse blacks and whites ', going about the world, as it were, with a piece of chalk in one hand and a piece of coal in the other.'* An argu- ment is often directed against disciplinary rules that they do harm to the bad and are not needed by the good. But of the persons affected by such regulations the great majority can neither be called good nor bad, and it is these for whose benefit rules are made. § 152. There may in practice be no choice save in one extreme or the other. 'Aut amat aut odit mulier ; nil tertium.' A man sometimes stands betwixt the devil and the deep sea. But of contraries both may be untrue without denial of the existence of the subject or of the 'universe of discourse ' (see § 158) — which is denied when contradictories are both apparently stated as untrue. ' Nee possum vivere tecum, nee sine te ' implies that I cannot live at all. Caesar says of the Gauls: — 'neque tyrannum nee libertatem pati possunt.' That is, they cannot put up with ^ Jevons calls it the Law of Duality, and states it mathematically in the form, A = A(B + 6). Dichotomizing further, we get, A =A{B + b) {C+c) =ABC + ABc + AbC+Abc. And so on. '^ Newman, not without reason, ridiculed the ' moderate man ' who can ' set down half a dozen general propositions which escape from destroying one another only by being diluted into truisms. . . . This is your safe man and the hope of the Church,' guiding it between the Scylla and Charybdis of aye and no. Still, there_ is a proportion (avdXoyia) of the faith. The successive Church Councils have been likened to a smith hammering first on one side, then on the other, of the hot iron, not so as to produce a negative and neutral result, but so as to shape a well-balanced sword of the Spirit. In life and practice 'he that is not with Me is against Me'. But in speculative thought there is a danger lest one too emphatic doctrine should exclude others, no less vital. For scientific fullness Christianity needs, not a mere ' live and let live ' of unrelated and fragmentary ' views ', but a unifying and subordinating of partial and sectional aspects of truth in the Fides Catholica. Excluded Middle 75 any form of government whatsoever. So Wellington declared that his army was a rabble which could bear neither success nor failure. § 153. Bosanquet writes: — 'According to the traditional rule a statement may be so denied that both judgement and denial are false.' ' This is inexact. A judgement and its contrary may both be false ; but a contrary is denial and much more. Now it is the ' much more ' which is untrue, not the denial. § 154. This principium exclusi medii, aut tertii, inter contradi- dona, which Bain considers to be ' too much honoured by the dignity of a primary law of thought ', has been exhibited above as only the other side of the principium contradictionis. Yet it is much more obvious that a given predicate cannot be botli affirmed and denied of a subject than that it must be either affirmed or denied. Is it the case that every possible judgement must be either true or false ? Aristotle says explicitly : — /jLera^v di/Ttc/xio-eaJs evSi^erai etvai ovOiv, aX\ avdyKi) -q fjidvai rj wiroffidvai tv Ka& evos briovv.^ § 155. No subject stands out of relation to any predicate, but must stand in one of two mutually destructive relations to it. Everything must be affirmed or denied of everything.' ' Every real,' says Bradley, ' has a character which determines it with reference to every possible predicate.' * § 156. Mill, however, with many other writers, maintains that this Principle is only true with a large qualification. We can only say that every assertion must be true or untrue where ' the predicate is one which can in any intelligible sense be attributed to the subject . . . ^' Abracadabra is a second intention " is neither true nor false. Between the true and the false there is a third possibility, the Unmeaning.' ^ Bosanquet also seems to hanker after the forbidden mingling of formal and material, and to argue that two contradictories may both be false, if non-significant. But this is really the question already discussed of the coinci- dence of contradictory and contrary. A friend is either faithful or unfaithful; but an attitude or a stick of chocolate need not be. ' Logic, i. 209. ^ Met. iii. 7 ; of. An. Post. i. 11. ' ' Oportet de omni re aut afiSrmare aut negate ' (Goclenius). * Principles of Logic, p. 143. ° Logic, i. 321. Mill cannot mean ' is a noun of the second intention ' (supfositio maierialis), which would not be a meaningless proposition. 76 Reason regulates Thought A line which obeys a regular law if it is not straight is curved ; but this is not true of digestion or philanthropy. Two straight lines either meet or are parallel, but not two lumps of sugar.^ All, however, that our Principle says is that if it is not true that digestion is a straight line, &c., it is untrue, and if it is not untrue it is true. § 157. Veitch, in the same way, contends that much miscon- ception has arisen regarding the law of Excluded Middle, from supposing that it warrants ' a universal comparison of any possible subject-notion with any possible predicate-notion, and that the predicate must either inhere or not inhere in the subject.' ' This,' he says, ' is irrelevant and puerile. In accor- dance with the essential nature of logical law it supposes a definite subject with its definite sphere of at least possible predication.' He defends Hamilton from the charge of advancing this puerility, and meets Hegel's objection to the Principle that it does not distinguish between partial and total negation, requiring us to say, e. g., that Spirit is either green or not green, by the remark that 'the Law does not prescribe playing with predicates, but assumes that people are reasonable beings and in earnest in their inquiry 'J^ § 158. La raison est pour les raisonnables. But what has the logician to do with play or earnest, or with anything but the actual value of a proposition as a proposition ? And what can he know about ' definite spheres of possible predication ' ? He is something else than a logician if he goes outside the formal connexions of the data supplied to him. No doubt, if it is understood that a particular system of things — what De Morgan, Boole, Bain * and others call a universe of discourse — is being ^ ' The postulate in question is an absolute affirmative between two or more positive and significant members' (Bosanquet, Logic, ii. 21 1). Again : — ' How can a universal prescribe a relation between itself and a content which falls wholly outside it and is absolutely disparate and alien to its nature ? Where there is absolutely no connexion, it is impos- sible for denial to be intelligible' (Ibid. ii. no). But he rightly rejects the ' negatively infinite ' judgement, as though not-hotness, the quality of not being hot, apart front any question of temperature, were in itself a predicable attribute (predicable, e. g. of monthly wages or the peerage or troy weight). ' Significant negation is intelligible within, and with reference to, a system judged to be actual ' (i. 306). ^ Institutes of Logic, pp. 124, 125. ' Logic, Pt. I, p. 195. Excluded Middle 77 spoken of, in that case a negative term acquires a positive significance.^ Thus, if nationality be in question, non-English must mean foreign. A driver who is said not to be sober must be to some extent tipsy. A day which is not bright must be more or less dark. A paint which is not of one colour must be of another. A story which is not credible is incredible. A feat which is not possible is impossible. A watch which was once started and is not going must have stopped. A door which is not open at all must be shut. Bain, however, speaks as though such implication were independent of the particular area of discussion, and asserts that ' the negative of a real quality is as much real as the positive,' — instancing north and south, hot, cold and tepid. Handwriting cannot be said to be either hot, cold or tepid. Therefore the Principle of Excluded Middle is at fault. Bain is clearly wrong. Most statements have an understood, or given sphere. If promotion cometh neither from the east, nor from the west, nor yet from the south, it must (as the eighteenth-century placeman suggested) come from the (sc. Lord) North. ' If it comes from anywhere,' subaudito. Against the Puritan contention that no practice of a Church in error ought to be followed, and that Greeks and Latins were both in error, Hooker pointed out that in the Eucharist the Greeks use leavened, and the Latins unleavened, bread. Now bread must be either leavened or unleavened. Had the Puritans rejected the 'breaking of bread'. Hooker's argument would have been pointless. § 159. After all, we can never tell what propositions, as lacking a universe of discourse, are meaningless. ' The Torrid Zone is not a fellow of a college ' sounds nonsensical enough. Yet Caligula's horse nearly became consul, and some pocket- boroughs, it has been said, would have returned their owner's riding-whip to Parliament, if so bidden. 'Tithonus is not mortal.' Is he then immortal ? But Tithonus may be a hill or a diamond. And the practical identification, where the universe ^ We cannot, however, say that a non-voluntary action is involuntary if we accept Aristotle's distinction between ohx «<»»' and aKav {Eth. N. iii. i, § 13, and mob 1 8). Similarly a non-rational act is not necessarily irra- tional, nor a non-moral act immoral. Is peace merely not-war? But Spinoza says : — ' Peace is not the mere absence of war, but a virtue which springs ab animi fortitudine ' ( Tract. Pol. v. 4). 78 Reason regulates Thought of discourse exists, between contradictory and contrary, is always liable to some error. A town in this island which is not in England might be confidently affirmed to be in Scotland if one knew nothing about Berwick-upon-Tweed. § i6o. There can be no possible exception taken to the Principle of Excluded Middle if it be observed that it can be worded so as to be actually tautological. ' Either ... or' signi- fies, ' if not the one, then the other.' We thus lay down that if a proposition be not true (even though it be just not true) it is untrue, and if it be not untrue it is true. Or, if the words ' true ', 'untrue', 'false' are thought to suggest that the proposition has an intelligible meaning, it might be better to say,.' If it is not the case that Abracadabra is a second intention, it is not the case.' Or, ' If a five-act tragedy is not otherwise than tedious, it is tedious.' Or, ' If yellowness be not predicable of patriotism, it must not be predicated of it.' § i6i. The force of the Principle is, however, clearer when quantified propositions are opposed. If it is not true that all X's are Y, it must be true that at least some X's are not Y ; and vice versa. And if is not true that no X's are Y, it must be true that at least some X's are Y; and vice versa. § 162. The Principle of Contradiction is confronted with a metaphysical problem, that of Change or Becoming, which, it is contended, involves a union of being and not-being in the same object at the same moment. 'At the same moment,' however, begs the question. It is, no doubt, difficult to analyse the idea of becoming, but that is because it is difficult to analyse the idea of the efflux of time. When now can be shown to be simul- taneous with/ws^ now, we shall be ready to agree that quod nunc est is identical with quodfuit modo. § 163. Excluded Middle also has a metaphysical difficulty to meet, in the case of propositions such as those relating to Space, Time, or Free Will, which we can neither conceive to be true nor yet untrue. Space is bounded. Space is unbounded. Time had a beginning. Time had no beginning. The will is free. The will is not free. But conceivability is not a test of possibility ; and in these matters the mind is so wholly out of its depth that we are not called upon to say which of the two contradictories, both inconceivable, is true and which false. But Excluded Middle 79 one or the other must be false.^ Here again the Reason is not the Understanding. § 164. The ' Fallacy of Many Questions' would not embarrass any one if it were remembered that in every proposition there can be only one logical predication, and that it is this, and nothing else in the proposition, which has to be admitted or denied.^ In the time-honoured example, 'Have you ceased beating your father ? ' ceased is the real predicate, and he who has not begun can truly say that he has not left off. Any sophistical inference drawn from my 'No' would be at once disallowed by a dialectical referee. Asked, ' Does this diamond sparkle ? ' I may answer ' Yes ', without being taken to admit that the object pointed to is a diamond. ' This diamond ' means 'this thing which I, or you, call a diamond'. Indeed, all demonstrative pronouns, and the definite article too, are question-begging. ' Our able chairman remarked ' — ' This eligible mansion is to let' — 'The turtle soup is ready' — here able, eligible and turtle are negligible assumptions. The same is the case with merely epithetical additions — 'Good Queen Bess,' 'perfide Albion,' 'rural Hampstead,' 'glorious liberty.' § 165. ' Other ' is with us a question-begging word — ' he and other criminals.' 'He and the other criminals' begs two questions. But the Greeks spoke of ' horses and other cows '. Again, if asked, ' Is your objection merely one of sentiment ? ' I may reply ' Yes ' or ' No ' without admitting the innuendo conveyed by 'merely'. 'Only', said in a particular tone, suggests a like disparagement. Interrogations beginning Why? assume the fact for which an explanation is demanded. ' Why,' a Scotsman was asked, ' do your countrymen always reply to a question by asking one ? ' ' Do they ? ' he returned. Other interrogative particles likewise. ' Where is the stolen money ? ' ' Which overcoat shall you wear ? ' ' When did he die ? ' * It should be remembered that to deny commencement to Time or a limit to Space is not necessarily to affirm the eternal pre-continuance of the one or the infinite extension of the other. In the Kantian view Time and Space are subjective. ^ It may happen that the negations of a protesting attitude of thought will be true as denials, and yet the system in which a breach has been thus effected be nearer to the truth than the negative and merely pro- testant scheme which sets up a rival claim to it. 8o Reason regulates Thought ' How long were you away ? ' 'Whither will you run?' Dis- junctive questions, again, seem to imply that one of the alter- natives must be true, as, ' Did you get tipsy on port or on claret?' The predication Hes in every sentence where the stress falls— so that false stress is the converse fallacy to the fallacia plurium interrogationum — , and in such a disjunction there is a double stress, e. g. ' Which did sin, this man or his parents, that he was born blind ? ' § i66. The conjunction ' and ' often lays a trap. ' Is she young and thoughtless ? ' ' Will you be charitable and lend me another twenty pounds ? ' But the same fallacy of assumption takes many interrogative shapes. 'Are you so base as to ask me to repay that small loan ? ' 'Do you wish me to act as wrongly as you did ? ' ' Am I to fall in with such a whim ? ' And so forth.' § 167. The doctrine that every question admits of a categorical answer, and that every proposition can, and must, be rationally affirmed or denied, will be found, when Modal Propositions are discussed, to preclude any modification of the so-called Copula. § 168. From the axioms of Excluded Middle and Contra- diction proceed respectively the force of the Dilemma and its danger to its propounder. If an opponent is bound to accept one of two alternatives, the consequences of which are alike dis- agreeable to him, he may retort that, as mutually contradictory, they cannot both be true, and that the horn of the dilemma on which he is not transfixed pierces the proponent of it, who has thrown away the advantageous consequence to be inferred from the one alternative or the other. \i A is B, C is D ; and HA is not B, C is D. Therefore either way C is D. Yes, he rejoins, but you cannot have it both ways. One line of argu- ment or the other is closed to you. A fuller form of the Dilemma is this : l[ A is B, C is D ; and if ^ is not B, E is F, both consequences being distasteful to me. But I retort : A cannot both be and not be B. If the former is false, C is not ' The difficulty of asking any question which does not either involve a disputable assumption, or else another interrogatory inside the first, is shown by the confused issues which almost invariably arise out of a demo- cratic referendum, even when, as in Switzerland, most carefully drawn. The result of a recent educational referendum in Australia was claimed by both sides as a victory. Excluded Middle 8i (shown to be) D, and if the latter, E is not (shown to be) F. Such a rebutter is, as the words in brackets indicate, weak formally, but in practice may be very damaging. In the famous fresco in the Spanish Chapel in the cloister of Santa Maria Novella at Florence ' Logic ' holds a scorpion with a double sting, signifying dilemmatic argument. § 169. The complaint, 'li A is B, you say that C is D; and if A is not B, you still say that C is D' is formally illogical, for an effect may have several causes. But when there is a close connexion between consequent and antecedent, there may be force in it. The following are all in the same form, but not equally forcible as objections : — (1) If I die you say the sun will rise to-morrow, and if I do not die you still say it will rise. (2) If I confess I am to be punished, and if I do not confess I am to be punished. (3) Mihi, errato, nulla venia, recte facto, exigua laus (Cic. de Leg. Agr, ii. 2). In the following, again, the paradox depends on the material connexion between learning the truth and distress of mind. Cicero says: — 'O miserum te si intellegis, miserio- rem si non intellegis.' One would have expected that only by hearing the truth would pain arise ; in other words, that in this case consequent and antecedent might be presumed convertible.' § 170. Horace's line, ' Sume, catelle ; negat. Si non des, optet,' is of the form — ' If A isB,C is not D; and if ^ is not B, C is D.' At first sight there is nothing to criticize in the alter- native consequences. ' If rain falls, I do not leave my umbrella at home ; if it does not fall, I do.' But the umbrella is taken at one time and left behind at another. Whereas in, ' Say, Take it ; he won't. Do not offer it, and he will long for it,' the point is that at (practically) the same moment he pretends to want and not to want it. For further discussion of Dilemmatic Reasoning, see below, §§ 966 seq. ' So in I Henry IV, i. 2 :— Poins. Jack, how agrees the devil and thee about thy soul that thou Boldest him on Good Friday last for a cup of Madeira and a cold capon's leg ? Prince. Sir John stands to his word ; the devil shall have his bargain. For he was never yet a breaker of proverbs ; he will give the devil his due. Poins. Then art thou damned for keeping thy word with the devil. Prince. Else had he been damned for cozening the devil. G CHAPTER VI THE AXIOM OF PERSISTENCY § 171. The two-sided Axiom of Consistency, or Doctrine of Contradictories, as above set forth, is negative and regulative. It prohibits the uniting of formally incompatible attributes, either ideally in the Concept or assertively in the Judgement. On the side of Excluded Middle it takes, it is true, an affirmative form, compelling us to judge, if a thing is not somewhat, that it is its contradictory. § 172. But this would not, in itself, have given us Inference through a Middle Term. No doubt, if a conclusion which is inconsistent with its premisses is attempted to be drawn, or a conclusion which ought to be drawn from given premisses is denied, the Axiom of Consistency can disprove the one and prove the other by a reductio ad absurdum. That any or all of the S portion of the M'& should not be P when every M is P is impossible. But to argue thus the constructive principle of the syllogism has to be assumed. Syllogistic law has been established by employing the syllogistic process. § 173- Again, it may seem that, a wrong conclusion being shown to contradict the premisses, its contradictory, the right conclu- sion, is then reconstitutively established by the Principle of Excluded Middle. But this is not so when the disallowed con- clusion more than contradicts the premisses. Thus, Every X is y, every F is Z ; therefore no X is Z. We cannot by showing this to be a wrong conclusion get the right one, Every X is Z. Further, the Law of Consistency is powerless to expose a mere non-sequitur. ^ is Y, F is Z; therefore Q is R. ' No wonder,' said the traveller, 'this place is called Stony Stratford. I was never so bitten by fleas in my life.' Or, X is Y, Z is Y, there- fore Z is X. Or, Jf is V; Z is not X, therefore Z is not 'Y. Here are three conclusions from the fact that fishes live in the water, (i) false, (2) and (3) true, but all non-sequiturs :— (i) Whales live in the water. Therefore whales are fishes. Identity 83 (2) Herrings live in the water. Therefore herrings are fishes. (3) Cats are not fishes. Therefore cats do not live in the water. § 174. We seem, therefore, to need a complementary Axiom, not merely a conditioning of thought by the exclusion of incon- sistency, but a positive, constitutive, directive, and actively com- pulsive Principle of rational consequence. § 175. The Principle of Identity has been generally regarded as only another way of stating the Principle of Contradiction. If a statement is true it is true, and if it is true it is not untrue. As a judgement which is contradictory must be denied, so a judgement which is identical must be affirmed. Accordingly the Principle of Identity — though Mill calls it 'our ancient friend ' — was ignored by all philosophers till Andreas, who died in 1320. § 176. Identity, however, is no mere repetition of the subject in the predicate. It asserts the perdurance of the one in the many, of form in matter, of the abstract in the concrete, of the rule through- out its applications, and of the principle in every manifestation of it. I venture to call this complementary axiom the Axiom of Persistency, § 177. Hamilton's statement of the Principle of Identity as 'A is A' or 'A = A' ('everything is equal to itself) ^ has been not unfairly termed a lifeless branch, an unfruitful truism based on a false theory of conception.'' If ' everything is itself* means that a thing is identical with its own nature or attributes, judge- ment becomesamere equivalence, if it is even that. 'The Concept,' Hamilton explains, 'is equal to all its characters.' Z=^{a + b+c}. But conceptual reasoning is not, 'A=A,A=A, therefore A = A.' Nor is it even 'A=B=C, therefore A = C'. But it is, ' A is a B, every .S is a C; therefore A is a C — though this is not the only way of expressing the formula. And, as against the Hamiltonian view of predication, it will be contended here that, ^ Lectures on Logic, i. 80. * ' All judgements to be absolute,' says Lewes, ' must be identical ' {Hist, of Phil. ii. 463). But he uses ' identical ' or ' equivalent ' for primary judgements of sensations and for necessities of thought (see i. p. Ixii). On the other hand he writes : — ' No propositions are true unless identical ' (ii. 541) — that is, I suppose, unless reducible ultimately to an immediate perception and an axiomatic principle, or the former alone. But a mere consciousness of sensation is not yet a judgement. G 2 84 The Axiom of Persistency except where the major premiss is an analytical judgement, the content or meaning of a Concept, its equivalence to the sum of its essential and constitutive characters, does not enter into reasoning. If I say, 'This plate is valuable (or breakable) because it is a piece of old Nankeen,' or ' This child must pay full fare because he is over twelve *, I am not arguing from the meaning of concepts but from circumstances which I or others happen to know about things. § 178. The 'omne subiectum est praedicatum sui' of Aquinas, or the saying, ' Nothing can be predicated except of itself,' attri- buted first to Euclid of Megara, does not express the import of the proposition. Unless we can find more in the predicate than in the subject, ' Abracadabra is Abracadabra ' is not a judgement, and really asserts nothing. Even the claim to be allowed to repeat the same thing in a different form of words, though Mill declares that the Principle of Identity is thus made to ' mean much more than it ever meant before '^ cannot rank as a logical postulate, since it must first be stated that the two sets of words are equivalent, and this knowledge is given materially, not formally. § 179. Assertion is an ideal synthesis, a real amplification of the subject by the predicate ; and identity which excludes differ- ence is tautology without a meaning." Such a theory of Thought, resting on atomism, on a metaphysical egalitarianism, destroys Thought. Seeing this, Bosanquet states the Principle in the form, not A=A, but A is AB. A tailor is a tailor kind of man. I prefer the formula, BA '\?, A. A does not cease to be A when conditioned by, and manifested as, B. A journeymah tailor is a tailor. A suffragan bishop does not the less exercise the episcopal office because he is a suffragan. A Cambridge undergraduate has not yet taken his degree, because no under- graduate has. A does not cease to be what it is, to have its proper attributes, when it is this, that or the other kind, or example, oi A. Thus we get the Syllogism. \i A is (a + 6-f c), BA is(a-f 6-l-c). Ofthe jB sort of^'s we must predicate whatever we predicate of A generally. If ill weeds grow apace, it does not matter what variety they are of— nettles, docks, buttercups. They all grow apace. ' On Hamilton, p. 481. * See Bradley, p. 131, and Bosanquet, i. 357 and ii. 207. Identity 85 § 180. Bosanquet observes : — 'We can only assign a meaning to the law 'M is ^ " if we take the repeated ^not to be a specifica- tion of the identical content, but an abstract symbol of its identity. The law will then mean that in spite of the differences expressed in a judgement, the content of judgement is a real identity, that is to say, has a pervading unity. It says that there is such a thing as identity in difference, or, in other words, there is such a thing as genuine afBrmation. . . . The Law of Contradiction simply confirms and reiterates that assumption of the unity of reality which the Law of Identity involved. You cannot play fast and loose with Reality. What is true at all is true through- out Reality.' ' § 181. The element of continuity which persists through differ- ences supplies that stability of ideal content which guarantees the connexions of thought and enables us to reason about things. Difference is essential to a real judgement — even if it be an identi- fication " or definition. Though thought of in various connexions and at various times, that of which we think is throughout what it is ; for reality or truth, correlated as it is to the unvarying self-con- sciousness of the judging Ego, is out of relation to spatial and temporal conditions. § 182. No doubt, inference through identification of singulars or of aggregates is the same logical process as inference through a concept or universal. ' The person buried to-day was the Lord Chancellor. Lord X is the Chancellor. Then it was he who was buried.' Syllogisms in the Third Figure (see below) with a singular middle term are common. ' This glass is broken. This glass cost five shillings. Then something costing five shillings is broken.' 'Mr. is dead. Mr. was a good man. A good man, then, is dead.' But even in an algebraic equation there is an ampliation of judgement ; and '(a + 6)' = (a-\-b){a->fb) = a'^+2ab + b'^; therefore {a +bf = a^ + zab + 6^' is an infer- ence which is really mediated through a universal element. § 183. Verbally identical propositions, such as 'Les affaires . sont les affaires,' or Caesar's, ' Death will come when it will come,' have been^shown above to be, if serious, real judgements, con- taining an extension of idea. If they are not, they are merely ' Logic, ii. 208, 210. * 'What's yonder floats on the rueful, rueful flude? What 's yonder floats ? O dule and sorrow ! 'Tis he, the comely swain I slew Upon the duleful Braes of Yarrow ! ' 86 The Axiom of Persistency nonsensical and on a par with those of the Clown in Twelfth Night : — ' As the old hermit of Prague, that never saw pen and ink, very wittily said to a niece of King Gorboduc, That that is, is ; so I, being Master parson, am Master parson. For what is that but that, and is but «s ? " § 184. Identity implies abstraction. The pure Concrete, the unrelated sensation, cannot be conceived, known or named. Even the rdSe tl persists through differences. ' Whatever exists in time at all has some permanence, and whatever has perman- ence at all has existence in time. And since time is infinitely divisible, what exists in time is necessarily an identity in diversity, namely, of change (succession) in time. One cannot conceive anything which does not to some extent perdure, and thus exist as a unity in diversity.' ^ § 185. ' The term Identity cannot be applied to an idea which is quite simple and occurs only once. I cannot even recognize the identity of something which remains absolutely the same, unless I am aware that I have thought of it at diiferent times and compare the recurring ideas. . . . [Logical] identity is either com- plete or not at all. It has no degrees.' ' ' Carlo barked just now.' But barking is a familiar concept in my mind ; and the name Carlo suggests to it a number of images and memories — the long- haired creature ; the children's pet ; the prize dog ; the animal that lies before the fire ; my companion in yesterday's walk. So again, 'The games are done and Caesar is returning.' Every subject has successive moments in the memory or in significance, if not in time or space. We shall see later how difficult it is to distinguish concrete from abstract propositions. No doubt, a name or a presentation to consciousness conveys much more to one mind than to another. To one observer a primrose by the river's brim is a yellow primrose and nothing more ; to another it is a chalice of sweet thoughts. But its necessary self-identity as permanently supporting its own attributes, whether known or unknown, is the same to both. ^ Compare Moses' cheerful admission to Squire Thornhill that ' what- ever is, is ', and invitation to make the most of it. Another of Shake- speare's clovifns cloaks in various phrases mere repetition in thought, in- structing his fellow that ' an act hath three branches : it is to act, to do, and to perform '. ^ E. E. Constance Jones, Elements of Logic, p. 189. ^ Sigwart, Logic, i. 84, 85. Identity 87 § 186. Truth means that a statement once made does not straightway vanish elusively [^into air, but falls under laws and submits to rational treatment. Whatever is implied in an assertion is equally true with the original assertion. Whatever is, is. This is seen not to be a sapless ingemination if we lay stress on whatever and on the second is. Whatever is A is A. Any object whatsoever which is included in the class A (which bears the name A, has the attribute of ^-ness) possesses all the attributes attributable to A. Whatever has a quality has every quality that goes with that quality. § 187. This basis of Syllogism is sometimes stated as though all propositions were analytical. It is enunciated in some such form as this, that everything which shares the common name A is whatever is implied in being A ; or that all the attributes which a name connotes are predicable of every object which that name denotes ; or that the whole extension of a name possesses the whole intension of that name. The 'intension ', ' connotation ', ' implication ' of a name can only signify its meaning, the content of the concept when analysed. But if we infer that a spaniel is liable to a tax of seven and sixpence, because it is a dog and all dogs are so liable, we do not suppose that bringing seven and sixpence to the Exchequer is part of the analysis of the notion of dog. English letters below 4 ozs. in weight go for a penny. Therefore the letter I have written will do so. But the going for a penny, while it is a circumstance known to me about letters of a certain weight, is assuredly not what that expression connotes or means. Whatever is the intension of a predicate name is directly predicated by the judgement. 'John is a baker ' tells me that John bakes. But any further circumstance that is known about bakers, e. g. that they are bound by law to carry scales, has to be conveyed in a further judgement, and can only be predicated of John by help of a syllogism. § 188, Sigwart seems to misapprehend the bearing of Identity on inference when he says : — ' It is only when an attempt is made to base the Syllogism entirely upon the so-called Principle of Identity-^M)A«« therefore the premisses are purely analytical propositions — that the syllogistic process seems to be without value." The identity which runs through a syllogistic con- struction has nothing to do with any analytical character the ' Logic, i. 362. 88 The Axiom of Persistency premisses may possess. The force of the reasoning, as reason- ing, would not be in the smallest degree strengthened by their being analytical or identical. On the other hand it is not clear why Sigwart says it would then be ' useless '. Take the following double syllogism : — Socrates is a philosopher ; Philosopher means one who pursues wisdom for her own sake; Pursuing anything for its own sake implies disinterestedness : Therefore Socrates is disinterested. The reasoning here is just as useful as if each premiss had been a synthetic proposition, and we had been told that philosophers marry unwisely, or do not pay their rent. If A is B, A is all that B is,^ or means. In Aristotle's words : — oa-a Kara. Tov KaTrjyopov/jLevov Xeyerai, iravTa /cat koto. toS viroKeijxivov prjOTQiTeTaL.^ § 189. The subject of a non-analytical proposition is primarily regarded as in extension — it is the object or objects to which the subject name applies that are spoken of — , the predicate as in intension — it is the attributes implied by the predicate name which are ascribed to the subject ; * e. g., ' Old shoes need ^ A friendly critic writes : — ' Is it true that, if man is animal, man is all that animal " is " ? Any triangle is either equilateral, isosceles, or scalene. An equilateral triangle is a triangle. It follows that it is equilateral, iso- sceles, or scalene.' But this is the disiunctio ambigui discussed below under Disjunction. What is meant by ' any triangle ' ? The either . . . or . . . or cannot mean that every actual triangle has an undetermined character : no triangle can exist, actually or ideally, until its character is determined. There is a subjective and problematic uncertainty in our minds beforehand. But directly the minor term is given as equilateral, the doubt disappears. Triangularity is objectively equilateral, isosceles, or scalene. But triangularity is not the middle term. ^ Cat. iii. I. ' Intension (Comprehension, Connotation) is not all that a thing is, but all that a name means. It is the attribute or attributes connoted by the common designation ; or rather the name's relation to the attributes. Strictly speaking the meaning of a name is that which marks it off and differentiates it from other names, and is therefore the same thing as its definition. Yet not all qualifications which are sufificient to define or mark off ought to be regarded as the meaning of a name— e. g. 'A barrister is a man who wears wig and gown ' ; ' A Jew is a Semitic who eats no bacon.' Psychologically, intension precedes extension ; the adjective (sensory perception) precedes the substantive— blue and cheerful come not only before blueness or cheerfulness, but before blue or cheerful object. Yet it was experience of this and that blue object which gave the sensation Identity 89 mending.' I am thinking of old shoes as a class of things and the need of mending as a circumstance or quality to be predicated of that class. Every significant term has necessarily both aspects. ' Old shoes ' suggests certain characteristics, and things that need mending form a class of objects. But the other is the primary significance. (See below, §§ 644 seq.) § 190. It follows that in the syllogism the middle term is naturally regarded from the point of view of intension in the minor premiss, where it is the predicate, and of extension in the major premiss, where it is subject. (To avoid confusion we are confining ourselves to the First Figure.) All.<4's are B, and all jB's are C; therefore all .^'s are C. Because A's, as a matter of fact, have all the B qualities (every quality connoted by the name B), they have necessarily every quality or circumstance belonging, as a matter of fact, to objects generally which have the B qualities. In this case C-ness is such a quality or circumstance. Therefore all A's are C. § 191. But the predicates may be regarded from the point of view of extension.' Then, all A's are part of the class B, and of blueness. Once, however, the universal is named, every similar object will be given that name ; and thus connotation precedes denotation ; for the name's intension is known, but the class's possible extension is un- known. The latter is conditioned by the former. See Sidgwick, Use of Words, pp. 245 n., 248. ' The simplest forms of statement are, for Extension — ' Class X (all or some) is part of class Y, and class Y is part of class Z ; then class X (all or some) is part o class Z.' And for Intension — 'Z-ness goes with F-ness, and F-ness (always or sometimes) goes with X-ness ; then Z-ness (always or sometimes) goes with A"-ness.' By A going with B it is not meant to be implied that B necessarily goes with A. As, however, this means that A can 'go' without B, whereas we had just said that it goes with B, ' goes with ' had better, perhaps, be ' accompanies '. Less ambiguously still — ' Where ^-ness is found K-ness is found, and where F-ness is found .2'-ness is found; then,' &c. Or, '.^-ness carries with it F-ness,' &c. The simplest form of the Analytic Syllogism is this — ' .AT-ness implies F-ness and F-ness implies Z-ness ; then ^i^-ness implies Z-ness.' Yet the statement might be in extension ; e. g. 'A burglar is ipso facto a criminal, and a criminal necessarily belongs to the dangerous class ; therefore,' &c. To express intensive inclusion, the ordinary Syllogism must be stated, in full, thus—' The attribute connoted by the name Z is among the attri- butes belonging to things which have the attribute connoted by the name F; and those attributes are among the attributes belonging to things which have the attribute connoted by the name X\ then,' &c. go The Axiom of Persistency the class B (all 5's) is part of the class C. Therefore all ^'s are in the C class. A part of a part is a part of the whole. This, the dictum de omni et nullo, Hamilton speaks of as ' constituting the one principle of all Deductive reasoning '> We shall see here- after, however, that he has an illegitimate use for it, making 'All ^'s are B ' to mean that 5-ness is part of the notion of A. § 193. Regarding subject and predicate as cause and effect, the Rule has been stated (e. g., by Alanus of Clairvaulx) thus :— Quicquid est causa causae est etiam causa causati. Water quenches thirst. Whatever quenches thirst allays fever. Therefore water allays fever. § 193. To glance for a moment at the other great syllogistic Figure, the Second, the subject and predicate of the conclusion seem naturally to be regarded as classes. A'^ have a certain characteristic, B, which C's have not. It follows that the classes A and C are distinct. No ^ is a C, and no C is an ^. But the mind's interest might be different. The attributes ^ -ness and C-ness are never found united in the same subject. § 194. The Principle under discussion, then, is the foundation of the Syllogism, and is the reason, consequently, of that search for middle terms, that endeavour to detect the abstract one in the concrete many, that demand for a universal element, which is called Induction. Why is 5 P? Because it is M, and M is always P. § 195. Mill asks what we learn ' by being told that whatever can be affirmed of a class can be affirmed of every object con- tained in the class. The class is the objects contained in it; and the dictum de omni merely amounts to the identical proposition that whatever is true of certain objects is true of each of those objects. If all ratiocination were no more than the application of this maxim to particular cases, the syllogism would indeed be, what it has so often been declared to be, solemn trifling.' ^ We no longer suppose, he urges, that a class or universal is an entity per se, or anything more than a common name for the individuals which compose it. But this is the baldest no- minalism. Mill talks himself of applying a maxim to particular cases. Was it known to be true of all the cases before becoming a maxim? Salt is wholesome. Wine intoxicates. Soldiers ' Lectures on Logic, i. 145. " Logic, i. 234. Identity gi must obey. The two former propositions might be learned by a chemical analysis. The third by considering what soldiers are for. Mill cannot mean that before stating them we must have made proof of every existing, or possibly existing, ounce of salt or bottle of wine, or considered separately the individual duty of every soldier enlisted or who might at any time throughout all the ages enlist ! What can be more perverse, then, than to maintain, in effect, that a generalization, law, rule, principle or maxim does not need to be applied because ' the class is the objects contained in it '. By a soldier hesitating about his duty the general principle * It is the duty of soldiers to obey ' is remembered usefully because it is a principle, and not a mere recapitulation or summary of a number of individual cases of duty, his own included. 'The Scripture bids us fast; the Church says now! It would be indeed a feeble marking of time if ' quicquid valet de omnibus valet etiam de singulis ' meant that what is true of certain objects severally and individually is true of each of those objects singly and one by one. § 196. To state the Principle of Identity in yet one more light, it is this, that we necessarily think everything as abiding as it was in its nature and circumstances until some, not change but, cause of change, occur to modify it. It is not — but- Old Pillicock sate on a grassy hill ; And if he 's not gone he sits there still. In my faith and loyalty I never more will falter ; And George my lawful King shall be — Until the times do alter. So in the Winter's Tale — Camilla. They that went on crutches ere he was born desire yet their life to see him a man. Archidamus. Would they else be content to die ? Camillo. Yes, if there were no other excuse why they should desire to live. § 197. Nothing can alter, vary, or be different without a suffi- cient reason. While the conditions of a thing remain what they were, the thing will remain what it is. 'Truth,' observes Bradley, 'does not depend upon change or chance. What is 92 The Axiom of Persistency true in one context is true in another. . . . Every judgement, if it really be true, asserts some quality of that ultimate real which is not altered by the flux of events.' ^ Achilles absent is Achilles still. Pigmies are pigmies still, though perched on Alps. ' Simla simia est, etiamsi aurea gestat insignia.' I recall a phrase in the Holy Dying: 'A coffin is a coffin, though covered by a pompous veil.' Rousseau taught that every human being pos- sessed of reason possesses an inalienable sovereignty; but this did not prevent the National Assembly from disfranchising women. The logician, of course, does not deny that circum- stances alter cases. All he postulates is the change of circum- stance. Things are not all a casual and shifting fortuity. Truth does not at once slip through our fingers. Xerxes acted on the Principle of Identity when he counted his vast host by making it pass through pens of ascertained size — though, to be sure, there might be burly and lean nations in it. A bank cashier acts on it when he pays out a required number of sovereigns by weight rather than by tale. Rules have exceptions. Cowper says : — ' A fool must now and then be right by chance.' But that is only to say that the rule has been stated in too unqualified a way, and without allowing for counteracting causes. The parallelo- gram offerees in Mechanics may result in an equilibrium. Yet the law of each force has had its full effect. Strychnine poisons dogs ; yet on certain constitutions it acts as a tonic. In spite of possible Yahoos we describe mankind as rational. We do not hesitate to say that lions are savage because they have left deer unmolested when seeking common shelter from some cataclysm, or because in a millennial state they will couch with Iambs.'' § 198. The comparatively simple case of intermixture of physical effects may be studied in Mill's Logic, i. 518 seq. It must be understood that a tendency does not mean a law which sometimes operates and sometimes does not ; for all laws, so far as they are laws, always operate. The word merely indicates the liability to counteraction. Mathematical laws cannot be counteracted. And the higher spiritual truths may be regarded ^ Principles of Logic, pp. 133, 135. '^ Certainly it is more difficult to understand 'exceptis excipiendis' when a rule is stated in extension ; e.g. if, instead of saying, ' Man responds (or men respond) to kindness,' we were to say 'AH men respond to kindness '. Identity 93 as admitting no exceptions — e. g. ' Blessed are the meek.' On the other hand, many statements of revelation are cast in a designedly general form, without simultaneous -mention of other and complementary truths. We are to compare spiritual things with spiritual. § 199. Identity, however, has nothing whatever to do with con- tingent uniformities. It does not say that things will not depart from their more or less fixed sequences — e. g. ' gentilhomme est toujours gentilhomme ' — , but only that, apart from any reason to suppose differently, a fact as given may be built upon infe- rentially. The universe is not a flux. Truth exists. Reality is self-consistent. Reasoning is possible. CHAPTER VII SUFFICIENT REASON § 200. The Principle of Identity, we have seen, afBrms that a thing being thought generally as having certain characteristics must be thought as having the same characteristics at various times and in various circumstances, unless and until some cause of change occurs. There is stability in things, else there is no truth. § 20I. Or, avoiding the metaphysical ideas of change and cause, let us lay it down — though the thought may be a more difficult one — that for every difference there must be a sufficient reason. Thus regarded from the logical standpoint, the Principle of Identity may be called a principle of Sufficient Reason. § 202. As no phenomenon can come to exist — since coming into existence implies modification of the previously existing order of things — without a cause, so no statement can be made, no advance can take place in our thought, without an adequate ground. For by every new assertion or judgement our existing knowledge is varied. A proposition must be in a sense fresh, or it would not be made.' § 203. As the metaphysical doctrine that every change must have a cause has to be distinguished from the physical theory of the Inertia of Matter — even if this may ultimately be resolved into that — , so the impossibility of judging without a logical ground must be distinguished from the psychological inability of any judgement to be formed, or to find utterance, without certain material conditions, such as a judging subject, the con- stitution of the thinking faculty, data of experience, and some occasion effectuating decision. § 204. Objectively, no assertion can be justified apart from the allegation of a ground. And, subjectively, there can be no con- sciousness of validity in the synthesis between subject and predicate apart from some element of universality in the factors of the judgement. A judgement is always considered by him All Assertion is thought as necessary 95 who judges as necessarily formed.^ The apprehension of justi- fication is essential to all our thinking. Even an actor's, or liar's, words are propounded as unavoidable. ' Universality,' observes Bosanquet, 'is a property of all judgement whatever. I not only feel that my judgement is inevitable for me, but I never think of doubting that, given the same materials, it is obligatory for every other intelligent being. If some one disagrees with a judgement of mine, I try to put the case before him as it is in my mind ; and I am absolutely sure that, if I could do so, he would be obliged to judge as I do. If it were not so, we should never think of arguing.' ^ ' But,' says the same writer, ' necessity involves mediation or inference. No isolated judgement, qua isolated, can have necessity. Every necessary truth must, in so far as it is necessary, present itself as the conclusion from an antecedent.' ' In other words, every assertion is an interpreta- tion. Hence the possibility of mistake.* But, while conscious of fallibility, we enounce every judgement as necessarily formed. The weather is bad. Badness must be predicated of the weather. § 205. The rule ' infer nothing without a reason ' obviously forbids a logical impossibility. But 'think nothing without a reason ' is an equally jejune and superfluous counsel. It should be, ' think nothing without putting the reasoning clearly and plainly before your mind.' What makes us smile at a state- ment is often the paradoxical character of the mediation, were it explicitly enunciated ; either its absurdity, as in the old play — ' I am sure they talked of me, for they laughed consumedly ' ; or its audacity ; as in King Henry the Fourth — ' She 's a woman, and therefore to be won ' ; or its simplicity, as when in Reade's great historical romance, The Cloister and the Hearth, Gerard out of gratitude offers to pen a letter for the serving-maid, which she declines, saying, 'He is in the house'; or its un- expected insinuation, as in the moral to the American inversion ' ' Judgements are regarded as true only in so far as they are necessary ' (Sigwart, Logic, i. 184). ' Every truth is necessary, although every pro- position is not necessarily true ' (Lewes, Hist, of Phil. ii. 476). ^ Essentials of Logic, p. 26. ' Logic, ii. 324. * 'AH error and strife are due in the last instance to a difference between the psychological ground of certainty and the ground of truth, to the possibility that momentary belief may err, and the temporary feeling of certainty deceive us ' (Sigwart, Logic, i. 193). 96 r Sufficient Reason of the hare and tortoise fable — ' The race is not always to the sl(yw ' ; or its bantering malice, as in Tancred — ' " Jerusalem ! What on earth could they go to Jerusalem for?" said Lord Carisbrooke. " I am told there is no sort of sport there." * § 206. We are certain that; ' every why has a wherefore ', whether a plain reason is forthcoming, like the footprint from which Crusoe inferred human neighbourhood, or we have to say with Lucetta — I have no other but a woman's reason. I think him so because I think him so. Her judgement of Protheus rested on an intuition of taste. ' To those who like that kind of thing,' said Abraham Lincoln, ' that is the kind of thing they like.' Our not being able to sound the depths of our thoughts does not prove that they are non-rational. The reason is there, though it cannot be produced. No doubt we must ultimately come to primary facts of belief, where the material for judgement passes into judgement without it being possible to analyse the psychological transition.^ This unanalys- able starting-point of conviction ought not, I consider, to be called an act of judging; at any rate the phrase 'sensory judgement' is objectionable. TertuUian's reason for belief is an O altitudo! ' Credo quia absurdum '. Newman says that to him there were ever only two perfectly self-luminous existences — himself and God. To seek a proof of one's own existence, indeed, is to try to get behind consciousness. It is as though a person going round in a wheel were to think that by going faster he could see his own back, to airo voiiv ia-riv re kol etvai. ' CogitO, ergo sum.' As St. Austin writes : — ' Omnis qui utrum sit Veritas dubitat in se ipso habet verum unde non dubitet.' ^ But, though percep- tion is not judgement, to assert something 'on the evidence of ^ Fichte asks :— ' Why not rest contented with the fact that something is, instead of supposing that it must have become through some source outside itself ? You have been wont to think a ground of everything, but forget that the ground itself is your thinking ' (qu. Lewes, If. of P. ii. 568). But it is one thing to say that a ground cannot be given, and another to argue that it does not exist. " De Vera Religione. The man who prayed, ' O God, if there be a God, save my soul, if I have a soul,' had nothing whatever to start from, no jroO o-Tci of consciousness. Hegel says, ' If God be not, there is nothing.' If / am not, I cannot say even that. To Locke the ontological certainties were God, the world and the soul. Authority as a Ground 97 my senses ' is the first stage of judging. This, as Bosanquet remarks, is not a refusal to give a reason for my assertion, since sense-perception is not the asserted fact itself but the evidence for it.^ § 207. Nor do we refuse to justify a judgement when we rest it upon authority. -To appeal to an Ipse dixit, awos €<^a, 'the Master said it,' is open to no rational objection. It only throws the rationale a step further back. Why do you trust the authority? And the answer is no less an answer because it may be an unanalysable instinct of devotion, or a vague recognition of superior knowledge. Is there any statement we ever make in daily life which has not in it some element of deference to the knowledge, information, or character of others? ' It is midnight.' ' There was a scene in the Commons last night.' 'Mr. X is unmarried.' 'This is Radstock coal.' ' My letter gave universal pleasure.' Which of these state- ments have we verified by the direct testimony of our own faculties ? No assertion is ever in practice really demonstrated, carried back to ultimate intuitions, and very few minds could follow the demonstration if it were. Authority intelligently recognized makes the tedious task unnecessary.^ We do not wrangle with our dentist as to which implement he is to use, nor with a cabman as to the shortest way to Charing Cross. The rationabik obsequium of which Joubert speaks — ' In poetry " Logic, ii. 17. ' The Right Hon. A. J. Balfour, in his Foundations of Belief, remarks that alike the ultimate analysis of what we believe and the ultimate proof of by what right we believe elude us. Yet we do believe ; and ' in all branches of knowledge conclusions seem more certain than premisses. . . . In all of them ideas so clear and so suflScient for purposes of everyday thought and action become confused and but dimly intelligible when ex- amined in the unsparing light of critical analysis.' He speaks of the ' comparative pettiness of the r61e played by reasoning in human affairs ', and finds our superiority over brutes to consist ' not so much in our faculty of convincing and being convinced by the exercise of reasoning, as in our capacity for influencing and being influenced through the action of Authority '. He points out the falsity of the popular conception that Reason ' is a kind of Ormuzd, doing constant battle against the Ahriman of tradi- tion and authority ', and that ' its gradual triumph over the opposing powers of darkness is what we mean by progress' (pp. 281, 283). Mr. Wilfrid Ward's Essay in Problems and Persons (igo^) on Mr. Balfour's treatment of the subject is well worth reading. H gS Sufficient Reason I should fear to go wrong if I differed from poets, in religion if I differed from the saints' — applies to much commoner matters. There are very few things we can attempt to think out for ourselves. But in the higher kinds of self-surrender faith is touched by the spirit of sacrifice and disciplined by trial. It must be man's care not, out of laziness or cowardice, to bow before that which he does not really respect. Never was individuality more needed than in a period of individualism, in which the leadership of imperial and commanding minds has given place to the tyranny of a stereot3^ed and commonplace mould of average opinion. ' La faiblesse,' says Mme. Roland, 'tremble devant I'opinion, le fou la brave, le sage la juge.' § 208. Inasmuch as every cause is an effect, and for every ground we must give a reason — everything, that is to say, has to be explained by some other thing — we are carried back finally in the one case to Creative Will, causa sui^ — so that 'if there were not a God it would be necessary to invent one ' — and in the other to the original facts of consciousness and self-evidence. Otherwise, either we have an infinite regress, or else all things revolve in an eternal circle. The absolute Whole is then to itself both subject and predicate, its own cause and its own effect. Demonstration is reduced to one term ; the world becomes a single Thought. § 209. The First Cause, causa causans et non causata, admits, consequently, of no proof a priori, that is, from cause to effect.^ But if we believe in it as Primal Will, it cannot be irrational to think of vovs Kttt TvoM TO 81' avOpwTTov as a minor spring of action, an apxfj xpafecos, and of creaturely wills — whether conceived as ' ' That which persists, unchanging in quantity but ever changing in form, under these sensible appearances which the universe presents to us, transcends human knowledge and conception. It is an unknown and unknowable power which we are obliged to recognize as without limit in space and without beginning or end in time' (H. Spencer). Spencer speaks of being painfully overpowered by ' the consciousness that, without origin or cause, infinite Space has ever existed and must ever exist '. He rejects Kant's doctrine of Space as ' the subjective conditions of the sensi- bility, under which external intuition is possible, even as Time is the formal condition of al/ phenomena whatsoever '. He maintains that all the suggested origins of the universe of things are unthinkable. ^ Benn (i. 150) quotes the baron in Thorndale: ' I believe in God until your philosophers demonstrate His existence.' St'f pro Ratione Voluntas 99 finite portions of 'will-stuff' detached for each personality or in some other way — as to some extent creative ; each ' a god below V a cause and not an effect, able in a limited, sphere to originate and therefore to revolt, yet finding itself by losing itself in the perfect Will of God. The relation of motives to freedom of choice is an insoluble problem^ Yet motives only become motives by being taken up into the self, which is free from necessity (dvay/o;) as well as from coaction (^id). Decius. Most mighty Caesar, let me know some cause; Lest I be laugh'd at when I tell them so. Caesar. The cause is in my will. I will not come. It is noticeable that, when we speak of being ' determined ' to do this or that, we use determinist phraseology, as though we were pulled and pushed about by our wants and environment. Yet no word seems so strongly to convey the idea of complete freedom of the will to react on circumstances as the word ' determination '. Thou art thou> With power on thine own act and on the world. If freewill is a delusion,^ it is, of course, as irrational to praise the victorious in the agony of self-conquest as to commend a turnip for growing.' We should talk rather of golden events than of golden deeds. § 210. A proposition, then, is not irrational and groundless because the ground assigned is the fiat of volition — sit pro ratione voluntas — any more than it is ungrounded because the ' Not, however, in Virgil's sense of — Sua cuique deus fit dira cupido. ^ Shakespeare repudiates the Calvinistic or Mahometan view of the ' Divine decrees : — K. Rich. All unavoided is the doom of destiny. Q. Eliz, True, when avoided grace makes destiny. King Richard the Third, iv. 4. Whitefield himself allowed that an ounce of grace would go as far with some as a pound with others. In theological language grace is both/re- veniens and co-ofierans, the latter word implying the will's liberty of choice. ' Praise, of course, may be a stimulus to well-doing, and so finds a place in Determinist systems. But inward commendation is what is here meant. H 2 loo Sufficient Reason ground is a primary intuition, of which no further account can be given. § 211. ' Why? ' asks the reason for a thing being what it is said to be, and this reason may be either the cause of a phenomenon or the ground of a statement, (i) How do you account for S being P [ratio essendi)? How (unde) does it come to be so ? Or (2) How do you know that S is P (ratio cogno- scendi) ? Why {cur) do you say it is so ? This man is deaf Why ? Because he had a fall, which makes him deaf. Because he takes no notice, which shows him to be deaf § 212. Either of the answers itself requires an explanation. In the explanation of cause and effect we arrive ultimately at the fact of the constitution of the universe, beyond which lies the will of the Creator. In assigning the ground of a statement we are pushed back and back to the native necessities of thought. But while we are not bound to know anything about the cause of S being P, the ground for our asserting 5 to be P must, whether consciously realized or not, have been in our mind. Even if we repeated it at second hand, we had a reason for trusting our informant. No one thinks a thing without thinking he has a reason for thinking it ; though to demand that he shall give a reason for thinking he has a reason cannot be repeated ad infinitum. The final reason, for instance, for all conduct is our conception of the Summum Bonum. § 213. Not only does the justification of a statement by its ground require two premisses, tut the explanation of a phenomenon by its cause requires two antecedent statements. This wax is melted, because it has been near fire, and fire melts wax. Either statement again has to be explained by two other statements, the one a fact, the other a law. (i) How did the wax come to be near fire ? I put it in the fender, and whatever is in the fender is near fire. (2) Why does fire melt wax? Because of the material constitution of wax on the one hand and a general law of liquefaction by heat on the other. And so on. Similarly, the ground for every assertion is itself grounded on two assertions, the one, the major premiss, stating a general principle, the other, the minor premiss or subsumption, stating what is, relatively, a presentation of consciousness. And either premiss branches out again regressively in two directions, leading back, on the one side to primary perceptions, on the Double Meaning of ' Why?' loi other to axiomatic laws. The plasticity and fertile energy of nature corresponds to the ramifying complexity of demon- stration. § 214. It is of importance to notice that the explanation of a phenomenon is a rational process, and gives the reason why the phenomenon might be expected to be as alleged. The reason your dog loves you is that you treat him kindly, and dogs always love those who treat them kindly. What we have here is an inference, that the dog may therefore be expected to love his master. X is unbusinesslike, because he is a poet and poets are unbusinesslike. In assigning a cause we s^xe justifying an expectation. The middle term, which gives the cause of the fact, is the ground of the judgement. The observed fact is explained by the theory, the conclusion and the fact corresponding. § 215. The causa essendi, then, must be & ratio eognoscendi,^ though, as we shall see, the converse is not always true. The material process in rerum materia, being apprehended by us, gives rise to the logical process in our mind. But the conclusion (which^//oze;s, not results) has always an ideal, abstract, neces- sary, and rational character. Sir Galahad's strength is as the strength often because his heart is pure. And knowing his heart to be pure we may be sure (conclusion) that (as a result) his strength is as the strength of ten. It is slippery because it has frozen. It has frozen, therefore I conclude that it is slippery. All statesmen who speak truth are unpopular. This statesman speaks truth. You may be sure, then, that he is unpopular. § 216. This is deductive inference, from cause to effect. But we also argue inductively from effect to cause. The knight's heart, we are certain, is pure because his strength is as the strength often. It must have frozen because it is slippery. That ' Why has no one recently entered the cave ? Because a spider has built her web across the mouth of it (cognoscendi). Because a lion has made his lair in the entrance {^essendi and cognoscendi). The lion could keep a man out. The spider could not. Again, debate of battle could not make a knight's lady to be fairer than others ; though, given the pre- miss that right and truth in such an arbitrament always prevail, it could frove her to be so. On the other hand, in the doctrine of grace, the means whereby we receive the same is a pledge to assure us thereof. I02 Sufficient Reason the politician speaks truth is shown by his being unpopular. The ratio cognoscendi here is not the ratio essendi, but an a posteriori sign or indication. ' Rain has fallen because the brook is swoln ' is not the same kind of proposition as ' Rain will fall because the clouds are low ', FalstafF combines both — ' The tree may be known by the fruit, as the fruit by the tree.' Compare the force of the two ' bys ' in the following : — (i) Brave duke Schomberg was no more By venturing over the water. The Boyne Water. (2) By the pricking of my thumbs, Something wicked this way comes. Macbeth. § 217. It might be said of some place that it must be healthy because it has so few deaths, or so few doctors, or so few fogs and east winds. The first reason is a sign, the last is a cause. The second, intended as a sign, might be jocosely taken as a cause. In the report of a Dublin benevolent society it was remarked that, 'notwithstanding the large amount paid for medicine and medical attendance, very few deaths occurred during the year.' § 218. If the major premiss of an a posteriori dsgaraent directly asserts F to be an invariable sign of the presence or existence oi X, the reasoning is unchallengeable. Since 'by Tre, Pol and Pen you may know the Cornish men ', I can infer at once that the house of Pendennis is from the Duchy. ' Blue-eyed white cats are always deaf cannot mean that blue eyes and white fur cause cat -deafness, but only that they are an indication of its presence. I am sure then that this blue-eyed white cat is deaf. Contrast ' Cooks are always bad-tempered '. Contrast also ' There is no smoke without fire ' with ' There is no fire without danger'. ' Creaking shoes have not been paid for,' 'Those who shun quarrels are wise,' ' Still waters run deep,' and many by- words about the weather, are examples of sign propositions. There is often nothing to distinguish them from causal proposi- tions or propositions about the inherence of a quality in a subject — e. g. 'Whoever speaks thus is foolish' from ' Whoever speaks thus is punishable '. But, just as causal propositions are sometimes stated as such — e.g. 'A green Yule makes a fat Cause and Sign 103 churchyard ', so others are stated as symptomatic — e. g. * The habit proclaims the man ' ; ' A fool is known by his laughter ' ; ' Eyebrows which meet indicate bad temper ' ; ' A mole is a sign of riches ' ; ' Not to know me argues yourselves unknown.' Old men are bald, scant of breath, and the like, and FalstafF is ' written down old with all the characters of age '. § 219. A sign is not always distinguishable from formal cause. E. g., a ripe strawberry is red, juicy, sweet, and fragrant Being a true gentleman makes a man (ratio essendi) courteous to all, self-respecting, &c. ; and we say he is a true gentleman because he is courteous, &c. [ratio cognoscendi). But such constituent characters are together the formal cause of true gentlemanliness. A tinker mends pots, and we know him to be a tinker thereby, mending pots being both sign and formal cause. In the line ' Non volucres pennae faciunt, nee cuspis Achillem ' faciunt means 'constitute formally'. § 220. It is only when, as in a definition or the predication of a property, the predicate of a proposition is convertible with the subject, that inductive inference from a sign, that is, from effect to cause, is secure. In other cases it is liable to be upset by plurality of causes. ' Why do you say it has rained ? ' ' Because the pavement is wet.' But a watering-cart may have passed. Courtesy may be a mask, like Absalom's or Bolingbroke's in Richard the Second. Similarly, when we are explaining a fact rather than justifying an assertion — e.g. 'Your dog loves you because you treat him kindly' — we can suggest a cause for the phenomenon, but not say certainly that this is the cause. § 221. A cause is a reason for a thing being what it is, and a reason is a cause of a thing being known to be what it is.' The presence of a cause makes the effect to be expected, and the presence of an effect makes the cause to be suspected. A ' Dr. Bradley asks the question — Is the Cause, as we know it, always a Because ? Does every because appear as a cause ? He denies that the process of our logical movement is bound ideally to counterfeit the course of phenomena, and to present us with the actual changes of events (Prin- ciples of Logic, pp. 486, 529). The chapter is worth study ; but the de- railing of logical trains of thought by the nomad Chunchuses of philosophy is truly mischievous. If Dr. Bradley's general argument is right, there is no such thing as science. I04 Sufficient Reason cause is a sign justifying an expectation, and a sign is a cause producing an assertion. When we can justify a judgement both a priori and a posteriori, by the yv(opiiJ,u>Tepov v(r€i and also the ■ycw/aiyuwrepov rjiuv, by the coincidence of crviJi,Trepa(rim (conclusion) and oTi (observed fact), the judgement is on the way to be demonstrated/ § 222. Although in General Propositions the cause or ground for an assertion is commonly indicated in the subject of the sentence — ' Judges should be uncorrupt ' ; ' Vaccinated persons escape small-pox'; 'The hireling fleeth because he is an hireling' • — it is never confined to the subject.^ 'The King is above party' — the King being who he is and party being what it is. We learn that honesty is the best policy by considering what we know about honesty and also about good policy. No man (i. e. no hero) is a hero to his valet-de-chambre, because the one is a hero and the other is a valet. In Negative Judgements, which are converted simply (No A is 5= No B is A), the ground may be considered as lying evenly between subject and predicate. Of Particular and Concrete-universal Judgements, the ground must be sought outside the sentence. — 'Some Indians are fair- skinned.' 'All the men of my year took honours.' But this is so also in the case of general propositions when the cause of an observed uniformity is not known (e. g. ' Blue-eyed cats are deaf), or not suggested (e. g. ' West country ballads are the finest '). In Analytical Judgements the ground resides explicitly in the subject, as ' Development must be in accordance with type' (or it is not development). In 'Synthetic Judgements a priori', the reason must be sought not in the definition but in ' the necessity of the thing ' ; e. g. 'A triangle has its angles together equal to two right angles '. § 223. The sufficiency of a reason cannot be investigated by logic. We are constantly, however, protesting against insufficient reasons. 'Because thou art virtuous shall there be no more ' Demonstration should be j>er causam proximam et immediatam et prinuim. But Aristotle uses a/ico-os and irparos to signify either the first cause in a series of events, or the cause which lies nearest to the ultimate effect, or phenomenon under consideration. See Trendelenberg, § 16. ^ ' The ground in thought often belongs to the effect in time, but may be any element whatever related to the real ground, whether cause, effect, or abstract principle ' (Bosanquet, Logic, i. 267). A Defensive Principle 105 cakes and ale?' Such insufficiency is often intentional and humorous. ' A propos de bottes, o\x est ma tabatiere ? ' The imprudent marriage with the barber in the Great Panjandrum will possibly occur to the reader. The following may be quoted from the Vicar of Wakefield : — ' My wife protested she could see no reason why the two Miss Winklers should marry great fortunes and her children get none. As this last argument was directed to me, I protested that I could see no reason for it neither ; nor why Mr. Simpkins got the ten thousand prize in the lottery, and we sate down with a blank.' § 224. But, though Logic cannot investigate the sufficiency of a reason, it is bound to examine the sufficiency of reasoning. As the Axiom of Consistency, then, forbids a conclusion which contradicts the true one (the Axiom of Persistency having com- pelled the drawing of the true conclusion), so the Principle ot Sufficient Reason (or Reasoning) prohibits irrelevance and inconsequence. It is not a positive criterion of truth, but is defensive and protective, standing at the entrance of knowledge to keep out judgements which cannot justify themselves ration- ally, i. e. which are not the conclusions of a valid syllogism.^ § 225. In elucidating the Law of Rationality, the structure of Thought, whose connexions are governed by that Law, has been inevitably, to some extent, assumed. We have now to examine the Form of Thought, the mould in which human intelligences are constituted to think, more closely. If thought were only an identification, or an equation of quantities, A = B = C, Logic would be a simple thing. But the con- struction of our thought is conceptual. Its connexions are, so to speak, qualitative. Instead of counting facts, we have to bring each fact under a principle. Instead of bundles of unrelated impressions, we have to do with cases subsumed under abstract notions, with the one in the many. But first it will be necessary to consider whether the usual doctrine that there are three Forms of Thought is correct. ^ Mansel says that SufiScient Reason is ' no law of thought, but only the statement that every act of thought must be governed by some law or other' (jProleg. Logica, p. 198). But why must? It is a law that every act of thought shall be governed by a law. This is more than a mere observed fact. io6 Sufficient Reason NOTE Narrative Judgements In logical treatises the examples are nearly always in the present tense, historic and narrative assertion being almost wholly ignored. For what is universal and general is not very naturally predicated from the standpoint of the past or of the future, and there must be a universal element in all reasoning. And yet by far the largest number of our assertions are state- ments that something has happened, and that the causes and consequences were this or that. It is only in reflective and philosophic prose that the principles and laws underlying the succession of events are dwelt on. Usually a narrator states only concrete happenings, not abstract rules. He concerns himself with effects, not with inferences. All connected narrative — even Homeric adventure- tale or the most artless ' once upon a time ' — implies, it is true, at every step some law or generalization to explain how an event came about. But the implied law is usually too obvious to need stating. Only the facts, then, are given. 'The frightened cow tugged at the rope, and this, being rotten, snapped ; whereupon Daisy, finding herself free, jumped the hedge ; but, catching her foot, fell, and in this way broke a leg. In consequence, she had to be destroyed. The children wept, as she was a great favourite, owing to her gentleness. I showed them, however, a picture-book, which dried their tears.' The implied generalizations are such as 'creatures which are frightened try to get loose ' ; ' ropes which, being rotten, are tugged at snap'; and so forth. The ratio essendt is constantly suggested only. ' The rain had fallen, the poet arose.' ' You have said your lesson well ; you shall have a penny.' A universal can, no doubt, be stated from the standpoint of past time. ' Ever upon the topmost roof the banner of England blew.' ' Quicquid conabar dicere carmen erat.' ' In Adam all died.' It is not more easy to say ' An Amurath to Amurath succeeds ' than ' Aylmer followed Aylmer at the Hall, and Averill Averill at the Rectory.' But narrative universals are usually concrete. ' They all slumbered and slept.' ' Everything was lost.' Mr. Sidgwick gives the name ' abstract-concrete ' to concrete propositions which directly assert causation^. ' X caused Y' If so, ' Fwas an effect of X' must also be so called. 'Just for a handful of silver he left us,' or ' The hot sun is melting the wax,' may be read either way. The concrete meaning, Sidgwick ^ Fallacies, p. 77. Narrative Judgements 107 observes, is primary, and the abstract meaning is implied rather than asserted. In other words, when we find inductively that one thing, X, caused another, Y, though this is a concrete statement the Law of CausaHty entitles us to generalize it in the abstract form, ' X causes Y! The same with the inherence of a quality. ' This wax, because it is wax, is sticky.' Then wax is sticky. CHAPTER VIII WHATEVER IS RATIONAL IS SYLLOGISTIC § 226. Thought has both form and matter. The matter is the things thought about, the content of the terms. The form is the conceived or judged relations of the terms. The matter of Thought is supphed to it. The form is produced by the activity of Thought itself, exercised upon the objects. § 327. The relations between objects which are governed by rational law are not material relations — e. g. gold is heavier than silver; nor those which are subjectively related to the thinker's own mind ; but only objective relations in thought. Modal elements, accordingly, must in Logic be viewed as part of the content of thought, not as part of its form. Mansel, following Kant, observes that psychologically modality belongs to the form of the judgement. But, he adds, ' the forms cognizable by Psychology must not be confounded with the forms cognizable by Logic. The latter science is not concerned, as is sometimes maintained, with the Forms of Thought in general, but only with the forms of thought as related to pure or formal thinking ... In cases where a modal conclusion is drawn from modal premises, it is only the form of the conclusion, as a judgement, that differs from that of the pure syllogism. Its relation to the premises as a conclusion from them, consequently the entire form of the reasoning, is the same in both.' ^ For example, ' The men of that regiment are, perhaps, coming home. My son is in that regiment. Therefore he is, perhaps, coming home.' The conclusion, as a proposition, is modal. But, as a conclusion, it is drawn necessarily from the premisses. For every conclusion is necessary. The subject of Modality will be further considered below (§§ 605 seq.) under Judgement. § 228. If — which is the view taken in this book — thinking is the same thing as judging, the Form of Thought is identical ' Proleg. Logica, p. 233. How many Forms of Thought? 109 with the Form of Judgement. But, because Judgement is con- ceptual, the thinking of objects under concepts, it will be found necessary also to analyse Conception. § 229. Should, however, the right of Conception to be regarded as a separate Form of Thought be maintained, the Form of Thought is then twofold. Logical treatises, on the other hand, almost invariably speak of Three Forms of Thought — Conception, Judgement, and Ratiocination. To these corre- spond the Term, the Proposition, and the Syllogism. And most writers say that Logic is concerned with all three alike. § 230. It is necessary, therefore, to point out the entirely different footing on which Syllogizing stands in Logic from that which is occupied by Conception and Judgement. § 231. The Syllogism is essentially rational, whereas Con- ception and Judgement are intellective and cognitive, not rational per se. But Logic is only concerned with rational processes. If it deals with Cognition, it is only with a view to understanding how the connexions of actual Thought are subject to the Law of Rationality. § 232. Logic is not therefore concerned with Conception and Judgement directly, unless concepts and judgements can be shown to possess, always or sometimes, an internal rational character. Every judgement, as we have seen (§ 27), is rationalizable through its ground. But the statement of the ground turns the judgement into a syllogism. § 233. I have above (§§ 38 seq.) attempted to show that there is no such thing in thought as immediate consequence, though a language rich in synonyms like the English will show many pleonasms — e. g. ' strolling vagabond '. The argument may be further illustrated in this chapter. § 234. The nearest approach, perhaps, to a seemingly immediate implication in a Concept is the Hebrew idiom to express emphasis, imitated in the Versions in such phrases as 'gaudens gaudebo * (translated ' I will greatly rejoice ') ; * dying thou shalt die' (Gen. ii. 17); yivwa-Kmv yvuxTg (Gen. xv. 13); ' circumdantes circumdederunt me ' (Ps. Ixxxviii. 17) ; ' exspectans exspectavi ' (Ps. xl. i); 'castigans castigavit me' (Ps. cxviii. 18); 'blessing I will bless thee, and multiplying I will multiply thee ' (Gen. xxii. 17) ; * with desire I have desired ' (Luke xxii. 15). Akin to this idiom is the grammatical cognate accusative, not no Whatever is Rational is Syllogistic further qualified — ' I will tell you a tale ' (not, ' a moving tale ') ; ' ludere ludum ' (not, ' ludum insolentem ') ; ' somniare som- nium ' ; ' iurare iusiurandum '. Again, we get phrases like 'the footstool of his feet' (Matt. v. 35 R.V.). There does not, however, appear to be much more rational implication in such idiomatic phrases than in the ' hear, hear ' or 'divide, divide, divide' of parliamentary emphasis. The thing affirmed is re-echoed, though in a diiferent grammatical form. In phrases like ' cent nouvelles Nouvelles ' or 'la v6rit6 vraie ' the substantive has a quasi-conventional sense. 'A kingly king,' again, draws attention to the qualities a king should possess. There could be an unkingly king, but not a non-royal king. § 335. Seeming verbal confliction in the elements of a Concept is much more common than verbal necessitation. Oxymoron is found in all languages, but especially in the Greek poets— ^Si'os HALO'S ; 8(5pov aSmpov ; vvix^rfv r awfi,^ov, irapOivav t aTrdpOevov ; €Kwv aeKovn 8i 6vp.^ cniDTTUiv, or ySXeTTovres ov ^Xiirovcri koX aKovovm ovk aKovovcnv (St. Matthew xiii. 13), the same word has a meaning in the predicate varied from that which it had in the subject.; so that ^Xeirovra appears in St. Mark as S^iOaXfjLovg I^ovtcs and aKouovres as Sra ex""'''^^' Compare Aeschylus's KXvovre^ ovk ijkovov. This is so also in riddling sayings, like the French ' Si je suis ce que je suis, je ne suis pas ce que je suis ' (a man driving an ass); or ' I went to India and stopped there ; I came back because I did not go there ' (a watch) ; or in Gareth and Lynette — The city is built To music ; therefore never built at all ; And therefore built for ever; and the familiar ' When is a door not a door ? ' Of course self-contradictions in epigrammatic form are common. Such are — ' Evil, be thou my good.' ' Magna civitas magna solitude' ' Quod expendi habui ; quod servavi perdidi ; quod donavi habeo.' ' Fair is foul and foul is fair.' ' Nihil peccat nisi quod nihil peccat.' ' The queen died every day she lived ' (cf. ^So-a redvYjKe). ' Non est vivere, sed valere, vita.' § 243. But as no idea can be seriously denied of itself s6 no idea can be really predicated of itself.^ Instances to the con- trary are merely whimsical or nonsensical. As in Twelfth Night— ' Not to be abed after midnight is to be up betimes.' Or in Antony and Cleopatra — " It is as broad as it hath breadth.' Or in Love's Labour's Lost — 'To be forsworn is a great argument of falsehood,' Or in Hamlet — ' How came he mad ? — Grave- digger. Very strangely, they say. — How strangely? — Faith, e'en with losing his wits.' The Spanish fleet in the Rehearsal could not be seen because it was not yet in sight. Madam Blaise never wanted a good word from those that spoke her praise; like the man in the Elegy on a Mad Dog — ' The naked every day he clad, when he put on his cloaths.' The following from Twelfth Night is mere clowning — ' Sayest thou that house ^ Such otioseness would be like, in action, 'preaching to the con- verted,' painting the lily, gilding refined gold, 'iuxta fluvium puteum fodere,' ' iugulare mortuos,' or carrying coals to Newcastle. All Reasoning involves a Middle Term 115 is dark ? Why, it hath bay windows transparent as barricadoes, and the clerestories towards the south-north are as lustrous as ebony. And yet complainest thou of obstruction ? ' § 244. From what has been said in this and previous sections (§§ 48, 134), it is, I think, clear that there are no concepts the elements of which can be pronounced by pure reason formally to necessitate or invalidate one another; and similarly thatnojudgementis,assuch,/orma//vrational or irrational. Pure reason can never give its verdict on a proposition until a term mediating between subject and predicate has been appealed to ; and the doing this constitutes ratiocination.^ Concepts can only be rationalized in the same way. If words were guaranteed always to preserve identically the same meaning in every con- text, it would be otherwise. But then a concept like ya/xos oya/M)s would be impossible, and no concept at all. No one would then speak of a white pink, of a ten days' quarantine, of a steel pen, a brass shoehorn, or a leather carpet-bag. Urbanity would be a proprium of cockneys, and an examinand in a black coat would cease to be a candidate. Grenadiers no longer throw grenades, and the Fortnighity Review since 1866 has been published once a month. Nor is a carte-de-visite for us a visiting card. ' Pagan,* originally a villager, came to mean (e. g. in Pliny) a civilian ; in which sense St. Cyprian first applied it to non-Christians, as not vowed to the Holy War. § 245. To our conclusion that Logic is concerned with Syllogizing is quite a different way from the way in which it is concerned with Conceiving and Judging, it may still be demurred that at any rate Judgements frequently contradict one another, in which case a rational relation exists between thoughts apart from any mediation. All inconsistency between words and acts is really an attempt to combine incompatibles in thought. ' Clodius accusat moechos.' A Spanish official, being asked to help the Society for preventing cruelty to animals, suggested ^ The concept cannot be analysed into its elements by an act of pure reason, any more than an object can be resolved into its attributes ; and the ' discord ' of ' hot ice ' is as much and as little perceptible to pure reason as that of 'merry and tragical, tedious and brief. Hobson's choice is no choice at all, and ' un seul choix ' is no choice at all. But the one we learn by being told about Hol^on, and the other by explica- tion of the ideas of ' seul ' and ' choix '. I 2 ii6 Whatever ts Rational is Syllogistic raising funds by means of a bull-fight. There are iconoclast- idolaters. There are prophets who bite with their teeth and cry Peace (Micah iii. 5). It has been said of Shelley that he made a mythology of atheism; of Rousseau, that he was an apostle of nature in a periwig. The peacock bids to fly pride, and there is a ' pride which licks the dust *, a pride, too, which builds, as Coleridge says, a cottage with a double coach-house. ' Quis tulerit Gracchos de seditione querentes ? ' In the Noyades Ferrier drowned in the Loire three thousand royalists in the holy name of humanity. The American Declaration of Inde- pendence, asserting that 'all men are created equal' and endowed with an ' unalienable right ' to ' liberty ', was issued by a body consisting largely of slave-owners. In the early decades of the nineteenth century doctrinaire individualism was in many parts of Europe found associated with military dictatorship, rights of man with coercionism. Daniel O'Connell was opposed to revolutionary violence; but Lord Clarendon said that the ' physical force ' followers of Young Ireland had to be protected by the constabulary from the shillelaghs of the ' moral suasion ' party. Some have ' fought like devils for conciliation *, and some repent in purple and fine linen. ' When I tell Caesar he hates flatterers, He says he does — being then most flattered.' irS>