July 2, 2015

A presentation for the Australasian Association for Logic Conference at the University of Sydney. I will discuss Tim Williamson’s arguments for the non-contingency of existence (see his Modal Logic as Metaphysics, 2013) and explain how and why they might be reasonably resisted. Along the way, I’ll try to explain the impact of proof theory for theories of meaning and for metaphysics.

  • Handout for the seminar presentation.
  • Slides for the seminar presentation.


I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.