Writing Archive


Logic (Chinese Translation) Logical Methods Proofs and Models in Philosophical Logic New Waves in Philosophical Logic Logic Logical Pluralism An Introduction to Substructural Logics

Unpublished and Work in Progress

Reflections on Brady's Logic of Meaning Containment (to appear in The Australasian Journal of Logic) Abstract PDF

Proofs with Star and Perp (to appear in New Directions in Relevant Logics) Abstract PDF

The Philosophical Significance of the Paradoxes (to appear in the Oxford Handbook of Philosophical Logic) Abstract PDF

Generics: Inference & Accommodation (article in progress). Abstract PDF

Questions, Justification Requests, Inference, and Definition (article in progress) Abstract PDF

Proof, Rules and Meaning: book manuscript in progress. Abstract

“Speech Acts & the Quest for a Natural Account of Classical Proof,” article in progress. Abstract PDF

“Proof Terms for Classical Derivations,” article in progress. Abstract PDF

“Existence and Definedness: the semantics of possibility and necessity,” article in progress. Abstract PDF

“Three Cultures—or: what place for logic in the humanities?” unpublished essay. Abstract PDF

“Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics,” article in progress. Abstract PDF

Everything Published

Introduction to Classical Logic Greg Restall, translated by Xu Min. Huazhong University of Science & Technology Press, 2024. Abstract

Greg Restall and Shawn Standefer, “Collection Frames for Distributive Substructural Logics,” Review of Symbolic Logic, (2023) 16:4, 1120-1157. Abstract PDF

Review of Jc Beall, The Contradictory Christ, Religious Studies, 59, (2023), 556–559. Abstract PDF

Looking at Logic(s), Chapter 4 in What are They Thinking? Conversations with Australian Philosophers, edited by Daniel Nellor, Australian Scholarly Publishing, 2023. Abstract PDF

Structural Rules in Natural Deduction with Alternatives, Bulletin of the Section of Logic, pp. 35 (2023), Early View. Abstract PDF

Greg Restall and Shawn Standefer, Logical Methods. MIT Press, 2023. Abstract

“True Contradictions in Theology?” pp. 17–32 in Paradox and Contradiction in Theology, edited by Jonathan C. Rutledge, Routledge, 2024 Abstract PDF

Proofs and Models in Philosophical Logic (Elements in Philosophy and Logic). Cambridge University Press, 2022. Abstract

“Geometric Models for Relevant Logics”, p. 223–239 in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Edited by Ivo Duntsch and Edwin Mares, Springer. Abstract PDF

Shawn Standefer, Rohan French and Greg Restall, “Proofs and Models in Naive Property Theory: A Response to Hartry Field's “Properties, Propositions and Conditionals”,” Australasian Philosophical Review, 4:2 (2020), 162–177. Abstract PDF

“Two Negations are More than One,” p. 455–468 in Graham Priest on Dialetheism and Paraconsistency, edited by Can Başkent, Thomas Macaulay Ferguson, Springer. Abstract PDF

Francesco Berto and Greg Restall, “Negation on the Australian Plan,” Journal of Philosophical Logic, 48:6 (2019), 1119–1144 Abstract PDF

“Generality and Existence I: Quantification and Free Logic,” Review of Symbolic Logic, 12 (2019) 1–29. Abstract PDF

“Truth Tellers in Bradwardine's Theory of Truth,” pages 143-154 in Modern Views of Medieval Logic, edited by Christoph Kann, Benedikt Loewe, Christian Rode and Sara L. Uckelman, Recherches de Théologie et Philosophie Médiévales—Bibliotheca. Peeters Publishers, 2018 Abstract PDF

Substructural Logics,” an entry in the Stanford Encyclopedia of Philosophy, 2018. (Substantial revision of the 2000 entry.) Abstract

“Fixed Point Models for Theories of Properties and Classes,” Australasian Journal of Logic (14:1), Article No. 8. Abstract PDF

