**Statement on Black Lives Matter**

During the school year, there is a regular Logic Seminar at the University of Melbourne organized by Greg Restall and Shawn Standefer. The Seminars are usually held from 11am to 1 pm on Fridays. The location varies, so check the PhilEvents page for the specific talk. Upcoming and past talks are listed here. More information about a talk can be found on its linked PhilEvents page. If you would like to be added to our mailing list for email updates, please send a subscription request. You can follow us on Twitter at @logicmelb.

## 2020 Semester 2 Events

- November 5-6: Applied Proof Theory Workshop

## 2020 Semester 2 Seminars

Due to the COVID-19 pandemic, we have moved our talks online with the Logic Supergroup. Links are to recordings of the talks.

- November 20: The Muchnik Topos, Sankha S Basu (IITD)
- November 13: Belief revision about logic, Isabella McAllister (
*Auckland*) - October 30: Empirical and Normative Arguments for Paraconsistency, Koji Tanaka (
*ANU*) - October 16: Recursive relations on the set of words with 2 letters, Yao Tang (
*La Trobe*) - October 9: The fragment of Classical Logic that respects the Variable-Sharing Principle, Damian Szmuc (
*CONICET/UBA*) - September 11: Some work on strategy logic with imperfect information, Sophia Knight (
*Minnesota*) - September 4: The Similarity between Buddhist Logic and Assertion Theory: Exclude Pakṣa and Context, Chi Yen Liu (
*Kyoto*) - August 14: Mission Impossible, Graham Priest (
*CUNY*) - August 7: New proofs with old methods in inconsistent metamathematics: completeness, Löwenheim-Skolem and compactness theorems, Guillermo Badia (
*UQ*)

## 2020 Semester 1 Seminars

Due to the COVID-19 pandemic, we have moved our talks online with the Logic Supergroup. Links are to recordings of the talks, except for the first talk.

- July 10: Functionality and Reflexivity: Adventures in Collection Frame Theory, Shawn Standefer (
*Melbourne*) - June 26: Dialectica categories for the Lambek calculus, Valeria de Paiva (
*Topos Institute*) - June 12: The Epistemology of Nondeterminism, Adam Bjorndahl (
*CMU*) - May 29: Quantified Logic for Modal Reasoning and Theorizing, Kohei Kishida (
*Illinois*) - May 15: Proof Transformation: The Curry-Howard of Program Transformation, Talia Ringer (
*Washington*) - May 1: Grzegorczyk’s proof of undecidability of the theory of concatenation, Tomasz Kowalski (
*La Trobe*) - April 24: One step is enough (online version), Dave Ripley (
*Monash*) - April 17: Probabilities for Epistemic Modalities, Simon Goldstein (
*ACU*) - April 3: Some Logical Limitations on the Individuation of Propositions, Peter Fritz (
*ACU*) - March 20: Geometric Models for Relevant Logic, Greg Restall (
*Melbourne*) - March 13: One step is enough: mixed metainferential logics and ST, Dave Ripley (
*Monash*)

## 2019 Events

- November 1: Logic Day (Greg Restall, Shawn Standefer, Dave Ripley, Tomasz Kowalski)

## 2019 Semester 2 Seminars

- October 25: Justification is possible knowledge, Simon Goldstein (
*ACU*) - October 18: Adorable A and the Lovelight L – Together Again, Su Rogerson (
*Monash*) - October 18: Four Approaches to Supposition, Ted Shear (
*UQ*) - October 11: Prior’s Puzzle Generalized, Justin D’Ambrosio (
*ANU*) - September 20: Do logics explain?, Nicole Wyatt (
*Calgary*) - September 13: How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?, Guillermo Badia (
*UQ*) - September 6: Agential Free Choice, Melissa Fusco (
*Columbia*) - August 30: How to Model the Epistemic Probabilities of Conditionals, Branden Fitelson (
*Northeastern*) - August 23: Myers’ Paradox, Graham Priest (
*CUNY*) - August 16: Ground and Paradox, Boris Kment (
*Princeton*) - August 9: Donkeys under Discussion, Robert Henderson (
*Arizona*) - July 19: A moderate-grain theory of states of affairs, Dan Marshall (
*Lingnan*)

## 2019 Semester 1 Seminars

