Right. I really must get on with other work (in particular the task of writing exercises for the Gödel book awaits). But, as an exercise in constructive procrastination I’ve just uploaded the February 2013 version of the Teach Yourself Logic Guide.
Chapter 1 on The Basics is in a reasonably stable state, and I’ve only tinkered with that in small ways since the last version as uploaded back in November. I’ve added another section to Chapter 3, ‘Exploring Further’. But the big change is that I’ve started work on the new Chapter looking at some of the Big Survey Books on mathematical logic. There’s quite a long list to work through — I must be mad to have taken this task on myself! — so don’t hold your breath waiting for the entry on your favourite book. Still, between you and me, it has been enjoyable to dive in, blow the dust off some old acquaintances, and remind myself what they get up to. So I do plan to continue adding entries sporadically.
I’ve added to the Guide the entries on the classic texts by Kleene, Mendelson and Shoenfield of which I posted drafts here. As a bonus I’ve also just added an additional entry on Joel Robbin’s 1969 book Mathematical Logic: A First Course. Yes, yes, that doesn’t really come next in chronological order and it isn’t exactly a Big Book either (the main text is just 170 pages). But it does cover an interesting amount in a short space. And having been a bit grouchy about Mendelson and very grouchy about Shoenfield, I’m inclined to be rather warm about this. My summary verdict is
A different route through this material [first- and second-order logic, primitive recursive arithmetic, PA2, Gödel’s theorem], Robbin’s book is accessibly written and still worth reading. Look especially at Ch. 3 for the unusually detailed story about how to build a language with a function expression for every p.r. function, and at the last chapter for how to work in PA2.
For more details, see the Guide!
Could you perhaps include more on 2nd order modal logic as there are lots of interesting debates surrounding this at the moment. It would also be useful to have something on introductions to type theory.
The summary verdict on Robbin has a typo: “t6o” for “to”.
The ” – in his notation – ” (2nd sentence in “some details”) confused my initially, since I thought “–” might be a connective. Use parens instead?
Fond memories. It seemed to be an intense graduate semester working to and through chapter 5 of Robbin’s book, but with Dover practically giving it away the text is now nearly irresistible. (Hodel is part of Dover’s “stable” as well.)
Wayne
Peter, perhaps a consideration worth keeping in mind as you go over the shelf of Bog Books is their current availability. In what I think is a very good development, at least some of these are now being reprinted in reasonably — or even cheaply — priced editions. Chang’s and Keisler’s Model Theory (3rd ed.) came out last year from Dover, and Takeuti’s Proof Theory just came out as well (also from Dover, for $24.95). And A.K. Peters printed Shoenfield’s book already in 2001, when they were ASL’s publisher.
“Big Books”, not “Bog Books”. I swear it was not a Freudian slip.