Screen LibraryParadoxes and inconsistent mathematics /
"In this book, it is argued that the notorious logical paradoxes-the Liar, Russell's, the Sorites-are only the noisiest of many. Contradictions arise in the everyday, from the smallest points, to the widest boundaries. Dialetheic paraconsistency-a formal framework where some contradictions...
Saved in:
| Main Authors: | |
|---|---|
| Published: |
Cambridge University Press,
|
| Publisher Address: | Cambridge, United Kingdom : |
| Publication Dates: | 2021. |
| Literature type: | Book |
| Language: | English |
| Subjects: | |
| Summary: |
"In this book, it is argued that the notorious logical paradoxes-the Liar, Russell's, the Sorites-are only the noisiest of many. Contradictions arise in the everyday, from the smallest points, to the widest boundaries. Dialetheic paraconsistency-a formal framework where some contradictions can be true without absurdity-is used as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, this work directly addresses a longstanding open question of how much standard mathematics paraconsistency can capture. The guiding focus is on the question: why are there paradoxes? Details underscore a simple philosophical claim: that paradoxes are found in the ordinary-and that is what makes them so extraordinary. Argument: (1) There are true contradictions, both in the foundations of logic and mathematics, and in the everyday world. (2) If the world is inconsistent but not absurd, then the logic underlying our theory of the world ought to be paraconsistent. (3) Paraconsistent logic then must, and can, show that it supports some ordinary reasoning, including proving the motivating paradoxes in elementary mathematics. (4) The basic components of a non-classical picture come into view, and we are positioned to (re)address the question of why there are paradoxes"-- |
| Carrier Form: | xii, 324 pages : illustrations ; 25 cm |
| Bibliography: | Includes bibliographical references (pages 303-318) and index. |
| ISBN: |
9781108834414 1108834418 9781108995009 1108995004 |
| Index Number: | QA9 |
| CLC: | O141 |
| Call Number: | O141/W376 |
| Contents: | Introduction to an inconsistent world -- Paradoxes; or, "Here in the presence of an absurdity" -- In search of a uniform solution -- Metatheory and naive theory -- Prolegomena to any future inconsistent mathematics -- Set theory -- Arithmetic -- Algebra -- Real analysis -- Topology -- Ordinary paradox. |