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 ...
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.
Knowability 3
“Not Every Truth Can Be Known” has been updated with some brand spanking new theorems for your delectation. Comments are, of course, welcome over there.
Posted 12:42 AM on May 4, 2004
© 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.