Monthly Archives: April 2010

Pseuds vs academic bureaucrats

Let me come clean. By my lights, the University of Middlesex philosophy department appears to be a fount of appallingly pretentious pseudery and intellectual garbage of the worst kind. Don’t take my word for it; have a browse through the … Continue reading

Posted in Academic life, Rants | 1 Comment

Shiny new L4L

Ok, that took less time than I thought it would. So there’s now an exciting new improved LaTeX for Logicians to gladden geeky hearts. There are some rough edges which will get smoothed, but it is functional. Now tell me … Continue reading

Posted in Geek stuff | 2 Comments

Blowing the dust off LaTeX for Logicians

The LaTeX for Logicians pages have been woefully ignored of late. But at last — as a bit occupational therapy while my brain is still in a jet-lagged mush — I’ve started moving the pages to this site, updating content … Continue reading

Posted in Geek stuff | Leave a comment

Haaparanta and Kunen

Not too much serious work has got done the last couple of weeks, what with touristy visits and finishing Christchurch teaching. But I have been dipping into two recent books. Leila Haaparanta’s The Development of Modern Logic (OUP 2009, weighing … Continue reading

Posted in Books | Leave a comment

Postcard from Arrowtown

We spent Easter doing the touristy thing of driving down to Queenstown and taking the coach/boat trip to Milford Sound. Just beautiful. Less wildly dramatic but in its way as beautiful was the drive on from Queenstown to Wanaka over … Continue reading

Posted in This and that | Leave a comment

Gödel Without (Too Many) Tears — the whole story!

Just to say that all eleven handouts for my short course at UC Christchurch are now online here. These should serve as an introduction to the first three quarters of my Introduction. (Many thanks to David Makinson for catching some … Continue reading

Posted in Gödel's theorems | 1 Comment