As I’ve mentioned before, I have started work on revising/updating/extending/cutting-down the much-used Study Guide (Teach Yourself Logic as was, now retitled a bit more helpfully Beginning Mathematical Logic).
I’d thought about dropping the three-part structure. But I have decided, after some experimentation, to keep it. So after some preliminaries, Part I is on the core math logic curriculum. Part II (fairly short) looks sideways at some ways of deviating from/extending standard FOL. Part III follows up the topics of Part I at a more advanced level. So, for example, there is an introductory chapter on e.g. model theory in Part I, and then some suggestions about more advanced reading on model theory in another chapter in Part III. (Having one long chapter on model theory, one long chapter on arithmetic, etc. made for unwieldy and dauntingly long chapters, so that’s why it is back to the original plan.)
Over the next couple of weeks, I’ll be posting some early revised chapters from Part I, and I’ll very much be welcoming comments and suggestions (and corrections, of course) at this stage. Please, please, don’t hesitate to have your say (either using the comments boxes, or by email to peter_smith at logicmatters.net). A lot of students — possibly including your own students! — are downloading the Guide each month: if you think they are being led astray, now is the time to say!
Here then, for starters, are the Preface and a couple of preliminary chapters. Not terribly exciting, but much snappier than before. They will explain more about the structure and coverage of the Guide to those who don’t already know it. Next up, the long key chapter on FOL.