- June 7: Assertions, Denials, Questions, Answers and the Common Ground, Greg Restall (
*Melbourne*) - May 31: On the quasi-proof method, Shawn Standefer (
*Melbourne*) - May 24: Coherence and deductive interpolation, Tomasz Kowalski (
*La Trobe*) - May 10: Metarevisions, Jake Chandler (
*La Trobe*) - April 12: The limits of relevance, Shawn Standefer (
*Melbourne*) - April 5: Algorithmic randomness and Bayesian convergence to the truth, Francesca Zaffora Blando (
*Stanford*) - March 29: Proof Theory Appreciation Day, no seminar
- March 22: Accuracy and Doxastic Bribes , Brian Weatherson (
*Michigan*) - March 15: Collection Frames for Substructural Logics, Greg Restall (
*Melbourne*) - March 1: Consequence theoretic semantics and entailment, Dave Ripley (
*Monash*) - February 22: A Lindström theorem for propositional intuitionistic logic, Guillermo Badia (
*Queensland*) - February 15: Another Plea for Slaney’s General Logic, Shay Logan (
*Macalester*)

## 2018 Events

- August 11: BradyFest: Workshop in honour of Ross Brady (Graham Priest, Lloyd Humberstone, Dave Ripley, Tomasz Kowalski, Ed Mares)
- June 12-13: Melbourne-Glasgow Formal Philosophy Workshop (Greg Restall, Shawn Standefer, Dana Goswick, Berta Grimau, Adam Rieger, Toby Handfield, Jake Chandler)

## 2018 Semester 2 Seminars

- December 20: Some Results in Proof Theory and Automated Reasoning, Bruno Woltzenlogel Paleo (
*Input Output HK*) - December 20: On circular reasoning and proof theory, Anupam Das (
*Copenhagen*) - December 14: New Work for a (Formal) Theory of Grounds, Greg Restall (
*Melbourne*) - December 14: Issues in Logical Relations and Logical Independence, Lloyd Humberstone (
*Monash*) - November 30: Forgetting What Agents Know: Removing (Positive) Information in Epistemic Logic, Timo Eckhardt (
*Melbourne*) - November 23: How much inconsistency is too much inconsistency?, Zach Weber (
*Otago*) - November 23: Tense Logics, Structural Proof Theory, and Effective Translations, Tim Lyon (
*Technische Universität Wien*) - November 16: New work for a hierarchy of universals, John Bigelow (
*Monash*) and Martin Leckey (*Melbourne*) - November 9: Language, logic and shrieking: blunting some Scharp objections, Jc Beall (
*UConn*) - October 26: Actuality in non-classical logics, Shawn Standefer (
*Melbourne*) - October 19: Core type theory I: implication and negation, Dave Ripley (
*Monash*) - October 5: Relational Hypersequents for Modal Logics, Samara Burns (
*Calgary*) - September 14, Logical Nihilism: Could there be no logic?, Gillian Russell (
*UNC Chapel Hill*) - September 7: Counterfactuals in Possibility Semantics, Paolo Santorio (
*UC San Diego*) - August 24: Global Expression for Canonical Rules, Rohan French (
*UC Davis*) - August 17: Language & Metaphysics Conference
- August 10: An Alternative Semantics for Relevant Logic with Identity, Shawn Standefer (
*Melbourne*) - July 27: Pursuit of Platonistic Tethering to the Truth, Hanti Lin (
*UC Davis*) - July 20: Dealing with self-reference: the Revision Theory and Kripke Construction, Catrin Campbell-Moore (
*Bristol*) - July 20: Supervaluation-style Truth without Supervaluations, Johannes Stern (
*Bristol*)

## 2018 Semester 1 Seminars

- June 8: When Freedom Becomes a Liability — Reflections on the Variable, Kai Wehmeier (
*UC Irvine*) - June 1: New work for a theory of intentionality, Alex Sandgren (
*ANU*) - May 18: Did Tarski refute Frege?, Karen Green (
*Melbourne*) - May 11: To Be Modest, Must I Be Inaccurate?, Jennifer Carr (
*UC San Diego*) - May 4: Algebra and Artificial Intelligence, Daniel Murfet (
*Melbourne*) - April 27: The Logic of Truth-Making, Cathy Legg (
*Deakin*) - April 20: Counterlogicals, Alex Kocurek (
*UC Berkeley*) - April 13: Classical Counterpossibles, Patrick Girard (
*Auckland*) - April 6: Trust-sensitive Belief Revision, Richard Booth (
*Cardiff*) - March 23: Reading group on Petrolo and Pistone’s “On Paradoxes in Normal Form”
- March 16: Two plans in the semantics of relevant logic, Takuro Onishi (
*Kyoto*) - March 9: Putting Frege’s Puzzle to Kripke’s Test, Jonathan Berg (
*Haifa*) - March 2: isomorphisms in a category of propositions and proofs, Greg Restall (
*Melbourne*) - February 23: Free lattices proof theoretically, Tomasz Kowalski (
*La Trobe*) - February 23: Proof-theoretic analysis of negative translations in substructural logics, Hiroakira Ono (
*JAIST*) - February 9: Bisimulation invariance for monadic second-order logics, Yde Venema (
*ILLC*)

