Yearly Archives: 2012
Teach yourself logic, #2: modal logic
An expanded, improved, version of the first instalment of my planned Guide to teaching yourself logic is now here. So let’s move on to looking at books to read on modal logic. The ordering of some of the instalments here … Continue reading
Book note: Smullyan’s Theory of Formal Systems
When I wrote my Gödel book I did a lot of it from memory (on the principle that if I had to reconstruct proofs without too much cheating, the discipline of doing so would help me to explain the proofs). … Continue reading
Teach yourself logic, #1: Basic first-order logic
It is an odd phenomenon. Serious logic is taught less and less, at least in UK philosophy departments. Yet the amount of formally-informed work in philosophy is ever greater. It seems then that many beginning graduate students (if they are … Continue reading
Book note: Tent and Ziegler’s A Course in Model Theory
The CUP bookshop marked its 20th birthday with a day offering a big discount on top of the usual discounts, so I came away with a small pile of half-price logic books (I wasn’t enticed by anything on the philosophy … Continue reading
Postcard from the Bahamas
A visit to family, and a much needed break. As you can see, the beach has been so very crowded, the skies so very gray … For once, I have been away for the better part of two weeks without … Continue reading
Another instalment of IGT2 (mostly harmless)
Over three months after the last instalment, here is another helping of the draft version of the second edition of my Gödel book. To keep things simple, I am posting as a single document a corrected version of what are … Continue reading
Fun reads for philosophers?
Suppose you want to recommend ten or a dozen philosophy books to students (not complete beginners) for out-of-term-time reading, books that are positively enjoyable to read, even fun, written with a light touch and some zest, though still thought-provoking and … Continue reading
Two more book reviews
Here are late drafts of two more book reviews. On Matthias Baaz et al., eds, Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (CUP, 2011), in Philosophia Mathematica (With Luca Incurvati) on Penelope Maddy, Defending the Axioms (OUP, 2011) forthcoming in Mind. … Continue reading
Schubert, remixed
BBC Radio 3 is playing Schubert, Schubert and yet more Schubert over the next few days. You can see the schedule here. Two highlights for me so far. The first half of the Imogen Cooper’s concert, playing the Allegretto in C … Continue reading
LaTeX for Logicians spring cleaned
The LaTeX for Logicians pages have been a bit unloved over the last year or more. But recently, a lot of links got broken when I eventually wound up what was left of my old university web pages. And that … Continue reading