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.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 EPUB ● ISBN 9781009002301 ● 出版者 Cambridge University Press ● 发布时间 2022 ● 下载 3 时 ● 货币 EUR ● ID 8520821 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器