Andreas, Holger
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
1. Paraconsistent Reasoning in Science andMathematics: Introduction
Holger Andreas, Peter Verdée
2. Adaptive Proofs for Networks of Partial Structures
Holger Andreas, Peter Verdée
3. Inconsistency in
Francesco Berto
4. On the Preservation of Reliability
Bryson Brown
5. Prospects for Triviality
Luis Estrada-González
6. On Gluts in Mathematics and Science
Andreas Kapsner
7. Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic
Carlos A. Oller
8. From Paraconsistent Logic to Dialetheic Logic
Hitoshi Omori
9. Paradoxes of Expression
Martin Pleitz
10. Dialetheism in the Structure of Phenomenal Time
Corry Shores
11. Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
Fenner Stanley Tanswell
12. On the Methodology of Paraconsistent Logic
Heinrich Wansing, Sergei P. Odintsov
13. Paraconsistent Computation and Dialetheic Machines
Zach Weber
Avainsanat: Philosophy, Logic, Mathematical Logic and Foundations
- Toimittaja
- Andreas, Holger
- Verdée, Peter
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1
- Sarja
- Trends in Logic
- Sivumäärä
- 6 sivua
- Kategoria
- Filosofia
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319402208
- Painetun ISBN
- 978-3-319-40218-5