000			a
999			_c32267 _d32267
008			230904b xxu||||| |||| 00| 0 eng d
020			_a9781108834414
082			_a511.3 _bWEB
100			_aWeber, Zach
245			_aParadoxes and inconsistent mathematics
260			_bCambridge University Press, _c2021 _aCambridge :
300			_axii, 324 p. ; _bill., _c26 cm
365			_b75.00 _cGBP _d110.40
504			_aIncludes bibliographical references and index.
520			_aIn 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.
650			_aInconsistency
650			_aLogic
650			_aSymbolic and mathematical
650			_aParadox
942			_2ddc _cBK