Political absurdities being worried about. Too many and too depressing to list.
Intro logic text still being worked on. Things have been slow at the CUP end, because the press has been short of production managers. But things are now moving along, with techie/designer checks on the PDF this week, and then at last off to the proof reader soon after. So IFL2 may yet be off my desk before Christmas. I’ve not been complaining about the delay with CUP as it has given me time to read through the book again, change a sentence here and there, and check the end-of-chapter exercises. Also web-pages for the second edition are slowly taking shape here. You’ll now find more of the book’s exercises online with some quite discursive solutions pages, plus a few other materials, as well as the ‘missing’ chapters on truth-trees. The new version of the book, recall, is now natural-deduction based: if you are curious about the particular Fitch-style system I adopt, I link to two pages with diagrammatic versions of the PL and QL rules used in the book.
The Teach Yourself Logic Study Guide still needing revision. This has really had almost no attention for eighteen months though it continues to be much downloaded from here. So an early task as soon as IFL2 really is done and dusted must be to revisit the Guide. One decision I need to make before I do, however, is whether to keep it as One Big PDF, or divide it into a bunch of webpages (if anyone has any ideas on the pros and cons either way, I’d be glad to hear them!).
Category Theory, time to start thinking again! The Gentle Introductionhas also been on the back burner (well, even that is an exaggeration, as it has hardly been simmering away). But I hope to reheat my interest in category theory again after Christmas, and then see what I think about it all, and whether to press on with what was beginning to look like a draft book.