## 2017 Semester 2 Seminars

- November 24: If I were Spiderman, I could climb walls, Patrick Girard (
*Auckland*) - November 7: Logical Form and the Vernacular Revisited, Robert Stainton (
*Western Ontario*) - November 3: Metainferences, Rohan French (
*Monash*) - October 27: Extended Models: An Alternative Semantics for Action Model Logic, Timo Eckhardt (
*Melbourne*) - October 20: Four-Valued First-Order Semantics for RW, Shay Logan (
*North Carolina State*) (slides) - October 13: Fictional Objects, Nonmodal Objects, and LEM Violations, Dana Goswick (
*Melbourne*) - October 6: Counterfactuals as diverse claims about how things are, Katie Steele (
*ANU*) - September 28: Truth in a Logic of Formal Inconsistency: Do consistency operators live up to their promises?, Lavinia Picollo (
*MCMP*) - September 22: Negation on the Australian Plan, Greg Restall (
*Melbourne*) - September 8: Revisiting operational models for relevant logic, Shawn Standefer (
*Melbourne*) - September 1: A Preliminary Non-alethic Informational Logic, Bruce Long (
*Sydney*) - August 25: The Modal Logic of Confidence, Ted Shear (
*Queensland*) - August 18: Counterfactuals, Centering, and the Gibbard-Harper Collapse Lemma, Melissa Fusco (
*Columbia*) - August 11: Logical Theory Choice: the Case of Vacuous Counterfactuals, Graham Priest (
*CUNY*) - July 28: Semantics, unrestricted quantification and set theory, Dan Marshall (
*Lingnan*)

## 2017 Semester 1 Seminars

- May 19: A Category of Classical Proofs, Greg Restall (
*Melbourne*) - May 19: Three touchstones for evaluating norms of belief formation, John Wilcox (
*Melbourne*) - May 12: Logical Realisms, Tuomas Tahko (
*University of Helsinki*) - May 12: Logic and human learning, Charles Kemp (
*Carnegie Mellon*) - May 5: Logical Pluralism from a Pragmatic Perspective, Teresa Kouri (
*OSU*) - May 5: Derivatives in logic via coalgebras, Dan Murfet (
*Melbourne*) - April 28: Diagonal Theory, Toby Meadows (
*Queensland*) - April 21: Two approaches to revision-theoretic truth, Shawn Standefer (
*Melbourne*) - April 7: Prior before he met formal logic, Adriane Rini (
*Massey*) - March 24: Valuations (bi, tri, and tetra), Dave Ripley (
*UConn*) - March 17: Modal independence in S5: The view from proof nets, Rohan French (
*Monash*) - March 17: Many-valued modal logics, coalgebraically, Marta Bilkova (
*Charles University*) - March 10: The number of logical values, Ross Brady (
*La Trobe*) - March 10: Proof Surgery for Ordered Structures, George Metcalfe (
*Bern*) - March 3: Generating (generalized) quasivarieties of algebras of logics, Carles Noguera i Clofent (
*Czech Academy of Sciences*) - March 3: Substructural Logics: A Logical Glimpse at Residuated Lattices, Petr Cintula (
*Czech Academy of Sciences*) - February 24: From Hypersequents to Parallel Processes, Francesco Genco (
*Technische Universität Wien*)

## 2016 Events

- Fine Workshop (December 19). Kit Fine (
*NYU*), Rohan French, Dan Marshall (*Lingnan*), Sam Cumming (*UCLA*) - Logic Day (December 9): Greg Restall (
*Melbourne*), Lloyd Humberstone (*Monash*), Tomasz Kowalski (*La Trobe*), Hiroakira Ono (*JAIST*) - Aboutness Workshop (July 16). Stephen Yablo (
*MIT*), Frank Jackson (*ANU*), Laura Schroeter (*Melbourne*), Greg Restall (*Melbourne*), Rohan French, Antony Eagle (*Adelaide*), and Dan Marshall (*Lingnan*) - Australasian Association for Logic 2016 Conference (June 30-July 2). The keynote was given by Sara L. Uckelman (
*Durham*). - Deontic Logic Workshop (June 28). Hannah Clark-Younger (
*Otago*), Melissa Fusco (*Columbia*), and Kai Tanter (*Melbourne*)

