Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Part I What Are the Paradoxes?
- Part II How to Face the Paradoxes?
- 2 In Search of a Uniform Solution
- 3 Metatheory and Naive Theory
- 4 Prolegomena to Any Future Inconsistent Mathematics
- Part III Where Are the Paradoxes?
- Part IV Why Are There Paradoxes?
- Bibliography
- Index
- Backmatter
4 - Prolegomena to Any Future Inconsistent Mathematics
from Part II - How to Face the Paradoxes?
Published online by Cambridge University Press: 08 October 2021
- Frontmatter
- Dedication
- Contents
- Preface
- Part I What Are the Paradoxes?
- Part II How to Face the Paradoxes?
- 2 In Search of a Uniform Solution
- 3 Metatheory and Naive Theory
- 4 Prolegomena to Any Future Inconsistent Mathematics
- Part III Where Are the Paradoxes?
- Part IV Why Are There Paradoxes?
- Bibliography
- Index
- Backmatter
Summary
This chapter looks at the constraints on a logic for inconsistentmathematics. Curry’s paradox is presented in several forms,leading to problems for conditionals and validity. Grisin’sparadox and the Hinnion–Libert paradox lead to problems foridentity (equality) and the axiom of set extensionality. Inresponse, a broadly substructural response is recommended, where allforms of “contraction” are dropped, and a“relevant” logic is adopted to preserveextensionality. This leads to presentation of the official logicused in the second half of the book, and its main properties areoutlined, including some further methodological considerations forworking without contraction.
Keywords
- Type
- Chapter
- Information
- Paradoxes and Inconsistent Mathematics , pp. 110 - 148Publisher: Cambridge University PressPrint publication year: 2021