*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): - 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