## 2016 Semester 2 Seminars

- November 11: The Tukey order and non-directed partial orders, Ana Mamatelashvili (
*Melbourne*) - November 4: The Many Faces of Modal Logic, Dirk Pattinson (
*ANU*) - October 28: Probabilistic Proof of an External World, Nicholas DiBella (
*Stanford*) - October 28: Further Adventures in Natural Deduction, Shawn Standefer (
*Melbourne*) - October 21: Expressive Incompleteness of Two-Dimensional Modal Logic, Fabio Lampert (
*UC Davis*) - September 30: Contra Counterfacts, Alan Hájek (
*ANU*) - September 23: Outline of a theory of appeal to intuition in formal reasoning, Salman Panahy (
*Melbourne*) - September 16: Adventures in Natural Deduction, Shawn Standefer (
*Melbourne*) - September 9: A Dialogical Account of Logical Pluralism, Rohan French (
*Groningen*) (slides) - September 2: Reading group on Poggiolesi’s “Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics”
- August 26: Contingency and Ideality in Generic Sentences, Matt Teichman (
*Chicago*) (handout) - August 19: Two odd things about computation, Daniel Murfet (
*Melbourne*) - August 12: What Proofs and Truthmakers are About, Greg Restall (
*Melbourne*) (slides) - August 12: Substructural logics with fixpoints, Kazushige Terui (
*Research Institute for Mathematical Sciences*) (slides) - August 5: What Is “Real” in Probabilism?, H. Orri Stefánsson (
*Institute for Futures Studies*) - August 5: Serial Composition and Fusion, Andrew Tedder (
*UConn*)

## 2016 Semester 1 Seminars

- May 6: Terms for Classical Sequents: Proof Invariants and Strong Normalisation, Greg Restall (
*Melbourne*) (slides) - April 29: Emmy Noether and the History of Mathematical Structuralism: Invariants and Ideals, Audrey Yap (
*University of Victoria*) - April 15: Reading Group: Light Linear Logic
- April 8: Reading Group: Proof Nets
- April 1: From Iterated Revision to Iterated Contraction, Jake Chandler (
*La Trobe*) - March 31: Dependence, Necessity, and Atemporality, Julian Cole (
*Buffalo State*) - March 11: Bad Worlds, Patrick Girard (
*Auckland*) (video) - March 4: Stratifications and complexity in linear logic, Daniel Murfet (
*Melbourne*) (slides) - February 26: Linguistic Convention and Paradox, Sam Cumming (
*UCLA*)

## 2015 Events

- Melbourne Logic Workshop (December 11): Jake Chandler, Lloyd Humberstone, Greg Restall, Shawn Standefer
- Melbourne Logic Workshop (December 10): Daniel Murfet, Ross Brady, Tomasz Kowalski, Szabolc Mikulas

## 2015 Semester 2 Seminars

- October 16: Natural Language and Ontological Illusions, Karen Green (
*Melbourne*) - October 9: Reading group on Bednarska and Indrzejczak’s Hypersequent Calculi For S5
- September 25: Revision theory and non-classical approaches to circular definitions, Shawn Standefer (
*Melbourne*) - September 11: The Use of Definitions and their Logical Representation in Paradox Derivation, Ross Brady (
*La Trobe*) - September 4: Does Language Variance tell us anything about the World?, Aaron Guthrie (
*Bristol*) - August 28: Paraconsistent Justification Logic, Che-Ping Su (
*Melbourne*) - August 21: A Carnapian Defence of Metaphysics, Darren Bradley (
*Leeds*)

## 2015 Semester 1 Seminars

- June 5: Extensions of Modal Logics Based on Contexts, Saša Buvac.
- May 28: Analytic cut and interpolation in bi-intuitionistic logic, Tomasz Kowalski (
*La Trobe)* - May 15: A hypersequent approach to modal logic, Andrew Parisi (
*Connecticut*) - May 8: Merely Verbal Disputes and Coordinating on Logical Constants, Greg Restall (
*Melbourne*) - April 24: Contraction and Closure, David Ripley (
*Connecticut*)

## 2014 Events

- Melbourne Logic Day 2 (September 19) Tomasz Kowalski, Ross Brady, Karen Green, Rohan French and Lloyd Humberstone.
- Melbourne Logic Day 1 (May 30) Rohan French, Lloyd Humberstone, Greg Restall, Tomasz Kowalski

