Switch to: References

Add citations

You must login to add citations.
  1. Free of Detachment: Logic, Rationality, and Gluts.Jc Beall - 2015 - Noûs 49 (2):410-423.
  • Lp+, K3+, Fde+, and Their 'Classical Collapse'.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):742-754.
    This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3+ and FDE+.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • ${LFIs}$ and Methods of Classical Recapture.Diego Tajer - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Finding Tolerance Without Gluts.Jc Beall - 2014 - Mind 123 (491):791-811.
    Weber, Colyvan, and Priest have advanced glutty approaches to the sorites, on which the truth about the penumbral region of a soritical series is inconsistent. The major benefit of a glut-based approach is maintaining the truth of all sorites premisses while none the less avoiding, in a principled fashion, the absurdity of the sorites conclusion. I agree that this is a major virtue of the target glutty approach; however, I think that it can be had without gluts. If correct, this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Remarks on Naive Set Theory Based on Lp.Hitoshi Omori - 2015 - Review of Symbolic Logic 8 (2):279-295.
    Dialetheism is the metaphysical claim that there are true contradictions. And based on this view, Graham Priest and his collaborators have been suggesting solutions to a number of paradoxes. Those paradoxes include Russell’s paradox in naive set theory. For the purpose of dealing with this paradox, Priest is known to have argued against the presence of classical negation in the underlying logic of naive set theory. The aim of the present paper is to challenge this view by showing that there (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Denial and Disagreement.Julien Murzi & Massimiliano Carrara - 2015 - Topoi 34 (1):109-119.
    We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Can Gödel's Incompleteness Theorem Be a Ground for Dialetheism?Seungrak Choi - 2017 - Korean Journal of Logic 20 (2):241-271.
    Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest’s argument for Dialetheism from Gödel’s theorem is unconvincing as the lesson of Gödel’s proof (or Rosser’s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest’s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Gödel sentence to the inconsistent and complete theory of arithmetic. We argue, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Shrieking Against Gluts: The Solution to the 'Just True' Problem.Jc Beall - 2013 - Analysis 73 (3):438-445.
    This paper applies what I call the shrieking method (a refined version of an idea with roots in Priest's work) to one of – if not the – issues confronting glut-theoretic approaches to paradox (viz., the problem of ‘just true’ or, what comes to the same, ‘just false’). The paper serves as a challenge to formulate a problem of ‘just true’ that isn't solved by shrieking (as advanced in this paper), if such a problem be thought to exist.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • What Is an Inconsistent Truth Table?Zach Weber, Guillermo Badia & Patrick Girard - 2016 - Australasian Journal of Philosophy 94 (3):533-548.
    ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Axioms for Finite Collapse Models of Arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Simple Approach Towards Recapturing Consistent Theories in Paraconsistent Settings.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):755-764.
    I believe that, for reasons elaborated elsewhere (Beall, 2009; Priest, 2006a, 2006b), the logic LP (Asenjo, 1966; Asenjo & Tamburino, 1975; Priest, 1979) is roughly right as far as logic goes.1 But logic cannot go everywhere; we need to provide nonlogical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take to be consistent. My example, throughout, is arithmetic; but (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
    The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations