Category Archives: Logic

Another week, another logic handout. This time on Tennenbaum’s Theorem. Here’s a reasonably stand-alone proof (based on one in Kaye’s book) with some very quick concluding remarks on the question of the theorem’s conceptual significance. As always, comments are most welcome.

At the moment, I’m going to Thomas Forster’s Part III maths course on computable functions. I’ve put together an introductory reading list on the elementary stuff in the opening lectures, which may be of use/interest to others. As usual, comments/corrections/suggested … Continue reading →

Let’s add a further observation to what I was saying about Brandom in the last post. I remarked that and (as defined) coincide in a classical framework. But now let be the usual consequence relation in an intuitionistic logic, and … Continue reading →

First, apologies to Alan Weir and all his fans who are impatiently awaiting the next episode of my stalled discussion of his book. I will get back to it, but I have been distracted over the last couple of weeks … Continue reading →

While waiting for the next exciting instalment of my comments on his Truth Through Proof, you might like to look at Alan Weir’s brand new entry on formalism in the philosophy of maths for the ever-more-wonderful Stanford Encyclopedia.

The fourth in a series of now annual conferences takes place in Cambridge over the weekend of 22nd–23rd January 2011. The previous conferences have been excellent fun, so why not come along? Here is the line-up for this year’s event. Keynote … Continue reading →

I’ve somewhat belatedly put online slides for the last six of last term’s intro logic lectures. Lectures 11–13 introduce propositional trees, and lectures 14–16 introduce the language QL. Frankly, you would do much better to read my book: but since … Continue reading →