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, 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. 
  • 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
  • Shawn Standefer, “Tracking reasons with extensions of relevant logics,” (forthcoming) Logic Journal of the IGPL, Oxford University Press. doi:10.1007/s11225-018-9828-2
  • Shawn Standefer, “Actual Issues for Relevant Logics,” (forthcoming) Ergo. 
  • Shawn Standefer, “Translations between linear and tree natural deduction systems for relevant logics,” (forthcoming) Review of Symbolic Logic, Cambridge University Press.
  • Shawn Standefer, “Translations between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs,” (forthcoming) Studia Logica, Springer.
  • 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