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