Monthly Archives: January 2009

Parsons Mathematical Thought: Sec. 50, Induction and impredicativity, continued

Suppose we help ourselves to the notion of a finite set, and say x is a number if (i) there is at least one finite set which contains x and if it contains Sy contains y, and (ii) every such … Continue reading

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

Parsons’s Mathematical Thought: Sec. 50, Induction and impredicativity

Here’s the first half of an improved(?!?) discussion of this section: sorry about the delay! Parsons now takes up another topic that he has written about influentially before, namely impredicativity. He describes his own earlier claim like this: “no explanation … Continue reading

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

Welcoming Aatu to the blogosphere

It is very good indeed to see that Aatu Koskensilta has started a blog. Ignore the self-deprecating ‘About Me’: as long time readers of the newsnet group sci.logic will know, Aatu is a fount of very considerable technical knowledge combined … Continue reading

Posted in This and that | 5 Comments

Sitting in the UL tearoom …

Actually, I fib: I’m not in the University Library tearoom right now — I meant to post from there, but I got talking to one of our grad students (about Parsons on impredicativity, what else?), and the opportunity passed. But … Continue reading

Posted in Books | 2 Comments