### Pages

### Posts feed

### Archives

### Recent Comments

- André Gargoura on Raymond Smullyan (1919–2017)
- Peter Smith on Raymond Smullyan (1919–2017)
- Kai von Fintel on Conditionals again
- Jan von Plato on Raymond Smullyan (1919–2017)
- Jon Awbrey on Frege on “if”

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- How better to relieve the gloom of Brexit day than sitting in the sun in Piazza Navona? https://t.co/noqYzjNNsh, 21 hours ago
- Now just cross that I was enticed to squander an hour on such a third-rate farrago. #lineofduty, Mar 26
- Oh well, that became unwatchably ridiculous self-parody. Pity. #Lineofduty, Mar 26
- You wouldn’t think that (re)writing a page in an intro logic text would turn into a three-espresso problem. But there it is …, Mar 25
- That annoying thing where you realize, writing Ch. 19, that how you handled something crucial in Ch. 2 Really Won’t Do. Yes, THAT thing., Mar 21

# Monthly Archives: January 2011

## Weir on formalism in *SEP*

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.

Posted in Logic
Leave a comment

*GWT* updated

The first two episodes of Gödel Without Tears have been corrected — catching a few typos but mainly to correct the silly thinko that David Makinson caught. And there are new versions of episodes 7 (Arithmetization of Syntax) and 8 … Continue reading

Posted in Gödel's theorems
Leave a comment

## Oops! A blunder in *GWT*

David Makinson has emailed to point out a foul-up in Episode 2, §9, of Gödel Without Tears. (Actually, he very kindly called it an “anomaly”. This suggests one of those irregular conjugations: “I made a little slip, what you wrote … Continue reading

Posted in Gödel's theorems
Leave a comment

*TTP*, CUP, and a shiny new MBA

I suppose it was mildly daft to plunge into blogging about Alan Weir’s TTP just as the beginning of term looms. There’s now a flurry of other things which I really need to be thinking about, just as I’m getting … Continue reading

Posted in Books, Geek stuff
Leave a comment

*TTP*, 4. §1.III: Sense, circumstance, world

In the present section, Weir says something about the kind of semantic framework he favours, and in particular about issues of context-sensitivity. Here I do little more than summarize. The basic idea is very familiar. “Utterances of declarative sentences are … Continue reading

Posted in Phil. of maths, Truth Through Proof
1 Comment

*TTP*, 3. §§1.I–II: Realisms

As we can see from our initial specification of his position, to get Weir’s philosophy of mathematics to fly will involve accepting some substantial and potentially controversial claims in the philosophy of language and metaphysics. The first two chapters of … Continue reading

Posted in Phil. of maths, Truth Through Proof
10 Comments

## Cambridge Conference on the Philosophy of Logic and Mathematics

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

Posted in Logic
Leave a comment

## These you have loved …

To be honest, I am as bad as the rest of you! I almost daily visit someone’s website or blog, read their words of wisdom, download papers, talks, or overhead slides, and learn a huge amount this way. Yet I … Continue reading

Posted in This and that
13 Comments

## Slides for more introductory logic lectures

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

Posted in Logic
2 Comments

*TTP*, 2. Introduction: Options and Weir’s way forward

Faced with the Benacerrafian challenge, what are the options? Weir mentions a few; but he doesn’t give anything like a systematic map of the various possible ways forward. It might be helpful if I do something to fill the gap. … Continue reading

Posted in Phil. of maths, Truth Through Proof
Leave a comment