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.
An accessible survey of a programme in logic that allows mathematics to be inconsistent.Book InformationISBN 9781108995412
Author Zach WeberFormat Paperback
Page Count 75
Imprint Cambridge University PressPublisher Cambridge University Press
Weight(grams) 140g
Dimensions(mm) 228mm * 152mm * 5mm