Logic Seminar

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.

2021 Semester 1 Events

Australasian Association for Logic Conference 2021

2021 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.

June 4: Breaking the Domination of the Word over the Human Spirit, Peter Fritz (ACU)
May 7: A Semantic Theory of Redundancy, Simon Goldstein (ACU) & Kyle Blumberg (ACU)
April 23: Logical Realism, Anti-Exceptionalism, and the Cost of Closure, Michaela McSweeney (Boston)
April 16: Carnap is not a pluralist (or monist, or nihilist), Teresa Kouri Kissel (Old Dominion)
April 9: Modelling epistemic forgetting in a multiagent system, Timo Eckhardt (Melbourne)
March 5: A Two-Dimensional Logic for Two Paradoxes of Deontic Modality, Melissa Fusco (Columbia)
February 12: Mathematical Pluralism Revisited, Lavnia Picollo (NUS)
February 5: Composing Truthmakers, Justin Bledin (Johns Hopkins)

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)