## 2014 Semester 2 Seminars

- November 28: Francesco Berto’s ‘not’s, Hartley Slater (UWA)
- November 14: ‘Ultra’ natural numbers based on relative cardinalities of subsets of N+, Neil Pescod
- October 31: Exclusion vs Explosion, Francesco Berto (
*Amsterdam*) - October 10: Topological Dynamic Logic, an introduction, Jen Davoren (
*Melbourne*) - September 5: Towards Fixed Point Models for Theories of Properties and Classes, Greg Restall (
*Melbourne*) - August 29: Barriers to Entailment, Gillian Russell (
*Washington University in St. Louis*) - August 22: Paraconsistent Algorithms, Zach Weber (
*Otago*) - August 15: From paraconsistent logic to dialetheic logic, Hitoshi Omori (
*CUNY Graduate Center*) - August 15: What do the Liar and the Sorites have in Common?, Dave Ripley (
*Connecticut*) - August 8: Non-Normal Worlds and Ceteris Paribus Conceivability, Francesco Berto (
*Amsterdam*) - August 1: The End of Inclosure? Not so Fast, Graham Priest (
*CUNY/Melbourne*) - July 25: Torn by Reason: Łukasiewicz on the Principle of Contradiction, Graham Priest (
*CUNY/Melbourne*)

## 2014 Semester 1 Seminars

- June 6: Being Necessary Really Isn’t the Same As Being Not Possibly Not, Dana Goswick (
*Melbourne*) - May 23: Łukaseiwicz’s introduction to symbolic logic: What was he doing?, David Sweeney (
*Melbourne*) - May 9: Tense Logic and Relevant Logic, Tomasz Kowalski (
*La Trobe*) - March 27: Arthur Prior: Time and Modality, Dana Goswick (
*Melbourne*) - Arthur Prior
*Time and Modality*Reading Group

## 2013 Events

- Melbourne Logic Day (November 1), Michał Stronkowski, Lloyd Humberstone, Greg Restall, Rohan French
- Public Lecture (September 12), Three Cultures—What Place for Logic in the Humanities?, Greg Restall (
*Melbourne*) - Australasian Association for Logic Conference (June 15-16).
- Priestfest (June 12-14), Ricki Bliss, Yasuo Deguchi, Jay Garfield, Chris Mortensen, Greg Restall

## 2013 Semester 2 Seminars

- August 30: The Real Logic of Individuals, Hartley Slater (
*Western Australia*) - July 26: Pluralism and Harmonies, Bogdan Dicher (
*Melbourne*) - Algebraic Proof Theory Reading Group

## 2013 Semester 1 Seminars

- May 3: Fundamental as ineliminable, Michael Raven (
*Victoria*) - April 19: My favourite three-valued logic, Brian Davey (
*La Trobe*) - March 22: Formal tools for confusion, Dave Ripley (
*Melbourne, Connecticut*) - March 15: Aristotle-Fine Logic, Tomasz Kowalski (
*La Trobe*) - March 8: How Classical Derivation Preserves Warrant, Greg Restall (
*Melbourne*) - Galatos and Jipsen Reading Group

## 2012 Semester 2 Seminars

- November 30: Logic — The Big Picture, Ross Brady (
*La Trobe*) - November 23: Platonic Semantics, Justin Clarke-Doane (
*Monash*) - November 16: Structural Dilemmas, Bogdan Dicher (
*Melbourne*) - November 9: Staying Regular?, Alan Hájek (
*ANU*) - November 2: Naturalness and Necessity, Alastair Wilson (
*Monash*) - October 26: The analysis of value concepts, Toby Handfield (
*Monash*), and - October 26: Well structured program equivalence is highly undecidable, Marcel Jackson (
*La Trobe*) - October 12: The Anti-Modalist Postion, Dana Goswick (
*Melbourne*) - September 21: One day Logic Workshop
- September 14: The dual method: A logical approach to optimisation, John Slaney (
*ANU*) - September 7: Some substructural arithmetic, Dave Ripley (
*Melbourne*) - August 31: Exotic Sequent Calculi for Truth Degrees, Greg Restall (
*Melbourne*) - August 24: Fusion and Confusion, Graham Priest (
*Melbourne*) - August 17: Polyvalent Logics, Graham Priest (
*Melbourne*) - August 10: Modal logics good for Ontological Arguments, Tomasz Kowalski (
*La Trobe*) - July 27: Bradwardine Hypersequents, Greg Restall (
*Melbourne*)