Recent News

Leaving Melbourne

30 June 2021

As June 2021 turns to a close, this is my last official day at The University of Melbourne. I’ve taught my last classes, the marking for the semester is all done, I’ve wound up all my committee work, I’ve supervised my last undergraduate theses, and wrapped up all the end-of-semester administration. I’m now packing up my office (which I’ve rarely seen over the last 18 months) and tying up lots of loose ends.

Read More…

As I write this, the first week of the second semester of 2020 is nearing its end, and I’ve taught my first two seminars in Logical Methods, my main undergraduate teaching responsibility for this semester. Melbourne has just entered Stage 4 of its lockdown, as we attempt to deal with the ongoing community transmission of COVID-19. The streets are quiet, it has been over four months since I’ve been on campus, and all my teaching is done from the chair at my desk in my study, peering into the 15 inch screen of my laptop, with the green cyclops dot in the middle of the top screen bezel showing that yet again, my image is being transmitted across the internet, to students scattered across Melbourne, across Australia, and across the world.

Read More…

Notes from a Pandemic

27 May 2020

I’ve been up to a few things during the pandemic. Quite a few things, it seems. Here are links to some of the traces you can find elsewhere on the internet. I wouldn’t say that I’ve become good at using Zoom, but I have been doing a heck of a lot of it. My three subjects for this semester moved online, and running seminars, workshops, classes over Zoom has become a part (only a part) of keeping the ship going.

Read More…

Teaching Logical Methods

14 November 2019

It’s been a big year. At the start of 2019, Shawn Standefer and I decided to throw all our cards in the air and upend the curriculum for the Level 2 logic unit in the philosophy program here at Melbourne. We wrote 200 pages of a draft textbook (while I really should have been finishing my other book). Shawn designed and implemented a whole raft of multiple choice practice questions, and we worked on a range of class activities to help our class of 60 students grapple with the material.

Read More…

Summer Reading 2018-2019

27 January 2019

This summer break, I set aside some time to turn off my devices, unplug from the internet, and read some honest-to-goodness books. Some I received from friends and family as Christmas or Birthday gifts (thanks, Sharon, Zac, Neil!), and some I had accumulated on my “to-read” pile waiting for just the right time. Here are some short reviews of my summer reading pile, in case you’d like to follow along.

Read More…

Recent Writing

  • Proofs and Models in Philosophical Logic: to appear in Cambridge Elements. Abstract  pdf
  • Proof, Rules and Meaning: book manuscript in progress. Abstract
  • “Geometric Models for Relevant Logics”, p. 223–239 in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Edited by Ivo Duntsch and Edwin Mares, Springer. Abstract  pdf
  • “Speech Acts & the Quest for a Natural Account of Classical Proof,” article in progress. Abstract  pdf
  • (with Shawn Standefer) “Collection Frames for Substructural Logics,” article in progress. Abstract  pdf

Recent & Upcoming Presentations

Recent & Upcoming Classes


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.