*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

### 2018

- October 10: The Universal Generalization Problem and Informational Screening, Shawn Standefer (
*University of Sydney*) - 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*) - 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*)

## Drafts

- Greg Restall, “Generality and Existence 1: Quantification and Free Logic,” draft in progress.

## Publications

- Shawn Standefer, “Translations between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs,” (forthcoming)
*Studia Logica*, Springer. - 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