Home on consequently.org

Two kinds of formal semantics for negation can help us understand puzzles in the psychology of reasoning: the Australian Plan semantics, which generalises the account of negation found in frame semantics for intuitionistic logic, relevant and substructural

I recently noticed that over the last day or so I’d got increased traffic to this rarely-visited website.

This is an intensive class on logical bilateralism, taught by Sara Ayhan and me at esslli 2026.

Abstract: Graham Priest’s simple three-valued logic LP has many curious properties.

Abstract: In this talk I will introduce a simple hypersequent calculus for the propositional modal logic S5, explaining how this representation encodes a natural form of reasoning about possibility and necessity.

Abstract: Graham Priest’s simple three-valued logic LP has many curious properties.

Abstract: Graham Priest’s simple three-valued logic LP has many curious properties.

Abstract: In this talk I will introduce a simple hypersequent calculus for the propositional modal logic S5, explaining how this representation encodes a natural form of reasoning about possibility and necessity.

This Easter season, my church marked the occasion with an art exhibition on the theme of Betrayal, and some short reflective evening services on Maundy Thursday, Good Friday, and Holy Saturday.

This Easter season, my church marked the occasion with an art exhibition on the theme of Betrayal, and some short reflective evening services on Maundy Thursday, Good Friday, and Holy Saturday.

Abstract: Starting with the his much-discussed 2006 paper “Must Do Better,’ Timothy Williamson has offered a series of methodological reflections and recommendations for philosophers.

The St Andrews Union Debating Society is a long-standing institution around these parts.

py4612: Advanced Logic applies the tools of formal logic to make logic itself the object of study.

This is a longer, more relaxed and interactive version of the talk “Why Logic Matters for Philosophy, and why Philosophy Matters for Logic” that I first gave as a part of the Inaugural Lecture Showcase of the Philosophy Department.

I gave a short, 25 minute lecture, entitled “Why Logic Matters for Philosophy, and why Philosophy Matters for Logic” as a part of the Inaugural Lecture Showcase of the Philosophy Department.

I will be giving the 2025 Wendy Huang Lectures at the invitation of the Taiwan Association for Logic, Methodology and Philosophy of Science, at National Taiwan University, in Taipei, from October 21 to 23.

Alongside coordinating and lecturing in PY2010: Intermediate Logic this semester, I have the fun task of teaching one of the tutorial groups, together with our enthusiastic and capable graduate student tutors.

In October, I will be giving the 2025 Wendy Huang Lectures at the invitation of the Taiwan Association for Logic, Methodology and Philosophy of Science, at National Taiwan University, in Taipei.

I’ve returned from a productive semester of research leave, and I’m enjoying being back in the classroom teaching Intermediate Logic.

py2010: Intermediate Logic is a University of St Andrews undergraduate subject in which we cover important results in logic to philosophy students.

This paper is a series of reflections on Ross Brady’s favourite substructural logic, the logic MC of meaning containment.

This is my next book-length writing project.

Abstract: Starting with the his much-discussed 2006 paper “Must Do Better,’ Timothy Williamson has offered a series of methodological reflections and recommendations for philosophers.

Abstract: Contemporary type theorists share interests and concerns with philosophical logicians.

Abstract: Starting with the his much-discussed 2006 paper “Must Do Better,’ Timothy Williamson has offered a series of methodological reflections and recommendations for philosophers.

Last century, Michael Dummett argued that the principles of intuitionistic logic are semantically neutral, and that classical logic involves a distinctive commitment to realism.

Abstract: In this talk, I will defend contingentism, the idea that some things exist contingently.

Abstract: In this talk, I will defend contingentism, the idea that some things exist contingently.

Abstract: In this talk, I will defend contingentism, the idea that some things exist contingently.

Abstract: In this talk, I will defend contingentism, the idea that some things exist contingently.

Abstract: In this talk, I will defend contingentism, the idea that some things exist contingently.

Abstract: Twenty-first century mathematics has seen the rise of the proof assistant, and mathematical practice has changed significantly with the rise of these new tools.

Abstract: In this talk, I will defend contingentism, the idea that some things exist contingently.

In a few days, I’m heading off to North America, for a brief trip to give a few talks, at Chapman University in California, Calgary University in Alberta, and finally, a brief stop at CUNY in New York.

In this paper, I show how to incorporate insights from the model-theoretic semantics for negation (insights due the late J.

Abstract: Suppose we have a language involving non-denoting singular terms.

This month’s reading was mostly nonfiction, featuring Kevin Hart’s Contemplation (The Movements of the Soul), Haruki Murakami’s essay collection Novelist as a Vocation, the harrowing Chasing Shadows: The Life and Death of Peter Roebuck by Tim Lane and Ell…

In this paper, I defend contingentism, the natural idea that some things exist contingently.

Happy New Year, everyone!

I’ve completed the moderation of the exam for Intermediate Logic, and with that, the final administrative responsibilities for this semester are complete.

Abstract: What does the semantically anti-realist revisionary programme of Michael Dummett have to do with contemporary work on proof assistants?

My last PhD student at the University of Melbourne has completed his project, and is now Dr John Cleary.

This week, Aaron Cotnoir’s Instruments of Unity project and I are hosting a short visit from our friend (and my PhD supervisor), Professor Graham Priest.

I mentioned yesterday that this month I’ve enjoyed rereading Kim Stanley Robinson’s Mars Trilogy.

This teaching semester has been keeping me so busy that I have not kept up with my monthly reading logs.

Abstract: Suppose we have a language involving non-denoting singular terms.

Abstract: Michael Dummett, in a presentation to the Aristotelian Society 65 years ago (in 1959) inaugurated a long-running debate over semantic realism and anti-realism, and the issue of settling an appropriate logic as a necessary prolegomenon to fruitful

Generic claims, such as Birds fly, Men are violent, and Mosquitos carry Ross River Fever, seem pervasive across human thought and talk.

Abstract: When I use a calculator to tell me that 245 × 46 = 11,270, I learn something that I didn’t know before, even though calculators don’t have any beliefs or knowledge.

py2010: Intermediate Logic is a University of St Andrews undergraduate subject in which we cover important results in logic to philosophy students.