Paraconsistency in Mathematics

Erscheinungsjahr 2022
ISBN: 978-1-108-99541-2
Verlag: Cambridge University Press

Buch, Englisch, 75 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 127 g

Reihe: Elements in the Philosophy of Mathematics

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.

Autoren/Hrsg.

Weber, Zach

Fachgebiete

• Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie
• Geisteswissenschaften Philosophie Philosophie: Allgemeines, Methoden
• Geisteswissenschaften Philosophie Philosophie der Mathematik, Philosophie der Physik
• Mathematik | Informatik Mathematik Mathematik Allgemein Philosophie der Mathematik

Inhaltsverzeichnis

1. Invitation to Paraconsistency in Mathematics: Why and How?; 2. Set Theory; 3. Arithmetic; 4. Calculus, Topology, and Geometry; 5. Whither Paraconsistency in Mathematics?