This is a catalogue of my academic writing. Links take you to a PDF file of the item (when available) and to a page with each item’s abstract, and a place to leave comments. A breakdown of papers into topics is also available.
Published
Books
(with JC Beall) Logical Pluralism, Oxford University Press, 2006. [Page | Amazon]
Logic, Routledge, 2006. [Page | Amazon]
An Introduction to Substructural Logics, Routledge, 2000. [Page | Amazon]
Articles
from 2010
“What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. [Page | PDF 
232KB]
from 2009
“Models for Substructural Arithmetics,’ Miscellanea Logica, 1–20 (2009), edited by Marta Bílková. [Page | PDF 233KB]
“Not Every Truth Can Be Known: at least, not all at once”, pages 339-354 in New Essays on the Knowability Paradox, edited by Joe Salerno, Oxford University Press, 2009. [Page | PDF 228KB]
“A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF 191KB]
Greg Restall and Tony Roy “On Permutation in Simplified Semantics,” Journal of Philosophical Logic, 38:3 (2009) 333–341. [Page | PDF 230KB]
Sam Butchart, Toby Handfield and Greg Restall, “Using Peer Instruction to Teach Philosophy, Logic and Critical Thinking” Teaching Philosophy, 32:1 (2009) 1–40. [Page | PDF 449KB]
(with Rebecca Kukla and Mark Lance) Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, 2009. [Page]
from 2008
“Models for Liars in Bradwardine’s Theory of Truth,” pages 135-147 in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox edited by Shahid Rahman, Tero Tulenheimo and Emmanuel Genot, Springer, 2008. [Page | PDF 240KB]
“Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” pages 98–101 in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. [Page | PDF 102KB]
(with Tim Bayne) “A Participatory Theory of the Atonement,” pages 150–166 in New Waves in Philosophy of Religion, edited by Yujin Nagasawa and Erik Wielenberg, Palgrave, 2008. [Page | PDF 227KB]
(with Graham Priest) “Envelopes and Indifference,” pages 283-290 in Dialogues, Logics and Other Strange Things, essays in honour of Shahid Rahman, edited by Cédric Dégremont, Laurent Keiff and Helge Rückert, College Publications, 2008. [Page | PDF 119KB]
“Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli. [Page | PDF 291KB]
“Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. [Page | PDF 167KB]
“Proof Theory and Meaning: on second order logic,” pp 157–170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. [Page | PDF 237KB]
“Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. [Page | PDF 157KB]
from 2007
“Proofnets for S5: sequents and circuits for modal logic,” pages 151-172 in Logic Colloquium 2005, C. Dimitracopoulos, L. Newelski, and D. Normann (eds.), number 28 in Lecture Notes in Logic. Cambridge University Press, 2007. [Page | PDF 255KB]
“Symbolic Logic,” entry in the International Encyclopedia of the Social Sciences, William A. Darity (editor), Macmillan 2007. [Page | PDF 68KB]
from 2006
(with JC Beall, Ross T. Brady, A. P. Hazen and Graham Priest) “Relevant Restricted Quantification,” Journal of Philosophical Logic, 35:6 (2006), 587–598. [Page | PDF 319KB]
“Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 [appeared in print in 2006]. [Page | PDF 220KB]
“Questions and Answers on Formal Philosophy,” pages 97–104 in Masses of Formal Philosophy, edited by Vincent F. Hendricks and John Symonds, Automatic Press, 2006 [Page | PDF 169KB]
“Relevant and Substructural Logics” pages 289–398 in the Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, edited by Dov Gabbay and John Woods, Elsevier, 2006. [Page | PDF 1MB]
from 2005
Entries “Belnap, Nuel Dinsmore Jr.” and “Lambert, J. Karel” from the Dictionary of Modern American Philosophers edited by John R. Shook, Thoemmes Continuum, 2005. [Page | PDF 87KB]
“Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. [Page]
“Łukasiewicz, Supervaluations and the Future,” Logic and Philosophy of Science, 3 (2005), 1-10. [Page | PDF 123KB]
“Multiple Conclusions,” in Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr Hajek, Luis Valdes-Villanueva and Dag Westerstahl, Kings’ College Publications, 2005, 189–205. [Page | PDF 247KB]
(with Daniel Nolan and Caroline West) “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. [Page | PDF 395KB]
“Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. [Page | PDF 243KB]
“Minimalists about Truth can (and should) be Epistemicists, and it helps if they are revision theorists too,” pages 97–106 in JC Beall and Bradley Armour-Garb, Deflationism and Paradox, Oxford University Press, 2005. [Page | PDF 156KB]
(with Francesco Paoli) “The Geometry of Non-Distributive Logics”, Journal of Symbolic Logic 70:4 (2005) 1108–1126. [Page | PDF 185KB]
from 2004
“Logical Pluralism and the Preservation of Warrant,” in S. Rahman et al. (eds.) Logic, Epistemology and the Philosophy of Science, pp. 163-173, Kluwer 2004. [Page | PDF 93KB]
(with Susan Rogerson) “Routes to Triviality,” Journal of Philosophical Logic, 33 (2004) 421–436. [Page | PDF 173KB]
“Laws of Non-Contradiction, Laws of the Excluded Middle and Logics,” pages 73–85, G. Priest, JC Beall, B. Armour-Garb, The Law of Non-Contradiction; New Philosophical Essays, Oxford University Press, 2004. [Page | PDF 286KB]
from 2003
“Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003. [Page | PDF 187KB]
“Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). [Page | PDF 163KB]
“Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. [Page | PDF 282KB]
from 2004
“Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147-156. (Appeared in 2004) [Page | PDF 134KB]
from 2002
(with Robert K. Meyer) “ ‘Strenge’ Arithmetics,” Logique et Analyse 42 (1999) 205–220 (published in 2002). [Page | PDF 160KB]
(with J. Michael Dunn) “Relevance Logic,” (with J. Michael Dunn), pages 1–136 in Volume 6 of the The Handbook of Philosophical Logic, second edition, Dov Gabbay and Franz Guenther (editors), Kluwer 2002, ISBN 1-4020-0583. [Page | PDF 842KB]
“Carnap’s Tolerance, Meaning and Logical Pluralism,” Journal of Philosophy 99 (2002) 426–443. [Page | PDF 397KB]
from 2001
(with JC Beall) “Defending Logical Pluralism,” 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. [Page | PDF 150KB]
“Constructive Logic, Truth and Warranted Assertibility,” Philosophical Quarterly, 51 (2001) 474–483. [Page | PDF 385KB]
from 2000
JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 [Page | PDF 150KB]
“Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860. [Page | PDF 123KB]
“Substructural Logics” an entry in the Stanford Encyclopedia of Philosophy, 2000. [Page]
from 1999
“Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star,” in What is Negation? edited by Dov Gabbay and Heinrich Wansing, Volume 13 in the Applied Logic Series, Kluwer Academic Publishers, pages 53-76, 1999. [Page | PDF 297KB]
from 1998
“Nietzsche, Insight and Immorality,” Zadok Occasional Paper S95, 1998. [Page | PDF 107KB]
“Ways Things Can’t Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). [Page | PDF 104KB]
(with John K. Slaney and Robert K. Meyer) “Linear Arithmetic Desecsed,” Logique et Analyse, 39 (1996) 379-388 (published in 1998). [Page | PDF 182KB]
“Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. [Page | PDF 375KB]
from 1997
“Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156-163. [Page | PDF 135KB]
from 1996
“Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). [Page | PDF 160KB]
“Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. [Page | PDF 543KB]
from 1995
“Realistic Belief Revision,” with John Slaney, Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence (Paris, July 1995), 367–378. [Page | PDF 131KB]
“Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). [Page | PDF 254KB]
“Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). 420–426. [Page | PDF 278KB]
“Information Flow and Relevant Logic,” in Logic, Language and Computation: The 1994 Moraga Proceedings, Jerry Seligman and Dag Westerståhl (editors) CSLI Press, 1995, pages 463–477. [Page | PDF 217KB]
“Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. [Page | PDF 906KB]
from 1994
“A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. [Page | PDF 267KB]
“Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. [Page | PDF 85KB | Bib]
from 1993
“Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. [Page | PDF 2MB]
“Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. [Page | PDF 1MB]
from 1992
Unpublished
In progress
“Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. [Page | PDF 242KB]
“Comparing Modal Sequent Systems,” in progress. [Page | PDF 169KB]
“Truth Tellers in Bradwardine’s Theory of Truth,” submitted to Modern Views of Medieval Logic, the Proceedings of the First GPMR Workshop on Logic & Semantics. [Page | PDF 221KB]
Proof Theory and Philosophy: book manuscript in progress. [Page | PDF 1MB]
“Assertion, Denial, Accepting, Rejecting, Symmetry and all that,” article in progress [Page | PDF 154KB]
“Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. [Page | PDF 219KB]
Accepted for publication
“Logic in Australasia,” to appear in a volume on the History of Philosophy in Australia and New Zealand, edited by Nick Trakakis and others, Lexington Books. [Page | PDF 356KB]
“Decorated Linear Order Types and the Theory of Concatenation,” with Vedran Čačić, Pavel Pudlák, Alasdair Urquhart and Albert Visser, to appear in the Proceedings of Logic Colloquium 2007, Cambridge University Press. [Page | PDF 196KB]
“Anti-Realist Classical Logic and Realist Mathematics,” to appear in a volume on anti-realism and realism. [Page | PDF 392KB]
“Truth Values and Proof Theory,” to appear in Studia Logica. [Page | PDF 288KB]
“Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF 301KB]
(with Gillian Russell) “Barriers to Implication,” to appear in a Hume and ‘Is’ and ‘Ought’: New Essays, edited by Charles Pigden, Rochester University Press. [Page | PDF 134KB]
“Proof Theory and Meaning: the context of deducibility,” to appear in the Proceedings of Logic Colloquium 2007, Cambridge University Press. [Page | PDF 273KB]
“On t and u, and what hey can do” to appear in Analysis. [Page | PDF 156KB]
Online only
“Great Moments in Logic” available at http://consequently.org/writing/logicians, 2004. [Page]
On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. [Page | PDF 1MB]
Topics
- a priori 1 (1%)
- algebras 3 (3%)
- assertion 4 (4%)
- atonement 1 (1%)
- belief 1 (1%)
- boolean negation 1 (1%)
- Bradwardine 3 (3%)
- classical logic 13 (15%)
- contraction 10 (11%)
- decidability 1 (1%)
- entailment 6 (7%)
- epistemology 4 (4%)
- existence 1 (1%)
- facts 3 (3%)
- fictionalism 2 (2%)
- history 4 (4%)
- identity 1 (1%)
- information 4 (4%)
- intuitionistic logic 9 (10%)
- material conditional 1 (1%)
- mathematics 10 (11%)
- meaning 9 (10%)
- metaethics 4 (4%)
- metaphysics 9 (10%)
- modal logic 16 (18%)
- models 38 (44%)
- negation 18 (21%)
- non-classical logic 28 (32%)
- opinion 1 (1%)
- paraconsistency 8 (9%)
- paradox 12 (14%)
- philosophy of religion 3 (3%)
- pluralism 9 (10%)
- probability 1 (1%)
- proofs 21 (24%)
- properties 1 (1%)
- quantifiers 6 (7%)
- relevant logic 19 (22%)
- self-reference 2 (2%)
- sequent 1 (1%)
- sequents 15 (17%)
- sets 3 (3%)
- situations 3 (3%)
- substructural logic 14 (16%)
- teaching 1 (1%)
- temporal logic 2 (2%)
- truth 13 (15%)
- truthmakers 6 (7%)
- vagueness 1 (1%)
- warrant 2 (2%)
About
I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.
Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column is for photos, archived on the occasional photos page. The right column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.
To subscribe to this site, either read the full feed 
of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.
This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2008-12-31 at 05:17PM.
Thought
In an irreligous world, brands provide us with beliefs. They define who we are and signal our affiliations.
— Mr. Wally Olins, quoted in the September 8, 2001 issue of The Economist, in the article “Who’s wearing the trousers?”.