# 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

## 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