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.
On applescript and php, and an archive page
A half hour of php hacking has finally produced a working archive page for the photos I’ve been posting from my phonecam. My little Sony Ericsson T630 phone has a terribly lo-res camera, but it’s fun to take shots now and then when you wouldn’t normally take photos. Now, instead of sliding off the front page when I upload another one, you can see the old photos on the archive page.
What makes the thing fun is that the process of uploading them is so easy. The camera has a bluetooth connection to the computer, so I can get photos from the camera while the camera is still in my pocket. (That’s easy.) Then I drag a photo to an icon on the dock on my computer and the little applescript I wrote pops up a dialogue box to enter a title, and the thing scales the image (the camera takes pictures at 288x352 and I scale them to 180x220 to fit in the sidebar) and uploads the result to the /phonecam directory on consequently.org. The next bit of magic is two php scripts. One on the main page takes the latest jpg file out of the /phonecam directory and puts it in the right sidebar. (The title is the filename with “.jpg” stripped out.) The other is the phonecam page, which uses more php to read the entries in last-to-first order, insert month headers for every new month, and put them on the page.
Let me know if anything looks weird from your end.
Posted 08:24 PM on June 26, 2005
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.
I love stylesheets! A little bit of CSS hacking is enough to make the pictures scrub up better on the archive page.
Greg Restall
, June 27, 2005 08:28 PM