*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

### 2017

- 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*,*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 and Ross T. Brady, “Natural deduction systems for E”,
*Logique et Analyse*(forthcoming) - Rohan French and Shawn Standefer, “Non-triviality Done Proof-Theoretically”
*Proceedings of**Logic, Rationality, and Interaction**6th International Workshop, LORI 2017,*edited by Jeremy Seligman, and Tomoyuki Yamada (forthcoming) 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*, (forthcoming) DOI: 10.1007/s11229-017-1318-y - Greg Restall, First Degree Entailment, Symmetry and Paradox,
*Logic and Logical Philosophy*(forthcoming) 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