Top News, Articles, and Interviews in Philosophy

Corrections, corrections …

Philosophy News image
I at last hit the “publish” button for Gödel Without (Too Many) Tears as an Amazon print-on-demand book; and within less than a day of its going live, I received a list of corrections and suggestions based on a late draft. Of course. This is the kind of thing which would be so very very annoying with a book published the old-school way — I’d be kicking myself repeatedly for missing the obvious typos that couldn’t be corrected until a later reprint, perhaps years down the road. But in this case, I had a corrected version done within hours, and Amazon had approved it within another few hours. No more than two dozen very early adopters will have the original version (sorry!); from now on you should receive a copy which says on the verso of the title page “This revision: 5.xi.2020”. In fact — rather a relief! — the caught mistakes turned out to be minor, a few obvious typos, a few clumsy errors like using “then” twice in a sentence. There are just two places where you could possibly be led astray, if you do have the original version. (1) Theorem 72 starts “Under the given conditions …”. Context should make it clear but I didn’t say that the conditions include the relevant theories including enough arithmetic to code consistency sentences. (2) In talking generally about the Second Theorem and Hilbert’s Programme I should have footnoted that the Second Theorem doesn’t rule out all informative proofs of consistency, but leaves room for e.g. Gentzen-style results. I’ve added a quick footnote. If I come to do a second edition of GWT, perhaps I should say more on this second point — though perhaps not: I’d set myself the goal of keeping GWT to a third of the length of IGT2, and I have already overshot a little … A general comment though. Corrections to any of the three Big Red Logic Books are still welcome (or at least, corrections which e.g. note obvious mistakes, or stylistic infelicities, or uses of English which are opaque. . .

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus