“Of making many logic books there is no end; and much study is a weariness of the flesh.” The author of logical Ecclesiastes had probably just been reading the likes of Luis M. Augusto’s unnecessary Formal Logic: Classical Problems and Proofs (College Publications, 2019). I’ve noted before that this publisher’s quality control is lousy. Fortunately, because its books are relatively inexpensive, you can take the chance and order one which has a tempting-seeming blurb, without cursing too much if the punt doesn’t come off.
This particular book aims to highlight problems which, though they “feature in introductory logic textbooks aimed at computer science students, … are largely or wholly absent from textbooks targeting a mathematical or philosophical studentship.” Looking for books with a compsci angle for the Logic Guide, I was intrigued. But, apart from being written in poor almost-English, the technical exposition here is unappealingly hard going, and the level of motivational explanation third-rate. It could be so much better. So this is just a warning note: if you are similarly tempted by the blurb for this book, simply resist. And if that sounds a bit tetchy, it could be because my flesh is more than a bit weary after trying to study it for a day.