Testing, testing, 1, 2, 3

Just testing to see if this thing is on. Yes, it seems to be working. How about that!? It’s pretty rusty, but apparently this site still works. That’s good to see.

Here’s a few items of news.

  • I’ve been way too busy coordinating the Philosophy program at the University of Melbourne to be posting here. It’s been a busy ride for the year, but it’s been fantastic. It looks like I’ll be in the saddle again for 2011, so hopefully having learned how to hold the reins this year, I’ll be able to post here a little more next year. No promises though.

  • I’ve been writing. Doing lots of writing. You’ll see a few changes on the writing page. I’m most happy with the new paper “A Cut-Free Sequent System for Two-Dimensional Modal Logic: and why it matters.” There’s a little philosophy there, and a little proof theory, too. It’s not too long (just 24 pages), and I’d appreciate your comments. Head over to the paper page to download the paper and post your comments. (Make sure you admire the in-line diagrams on page 16. That’s LaTeX, with no postprocessing.)

  • My next travels involve a trip to Guangzhou to take part in SELLC 2010. That’s going to be a blast, helping teach a Winter School to a bunch of enthusiastic students, and with a great slate of lecturers. It’ll be good to catch up with Samson, Robin, Mehrnoosh and Dag, and to meet the rest of the lecturers, as well as my colleagues at the ILC at Sun Yat-Sen University. On the way home from Guangzhou, I’ll take a quick side trip to Boston for the Eastern APA, to contribute to a session on the future of logic, with John Horty and Johan van Benthem. What fun! This will be my first ever APA, so if you have any advice for an APA neophyte, do let me know.


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, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.


To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at  @consequently@hcommons.social, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.