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.
Presentations
2020
- November 6: Natural Deduction with Alternatives, Greg Restall (Applied Logic Workshop, University of Melbourne) Video
- November 5: The Universal Generalization Problem and Informational Screening, Shawn Standefer (Applied Proof Theory Workshop, University of Melbourne) Video
- September 18: Speech Acts & the Quest for a Natural Account of Classical Proof, Greg Restall (Berkeley Logic Colloquium)
- September 6: The Universal Generalization Problem and Informational Screening, Shawn Standefer (National Taiwan University)
- July 9: Functionality and Reflexivity: Adventures in Collection Frame Theory, Shawn Standefer (Melbourne Logic Seminar) Video
- May 12: The limits of relevance, Shawn Standefer (Dianoia Institute Seminar, ACU)
- May 5: Assertions, Denials, Questions, Answers, and the Common Ground, Greg Restall (Dianoia Institute Seminar, ACU)
- March 20: Geometric Models for Relevant Logics, Greg Restall (Melbourne Logic Group) Video
- February 21: A Place for Logic in the Humanities?, Greg Restall (Ballarat Philosophy Symposium 2020)
2019
- December 9: Propaganda, ideology, and inferentialism, Shawn Standefer (New Zealand Association for Philosophy Conference 2019, University of Auckland)
- December 6: Generics: Inference & Accommodation, Greg Restall (Constructing Social Hierarchy 2, MIT)
- December 4: What’s So Special About Logic? Practices, Rules and Definitions, Greg Restall (Smith College)
- November 1: A note on reduced frames, Shawn Standefer (Melbourne Logic Day)
- November 1: What’s So Special About Logic? Practices, Rules and Definitions, Greg Restall (Melbourne Logic Day)
- September 30: Assertions, Denials, Questions, Answers, and the Common Ground, Greg Restall (M&LG Seminar, Arché St Andrews)
- September 26: Collection Frames for Substructural Logics, Greg Restall (LanCog Workshop on Substructural Logic, Lisbon)
- July 31: On the quasi-proof method, Shawn Standefer (VIII Workshop of the Buenos Aires Logic Group On Philosophical Logic, SADAF Buenos Aires)
- July 29: The limits of relevance, Shawn Standefer (Workshop on Substructural Logics, SADAF Buenos Aires)
- July 12: A substructural approach to explicit modal logic, Shawn Standefer (Australasian Association for Logic Conference 2019, University of Wollongong)
- July 10: The limits of relevance, Shawn Standefer (Australasian Association for Philosophy Conference 2019, University of Wollongong)
- June 22: Assertions, Denials, Questions, Answers, and the Common Ground, Greg Restall (EXPRESS Workshop, Amsterdam)
- June 18: Assertions, Denials, Questions, Answers, and the Common Ground, Greg Restall (MCMP Seminar, Munich)
- June 7: Assertions, Denials, Questions, Answers, and the Common Ground, Greg Restall (Melbourne Logic Seminar)
- May 31: On the quasi-proof method, Shawn Standefer (Melbourne Logic Seminar)
- May 3: Propaganda, ideology, and inferentialism, Shawn Standefer (Massey University, Palmerston North)
- April 12: The limits of relevance, Shawn Standefer (Melbourne Logic Seminar)
- March 29: Isomorphisms in a Category of Proofs, Greg Restall (Proof Theoretic Semantics 2019, Tübingen)
- March 15: Collection Frames for Substructural Logics, Greg Restall (Melbourne Logic Seminar)
- February 21: Generality and Existence 2: Modality and Quantifiers, Greg Restall (Joint Session of the ASL and the Central Division of the APA, Denver)
2018
- December 14: New Work for a (Formal) Theory of Grounds, Greg Restall (Melbourne Logic Seminar)
- October 30: Truth and Stereotypes, Greg Restall (Public Lecture at the University of Melbourne)
- October 12: Accommodation, Inference, Generics and Pejoratives, Greg Restall (Social Ontology Workshop, University of Melbourne)
- October 10: The Universal Generalization Problem and Informational Screening, Shawn Standefer (University of Sydney)
- October 5: Accommodation, Inference, Generics and Pejoratives, Greg Restall (UQ Philosophy Seminar)
- August 31: The Universal Generalization Problem and Informational Screening, Shawn Standefer (Monash, Melbourne)
- August 10: An Alternative Semantics for Relevant Logic with Identity, Shawn Standefer (Melbourne Logic Seminar, Melbourne)
- August 3: Defining Rules, Proofs and Counterexamples, Greg Restall (VII Workshop on Philosophical Logic, Buenos Aires)
- July 30: Proof Theory, Rules and Meaning — an introduction, Greg Restall (Symposium on Proof Theory, Rules and Meaning, Buenos Aires)
- July 11: The Universal Generalization Problem and Informational Screening, Shawn Standefer (AAP 2018, Victoria, University of Wellington)
- July 6: An Alternative Semantics for Relevant Logic with Identity, Shawn Standefer (AAL 2018, Victoria, University of Wellington)
- June 23-29: Proof Theory: Logical and Philosophical Aspects, Shawn Standefer (NASSLLI 2018, CMU)
- June 12: Hyperintensionality, relevance, and justifications, Shawn Standefer (Glasgow-Melbourne Formal Philosophy Workshop, Melbourne)
- June 12: What proofs are for, Greg Restall (Glasgow-Melbourne Formal Philosophy Workshop, Melbourne)
- April 20: Isomorphisms in a Category of Proofs, Greg Restall (MIT SLLERG Seminar)
- April 19: Accommodation, Inference, Generics and Pejoratives, Greg Restall (MIT)
- April 18: Accommodation, Inference, Generics and Pejoratives, Greg Restall (University of Connecticut)
- April 13: Accommodation, Inference, Generics and Pejoratives, Greg Restall (University of Pittsburgh)
- April 12: Isomorphisms in a Category of Proofs, Greg Restall (CMU Pure and Applied Logic Seminar)
- April 9: Isomorphisms in a Category of Proofs, Greg Restall (CUNY Graduate Center Logic and Metaphysics Seminar)
- April 6: What Proofs are For, Greg Restall (NYU Philosophy Brown Bag)
- March 28: Accommodation, Inference, Generics and Pejoratives, Greg Restall (CUNY)
- March 22: Accommodation, Inference, Generics and Pejoratives, Greg Restall (University of Melbourne)
- March 2: Isomorphisms in a Category of Proofs and Propositions, Greg Restall (Melbourne Logic Seminar)
2017
- December 5: Non-Classical Justification Logic, Shawn Standefer (NZAP 2017, Dunedin)
- November 11: Proof Identity, Aboutness and Meaning, Greg Restall (Glasgow-Melbourne Formal Philosophy Workshop, Glasgow)
- November 11: Non-Classical Justification Logic, Shawn Standefer (Glasgow-Melbourne Formal Philosophy Workshop, Glasgow)
- September 22: Negation on the Australian Plan, Greg Restall (Melbourne Logic Group)
- September 11: Non-triviality done proof-theoretically, Shawn Standefer (LORI VI, Sapporo)
- September 8: Revisiting operational models for relevant logics, Shawn Standefer (Melbourne Logic Group)
- July 7: Tree Natural Deduction for E, Shawn Standefer (Australasian Association for Logic 2017, Adelaide)
- June 28: A concrete category of classical proofs, Greg Restall (TACL, Prague)
- June 8: Use in Logic, Shawn Standefer (Victoria, University of Wellington)
- May 28: Use in Logic, Shawn Standefer (3rd Belgrade Conference on Conditionals, University of Belgrade)
- May 19: A concrete category of classical proofs, Greg Restall (Melbourne Logic Group)
- May 6: Use in Logic, Shawn Standefer (Logic Group, UC Davis)
- April 21: Two approaches to revision-theoretic truth, Shawn Standefer (Melbourne Logic Group)
- April 13: Use in Logic, Shawn Standefer (University of Melbourne)
- March 7: Proof Identity, Invariants and Hyperintensionality, Greg Restall (DIP Colloquium, University of Amsterdam)
- March 6: Proof Terms for Classical Derivations, Greg Restall (LIRa Seminar, University of Amsterdam)
- March 3: Logical Pluralism: Meaning, Rules and Counterexamples, Greg Restall (Pluralisms Workshop, University of Bonn)
2016
- December 13: Introduction to Semantic Paradoxes, Shawn Standefer (Logic Summer School, ANU)
- December 12-15: Introduction to Proof Theory, Shawn Standefer (Logic Summer School, ANU)
- December 7, 10: Introduction to Proof Theory, Shawn Standefer (Melbourne)
- October 28: Further Adventures in Natural Deduction, Shawn Standefer (Melbourne Logic Seminar)
- October 7: Existence, Definedness and the Semantics of Possibility and Necessity, Greg Restall (Asian Workshop in Philosophical Logic, Taiwan Philosophical Logic Colloquium, National Taiwan University)
- September 16: Adventures in Natural Deduction, Shawn Standefer (Melbourne Logic Seminar)
- September 6: An Introduction to Kripke Semantics, Shawn Standefer (Melbourne Maths Curry-Howard Seminar)
- August 25: Proofs and what they’re good for, Greg Restall (University of Melbourne)
- August 23: An Introduction to Intuitionistic Logic, Shawn Standefer (Melbourne Maths Curry-Howard Seminar)
- August 12: What Proofs and Truthmakers are About, Greg Restall (Melbourne Logic Seminar)
- July 9-16: Proof Theory: Logical and Philosophical Aspects, Greg Restall and Shawn Standefer, (NASSLLI 2016, Rutgers University)
- July 3: Brandom’s Logical Expressivism and Logical Inferentialism, Shawn Standefer, (Australasian Association of Philosophy 2016, Monash)
- July 3: Proofs and what they’re good for, Greg Restall (Australasian Association of Philosophy 2016, Monash)
- July 1: Terms for Classical Sequents: Proof Invariants and Strong Normalisation, Greg Restall, (Australasian Association for Logic 2016, Melbourne)
- July 1: Non-triviality for sequent systems for naive truth, Shawn Standefer, (Australasian Association for Logic 2016, Melbourne)
- May 27: Proofs and what they’re good for, Greg Restall (Australian Catholic University)
- May 18: Proofs and what they’re good for, Greg Restall (University of Sydney)
- May 10: Terms for Classical Sequents: Proof Invariants and Strong Normalisation, Greg Restall (University of Gothenburg Logic Seminar)
- May 6: Terms for Classical Sequents: Proof Invariants and Strong Normalisation, Greg Restall (Melbourne Logic Seminar)
- March 21: Non-triviality for sequent systems for naive truth, Shawn Standefer, (Otago Logic Group, Dunedin)
- January 27: Non-classical circular definitions, Shawn Standefer, (Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland University)
- January 26: Fixed Point Models for Theories of Properties and Classes, Greg Restall, (Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland University)
2015
- December 11: Generality and Existence 3: Identity and Substitution, Greg Restall (Melbourne Logic Workshop)
- December 11: Instability, contraction, and truth, Shawn Standefer (Melbourne Logic Workshop)
- December 4: Generality and Existence 4: Identity and Modality, Greg Restall, (HPLM Seminar, University of St Andrews)
- December 3: Generality and Existence 3: Identity and Substitution, Greg Restall, (Arché Super Special Seminar, and HPLM Seminar, St Andrews)
- December 2: Generality and Existence 2: Modality and Quantifiers, Greg Restall, (Arché Logic Group, St Andrews)
- November 26: Brandom’s Logical Expressivism and Logical Inferentialism, Shawn Standefer, (Arché Workshop on Inferentialism, St Andrews)
- November 25: Generality and Existence 1: Quantification and Free Logic, Greg Restall, (Arché Workshop on Inferentialism, St Andrews)
- September 25: Revision theory and non-classical approaches to circular definitions, Shawn Standefer, (Melbourne Logic Seminar)
- August 5: Fixed Point Models for Theories of Properties and Classes, Greg Restall, (15th Congress on Logic, Methodology, and Philosophy of Science, University of Helsinki)
- July 6: Merely Verbal Disputes and Coordinating on Logical Constants, Greg Restall (Australasian Association for Philosophy Conference, Macquarie University)
- July 2: Contingent Existence and Modal Definedness, Greg Restall (Australasian Association for Logic Conference, University of Sydney)
- May 21: Merely Verbal Disputes and Coordinating on Logical Concepts, Greg Restall, (Workshop on Verbal Disputes and their Philosophical Significance, University of Oxford)
- May 8: Merely Verbal Disputes and Coordinating on Logical Constants, Greg Restall, (Melbourne Logic Seminar)
- April 13, Sophistry and Argumentation: The Role of Reason in the Examined Life, Greg Restall (Lyceum Club, Melbourne)
- February 26, Contingent Existence and Modal Definedness, Greg Restall (School of Philosophy, ANU)
Publications
- 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 E, Logic 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-Theoretically” Proceedings of Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, pp. 438–450, edited by 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 Classes, Australasian 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