Paraconsistency in Mathematics PDF
by Zach (University of Otago, New Zealand) Weber
Part of the Elements in the Philosophy of Mathematics series
Description
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.
Information
-
Download - Immediately Available
- Format:PDF
- Pages:Worked examples or Exercises
- Publisher:Cambridge University Press
- Publication Date:24/08/2022
- Category:
- ISBN:9781009003704
Information
-
Download - Immediately Available
- Format:PDF
- Pages:Worked examples or Exercises
- Publisher:Cambridge University Press
- Publication Date:24/08/2022
- Category:
- ISBN:9781009003704