Recent News

The view from my desk.

In yesterday’s Logic Seminar, Tomasz Kowalski introduced some lovely results about analytic cut and interpolation in sequent systems for bi-intuitionistic logic. After the seminar, Lloyd Humberstone, Dave Ripley, Tomasz and I got talking about various features of bi-intuitionistic logic, some of which should be more well known than they are … so I may as well post them here. Read on, if you’re into non-classical logic, algebras and frames.

Read More…

I’m back from last week’s quick trip to Oxford for a workshop on Verbal Disputes, just in time to wrap up the last week of teaching in my two undergraduate units as the semester winds up here in Melbourne.

This was an excellent two-day workshop, capably organised by Trevor Teitel, and funded by the Ertegun Graduate Scholarship Programme for the Humanities. There was a lot to think about in the papers presented at the conference, and the informal discussions between talks. In another entry, I’ll comment on Cian Dorr’s talk “Pinning Down the Meanings of Quantifiers.” In this entry I’ll make some general remarks about the workshop and, in particular, about Amie Thomasson’s talk “Metaphysical Disputes and Metalinguistic Negotiation”.

A highlight of a workshop like this is meeting people, maintaining contact with those you’ve met before, and making new connections with new friends and colleagues. While there were lots of different views expressed at the conference, there was enough common ground—and more than enough good will and good humour—to have fruitful and productive conversations. This was a great workshop.

Read More…

I'm here for May 20 and 21

Tomorrow I head off on a flying visit to Oxford for a Workshop on Verbal Disputes and their Philosophical Significance. I’m looking forward to catching up with old friends and making new ones. The lineup for the workshop is fantastic, so it looks like it’ll be a great time. If you’re in the area, please do come along and say “hi”. If you can’t come, I’ve posted the slides and handout for my talk here.

Read More…

Here’s another view of my building at work, in the autumn light.

Old Quad, back entrance

A photo posted by Greg Restall (@consequently) on

Read More…

Recent Writing

  • “Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox,” to appear in Foundations of Logical Consequence, edited by Colin R. Caret and Ole T. Hjortland, Oxford University Press, 2015 Abstract  pdf
  • “Normal Proofs, Cut Free Derivations and Structural Rules,” Studia Logica 102:6 (2014) 1143–1166. Abstract  pdf
  • “Pluralism and Proofs,” Erkenntnis 79:2 (2014) 279–291. Abstract  pdf
  • “Assertion, Denial and Non-Classical Theories,” pp. 81–99 in Paraconsistency: Logic and Applications, edited by Koji Tanaka, Francesco Berto, Edwin Mares and Francesco Paoli, 2013. Abstract  pdf
  • Special Issue of the Logic Journal of the IGPL on Non-Classical Mathematics, Volume 21, issue 1, 2013. Abstract  pdf

Recent & Upcoming Presentations

Recent & Upcoming Classes


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



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.