I’ve just started (re)reading John Burgess’ Fixing Frege. It is really full of useful things, but I still think what I thought on a first reading — namely that this is a pretty annoying book, as it surely could have been done so much better. Done better, for a start, by being done more slowly, with some of the technical exposition being handled more carefully and more transparently, with more commentary. For example, which grad students are going to see what’s natural about the Friedman/Simpson hierarchy of subsystems of second-order arithmetic just from the exposition on pp. 67-68? The book is a must-read; but it is also an unnecessarily difficult read given its presumbably intended audience.
- And let’s spread some further cheer this morning: https://t.co/1mUx9uSU7c, Nov 22
- Over 125 lucid(?) helpful(??) fun (???) posts on intro/intermediate logic for students listed at https://t.co/8BzsQyJzhO Spread the word!, Nov 22
- If you need cheering up this morning, this will hit the spot … https://t.co/UlZRLFypjP, Nov 22
- Now 125+ Logical Snippets at https://t.co/8BzsQyJzhO Answers to qns of interest to beginning/intermediate logic students. Spread the word!, Nov 21
- RT @I__Love__Italy: Venice https://t.co/EIGQrKe0JD, Nov 20