consequently.org/news

About

I'm Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. [Email: greg at consequently.org; Skype: greg_restall; Post: Department of Philosophy, University of Melbourne, Parkville 3010, Australia.]

Writing

These are the three last modified entries on my writing page.

“Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” to appear in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. →
[with Rebecca Kukla and Mark Lance] Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, to appear. →
“Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. →
“Anti-Realist Classical Logic and Realist Mathematics,” under revision. →
“Proof Theory and Meaning: on second order logic,” to appear in the Logica 2007 Yearbook, Filosofia. →

Classes

In Semester 2, which starts on July 31, I’ll be teaching an honours seminar 161-438 Logic and Philosophy, in which we cover proof theory and its applications to semantics.

Events

AAL2007: the annual conference of the Australasian Association for Logic, University of Melbourne November 9 to 11, 2007.

Recent Past

University of Melbourne Philosophy Undergraduate Workshop, University of Melbourne September 21 to 23, 2007.

Logic Colloquium 2007, Wrocław, Poland, July 14-19, 2007.

1st GPMR Workshop on Logic & Semantics on Medieval Logic and Modern Applied Logic, Rheinische Friedrich-Wilhelms-Universität Bonn, Germany, on June 28-30, 2007.

Logica 2007, Hejnice Monastery, Czech Republic, 18-22 June 2007.

Heart of Philosophy Café talk and discussion on “What Marx, Freud and Nietzsche have taught me about belief in God”. Tuesday May 8, 7--9pm in the Merrick's General Store.

Survived so far…

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.)

Posted 08:59 PM on November 18, 2005

Comments

Hey, that’s a hypersequent calculus! Fun, fun.

One day I’ll get my act together and write up my ideas about vagueness. Graham’s seen my first talk on it a year ago. Maybe then I’ll get to play with the biggies too.

Richard Zach , November 19, 2005 03:55 AM

Sounds like a lot of good talks! You seem to have linked both “Graham” and “JC” to Graham’s webpage.

Kenny Easwaran , November 19, 2005 09:19 AM

Thanks! It’s fixed.

The hypersequent calculus is fun. I’ve been fiddling in getting a simple prolog implementation done, following some hints of Roy’s. It works for propositional S5. Once I’ve got the thing modified to spew out LaTeX for the proofs it constructs, I’ll be happy.

Greg Restall , November 19, 2005 10:25 PM

Can’t say I know much about all of the above, but enjoying keep up with your wanderings all the same!

The saddest things about these sabbaticals is that they come to and end. May the refreshment continue.

Simon Carey Holt , November 20, 2005 02:54 AM

Hi Greg! I can’t say I understand any of your philosophical musings but I’m very glad to have found your webspace - courtesy of Katherine, who pointed me this way last Sunday.

I had sent emails to your Consequently addresses but no replies!

I hear you guys are homeward bound soon. I do hope you won’t leave the UK without attending a Steven Isserlis concert!

Give Zack hugs from Isabel, Luisa and Martin and myself. We look forward to seeing you all again.

Kristin

PS The Henrys are off for a three year adventure in Alaska!

Kristin De Vargas , November 22, 2005 10:24 PM

Some return, some head off. Looks like we are going to pass like ships in the night. You seem to have had quite a time of it. Congratulations on your academic advancements and on surviving 6 months in the Northern Hemisphere. The weather is fine Down Under and the smell of sausages sizzling and onions burning on the BBQ is beckoning you home. Hope you get some time to rest and relax as you settle in. Christmas Cheer and hugs all round from Lindy, Nathan, Gen and Isaac

Lindy Henry , December 22, 2005 06:21 PM