Monographs
- ** Spandrels of Truth, OUP 2009 [Abstract] This book, just out June 2009, presents a fairly conservative dialetheic truth theory within a broader `transparent' conception of truth.
- Logical Pluralism, OUP 2005 (with Greg Restall). [Abstract] This is our manifesto on logical pluralism. We argue that the notion of logical consequence doesn't pin down a unique deductive consequence relation; rather, it yields many of them. In particular, we argue that broadly classical, intuitionistic and relevant accounts of deductive logic are genuine logical consequence relations. We should not search for One True Logic, since there are many.
Textbooks
- ** Logic: The Basics, Routledge in press. [Abstract] This is a very gentle introduction to some common elementary logics from a wholly 'semantic' (more accurately: model-theoretic) perspective. This book takes you from step zero up through classical first-order logic (semantically construed) and a few of its well-known (non-classical) sublogics, and also presents basics of free logic and a bit of modal logic (all, again, semantically construed).
- Possibilities and Paradox, OUP 2003 (with Bas C. van Fraassen). [Abstract] This is a gentle-but-rigorous (or rigorous enough) introduction to some basic philosophical logics (i.e., formal logics motivated by philosophical problems). The main aim is to show you how to construct philosophically useful 'model languages', which is a chief aim in philosophical logic.
Edited Collections
- Revenge of the Liar, OUP 2007. [Abstract] This volume focuses on paradoxes and the notorious phenomenon of 'revenge' for would-be solutions to paradox.
- The Law of Non-Contradiction, OUP 2004/6. [Abstract] This volume, jointly edited with Graham Priest and Brad Armour-Garb, focuses on general (e.g., logical, metaphysical, epistemological) issues concerning 'true falsehoods' or, equivalently, 'true contradictions' or, equivalently, 'truths with a true negation'. There's a broad introductory essay that sets things up. (Hbk 2004; pbk 2006.)
- The Monist: Truth 89:1 January 2006. [Abstract] I was the (advisory) editor for this volume. There's a fairly even balance between 'nature' and 'logic' issues surrounding truth.
- Deflationism and Paradox, OUP 2005. [Abstract] This volume, edited with B. Armour-Garb, focuses on deflationary options for dealing with semantic paradox (however 'deflated' the 'semantics' may be).
- Deflationary Truth, OUP 2005 (with B. Armour-Garb). [Abstract] This volume, edited with Brad Armour-Garb, collects classic essays on deflationary truth, and contains additional 'afterthoughts' by authors. There's a fairly useful introductory essay.
- Liars and Heaps, OUP 2004. [Abstract] This volume focuses on both semantic and soritical paradoxes.
Work in progress (or talk-based notes)
- Necessity, Normality, and Contraction. [Abstract] This is a Beamer presentation from 2009 AAP and 2009 Logica in which I discuss how necessity behaves in certain semantic settings suitable for so-called dialetheic truth theories. (The results are implied by the 'overspill' result at the end of the 'Talk about normality' handout below.)
- Talk about normality: an 'overspill' result. [Abstract] (These notes are not self-contained. The main 'overspill' result, written up in a soon-to-be-posted paper, is at the very end.
Logics useful for unrestricted semantic theories (truth theories, semantical property theories, etc.) are robustly contraction-free. Natural semantics for such logics are so-called non-normal-world semantics. This paper notes that one cannot add anything to the logic that, in effect, would pick out only normal worlds. The paper closes with questions about the philosophical import of this result. - Duo Worlds. [Abstract] These notes sketch a way of looking at the so-called ternary semantics that highlights the similarities with standard binary-access worlds semantics. (This might just get gobbled up in the 'Ternary Relation' paper below.)
These are just notes from a recent departmental brown-bag talk. - Adding to relevant restricted quantification. [Abstract] NB: This paper, not currently in stand-alone form, follows up on (and presupposes) a joint paper called 'Relevant Restricted Quantification' (JPL, 2006). (See Papers section below.)
In my Spandrels of Truth book, I take on an objection by Vann McGee to the truth theory advanced in the book. The objection, in the end, points to problems involving restricted generalizations (problems that are particularly bad for the philosophical position I advance in the book). In the paper here, I present one reply to McGee, but do so in a much more theory-neutral fashion than in the book (and, in fact, present the matter independently of McGee's objection). - 'Ternary Relation' (with 9 other people). [Abstract] This paper -- draft posted soon -- tackles the problem of putting (intuitive, familiar-ish) philosophical flesh on the ternary relation invoked in various relevant logics. We offer discussion and at least three novel accounts. [The we is a genuine us -- at least 10 authors (!), depending on how you count.]
- 'B+ tableau' (with Dave Ripley). [Abstract] Draft posted soon. We explore a novel semantics (in the family of star-simplified semantics) for an extension of the basic relevant logic B. We give a sound and complete tableau system for the semantics. What we really want to establish is whether the resulting logic is so-called depth-relevant.
Papers
- Prolegomenon to future revenge. [Abstract] In Jc Beall, ed., Revenge of the Liar OUP 2007.
This paper attempts to set up issues of the Liar's revenge in a new light, while also setting the stage for chapters in the given volume. - Vague intensions. [Abstract] In Dietz and Moruzzi, eds., Cuts and Clouds (OUP, 2009), pp. 187-199.
This paper offers a (non-profound) proposal on reframing how we look at the apparent 'full tolerance' (no cutoffs) and 'utility' (some cutoffs) of vague predicates.
(NB: these are obviously proofs, and not the final copy.) - Knowability and odd epistemic possibilities. [Abstract] In Joe Salerno, ed., New Essays on Knowability OUP 2009.
[NB: this pdf is not the final version.]
This paper carries on an earlier paraconsistent idea that was published in the AJP (see bib for details). Here, I introduce a paraconsistent, non-normal worlds approach to knowability and the given 'paradox'. - Where the paths meet (w/ Michael Glanzberg). [Abstract] The study of truth is often seen as running on two separate paths: the nature path and the logic path. The former concerns metaphysical questions about the `nature', if any, of truth. The latter concerns logic and the paradoxes. It is often assumed that these two paths do not meet, and the two concerns are independent of each-other. In this paper, we argue that the paths do in fact meet; in particular, that the nature path impacts the logic path. We argue that what one can and must say about the logic of truth and the Liar paradox is influenced, or even in some cases determined, by what one says about the metaphysical nature of truth.
- Truth and paradox: a philosophical sketch. [Abstract] In D. Jacquette, ed., Philosophy of Logic (Oxford: Elsevier), 2007. (This is part of the Woods et al. Handbook of Phil. Science series.)
I give a narrow, transparent-truth-related discussion of truth and paradox. This essay was largely taken from early drafts of my Spandrels of Truth (OUP, 2009). - Not so deep inconsistency (with Graham Priest). [Abstract] This is a discussion, from a heavily dialetheic perspective, of Matti Eklund's pioneering 'inconsistency view'. (Matti has a reply in the Australasian Journal of Logic.)
- Relevant restricted quantification (with 4 authors). [Abstract] This is joint with Ross Brady, Allen Hazen, Graham Priest, and Greg Restall.
We review 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. (NB: a newer idea is in Ch. 5 of Spandrels of Truth, and under the ms 'Adding to relevant restricted quantification' (see Work In Progress).) - 'Unsettledness' in a bivalent language. [Abstract] In In Heather Dyke, ed., From Truth to Reality: Essays on the Logic and Nature of Truth, Routledge 2008.
This paper suggests a way of accommodating the appearance of ‘gaps’ or ‘unsettledness’ in a language in which we have bivalence or LEM (with transparent truth). [NB: I now see that the core of this idea goes back a long, long way to so-called predicate-negation phenomena. It is not clear to me that current theories – particularly, theories of the logic – are worked out in ways that are compatible with 'transparent truth' (for which notion see my Spandrels of Truth), but I hope to look at this in the future if time reveals itself... - Modeling the 'ordinary view'. [Abstract] In Greenough and Lynch, eds., Truth and Realism (Oxford 2006).
This paper discusses what Crispin Wright (same volume) calls 'the ordinary view' of taste and similar matters. - At the intersection of truth and falsity. [Abstract] In Priest et al., eds., The Law of Non-Contradiction (Oxford 2007).
This paper very gently and broadly sets up issues concerning non-contradiction and so-called dialetheism. It can be used as a sort of 'first step' into such issues. - True and false -- as if. [Abstract] In Priest et al., eds., The Law of Non-Contradiction (Oxford 2007).
This paper advocates a sort of 'as-if' attitude towards truth and true falsehoods. (These ideas have been superseded by those in Spandrels of Truth, but there's still a few interesting things here.) - True, false, and paranormal. [Abstract] This paper, reprinted (with changes for the better) as the final appendix in Spandrels of Truth, advocates a non-dialetheic transparent truth theory. In some respects, the paper serves as an argument against dialetheism: it agrees that our 'semantic categories' must overlap, but disagrees with the idea that the truth and falsity need overlap.
- Analehteism and Dialetheism (with Dave Ripley). [Abstract] We explore a non-dialetheic but paraconsistent truth theory (a sort of dual of standard LP account).
- Transparent disquotationalism. [Abstract] In Beall and Armour-Garb, eds., Deflationism and Paradox (OUP, 2008).
I advocate a dialetheic theory of transparent truth. This paracomplete (but with an exhaustive negation-like device) approach has since collapsed into a non-paracomplete theory spelled out in Spandrels of Truth. (The collapse emerged because the only models wound up being so-called LP/BX-ish models.) - Minimalism, epistemicism, and paradox (w/ B. Armour-Garb). [Abstract]In Beall and Armour-Garb, eds., Deflationism and Paradox (OUP, 2008).
We discuss Paul Horwich's views on paradox. (For a very good response of sorts to this paper, see Greg Restall's paper in the same volume.) - Should Deflationists Be Dialetheists? (w/ B. Armour-Garb). [Abstract] Noûs Volume 37, Issue 2 , Pages 303-324, 2003 Blackwell Publishing Inc.
- Can deflationists be dialetheists? (w/ B. Armour-Garb). [Abstract] We respond to Keith Simmons' JPL claims to the contrary.
- Further remarks on truth and contradiction (w/ Armour-Garb). [Abstract] We extend Graham Priest's discussion (same journal) by giving some further considerations on truth and contradiction.
- On the singularity theory of denotation. [Abstract] In Beall, ed., Liars and Heaps (OUP, 2003).
I point to what I think are fairly major problems concerning Keith Simmons' singularity theory of denotation. - On the identity theory of truth. [Abstract] This paper notes that an apparent difficulty, raised by Stewart Candlish, for the identity theory of truth is not a difficulty. Whether one should actually endorse the identity theory along Candlish lines is something I do not touch. (I have firm views, but they're not discussed here.)
- Logical Pluralism (with Greg Restall). [Abstract] This is our manifesto on logical pluralism. Our book Logical Pluralism expands on this paper.
- On mixed inferences and pluralism about truth predicates. [Abstract] I point out that the problem of mixed inferences for 'truth pluralism' seems not to be a problem. (I regret not discussing the role of a transparent truth predicate.)
- On truthmakers for negative truths. [Abstract] I respond, on behalf of truthmaker theorists, to an objection based on 'negative truthmakers'.
- Negation's holiday: aspectival dialetheism. [Abstract] In D. DeVidi and T. Kenyon, eds., A Logical Approach to Philosophy: Essays in Honour of Graham Solomon (Springer 2006).
This advocates a certain theory of negation for certain theories of truth. The key idea was independently (and previously) discovered by the so-called adaptive logicians, who have explored the target (non-monotonic) ideas in great detail. One value of this paper, perhaps, is that it lends a fairly natural philosophical story about such 'adaptive' behavior. - Simple liar without bivalence? (with Otavio Bueno). [Abstract] We discuss whether, as some have claimed, the so-called simple-liar derivation goes through without bivalence. (I'm no longer sure that I agree with the conclusion.)
- Defending Logical Pluralism (with Greg Restall). [Abstract] Appears on pages 1–22 in Logical Consequence: Rival Approaches, Proceedings of the 1999 Conference of the Society of Exact Philosophy (Stanmore: Hermes, 2001), John Woods and Bryson Brown (editors), ISBN 1-903398-17-5.
This paper is a defence of logical pluralism against a number of objections, primarily from Graham Priest in his article 'Logic: One or Many' in the same volume. - Looking for contradictions (with Mark Colyvan). [Abstract] We (further) explore the issue of vagueness and contradictions in the world. (I've since become much more conservative, as witnessed in Spandrels of Truth.)
- Existential claims and Platonism. [Abstract] This paper responds to Colin Cheyne's new anti-platonist argument according to which knowledge of existential claims -- claims of the form such-and-so exist -- requires a caused connection with the given such-and-so. If his arguments succeed then nobody can know, or even justifiably believe, that acausal entities exist, in which case (standard) platonism is untenable. I argue that Cheyne's anti-platonist argument fails.
- Heaps of gluts and Hyde-ing the sorites (with Mark Colvan). [Abstract] We raise questions about Dom Hyde's paper 'Heaps of Gluts' (Mind).
- Deflationism and gaps: untying 'not's in the debate. [Abstract] This paper, while ignoring paradoxes, points out that, contrary to debates, deflationists can be 'gap theorists' by simply acknowledging additional negation-like devices. (An unmentioned alternative: add an additional notion of truth, definable in terms of negation and deflationary truth. As it turns out, this is not far from the route that Hartry Field takes, though avoiding paradox-driven triviality requires more to the story!)
- Is Yablo's paradox non-circular? [Abstract] This paper raises questions about whether Yablo's paradox -- or yabloesque paradoxes in general -- are really non-circular as advertised. (I think that there are some interesting things here, but I think that Roy Cook does a nice job getting to the heart of the matter. See his paper in the Monist volume that I edited on truth.)
- A neglected deflationist approach to the liar. [Abstract] This paper, motivated by brief discussion with Kim Sterelny back in 1999, suggests that deflationists might appear to be tailor-made for the notorious 'meaningless' reply. (I think that when details of our vaguely stated 'deflationist' are made clearer, this sort of line is not viable.)
- Completing Sorensen's menu: a yabloesque curry. [Abstract] Roy Sorensen's discussion of Yablo's paradox failed to note one of the (if not the) most difficult paradoxes: Curry's. I give a yabloesque Curry paradox.
- From full-blooded platonism to really full-blooded platonism. [Abstract] I argue that if you're going to follow Mark Balaguer into 'full-blooded platonism', you ought to go all the way.
- Minimalism, gaps, and the Holton conditional. [Abstract] Richard Holton opens an avenue for minimalists to embrace gaps. I argue that, for logical-cum-paradoxical reasons (viz., Curry!), his proposal won't work.
- A neglected response to the Grim result. [Abstract] Patrick Grim argues that there's no set of all truths. Grim may be (in fact, I think is) right, but his 'proof' fails to cover a not implausible reply. This paper gives the reply.
Stanford Encyclopedia Entries
- Curry's Paradox
- Logical Consequence (with Greg Restall)
- Liar Paradox (with Michael Glanzberg)
NDPR Reviews
- Modal Logic for Philosophers by James Garson
- Towards Non-Being by Graham Priest
- Oxford Handbook of Phil Maths and Logic ed. Stewart Shaprio.
- Paraconsistency and Paradox by John Woods (reviewed with Dave Ripley).
- Vagueness and Contradiction by Roy Sorensen
General-Public Lectures
Current Teaching
- F09: Truth and Paradox
- F09: Introductory Logic (UG)
Some Recent Teaching
- S09: Diagonalization
- F08: Philosophical logic
- S08: Logic of truth
- S07: Metalogic non-classical
- S06: Computability
- F05: Language, truth, and meaning
- F05: History of analytic philosophy
Former Students
Current in-print students
* Lifted Site Design
- Cribbed from: Ted Sider
- [More on this:] Ted's site structure is too useful not to use. I hope to add a bit of novelty eventually. For now, see source and style files for more information.
* Lifted Site Ideas
Erdos Number
- My Erdös number is 4.
- [The road] 1. R. D. Mauldin
2. John P. Burgess
3. Allen P. Hazen
4. me. - A twosies list: 2.
- A Monash-based (pdf) map.
Logicians' Liberation League
- The Manifesto
- The Maximum Leader
- Saint Alasdair
- Boss of Bloomington
- Marshal of Cadell
- Lady Plumwood
- Peer of Plumwood
- Prince of Paradox
- Prince of Darkness
- Protector of Oz
- Chief Combinator
- Duke of Durham
- The One True Believer
- Dominator of Something Vague
- Identity of Relevance
- Archbishop of Connecticut
- The One True Scot
- Princess of Lovelight L
- King Saul
- Earl of Carlton
- Battler of Braddon
- Baron of Bundoora
- Governor of Ithica
- Knight of Long Knives
- Lord of Russell
- Canon of Christchurch
- [Matron of Meinong] Jean Norman (co-editor of big black book on paraconsistency, among other things)
Logic Scene Links
- Women in Logic
- AAL
- ASL
- UConn Logic Group
- Logic Links
- Consequently
- Logic Matters
- Society for Exact Philosophy
- LogBlog
- Dialogue on Infinity
- Neighborhood of Infinity
- Conundrum
- Godel's Lost Letter
- Honest Toil
- Logic and Language
- Logic and Rational Interaction
- Maths and Computation
- Nothing of Consequence
- Possibly Philosophy
- Semantics etc.
- That logic blog
- n-category cafe
- Words and other things
- XOR's hammer