This page links to two PDFs designed for onscreen reading and to some further webpages:
- The Very Short Teach Yourself Logic Guide (webpage). A one-page summary of the headline recommendations for entry-level books to read on the core math logic curriculum, taken from the following long, very detailed, PDF version of the Guide.
- Teach Yourself Logic: A Study Guide (PDF, 100pp.) The main Guide, now at Version 12.0a, 4 Sept. 2014.
- Appendix: Some Big Books on Mathematical Logic (PDF, 39pp.) Comments on a number — 17, at the moment — of the more general, multi-area, textbooks on mathematical logic: last updated 2 August 2014.
- Serious Set Theory (webpage). A stand-alone version of the final section of the main Guide: last updated 2 Sept. 2014.
- Category Theory (webpage). Introductory readings suitable for those without a particularly heavy mathematical background: new page 2 Sept. 2014.
- Book Notes (separate webpages on various logic texts, including those from the Guide’s Appendix but also covering some philosophy of mathematics books, etc.: last update of content 1 Sept. 2104).
To explain. Many philosophy departments, and many maths departments too, teach little or no serious logic, despite the centrality of the subject. It seems then that many beginning graduate students in philosophy and maths will need to teach themselves from books, either solo or by organising study groups. But what to read? Students need annotated reading lists for self-study, giving advice about the available books. The main Guide, its Appendix, and some supplementary webpages constitute my (on-going) attempt to provide some. The Very Short version is a one-page summary of some key recommendations.
NB The Guide and its Appendix are PDF documents designed for reading on screen. Ideally, read them either (i) on an iPad (download in Safari, open e.g. in iBooks), or (ii) on a laptop (e.g. read two pages side-by-side using Adobe Reader in full-screen mode).
It goes without saying, of course, that all constructive comments and suggestions continue to be most warmly welcomed. Many thanks, in particular, to those who have earlier sent comments which are now deleted because I’ve taken up (or plan to take up) the suggestions in newer versions of the Guide.