consequently.org/news

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. →

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.

Haskell and Logic

This looks very nice indeed: The Haskell Road is a textbook on elementary logic, mathematics and programming, based around my favourite programming language Haskell.

I’m glad that this wasn’t the textbook in my introductory computer science course, long ago in 1986. If it were, I may have fallen in love with computing and never become a philosopher.

Parenthetical remark 1: How a textbook based on Haskell, a computer programming language that wasn’t even defined in 1986 is a matter for counterfactual speculation.

Parenthetical remark 2: I did do a section on Miranda in a Declarative Programming course in my second year, in 1987. I see now that this was pretty cutting-edge stuff. By this time, however, the mystique of late night (and all night) debugging sessions had well-and-truly worn off, and I’ve become a philosopher, after a brief stint trying to become a mathematician instead.

Posted 10:04 PM on May 10, 2004

Comments

Hmm, I wonder if it’s good for large-scale Monte Carlo simulations…

Iorwerth Thomas , May 11, 2004 12:29 AM

If by it you mean Haskell, I’m not sure. But I think that browsing around the Haskell.org site should give you an idea of what people are doing with it, and how it goes.

The folks at Galois Connections (neat name!) use Haskell for verification and testing of cryptographic algorithms.

Greg Restall , May 11, 2004 11:49 AM