Appendix 9 Absolute Logical Constants

Kapitel in diesem Buch

1. Frontmatter I
2. Preface to the English Edition V
3. Contents XIII
4. Introduction XIX
5. I Analytical Part: Analysis of Logical Languages
6. Section One The Language of the Syllogistic 1
7. Section Two The Language of the Calculus of Classes 41
8. Section Three The Language of the Logical Calculus of Functions 72
9. II Synthetic Part: Construction of the Logical Calculus of Functions from the Elements of the Syllogistic
10. § 41 General Preliminary Remark 143
11. Section One Rules for Deriving Rules 149
12. Section Two Hypothetical and Disjunctive Syllogistic 158
13. Section Three Categorical Syllogistic 178
14. Section Four Modal Syllogistic 203
15. Section Five Contentful Syllogistic Inference 261
16. Section Six Derivation of Formulas within the Framework of a System Extended Beyond the Limits of Elementary Deductive Logic 271
17. Section Seven Provability and Derivability within the Logical Calculus of Functions 293
18. Conclusion 306
19. Appendix 1 On the Completeness of a Syllogistic without Logical Conjunction 315
20. Appendix 2 Mathematical Induction without Higher-Level Predicate Logic 321
21. Appendix 3 Reduction of Truth-Functional Expressions to Non-Truth-Functional Expressions 329
22. Appendix 4 Compatibility and Incompatibility 333
23. Appendix 5 Modern Non-Syllogistic Systems of Modal Logic in Their Relationship to Modal Syllogistic 337
24. Appendix 6 Non-Classical Systems of Logic in Their Relationship to the Logical Calculus of Functions 351
25. Appendix 7 The Barcan Formula 357
26. Appendix 8 On Bivalence 359
27. Appendix 9 Absolute Logical Constants 365
28. Index of Symbols Used 369
29. Outline of the Rules Used Mainly in the Proofs of Part II 371
30. Index of Metalogical Rules Used in the Proofs of Part II 373
31. Index of Syllogistic Rules Used Directly in the Validity Proofs of Assertoric Syllogisms (in § 56) 375
32. Index of Modal-Syllogistic Rules Used Directly in the Validity Proofs of Modal Syllogisms (in § 63) 377
33. Index of Logical Rules Used Directly for the Derivation of Truth-Functional Rules and Laws (in § 74 and § 75) 379
34. Bibliography 381
35. Subject Index 387
36. Name Index 395