Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- Table of Symbols
- 1 Why Entailment?
- Part I Entailment in the Twentieth Century
- 2 C. I. Lewis and His School
- 3 Entailment and Possible Worlds
- 4 Entailment and Relevance
- 5 Reflexivity
- Part II Theories and Entailment
- 6 Theories and Closure
- 7 Theories of Entailment
- Part III The Logic E of Relevant Entailment
- 8 The Logic of Entailment
- 9 Negation and Disjunction
- 10 Quantification
- 11 Entailment and Reasoning
- Appendix Systems, Semantics, and Technical Results
- References
- Index
2 - C. I. Lewis and His School
Published online by Cambridge University Press: 08 February 2024
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- Table of Symbols
- 1 Why Entailment?
- Part I Entailment in the Twentieth Century
- 2 C. I. Lewis and His School
- 3 Entailment and Possible Worlds
- 4 Entailment and Relevance
- 5 Reflexivity
- Part II Theories and Entailment
- 6 Theories and Closure
- 7 Theories of Entailment
- Part III The Logic E of Relevant Entailment
- 8 The Logic of Entailment
- 9 Negation and Disjunction
- 10 Quantification
- 11 Entailment and Reasoning
- Appendix Systems, Semantics, and Technical Results
- References
- Index
Summary
From 1912, C. I. Lewis attempted to construct a logic of entailment. In doing so, he created his modal logics, S1–S5, of which his chosen logic of entailment was S2. Although his logics avoid the so-called paradoxes of material implication, they still fall prey to the problem of explosion (that every proposition follows from any contradiction) and the problem of implosion (that every tautology follows from every proposition). These problems, and the inadequate treatment of nested entailments, make Lewis’s logics of limited use as logics of entailment. The chapter also discusses the systems devised by Lewis’s students Everett Nelson and William Parry. Nelson’s connexive logic avoids many of the problems with Lewis’s system but is found to have severe difficulties of its own, and Parry’s analytic implication, although it introduces an interesting version of the notion of meaning containment, does not adequately avoid the problems with Lewis’s logics.
Keywords
- Type
- Chapter
- Information
- The Logic of Entailment and its History , pp. 23 - 50Publisher: Cambridge University PressPrint publication year: 2024