Archive for January, 2008

Logical Options, 2

Monday, January 14th, 2008

Here are the reading notes for the second session on Logical Options. These are focussed on the discussion in Section 1.5 of styles of proof for propositional logic (other than trees/semantic tableaux), namely axiomatic, natural deduction, and sequent proofs. I’ve ended up writing rather more than Bell, DeVidi and Solomon do because I found their discussion oddly patchy (for example, why introduce the idea of natural deduction proofs without at least outlining how they are usually set out, either as Fitch-style indented proofs, or classically Gentzen-style?). I’ll probably get round to editing these notes, energy and time permitting, once we’ve had the class and I get some feedback. But meanwhile, if you are involved with a similar course (as teacher or a student) you might find these notes useful. Comments welcome.

OK, that’s another small beginning of term task done. Next up, I’ve got to put together some thoughts to introduce the first seminar (for a very different bunch!) on the shorter Hodges. Gulp.

Philosophy of Mathematics: Five Questions

Wednesday, January 9th, 2008

I’ve mentioned before the now newly published Philosophy of Mathematics: Five Questions, in which some twenty eight philosophers, logicians and mathematicians respond to a bunch of questions related to how they see the current state of the philosophy of mathmatics. My copy arrived today. (Some of the contributions are on the authors’ web-sites: Jeremy Avigad, Mark Colyvan, Solomon Feferman, Edward Zalta. There are other pieces worth reading by e.g. Geoffrey Hellman, Stewart Shapiro, Alan Weir, and Crispin Wright.)

My first impressions are that (i) it is worth ordering for your university’s library (I imagine that some of the pieces would be quite useful and interesting orientation for students), but (ii) it is a very mixed bag (thus, Feferman offers twenty informative pages, while Thomas Jech and Penelope Maddy provide barely three pages between them), and overall (iii) I guess it is rather disappointing, with too many remarks too brisk and allusive to be very useful to anyone. It is no surprise, for example, that Steve Awodey’s answer to the question “What do you consider the most neglected topics and/or contributions in late 2oth century philosophy of mathematics?” is “Category theory”. But he doesn’t tell us why.

Maybe the editors should have been more directive.

Lists

Monday, January 7th, 2008

Over the holiday season, the reviews pages were full of lists of books of the year (inexplicably, no-one thought to do a list of “best books on Gödel’s theorems in 2007″). I’ve read embarrasingly few of the listed books, though Orlando Figes’s The Whisperers is on the table, still waiting for me to quite finish his wonderful Natasha’s Dance.

The latest list was in The Times over the weekend, a rather bizarre list of the fifty Greatest British Writers Since 1945. They also published a further list of also-rans. One very odd omission who didn’t even make their long list was Jonathan Raban. His Old Glory and Passage to Juneau (for example) are wonderful books. Here’s part of what Douglas Kennedy said about the latter in the Independent:

Raban is, for my money, one of the key writers of the past three decades – not only for his immense stylistic showmanship, but also for the way he has taken that amorphous genre called “travel writing” and utterly redefined its frontiers … Passage to Juneau is his finest achievement to date. Ostensibly an account of a voyage Raban took from his new home in Seattle to the Alaskan capital through that labyrinthine sea route called the Inside Passage, it is, in essence, a book about the nature of loss …You close this extraordinary book marvelling at this most distressing but commonplace of ironies. He’s home, but he’s lost. Just like the rest of us.

But I don’t think “stylistic showmanship” is quite right. The prose is faultless, “as beautiful and clear as the blue ocean on a crisp morning” as another reviewer put it, but not showy, and never inviting you to admire its cleverness. Raban, for my money, is worth a dozen Martin Amis’s.

[Later I hadn't noticed that, as it happens, Raban wrote an illuminating piece on Obama in this last Saturday's Guardian.]

Godard … and model theory

Thursday, January 3rd, 2008


Pierrot Le Fou
Two more books from the CUP sale. One is David Wills’ Jean-Luc Godard: Pierrot le Fou in the Cambridge Film Handbooks series, which should be a fun read. Shame that there are no colour stills suggesting the amazingly vibrant look of the thing: but since I only paid £3 I really can’t complain. I’m sure that I never even a quarter understood the film, and I’ve not seen it for many years: but I’ve always remembered it as terrific.

The other purchase is Joyal and Moerdik’s Algebraic Set Theory. Frankly, I bought that more in ambitious hope than in any firm belief that I’ll get my head around it, as my category theory is fragmentary and fragile. But I’ll give it a shot.

Not soon, though, as this term is model-theory term: as I’ve mentioned before, Thomas Forster and I are going to be running a reading group for a mixed bunch, to work through Hodges’s Shorter Model Theory. I’m going to be doing some more much needed background homework/revision over the next week, and at the moment I’m working through some of Chang and Keisler. Incidentally, that’s surely another candidate for a Dover reprint: even though in some ways it isn’t fantastically well written, and so the authors don’t always make the reader’s job a comfortable one, I guess it is still a rightly classic treatment.

Three cheers for the CUP bookshop sale

Wednesday, January 2nd, 2008

Ah, it is that time of year again: so off to gather up some absolute bargains at the CUP bookshop sale. Notionally, they are flogging off ‘damaged’ books: but the Press has a remarkably idealized view of what counts as damaged (indeed, in many cases, the only perceptible damage is produced by a large red “DAMAGED” stamped on the title page). My best buy today: I picked up a copy of Aczel/Simmons/Wainer’s Proof Theory for a tenth of the list price — ok, a paperback is in fact due next month, but that’s still an amazing saving.

I also got the volume on Paul Churchland in the ‘Contemporary Philosophy in Focus’ series, which looks fun. And just to show that I’m not merely a scientistically minded logician, I bought a volume of Alasdair MacIntyre’s essays which look, erm, uplifting (well, for a mere £3, I thought I could do with some enlightenment). If the threatened snow holds off, I’ll return tomorrow, as they keep putting out more sale books to tempt one back. The fact that I haven’t yet got round to reading the purchases from last year’s sales of course doesn’t dampen my enthusiasm one jot …