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.

• “Proof Theory and Meaning: on second order logic,” pp 157-170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. →
• “Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” to appear in Logical Studies, a new journal published by the Institute for Logic and Cognition at Sun Yat-Sen University →
• “Logic in Australasia,” to appear in a volume on the History of Philosophy in Australia and New Zealand, edited by Nick Trakakis and others, Lexington Books. →
• “Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” to appear in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. →
• [with Rebecca Kukla and Mark Lance] Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, to appear. →

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

• Inferentialism: Logic and Language: Jaroslav Peregrin's book-in-progress on Inferentialism. It looks like a really interesting project.
• Mathematics and Computation » Intuitionistic mathematics for physics: Andrej Bauer on why physicists should like intuitionistic mathematics.
• How to do research - special free sample: Good advice on how to keep up with what's happening in your field
• The Review of Symbolic Logic: At last, issue 1.1 is out!
• Seven unis take a bite of Apple site | The Australian: We're putting stuff up on Apple's "iTunes U". No news yet on campus about what gets selected for inclusion. My classes in logic are all recorded and publicly available...

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.

What’s going on around here

I’ve been rather busy for the last little while, as the absence from the website might indicate. Here is a list of what’s been happening, which involves not a little bit of trumpet-blowing, because a lot of the news has been good and it’s time for me to share.

• Last week I spent an enjoyable (if rather wet) week in Canberra, touring the sights with Zachary in the mornings, and teaching at Logic Summer School in the afternoons. Going through a rapid-fire course covering Turing machines, register machines, recursive functions, the halting problem, diagonalisation, formal arithmetic, representability, and Gödel’s incompleteness results in 5 hours flat was a challenge. I learned something setting it up and I hope the students learned something in the listening. (They laughed at my jokes, which was very polite.)

• While I was looking after Z, C was at a conference, at which her most recent book had its Australian launch. Z and I crashed the launch party at University House, which was great fun.

• Immediately upon our return to Melbourne, we went to some friends’ wedding up near Marysville. The drive through Black Spur would have been nice in and of itself. The touching wedding ceremony and socialising with friends out in attractive country was almost an excellent bonus.

• Before going away I heard three bits of good news. First, I’m now on the editorial board of the Notre Dame Journal of Formal Logic. (My membership doesn’t seem to be on their website as yet, but it should be sometime soon.) This was the site of my first academic publication, so I’m chuffed to be on the editorial board now. Send good papers to the journal. It’s a great print journal with an enlightened open access policy for its archive (you get free access to papers older than five years). The online archive goes back to 1960, which is seriously impressive.

• The last round of ARC research grants was announced a little while ago and my last application with Graham Priest and Allen Hazen received funding in the current round. So, we’re receiving support for our projects, which is nice.

• Lastly, I have been elected as a Fellow of the Australian Academy of the Humanities. The citation says exaggeratedly flattering things about me. Thanks to everyone who put my name forward. I’m chuffed.

Posted 08:52 PM on December 14, 2004

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.