Zach Weber - Böcker

Logical paradoxes - like the Liar, Russell's, and the Sorites - are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses "dialetheic paraconsistency" - a formal framework where some contradictions can be true without absurdity - as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary.

Logical paradoxes - like the Liar, Russell's, and the Sorites - are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses "dialetheic paraconsistency" - a formal framework where some contradictions can be true without absurdity - as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary.

Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects and structures where some contradictions are allowed, without collapse into incoherence. Over the past decades, this initiative has evolved into an area of non-classical mathematics known as inconsistent or paraconsistent mathematics. This Element provides a selective introductory survey of this research program, distinguishing between `moderate' and `radical' approaches. The emphasis is on philosophical issues and future challenges.