Monthly Archives: August 2011

Music to sort books by

Who knew retirement could be so busy? Two jointly written papers just done; a draft book to comment on in detail; four book reviews to do; a growing pile of things I want to read (Huw Price’s collected papers arrived today). Not … Continue reading

Posted in Music | 2 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