“First Degree Entailment, Symmetry and Paradox,” Logic and Logical Philosophy, 26:1 (2017), 3-18 Abstract PDF

Review of Advances in Proof-Theoretic Semantics edited by Thomas Piecha and Peter Schroeder-Heister, Notre Dame Philosophical Reviews (2016) Abstract

“On Priest on Nonmonotonic and Inductive Logic,” Thought, 5:2 (2016) 119–124 Abstract PDF

“Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox,” pages 310-321 in Foundations of Logical Consequence, edited by Colin R. Caret and Ole T. Hjortland, Oxford University Press, 2015 Abstract PDF

“Normal Proofs, Cut Free Derivations and Structural Rules,” Studia Logica 102:6 (2014) 1143–1166. Abstract PDF

“Pluralism and Proofs,” Erkenntnis 79:2 (2014) 279–291. Abstract PDF

“Assertion, Denial and Non-Classical Theories,” pp. 81–99 in Paraconsistency: Logic and Applications, edited by Koji Tanaka, Francesco Berto, Edwin Mares and Francesco Paoli, 2013. Abstract PDF

Special Issue of the Logic Journal of the IGPL on Non-Classical Mathematics, Volume 21, issue 1, 2013. Abstract PDF

New Waves in Philosophical Logic, edited by Greg Restall and Gillian Russell, Palgrave Macmillan, 2012. Abstract

“A Cut-Free Sequent System for Two-Dimensional Modal Logic—and why it matters,” Annals of Pure and Applied Logic 2012 (163:11) 1611–1623 Abstract PDF

“Models for Liars in Bradwardine's Theory of Truth,” pages 99–114 in Insolubles and Consequences: Essays in Honour of Stephen Read, edited by Catarina Dutilh Novaes and Ole Thomassen Hjortland, College Publications, 2012 Abstract PDF

(with Francesca Poggiolesi) “Interpreting and Applying Proof Theories for Modal Logics,” in New Waves in Philosophical Logic, edited by Greg Restall and Gillian Russell, Palgrave Macmillan, 2012. Abstract PDF

(with Conrad Asmus) “History of Logical Consequence,” pages 11–62 in Volume 11 of the The Handbook of the History of Logic, Dov Gabbay, Francis Jeffry Pelletier and John Woods (editors), North-Holland 2012. Abstract PDF

(with Jc Beall, Ross Brady, Michael Dunn, Allen Hazen, Edwin Mares, Robert K. Meyer, Graham Priest, David Ripley, John Slaney and Richard Sylvan) “On the Ternary Relation and Conditionality,” Journal of Philosophical Logic (2012) 41:3, pp. 595–612. Abstract PDF

“Molinism and the Thin Red Line,”, p. 227–238 in Molinism and Contemporary Philosophy of Religion, ed. K. Perszyk, OUP. Abstract PDF

“Anti-Realist Classical Logic and Realist Mathematics,” pp.269–284 in The Realism-Antirealism Debate in the Age of Alternative Logics, edited by Shahid Rahman, Giuseppi Primiero and Mathieu Marion, Springer, 2011 Abstract PDF

“Logic in Australasia,” to appear in The Antipodean Philosopher, edited by Graham Oppy, N. N. Trakakis, Lynda Burns, Steven Gardner and Fiona Leigh, Lexington Books. Abstract PDF

(with Edwin Mares and Jeremy Seligman) “Situations, Constrains and Channels,” p. 329–344 in Handbook of Logic and Language (second edition), edited by Johan van Benthem and Alice ter Meulen, Elsevier. Abstract PDF

“Always More,” p. 223–229 in Logica Yearbook 2009, edited by Michal Pelis, College Publications, 2010. Abstract PDF

“Proof Theory and Meaning: the context of deducibility,” p. 204–219 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. Abstract PDF

“Decorated Linear Order Types and the Theory of Concatenation,” with Vedran Čačić, Pavel Pudlák, Alasdair Urquhart and Albert Visser, p. 1–13 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010. Abstract PDF

