•  159
    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
  •  147
    On the identity theory of truth
    Philosophy 75 (1): 127-130. 2000.
    According to the so-called identity theory of truth. A proposition is true if the given proposition is identical to some fact. But with which fact must a proposition be identical if it is to be true? This question, according to some philosophers (notably Stewart Candlish), raises serious problems for the identity theory of truth. The worry is that the identity must specify the "right fact" if it is to be an acceptable theory. The current paper aims to help the identity theory by dissolving the a…Read more
  •  68
    Introductory Remarks
    The Monist 89 (1): 3-8. 2006.
  •  327
    On the Ternary Relation and Conditionality
    with Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney, and Richard Sylvan
    Journal of Philosophical Logic 41 (3). 2012.
    One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions o…Read more
  •  45
    Not so deep inconsistency: a reply to Eklund
    Australasian Journal of Logic 5 74-84. 2007.
    In his “Deep Inconsistency?” Eklund attacks arguments to the effect that some contradictions are true, and especially those based on the liar paradox, to be found in Priest’ In Contradiction. The point of this paper is to evaluate his case.
  •  61
    Strict-Choice Validities: A Note on a Familiar Pluralism
    Erkenntnis 79 (S2): 301-307. 2014.
    My aim here is a modest one: to note another example in which the theory of validity and the theory of ‘inference’ naturally come apart. The setting is multiple-conclusion logic. At least on one philosophy of multiple-conclusion logic, there are very clear examples of where logic qua validity and logic qua normative guide to inference are essentially different things. On the given conception, logic tells us only what follows from what, what our ‘choices’ are given a set of premises; it is simply…Read more
  •  120
    From full blooded platonism to really full blooded platonism
    Philosophia Mathematica 7 (3): 322-325. 1999.
    Mark Balaguer argues for full blooded platonism (FBP), and argues that FBP alone can solve Benacerraf's familiar epistemic challenge. I note that if FBP really can solve Benacerraf's epistemic challenge, then FBP is not alone in its capacity so to solve; RFBP—really full blooded platonism—can do the trick just as well, where RFBP differs from FBP by allowing entities from inconsistent mathematics. I also argue briefly that there is positive reason for endorsing RFBP
  •  7
    Logic: The Basics
    Routledge. 2010.
    _Logic: The Basics_ is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: · mathematical preliminaries · propositional logic · quantified logic · English and standard ‘symbolic translations’ · tableau procedures. Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical lo…Read more
  •  36
    Review of Roy Sorensen, Vagueness and Contradiction (review)
    Notre Dame Philosophical Reviews 2002 (8). 2002.
  •  97
    Off-Topic: A New Interpretation of Weak-Kleene Logic
    Australasian Journal of Logic 13 (6). 2016.
    This paper offers a new and very simple alternative to Bochvar's well known nonsense -- or meaninglessness -- interpretation of Weak Kleene logic. To help orient discussion I begin by reviewing the familiar Strong Kleene logic and its standard interpretation; I then review Weak Kleene logic and the standard interpretation. While I note a common worry about the Bochvar interpretation my aim is only to give an alternative -- and I think very elegant -- interpretation, not necessarily a replacement…Read more
  •  157
    Relevant Restricted Quantification
    with Ross T. Brady, A. P. Hazen, Graham Priest, and Greg Restall
    Journal of Philosophical Logic 35 (6): 587-598. 2006.
    The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional
  •  26
    Review of J. W. Garson, Modal Logic for Philosophers (review)
    Notre Dame Philosophical Reviews 2007 (6). 2007.
  •  97
    Multiple-conclusion lp and default classicality
    Review of Symbolic Logic 4 (2): 326-336. 2011.
    Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of . With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP
  •  178
    Nonclassical theories of truth
    with David Ripley
    In Oxford Handbook of Truth, . 2018.
    This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas t…Read more
  •  267
    The Liar Paradox
    In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab. 2014.
    The first sentence in this essay is a lie. There is something odd about saying so, as has been known since ancient times. To see why, remember that all lies are untrue. Is the first sentence true? If it is, then it is a lie, and so it is not true. Conversely, suppose that it is not true. As we (viz., the authors) have said it, presumably with the intention of you believing it when it is not true, it is a lie. But then it is true!
  •  617
    Looking for contradictions
    Australasian Journal of Philosophy 79 (4). 2001.
    This Article does not have an abstract
  •  77
    Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader …Read more
  •  61
    Finding Tolerance without Gluts
    Mind 123 (491): 791-811. 2014.
    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 result weighs he…Read more
  •  68
    Lp+, k3+, fde+, and their 'classical collapse'
    Review of Symbolic Logic 6 (4): 742-754. 2013.
    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+
  •  267
    Logical Pluralism
    Oxford University Press. 2005.
    Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a position which h…Read more
  •  765
    Heaps of gluts and Hyde-ing the sorites
    Mind 110 (438): 401--408. 2001.
    JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].
  •  347
    Logical pluralism
    Australasian Journal of Philosophy 78 (4). 2000.
    Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a position which h…Read more
  •  37
    Formal Theories of Truth
    Oxford University Press. 2018.
    Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.
  •  7
    Liars and Heaps: New Essays on the Semantics of Paradox (edited book)
    Oxford University Press. 2003.
    Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures i…Read more
  •  170
    Analetheism and dialetheism
    with D. Ripley
    Analysis 64 (1): 30-35. 2004.