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
4 - Entailment and Relevance
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
This chapter introduces Anderson and Belnap’s natural deduction treatment of entailment and the idea that hypotheses in deductions should really be used in those deductions. The idea of real use motivates relevant logic and is a key idea in the chapters that follow. The chapter outlines the development of Fitch-style natural deduction systems and introduces the reader to them.
- Type
- Chapter
- Information
- The Logic of Entailment and its History , pp. 70 - 95Publisher: Cambridge University PressPrint publication year: 2024