Paraconsistency in Mathematics
Author | : Zach Weber |
Publisher | : Cambridge University Press |
Total Pages | : 150 |
Release | : 2022-08-11 |
ISBN-10 | : 9781009002301 |
ISBN-13 | : 1009002309 |
Rating | : 4/5 (309 Downloads) |
Download or read book Paraconsistency in Mathematics written by Zach Weber and published by Cambridge University Press. This book was released on 2022-08-11 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.