### Pages

### Posts feed

### Archives

### Recent Comments

- Rowsety Moid on Dennett: losing the plot
- Jon Awbrey on Dennett: losing the plot
- David Auerbach on Going cold turkey
- Peter Smith on Going cold turkey
- Matthew on Going cold turkey

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- I’ve filled in the Cambridge Uni Library survey. Maybe if we *all* ask for a proper coffee room with a proper espresso machine …???, 13 hours ago
- RT @Libroantiguo: "To build up a library is to create a life. It's never just a random collection of books." Carlos Domínguez 🎨The Bi… https://t.co/1ApvtMUGCa, 15 hours ago
- It is jolly difficult to distinguish the genuine Corbynistas in my twitter feed from trolls taking the piss about the glorious new dawn., Apr 23
- RT @valeriadepaiva: lovely indeed! https://t.co/IcCf0WE2cc, Apr 21
- Going to change title of this ch. from “Formal and informal logic” to “Informal and formal logic”. Great, eh, when inspiration strikes?, Apr 21

# 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