Verfasst von:	Weber, Zach [VerfasserIn]
Titel:	Paraconsistency in mathematics
Verf.angabe:	Zach Weber, University of Otago
Verlagsort:	Cambridge
Verlag:	Cambridge University Press
Jahr:	2022
Umfang:	79 Seiten
Gesamttitel/Reihe:	Cambridge elements. Elements in the philosophy of mathematics
Fussnoten:	Title from publisher's bibliographic system (viewed on 01 Aug 2022)
ISBN:	978-1-108-99541-2
Abstract:	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.
URL:	zbMATH: https://zbmath.org/1497.03002
Schlagwörter:	(s)Inkonsistenz    / (s)Mathematische Logik
Sprache:	eng
RVK-Notation:	SK 130
K10plus-PPN:	1815184205