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.
Research Quantification
Today I received offprints of “Paraconsistency Everywhere,” an article I wrote quite some time ago (it was essentially finished in 2001). It appears in the 2002 issue of the Journal, yet it has only just appeared on my desk. This comical state of affairs continues when you look at the bottom of the published article where it indicates that the paper was “Received February 13, 2002; accepted February 5, 2003; printed December 19, 2003,” yet at the top of the page it says “Volume 43, Number 3, 2002.”
I received the offprints of the article today. Clearly, the Notre Dame Journal of Formal Logic (a very fine journal indeed) is fighting a severe backlog.
This would be a matter only for tea-room (and weblog) conversation and nothing more were it not for one thing. Australian academics publish under the shadow of a stringent data collection regime according to which everything we get published in a year is collected early in the following year, categorised, and the resulting figures help determine the amount of research funding your university will receive. Funding is always tight, and you want to ensure that your publications pull their weight and your institution receives its proper “reward.” If something comes in too late for the census for the previous year (as it almost certainly seems to have in this case, as the census date has passed) it does not count, and the University receives nothing. The University is, understandably, quite keen to receive funding on the basis of “research performance,” and I’m inclined to agree that if that’s how we’re being funded, the funding levels should bear some significant relation to the research actually carried out.
This, no doubt, will influence future funding decisions for academics like me.
[Addendum: It turns out that this article will be counted for the 2003 census. The Research Office was able to add it as a late entry.]
Posted 10:34 AM on March 24, 2004
Comments
That’s right. Don’t get me started on what happens if you publish something in Logique et Analyse! Three years “late” and nothing on the article to prove it to the powers that be.
Greg Restall , March 24, 2004 02:38 PM
© 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.
Your situation could have been worse. The research office is able to count it as a late entry only because there is a 2003 date listed on it. No 2003 date, no Dest point (I know from bitter experience).
Neil , March 24, 2004 02:07 PM