Survived so far...
Friday, November 18, 2005 at 08:59PM
I’ve given my two talks here in St. Andrews, with really useful discussion in both of the talks. In the philosophy talk, questions ranged from matters of meaning theory, metaphysics and epistemology of possibility and necessity. Thanks especially to Daniel Nolan, Carrie Jenkins, Marcus Rossberg, Ole Thomassen Hjortland, Crispin Wright, Stephen Read and other people whose webpages I haven’t yet found.
Then on the next day in my talk in computer science, I had a great discussion with Roy Dyckhoff and Robert Rothenberg on converting the sequent system in my paper on S5 into one with invertible rules, which can then be used as an implementation. It seems to work. (Photographic evidence is here.)
Yesterday, I went to three other talks on truth and paradox, by Hartry, Graham and JC. Now that I’m thoroughly over-paradoxed, I’ve got the morning to recover before we attempt to solve the problems of vagueness. (This should be fun because I have no settled opinion on matters of vagueness, so I’ll look at this more dispassionately, and I’ll be free to heckle from the back of the audience.)
News Archive
2002 | 2003 | 2004 | 2005 | 2005 Redesign – Teaching in Semester 1 – Back to work tomorrow – Work, work, work, work... – Matt and Nick talk Dialetheism – Darren Blogging for Tsunami Relief – Happiness is... – I've been writing – Wikis are fun – Get your kicks on Route 55 – Comments on Weblogs – Please Help Us #1: On Self-Saucing Pudding – University Library Proxy Bookmarklet – Logic Books at print.google.com – Seminars at Otago – Searching in Mac OS X Tiger – We're off in almost a month: I've got to get ready! – Skype – Teaching in Semester 2 – The Flight of the Balloon – Rearranging – Logic Colloquium 2005 and ESSLLI 2005 – On applescript and php, and an archive page – AJL – Loud – Up, up and away – In Århus – Keep up with our travels: the map – Off to Athens... – Legroom – Logic Colloquium 2005 Day 1 – Logic Colloquium 2005 Day 2 – Logic Colloquium 2005 Day 3 – Logic Colloquium 2005 Day 4 – Denmark, Oxford, Edinburgh … – … Iona, Glasgow, Oxford. – Reflections on Iona, part 1 – Reflections on Iona, part 2 – Cut elimination generalised – Week 1 – Time flies when... – Survived so far... – About to leave Oxford – 2006 | 2007 | 2008 | 2009 | 2010 |
This is a news item at consequently.org. There are many others at the archive page. You can add comments at the end.
About
I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.
Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.
To subscribe to this site, either read the full feed 
of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.
This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2009-01-07 at 10:59AM.
Thought
To poke fun at philosophy is to be a philosopher.
— Blaise Pascal.