Monthly Archives: January 2009

Parsons’s Mathematical Thought: Sec 55, Set theory

The final(!) section of Parsons’s book is one of the briefest, and its official topic is about the biggest — the question of the justification of set-theoretic axioms. But, reasonably enough, Parsons just offers here some remarks on how the … Continue reading

Posted in Math. Thought and Its Objects, Phil. of maths | Leave a comment

MacBook Air, six months on

Anyone out there who is still wavering about getting a MacBook Air might be interested in some comments from a delighted owner who has now had one for six months (this updates my “after one month” post from last August). … Continue reading

Posted in Geek stuff | 1 Comment

Parsons’s Mathematical Objects: Sec. 54, Arithmetic

How does arithmetic fit into the sort of picture of the role of reason and so-called “rational intuition” drawn in Secs. 52 and 53? The bald claim that some basic principles of arithmetic are “self-evident” is, Parsons thinks, decidedly unhelpful. … Continue reading

Posted in Math. Thought and Its Objects, Phil. of maths | 1 Comment

Parsons’s Mathematical Objects: Secs 52-53, Reason, "rational intuition" and perception

Back to Parsons, to look at the final chapter of his book, called simply ‘Reason’. And after the particularly bumpy ride in the previous chapter, this one starts in a very gentle low-key way. In Sec. 52, ‘Reason and “rational … Continue reading

Posted in Math. Thought and Its Objects, Phil. of maths | Leave a comment

Wittgenstein’s Notes on Logic

Just to say that my colleague Michael Potter’s intriguing new book Wittgenstein’s Notes on Logic is published tomorrow.

Posted in Books | Leave a comment

Nerdy stuff

Just for fellow Macaholics … I’ve just noticed that a new version of TeXShop has been released in the last couple of weeks, with a couple of useful little tweaks. I had a pre-release trial copy of Things for a … Continue reading

Posted in Geek stuff | Leave a comment

Leiter Report

I notice that the Leiter Report pre-publication headlines about UK departments has Cambridge ranked third, after Oxford, and the Stirling/St Andrews show. A happier outcome than in the RAE — and the PGR rankings are rather a better indicator for … Continue reading

Posted in This and that | 2 Comments

Can Smiley be Carnapped?

The Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics took place over the weekend. You can see what you missed here. It would be nice to drum up just a bit more support next time — for … Continue reading

Posted in This and that | Leave a comment

Parsons Mathematical Thought: Sec. 51, Predicativity and inductive definitions

The final section of Ch. 8 sits rather uneasily with what’s gone before. The preceding sections are about arithmetic and ordinary arithmetic induction, while this one briskly touches on issues arising from Feferman’s work on predicative analysis, and iterating reflection … Continue reading

Posted in Math. Thought and Its Objects, Phil. of maths | Leave a comment

Travel broadens the mind …

When I was editing Analysis, I went to quite a few conferences in the line of fairly pleasurable duty, to find out what the bright young things were up to, what the hot topics were. But since then I’ve become … Continue reading

Posted in This and that | Leave a comment