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.
- “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. →
- “Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. →
- “Anti-Realist Classical Logic and Realist Mathematics,” under revision. →
- “Proof Theory and Meaning: on second order logic,” to appear in the Logica 2007 Yearbook, Filosofia. →
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
- Study Suggests Math Teachers Scrap Balls and Slices - New York Times: on when examples obscure rather than illuminate. Perhaps the abstract in abstract mathematics is there for a reason...
- From Little Things Big Things Grow (The GetUp Mob), on the iTunes Store: The GetUp mob's Kevin Rudd-ified version of Paul Kelly's great song.
- Australia 2020 - Initial Report: The first report of this weekend's 2020 Summit
- Peter Martin: The summit that will matter: Julia Gillard's moving opening of the 2020 Youth Summit.
- John Button RIP at Larvatus Prodeo: PJK's obituary for John Button
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.
Well, that was easy…
Sometimes technologies can be use for purposes the inventors didn’t really intend. I’m sure that when the designers of the iTunes music store set the thing up, they didn’t expect that you’d be able to use it to download esoteric papers in philosophical logic. But you can.
All I had to do was submit the RSS feed of my papers to the iTunes store on this form, after tweaking it to include the information that the iTunes store is looking for. A day later, there it is. Now you can use iTunes to automatically download any papers I write. (Though, you can’t yet get them automatically downloaded onto your iPod for you to read, as the iPod doesn’t have a pdf reader — at least not yet.)
This works since iTunes knows what to do with pdf files: if you buy tracks from the music store with lyrics or booklets, they can come as pdf files, which iTunes can store and hand over to your system to display. My feed that I use to serve up pointers to my recent publications has the same general structure as the feeds used in podcasting. The difference is that my publications feed just contained pointers to webpages on which you could download pdf files, while podcasting feeds contain enclosures of pdf files. It was simple enough to tweak the feed to link to the pdf files directly as enclosures. I did that last week. Then I submitted the feed to iTunes and here it is.
So, here’s the link to the me on iTunes. Notice that the site features customer reviews. Why don’t you write one?
If you publish papers online and would like people to get your stuff as conveniently as possible, then feel free to a look at my RSS Feed and use that as a template for your own. As far as I can tell, using iTunes in this way is just a bit of a joke. (It gives me a laugh to see the feed appearing there, I don’t expect people to come across it very much or for those that do get to it that way to know what to do with it.) However, using feeds to enable subcriptions to documents, whether mp3 files, pdf files or anything else, will only become more prevalent in the future.
My next job is to enable feedreading for the Australasian Journal of Logic. That will require a fair bit of work. Currently, I’m just handcoding the site. I’m awaiting the OK from the Powers That Be for us to use some software on the server to facilitate more interesting communication (feeds for subscribing to papers, and comments on articles) for the journal. I’ll let you know here when the system is in place.
Posted 09:33 PM on April 8, 2006
Comments
Nice! And I love the terminology. Instead of awaiting your next paper, we will now await your next episode!
Nick Smith , April 10, 2006 11:12 AM
© 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.

This is a great idea. Just started my subscription.
Ole Thomassen Hjortland , April 9, 2006 12:06 AM