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 Information
ISBN 9781108995412
Author Zach Weber
Format Paperback
Page Count 75
Imprint Cambridge University Press
Publisher Cambridge University Press
Weight(grams) 140g
Dimensions(mm) 228mm * 152mm * 5mm