# Monthly Archives: December 2011

## IGT2 A first instalment of the second edition of my Gödel book!

As I’ve said before, CUP have agreed to publish a second edition of An Introduction to Gödel’s Theorems. Camera-ready copy is due to be sent to them rather implausibly soon, by the end of July 2012, with publication six months … Continue reading

## A Christmas card

With all good wishes for a peaceful Christmas

## Just to keep you occupied over the holidays …

… and to dent your bank balances, here are three more rather sizeable logic books. First up, spotted in the CUP bookshop and snapped up, is the just-published Proofs and Computations by Helmut Schwichtenberg and Stanley S. Wainer. A mere … Continue reading

Posted in Books | 5 Comments

## Next up: Truth, Gödel, and other delights

OK: a review of Maddy’s very engaging recent book (written with Luca Incurvati, which was fun to do) has gone off to Mind. And in the next day or two, I must also put together a review for Phil. Math. … Continue reading

Posted in Books, Gödel's theorems | 2 Comments

This is a very belated follow-up to an earlier post on Penelope Maddy’s short but intriguing Defending the Axioms. In my previous comments I was talking about Maddy’s discussion of Thin Realism vs Arealism, and her claim that there in … Continue reading

Posted in Logic | 1 Comment

## Back to Grice …

Piled on my study floor — part of the detritus from clearing my faculty office — are some box files containing old lecture notes and the like. I’m going through, trashing some bundles of pages and scanning others for old … Continue reading

## LaTeX now works in comments too …

If you want to insert LaTeX maths into a comment (‘cos the ascii mock-up of some bit of logical notation is just too horrible), then you now can. If ‘$some-code$’ gives you what you want in standard LaTeX, … Continue reading