Monthly Archives: January 2008

Logical Options, 2

Posted on January 14, 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 … Continue reading →

Posted in Logic | Leave a comment

Philosophy of Mathematics: Five Questions

Posted on January 9, 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. … Continue reading →

Posted in Books, Logic | 1 Comment

Lists

Posted on January 7, 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 … Continue reading →

Posted in Books | 1 Comment

Godard … and model theory

Posted on January 3, 2008

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 … Continue reading →

Posted in Books, Logic | 2 Comments

Three cheers for the CUP bookshop sale

Posted on January 2, 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 … Continue reading →

Posted in Books | 1 Comment