This is Greg Restall’s website, with news, writings, pictures, and links. For background see below.

Haskell and Logic

Monday, May 10, 2004 at 09:04PM

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.

News Archive

2002 | 2003 | 2004 | RebootZachary at Hanging RockTeaching, teaching, teachingBlack Mountain TowerAJL Volume 2Are God's Hands Tied By Logic?Study WindowRevisiting the pastThe Wind is BlowingPublishing a BookZachary ScribblingKai on Book PublishingMonday commentsZachary with a chocolate moustacheResearch QuantificationBrandom on Philosophy and the UniversityBusy/Quiet PeriodWhat the universe looks like from the insideResearch ProjectShootingsHedgeTechnical 'Support'Funding Changes at the University of MelbourneKnowabilityBusy/Quiet Period 2, and emailHelp WantedThe AJL is on the RegisterKnowability 2Max Cresswell at the AJLWinter StylesheetGreat Moments in LogicKnowability 3NAD C521BEEHaskell and LogicKnowability 4What He SaidInference & MeaningWho are Boole, Fitch and Tarski?GradingTree TotallerAncestorsThe Geometry of Non-Distributive LogicsAssertion, Denial, Paradox...The Twelve ApostlesNo writing implements?Musical TasteSlow PeriodOrganising Academic PapersGMailOff NorthI'm so not hereParent/Teacher InterviewWhat's been happening around hereItchy to redesign (a bit)October 9 ElectionIn case you were wonderingWell, that didn't go as I'd hopedHeadphonesTravel Plans 2005Sheet MusicTake these shoes...What's going on around here2005 | 2006 | 2007 | 2008 | 2009 |

This is a news item at consequently.org. There are many others at the archive page. You can add comments at the end.

About

I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.

Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column is for photos, archived on the occasional photos page. The right column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.

Current CO2 concentration in the atmosphere

To subscribe to this site, either read the full feed  of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.

This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2009-01-07 at 01:00PM.

Thought

Since we are in the main not sceptics, we might go on and frankly confess to each other the motives for our several faiths. I frankly confess mine – I cannot but think that at bottom they are of an aesthetic and not of a logical sort. — William James Essays in Radical Empiricism.