GWT2 — a third instalment

I was prompted to start working on a second edition of Gödel Without (Too Many) Tears by discovering that there was a significant muddle in Chapter 5 (I had inconsistently wavered between taking Baby Arithmetic, so called, as having just a negation connective, and having other connectives too). Thanks again to Ben Selfridge for pointing out that embarrassing glitch.

This new instalment of GWT2 corrects that unfortunate mess, and makes a number of other small improvements for clarity/readability, in what is now numbered as Chapter 6. So here it is!

To save readers having to dart between different PDFs, I have included the revised versions of the Preface and earlier chapters (with only trivial changes from the previous posting).

Need I say it? No: but I still will! Corrections and friendly suggestions are immensely welcome at this stage.

The post GWT2 — a third instalment appeared first on Logic Matters.