Meaning in Action

Meaning in Action is an ARC-funded project run by Professor Greg Restall with Dr. Shawn Standefer as a postdoctoral research fellow. This page will collect together all of the project’s activities and results.









  • Shawn Standefer, “Identity in Mares-Goldblatt models for quantified relevant logic”, (accepted) Journal of Philosophical Logic, Springer.
  • Greg Restall, “Geometric Models for Relevant Logics”, (forthcoming) in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, edited by Ivo Duntsch and Edwin Mares, in the series Outstanding Contributions to Logic, Springer.  (preprint)
  • Shawn Standefer, “Revisiting Semilattice Semantics”,  (forthcoming) in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, edited by Ivo Duntsch and Edwin Mares, in the series Outstanding Contributions to Logic, Springer.
  • Shawn Standefer, Rohan French, and Greg Restall, “Proofs and Models in Naive Property Theory: A Response to Hartry Field’s “Properties, Propositions and Conditionals”,” to appear in the Australasian Philosophical Review. (preprint)
  • Shawn Standefer, “Translations between linear and tree natural deduction systems for relevant logics,” (forthcoming) Review of Symbolic Logic, Cambridge University Press.
  • Greg Restall  and Francesco Berto, “Negation on the Australian Plan,” Journal of Philosophical Logic, 48:6 (2019), 1119–1144. doi: 10.1007/s10992-019-09510-2
  • Greg Restall, “Two Negations are More than One,” in Graham Priest on Dialetheism and Paraconsistency, edited by Can Başkent, Thomas Macaulay Ferguson, p. 455–468, Springer. doi: 10.1007/978-3-030-25365-3_21
  • Greg Restall, “Generality and Existence I: Quantification and Free Logic,” Review of Symbolic Logic, 12(1): 1–29 (2019), Cambridge University Press. doi:10.1017/S175502031800031X (preprint)
  • Shawn Standefer, “Tracking reasons with extensions of relevant logics,” Logic Journal of the IGPL, 27(4) (2019): 543–569, Oxford University Press. doi:10.1093/jigpal/jzz018
  • Shawn Standefer, “Actual Issues for Relevant Logics,” Ergo 7(8)
  • Shawn Standefer, “Translations between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs,” Studia Logica 107 (2019): 1103–1134, Springer. doi:10.1007/s11225-018-9828-2
  • Greg Restall, “Truth Tellers in Bradwardine’s Theory of Truth,” (2018) pp. 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.
  • Shawn Standefer, Trees for ELogic Journal of the IGPL, 26(3): 300–315 (2018), Oxford University Press. doi:10.1093/jigpal/jzy003
  • Shawn Standefer and Ross T. Brady, “Natural deduction systems for E,”  Logique et Analyse, 242: 163–182 2018, Peeters Publishers. doi: 10.2143/LEA.242.0.3284749
  • Ole Hjortland and Shawn Standefer, “Inferentialism, Structure, and Conservativeness,”  From Rules to Meanings: New Essays on Inferentialism, eds. Ondrej Beran, Vojtech Kolman, and Ladislav Koren, pp. 115–140 (2018), Routledge.
  • Shawn Standefer, Proof Theory for Functional Modal Logic, Studia Logica 106(1): 49-84 2018. DOI:10.1007/s11225-017-9725-0
  • Rohan French and Shawn Standefer, “Non-triviality Done Proof-TheoreticallyProceedings of Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, pp. 438–450, edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada. 2017. DOI: 10.1007/978-3-662-55665-8_30
  • Ed Mares and Shawn Standefer, “The Relevant Logic E and Some Close Neighbours: A Reinterpretation,” The IfColog Journal of Logics and their Applications (4:3) 2017, 695–730. Special Issue: Proceedings of the Third Workshop, 16-17 May 2016, Edmonton, Canada, edited by Katalin Bimbó and J. Michael Dunn.
  • Anil Gupta and Shawn Standefer, Intersubstitutivity Principles and the Generalization Function of Truth, Synthese, 195(3): 1065–1075 2018. doi:10.1007/s11229-017-1318-y
  • Shawn Standefer, Non-Classical Circular Definitions. The Australasian Journal of Logic, (14:1) 2017, Article No. 6. DOI: 10.26686/ajl.v14i1.4030
  • Greg Restall, Fixed Point Models for Theories of Properties and ClassesAustralasian Journal of Logic (14:1) 2017, Article No. 8. DOI: 10.26686/ajl.v14i1.4032
  • Greg Restall, First Degree Entailment, Symmetry and Paradox, Logic and Logical Philosophy 26:1 (2017), 3-18. DOI: 10.12775/LLP.2016.028
  • Greg Restall, Review of Advances in Proof-Theoretic Semantics, edited by Thomas Piecha and Peter Schroeder-Heister, Notre Dame Philosophical Reviews, (2016).
  • Shawn Standefer, “Contraction and revision,” Australasian Journal of Logic, (13:3) Article no. 2, pp. 58–77 (2016).
  • Greg Restall, “On Priest on Nonmonotonic and Inductive Logic,” Thought, Volume 5, Issue 2, pages 119–124, June (2016). DOI: 10.1002/tht3.201 (preprint)
  • Anil Gupta and Shawn Standefer, “Conditionals in Theories of Truth,” Journal of Philosophical Logic, (2016) DOI: 10.1007/s10992-015-9393-3.
  • Shawn Standefer, “On Artifacts and Truth-Preservation,” Australasian Journal of Logic, 12:3 (2015).
  • Greg Restall, “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
  • Greg Restall, “Normal Proofs, Cut Free Derivations and Structural Rules,”  Studia Logica 102:6 (2014) 1143–1166. DOI: 10.1007/s11225-014-9598-4