(with Gillian Russell) “Barriers to Consequence,” p. 243–259 in Hume on Is and Ought, edited by Charles Pigden, Palgrave, 2010. Abstract PDF

(with Marta Bílková, Ondrej Majer and Michal Peliš), “Relevant Agents,” pages 22–38, in Advances in Modal Logic, Volume 8, College Publications, 2010. Abstract PDF

“On t and u, and what they can do” Analysis 70:4 (2010) 673–676. Abstract PDF

“What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. Abstract PDF

“Models for Substructural Arithmetics,' Miscellanea Logica, 1–20 (2009), edited by Marta Bílková. Abstract PDF

Greg Restall and Tony Roy “On Permutation in Simplified Semantics,” Journal of Philosophical Logic, 38:3 (2009) 333–341. Abstract PDF

“A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. Abstract PDF

“Truth Values and Proof Theory,” Studia Logica, 92:2 (2009) 241–264. Abstract PDF

Sam Butchart, Toby Handfield and Greg Restall, “Using Peer Instruction to Teach Philosophy, Logic and Critical Thinking” Teaching Philosophy, 32:1 (2009) 1–40. Abstract PDF

(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. Abstract

“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. Abstract PDF

“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. Abstract PDF

“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. Abstract PDF

(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. Abstract PDF

“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. Abstract PDF

“Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26–36. Abstract PDF

(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. Abstract PDF

“Review of Universal Logic by Ross Brady,” The Bulletin Symbolic Logic 14 (2007) 544–547. Abstract PDF

“Symbolic Logic,” entry in the International Encyclopedia of the Social Sciences, William A. Darity (editor), Macmillan 2007. Abstract PDF

“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. Abstract PDF

“Proof Theory and Meaning: on second order logic,” pp 157–170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. Abstract PDF

(with JC Beall, Ross T. Brady, A. P. Hazen and Graham Priest) “Relevant Restricted Quantification,” Journal of Philosophical Logic, 35:6 (2006), 587–598. Abstract PDF

“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. Abstract PDF

“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 Abstract PDF

“Logics, Situations and Channels,” Journal of Cognitive Science 6:125–150, 2005 (appeared in print in 2006). Abstract PDF

(with JC Beall) Logical Pluralism, Oxford University Press, 2006. Abstract

Logic, Routledge, 2006. Abstract

Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005. Abstract

“Constant Domain Quantified Modal Logics without Boolean Negation,” Australasian Journal of Logic, 3 (2005), 45-62. Available online at the AJL. Abstract PDF

(with Francesco Paoli) “The Geometry of Non-Distributive Logics”, Journal of Symbolic Logic 70:4 (2005) 1108–1126. Abstract PDF

“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. Abstract PDF

“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. Abstract PDF

(with Daniel Nolan and Caroline West) “Moral Fictionalism versus the rest,” Australasian Journal of Philosophy, 83 (2005), 307–330. Abstract PDF

“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. Abstract PDF

Entries "Belnap, Nuel Dinsmore Jr." and "Lambert, J. Karel" from the Dictionary of Modern American Philosophers edited by John R. Shook, Thoemmes Continuum, 2005. Abstract PDF

“Łukasiewicz, Supervaluations and the Future,” Logic and Philosophy of Science, 3 (2005), 1-10. Abstract PDF

“One Way to Face Facts,” The Philosophical Quarterly, 54 (2004) 420–426. Abstract PDF

“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. Abstract PDF

(with Susan Rogerson) “Routes to Triviality,” Journal of Philosophical Logic, 33 (2004) 421–436. Abstract PDF

“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. Abstract PDF

“Great Moments in Logic” published online, 2004. Abstract

“Modelling Truthmaking,” Logique et Analyse, 169–170 (2000), 211–230 (published in 2003). Abstract PDF

“Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003. Abstract PDF

“Just What is Full-Blooded Platonism?” Philosophia Mathematica 11 (2003) 82–91. Abstract PDF

(with J. Michael Dunn) “Relevance Logic,” (with J. Michael Dunn), pages 1–128 in Volume 6 of the The Handbook of Philosophical Logic, second edition, Dov Gabbay and Franz Guenther (editors), Kluwer 2002, ISBN 1-4020-0583. Abstract PDF

“Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147–156. (Appeared in 2004)” Abstract PDF

“Carnap's Tolerance, Meaning and Logical Pluralism,” Journal of Philosophy 99 (2002) 426–443. Abstract PDF

(with Robert K. Meyer) “ ‘Strenge’ Arithmetics,” Logique et Analyse 42 (1999) 205–220 (published in 2002). Abstract PDF

“Constructive Logic, Truth and Warranted Assertibility,” Philosophical Quarterly, 51 (2001) 474–483. Abstract PDF

(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. Abstract PDF

JC Beall and Greg Restall “Logical Pluralism”, Australasian Journal of Philosophy, 78:4 (2000) 475–493 Abstract PDF

“Defining Double Negation Elimination,” Logic Journal of the IGPL, 8 (2000) 853–860. Abstract PDF

An Introduction to Substructural Logics, Routledge, 2000. Abstract

“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. Abstract PDF

“Displaying and Deciding Substructural Logics 1: Logics with Contraposition,” Journal of Philosophical Logic, 27 (1998) 179-216. Abstract PDF

“Ways Things Can't Be,” Notre Dame Journal of Formal Logic, 38 (1997) 583–596 (published in 1998). Abstract PDF

Entry “Logical Laws” The Encyclopedia of Philosophy, Routledge, 1998. Abstract PDF

(with John K. Slaney and Robert K. Meyer) “Linear Arithmetic Desecsed,” Logique et Analyse, 39 (1996) 379–388 (published in 1998). Abstract PDF

“Extending Intuitionistic Logic with Subtraction,” Online Notes, 1997. Abstract PDF

“Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156–163. Abstract PDF

“Combining Possibilities and Negations,” Studia Logica, 59 (1997) 121–140. Abstract PDF

“Display Logic and Gaggle Theory,” Reports on Mathematical Logic, 29 (1995) 133–146 (published in 1996). Abstract PDF

“Truthmakers, Entailment and Necessity,” Australian Journal of Philosophy, 74 (1996) 331–340. Abstract PDF

“Realistic Belief Revision,” with John Slaney, Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence (Paris, July 1995), 367–378. Abstract PDF

“Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic,” Logique et Analyse, 36 (1993) 25–38 (published in 1995). Abstract PDF

“Modalities in Substructural Logics,” Logique et Analyse, 35 (1992) 303–321 (published in 1995). 420–426. Abstract PDF

“Nietzsche, Insight and Immorality,” Zadok Occasional Paper S95, 1998. Abstract PDF

“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. Abstract PDF

“Four-Valued Semantics for Relevant Logics (and some of their rivals),” Journal of Philosophical Logic 24 (1995) 139–160. Abstract PDF

“Subintuitionistic Logics,” Notre Dame Journal of Formal Logic 35 (1994) 116–129. Abstract PDF

“A Useful Substructural Logic,” Bulletin of the Interest Group in Pure and Applied Logics 2 (1994) 137–148. Abstract PDF

On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994. Abstract PDF

“Simplified Semantics for Relevant Logics (and some of their rivals)” Journal of Philosophical Logic 22 (1993) 481–511. Abstract PDF

“How to be Really Contraction Free” Studia Logica 52 (1993) 381–391. Abstract PDF

“Deviant Logic and the Paradoxes of Self-Reference,” Philosophical Studies, 70 (1993) 279–303. Abstract PDF

“A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432. Abstract PDF


I’m Greg Restall, and this is my personal website. I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.


To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at  @consequently@hcommons.social, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.