### Pages

### Posts feed

### Archives

### Recent Comments

- 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”
- David Auerbach on Raymond Smullyan (1919–2017)

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- Is it irksome to remark that they still seem pretty popular in the, albeit priggish, circles like wot I frequent … https://t.co/Olw1zRxVz6, 46 mins ago
- RT @Franz_Berto: 4-year postdoc in Logic & AI in ERC LoC project! Please circulate as widely as possible, come work with us @ #ILLC! https://t.co/4MXeAXFvTe, 11 hours ago
- RT @I__Love__Italy: firenze https://t.co/8ef3HFL0dD, Feb 24
- Three cheers for readability! https://t.co/U4euNOc7KX, Feb 23
- How to run an advanced logic class, from @SaraLUckelman https://t.co/O0nC4dxv3g (Wish I was still doing this!), Feb 23

# Category Archives: Truth Through Proof

*TTP* At long last, a short review

Very, very belatedly — and apologies for this in particular to Alan Weir — I’ve gathered together some of the thoughts from previous blog posts into a short review of Truth Through Proof. This is absurdly compressed, even though Mind … Continue reading

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

*TTP*, 14. Worries about excluded middle

Weir’s formalist account of arithmetic in headline form comes to this: the arithmetical claim P is correct just in case that there is (or in practice could be) a concrete proof of P. (We’ll stick to considering the arithmetical case.) … Continue reading

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

*TTP*, 13. Formalism and “pluralism”

In TTP 11, I emphasized that Weir’s position interweaves two separable strands. One strand I called “formalism about arithmetical correctness”: at a first approximation, what makes an arithmetical claim correct is something about what can be done in some formal … Continue reading

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

## Weir on colours, concepts, fiction, numbers, and more!

Alan has written a long reply to my reply to his comments on my last post. This should be of particular interest to anyone who is reading his book, so I thought I’d flag it up at the top level … Continue reading

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

*TTP*, 12. ‘The formal mode of assertion’

Weir himself distinguishes three model cases where a claim’s content is not transparently representational — to use my jargon for his idea — and I added a fourth case. (We are assuming, for the sake of argument, that the general … Continue reading

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

*TTP*, 11. Disentangling neo-formalism

The introductory sketch in the last post reveals at least this much about Weir’s neo-formalism: it is the marriage of two independent lines of thought. One idea — call it “formalism about arithmetical correctness” — is that, at a first … Continue reading

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

*TTP*, 10. Neo-formalism introduced

As you might remember, I’m supposed to be writing a review of Alan Weir’s Truth through Proof. I started blogging here about the book some time ago, intermittently discussing the first couple of chapters at length, and then I’m afraid … Continue reading

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

## TTP, 9. §2.IV A map of the terrain

Weir, to summarize once more, wants to develop a position that allows him to say sincerely, speaking with the vulgar mathematicians (and not having to cross his fingers behind his back, or do that little dance with the fingers that … Continue reading

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

## TTP, 8. §2.III Reduction

The projectivist about e.g. judgements of tastiness explains how “X is tasty” (as an ordinary judgement made in the restaurant, not the philosophy class) is an assertion that can be correct or incorrect even though there is no such property-out-there … Continue reading

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

*TTP*, 7. §2.II Snapshot dispositions, correction, fiction

The projectivist’s root idea is that a judgement that “X is G”, for a predicate G apt for projectivist treatment, is keyed not to a belief that represents X as having a special property but to an appropriate non-cognitive attitude … Continue reading

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