Real Analysis in Paraconsistent Logic
Journal of Philosophical Logic 41 (5):901-922 (2012)
| Abstract | This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGreg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Bryson Brown (1999). Yes, Virginia, There Really Are Paraconsistent Logics. Journal of Philosophical Logic 28 (5):489-500.
Marcelo E. Coniglio & Newton M. Peron (2009). A Paraconsistentist Approach to Chisholm's Paradox. Principia 13 (3):299-326.
António M. Fernandes & Fernando Ferreira (2002). Groundwork for Weak Analysis. Journal of Symbolic Logic 67 (2):557-578.
Z. Weber (2011). A Paraconsistent Model of Vagueness. Mind 119 (476):1025-1045.
O. Arieli, A. Avron & A. Zamansky (2011). Ideal Paraconsistent Logics. Studia Logica 99 (1-3):31-60.
Daesuk Han (2011). Wittgenstein and the Real Numbers. History and Philosophy of Logic 31 (3):219-245.
Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska (2005). Socratic Proofs and Paraconsistency: A Case Study. Studia Logica 80 (2-3):431 - 466.
Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4).
Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4):293-305.
José Iovino (1997). Definability in Functional Analysis. Journal of Symbolic Logic 62 (2):493-505.
Miklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Analytics
Monthly downloads |
Added to index2011-08-09Total downloads22 ( #56,242 of 549,124 )Recent downloads (6 months)1 ( #63,361 of 549,124 )How can I increase my downloads? |
My notes
Discussion
