Logical Studies of Paraconsistent Reasoning in Science and Mathematics

By Charles M. Were

Chapter 1. Inconsistent Thinking, Fast and Slow; Francesco Berto.- Chapter 2. Recursive functions for paraconsistent reasoners; Zach Weber.- Chapter 3. Instantaneous Contradiction in Motion and Perception: Modeling the Phenomenal Present with a Dialetheic Logic of Time; Corry Shores.- Chapter 4. Saving Proof from Paradox: Against the Inconsistency of Informal Mathematics; Fenner Tanswell.-Chapter 5. Revenge for Berto's Law of Non-Contradiction; Diego Tajer.- Chapter 6. On Coherence and Inconsistency; Martin Pleitz.- Chapter 7. On the Preservation of Reliability; Bryson Brown.- Chapter 8. Inconsistency Handling in the Sciences: Where and How do we Need Paraconsistency?; Joke Meheus.- Chapter 9. Revision-Theoretic Truth and Degrees of Paradoxicality; Cian Chartier.- Chapter 10. Inconsistent Scientific Theories: A Framework; Otavio Bueno.- Chapter 11. Prospects for triviality; Luis Estrada Gonz?les.- Chapter 12. On the interpretation of classical mathematics in na?ve set theory; Morgan Thomas.- Chapter 13. Doing Mathematics Paraconsistently. A manifesto.; Maarten McKubre-Jordens.- Chapter 14. Why designate gluts?; Andreas Kapsner.- Chapter 15. On the methodology of paraconsistent logic; Heinrich Wansing and Sergei Odintsov.- Chapter 16. Dynamic proofs for networks of partial structures; Holger Andres and Peter Verd?e.

• Format: Paperback
• Language: English
• ISBN: 3319820567
• ISBN13: 9783319820569
• Release Date: July 2018
• Publisher: Springer
• Length: 221 Pages
• Weight: 0.72 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"