Delayed by distractions of one sort and another, I’ve now finished the first draft of a new chapter for the Beginning Mathematical Logic Study Guide. Earlier in the month, I posted a draft version of Part I of the revised Guide (i.e. Chapters 1 to 9). And now — drum roll and fanfare — here at last is
As always, comments are extremely welcome. If you want to know how this new chapter fits into the overall shape of the Guide, and hence its intended purpose, take a quick look at the short §§1.2–1.4 in Part I.
So, as they say, enjoy! I certainly much enjoyed rereading Boolos when writing about provability logic in particular.
Afterthought: This Chapter 10 is quite long. On reflection, I’m now rather inclined to divide it into a chapter on modal logics and a chapter on provability logic.
A further afterthought: To my considerable surprise, I find that the earlier Boolos book is not available at the Usual PDF Repositories … so (for many readers) it won’t be at all helpful to have it as the main recommendation on provability logic. So I will revise accordingly.