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.
In Banff
I’m in sunny and wintry Banff at the Mathematical Methods in Philosophy workshop. The program is very full, and I won’t be able to report on everything going on here. (Heck, I haven’t even reported back from our time in India, despite popular demand.) So, please let me give my apologies in advance if youre talk doesn’t get reported here. It’s probably because I was so interested in it I had to think and not blog.
Posted 02:50 AM on February 20, 2007
© 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.