•  304
    Dialetheism
    Stanford Encyclopedia of Philosophy 2018 (2018). 2008.
    A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false
  •  17
    Issue Introduction
    Essays in Philosophy 12 (2): 195-199. 2011.
  •  107
    Computation in Non-Classical Foundations?
    Philosophers' Imprint 16. 2016.
    The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare …Read more
  •  112
    What Is an Inconsistent Truth Table?
    Australasian Journal of Philosophy 94 (3): 533-548. 2016.
    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 …Read more
  •  26
    Figures, Formulae, and Functors
    In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams, Springer. pp. 153--170. 2013.
    This article suggests a novel way to advance a current debate in the philosophy of mathematics. The debate concerns the role of diagrams and visual reasoning in proofs—which I take to concern the criteria of legitimate representation of mathematical thought. Drawing on the so-called ‘maverick’ approach to philosophy of mathematics, I turn to mathematical practice itself to adjudicate in this debate, and in particular to category theory, because there (a) diagrams obviously play a major role, and…Read more
  •  146
    Transfinite Cardinals in Paraconsistent Set Theory
    Review of Symbolic Logic 5 (2): 269-293. 2012.
    This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.
  •  46
    On paraconsistent ethics
    South African Journal of Philosophy 26 (2): 239-244. 2007.
    No. South African Journal of Philosophy Vol.26 (2) 2007:239-244
  •  68
    Even if you were the last person on Earth, you should not cut down all the trees—or so goes the Last Man thought experiment, which has been taken to show that nature has intrinsic value. But ‘Last Man’ is caught on a dilemma. If Last Man is too far inside the anthropocentric circle, so to speak, his actions cannot be indicative of intrinsic value. If Last Man is cast too far outside the anthropocentric circle, though, then value terms lose their cogency. The experiment must satisfy conditions in…Read more
  •  137
    A Paraconsistent Model of Vagueness
    Mind 119 (476): 1025-1045. 2010.
    Vague predicates, on a paraconsistent account, admit overdetermined borderline cases. I take up a new line on the paraconsistent approach, to show that there is a close structural relationship between the breakdown of soritical progressions, and contradiction. Accordingly, a formal picture drawn from an appropriate logic shows that any cut-off point of a vague predicate is unidentifiable, in a precise sense. A paraconsistent approach predicts and explains many of the most counterintuitive aspect…Read more
  •  58
    Wittgenstein's Notes on Logic. By Michael Potter (review)
    Metaphilosophy 42 (1-2): 166-170. 2011.
  •  686
    A Topological Sorites
    Journal of Philosophy 107 (6): 311-325. 2010.
    This paper considers a generalisation of the sorites paradox, in which only topological notions are employed. We argue that by increasing the level of abstraction in this way, we see the sorites paradox in a new, more revealing light—a light that forces attention on cut-off points of vague predicates. The generalised sorites paradox presented here also gives rise to a new, more tractable definition of vagueness.
  •  66
    Reply to Bjørdal
    Review of Symbolic Logic 4 (1): 109-113. 2011.
  •  30
    Notes on inconsistent set theory
    In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications, Springer. pp. 315--328. 2013.
  •  9
    Front Matter
    Australasian Journal of Logic 14 (1). 2017.
    Editors' Introduction and List of Contributors
  •  91
    Bad Worlds
    Thought: A Journal of Philosophy 4 (2): 93-101. 2015.
    The idea of relevant logic—that irrelevant inferences are invalid—is appealing. But the standard semantics for relevant logics involve baroque metaphysics: a three-place accessibility relation, a star operator, and ‘bad’ worlds. In this article we propose that these oddities express a mismatch between non-classical object theory and classical metatheory. A uniformly relevant semantics for relevant logic is a better fit
  •  181
    Tolerating Gluts
    with David Ripley, Graham Priest, Dominic Hyde, and Mark Colyvan
    Mind 123 (491): 813-828. 2014.
  •  25
    Paraconsistent Measurement of the Circle
    Australasian Journal of Logic 14 (1). 2017.
    A theorem from Archimedes on the area of a circle is proved in a setting where some inconsistency is permissible, by using paraconsistent reasoning. The new proof emphasizes that the famous method of exhaustion gives approximations of areas closer than any consistent quantity. This is equivalent to the classical theorem in a classical context, but not in a context where it is possible that there are inconsistent innitesimals. The area of the circle is taken 'up to inconsistency'. The fact that t…Read more
  •  32
    Intrinsic Value and the Last Last Man
    Ratio 30 (2): 165-180. 2017.
    Even if you were the last person on Earth, you should not cut down all the trees—or so goes the Last Man thought experiment, which has been taken to show that nature has intrinsic value. But ‘Last Man’ is caught on a dilemma. If Last Man is too far inside the anthropocentric circle, so to speak, his actions cannot be indicative of intrinsic value. If Last Man is cast too far outside the anthropocentric circle, though, then value terms lose their cogency. The experiment must satisfy conditions in…Read more
  •  96
    Extensionality and Restriction in Naive Set Theory
    Studia Logica 94 (1): 87-104. 2010.
    The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set theory,…Read more
  •  151
    Can u do that?
    with J. Beall and G. Priest
    Analysis 71 (2): 280-285. 2011.
    In his ‘On t and u and what they can do’, Greg Restall presents an apparent problem for a handful of well-known non-classical solutions to paradoxes like the liar. In this article, we argue that there is a problem only if classical logic – or classical-enough logic – is presupposed. 1. Background Many have thought that invoking non-classical logic – in particular, a paracomplete or paraconsistent logic – is the correct response to the liar and related paradoxes. At the most basic level, the targ…Read more
  •  7
    Reply to Bjørdal
    Review of Symbolic Logic 4 (1): 109-113. 2011.
  •  72
    Naive Validity
    Philosophical Quarterly 64 (254): 99-114. 2014.
  •  128
    Inconsistent boundaries
    Synthese 192 (5): 1267-1294. 2015.
    Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of empty p…Read more
  •  96
    Real Analysis in Paraconsistent Logic
    Journal of Philosophical Logic 41 (5): 901-922. 2012.
    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
  •  158
    Transfinite numbers in paraconsistent set theory
    Review of Symbolic Logic 3 (1): 71-92. 2010.
    This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal …Read more