Monthly Archives: November 2013

On Sider’s Logic for Philosophy — 2

Suppose that you have some background in classical first-order logic, and want to learn something about modal logic (including quantified modal logic) and, relatedly, about Kripke semantics for intuitionistic logic. Then the second half of Sider’s Logic for Philosophy certainly aims to … Continue reading

Posted in Books, Logic, TYL | 8 Comments

On Sider’s Logic for Philosophers — 1

It hasn’t been mentioned yet in the Teach Yourself Logic Guide, so I’ve predictably been asked a fair number of times: what do I think about Ted Sider’s Logic for Philosophy (OUP 2010)? Isn’t it a rather obvious candidate for being … Continue reading

Posted in Books, Logic, TYL | 8 Comments

The Škampa Quartet play Mozart and Smetena

We’d booked to see the Pavel Haas Quartet play at lunchtime at the Wigmore Hall today, but they have had to delay restarting their concert schedule, and so we heard the Škampa Quartet as their truly excellent stand-ins. They played … Continue reading

Posted in Music | Leave a comment

TYL, #18: another update for the Teach Yourself Logic Guide

After a bit of a hiatus, there’s now another update for the Teach Yourself Logic Guide. So here is Version 9.3 of the Guide (pp. iii +  68).  Once more, do spread the word to anyone you think might have use … Continue reading

Posted in TYL | 1 Comment

Gödel’s incompleteness theorems, on SEP at last

The Stanford Encyclopedia of Philosophy (what would we do without it?) has at last filled one of its notable gaps in coverage: there is now a entry by Panu Raatikainen on Gödel’s Incompleteness Theorems. It isn’t quite how I would have written … Continue reading

Posted in Gödel's theorems | 6 Comments

Does mathematics need a philosophy? — 3

Some final thoughts after the TMS meeting last week (again, mostly intended for local mathmos rather than the usual philosophical readers of this blog …). Consider again that rather unclear question ‘Does mathematics need a philosophy?’. Here’s another way of … Continue reading

Posted in Phil. of maths | 3 Comments