Paraconsistency in Mathematics

By Zach Weber

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.

• Format: Paperback
• Language: English
• ISBN: 1108995411
• ISBN13: 9781108995412
• Release Date: August 2022
• Publisher: Cambridge University Press
• Length: 88 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"