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.

“Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. →
“Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli →
“Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26-36. →
[with Tony Roy] “On Permutation in Simplified Semantics,” to appear in the Journal of Philosophical Logic. →
“Proof Theory and Meaning: on second order logic,” pp 157-170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. →

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.

Tartu

If this is Thursday, it must be Tartu. The conference starts today, and I’m up first. The nerves have started to jangle just a bit, since the audience is about as high-powered as any in my experience at international conferences.

It’s just as well as those who intimidate me the most this time around (due to their all-round awesomeness combined with the fact that this is the first time I’ve met them) — Per Martin-Löf, Dag Prawitz and Johan van Benthem — are uniformly warm and personable. (I can’t help but wonder if that will make it better or worse when the knife gets sunk in to my position.)

Depending on time, attention and lots of other factors, I’ll try blogging a bit from the conference, though I won’t promise to keep up through the entire thing. So, if you’re here and I don’t mention your presentation, please don’t hold that against me. It’s hard enough to keep your attention up over an entire conference, let alone write something sensible, meaningful and worth-posting-on-the-internet about each and every talk at a conference.

My talk starts in roughly three hours from now. Wish me luck!

Posted 01:19 PM on August 28, 2008