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

Recent Comments

Greg Restall wrote: Hi Tony: I'm glad you like the...

Ming wrote: Congratulations Greg! Well-des...

Ben Murphy wrote: Wow! Someone read my article.....

Greg Restall wrote: The paper is available online ...

Charles Stewart wrote: On the competition: the only e...

Paul Syverson wrote: I am looking forward to this b...

Links

• TR-2008012: Product-free Lambek Calculus is NP-complete: Yury Savateev shows that the derivability problems for product-free Lambek calculus and product-free Lambek calculus allowing empty premises are NP-complete. Looks neat.
• Melbourne Uni academics face axe | theage.com.au: This -- alas -- does seem to be a pretty straight account of the situation in the Arts Faculty here at Melbourne. There's a fair bit more pain to be endured before the budget is balanced.
• Dimensions movies for my iPod: Nicely done mathematical exposition of projections, geometry, and interesting things like that. Good fun to watch on the tram to work.
• Photos from the "Logical Pluralism" conference in Tartu: There I am, holding forth...
• Charles Taylor 's A Secular Age: Reviewed by Michael L. Morgan, in NDPR: Interesting review of a big book.

These and more links are available at del.icio.us/greg_restall.

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.

… arrived!

I’ve arrived in a sunny and summery Prague. The locals tell me they it’s cooler than the unseasonably warm that it’s been in the last few years, but it seems nicely summery for one who has come from a winter. I’m now chatting in the office with Timothy, Jarda and Vladimir, and monopolising Jarda’s computer while the others do work preparing for the conference.

Posted 09:19 PM on June 18, 2007

Comments

© Greg Restall, 2002–2006 • Powered by teTeX, TeXShop, Safari, Movable Type, MT SomeDays, MultiBlog, MagpieRSS, del.icio.us, Arvo Pärt, Bruce Cockburn & you, the reader.