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

• Restricted Arrow: a paper on new proof systems for some substructural logics: The first (of many) publications by my former PhD student, the soon-to-be-Dr Conrad Asmus. Well done!
• Recent Philosophy Stories at Radio National: ABC Radio National's Philosophy subject page. You can podcast all philosophy-related ABC RN stories there.
• 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.

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.

2005 Redesign

My redesign for 2005 is in progress now. After some problems (I managed to delete the writing page in a fit of cutting-and-pasting) I have some things on the way. There are lots of changes behind the scene. The linklist in the right column is now powered by del.icio.us, which is wonderful. The sidebars (left and right) contain other information, such as recent comments, recent udates on the writing page, and a little diary of events, past and present. Figuring out what goes where is all done automatically by the weblog software I use. I hope you find the new design of the front page useful.

Unfortunately, I’ve only got the front page working as of tonight, and it’s time for me to get to bed. The rest will come soon.

Please let me know if the front page has any bugs when viewed in your browser. Leave a message in the comments.

I do hope that your 2005 is a fruitful one. If there’s something you can do to respond to the crisis in the wake of the tsunami crisis, then do it. It seems like the best thing that anyone could be doing with money right now.

Posted 10:46 PM on January 1, 2005

Comments

Name:

Email Address:

URL:
Remember me? YesNo

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.