I have uploaded a slightly revised version of Part I of the Study Guide, with just a few changes to the arm-waving chat and a couple of additions to the recommendations in the Computation/Arithmetic/Gödel’s Theorem chapter. You can download it here.
I’m working away at Part II, mostly enjoying the (re)reading around. An earlier time-slice of myself might have persisted in reading the less fun books out of a misplaced sense of duty. Now I tend to think that if someone really can’t be bothered to write with transparent clarity and make some honest attempt to take their reader along with them by e.g. providing enough signposts along the way, then maybe I can’t be too bothered about struggling with their ill-written texts. So I move on much more quickly to find something more logically entertaining.
I totally agree, I started 3 times last 25 years with Ways of Meaning by Mark Platts, topics in philosophical logic that, he said, were due to their inaccessibility even difficult for the good student. He would show the way. But in the end I saw it was written very badly and he forgot signposts during the journey. So bye bye