Category Archives: Math. Thought and Its Objects

Parsons’s Mathematical Thought: Secs 24-26, Intuition

Chapter 5 of Parsons’s book is called “Intuition”. And I guess I should declare an interest (or rather, lack of interest!) here. I’ve never really understood talk about intuition: and I’m certainly not helped when Parsons writes “I shall be … Continue reading

Posted in Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Secs 19-23, A problem about sets

These sections make up the short Chapter 4 of Parsons’s book (they are a slightly expanded version of a 1995 paper in a festschrifft for Ruth Barcan Marcus). The issue is whether there are special problems giving a broadly structuralist … Continue reading

Posted in Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Sec. 18, A noneliminative structuralism

The previous two sections critically discussed a modal version of eliminative structuralism (though to my mind, the objections raised weren’t particularly telling). Parsons now moves on characterize his own preferred “noneliminative structuralism”, and responds to some potential obections. I wish … Continue reading

Posted in Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Secs 16, 17, Modalism

In Sec. 16, “Modalism”, Parsons considers the stratgegy of rescuing eliminativist structuralism from the vacuity problem by going modal. To recap, we’re considering the schematic idea that an ordinary arithmetical statement is elliptical for something along the lines of For … Continue reading

Posted in Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Sec. 15, Mathematical modality

Chapter 3 of Mathematical Thought and Its Objects is called “Modality and structuralism”. Before turning to discuss modal structuralism in Secs. 16 and 17, Parsons discusses what kind modality it might involve. Setting aside epistemic modalities as not to the … Continue reading

Posted in Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Sec 14, Structuralism and application

We’re considering the schematic idea that an ordinary arithmetical statement is elliptical for something generalizing over structures, along the lines of For any N, 0, S, if Ω(N, 0, S) then A(N, 0, S), where Ω(N, 0, S) lays down … Continue reading

Posted in Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Sec 13, Nominalism and second-order logic

A general comment before proceeding. Parsons himself says that this book has been a very long time in the writing. And I suspect that what we are reading is in fact a multi-layered text with different passages added at different … Continue reading

Posted in Logic, Math. Thought and Its Objects | 3 Comments

Parsons’s Mathematical Thought: Sec. 12, Nominalism

This is a short and rather insubstantial section, which I’m just taking separately to get out of the way, because the next section is weighty (and one of the longest in the book). Parsons understands ‘nominalism’ Harvard-style — no surprise … Continue reading

Posted in Logic, Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Secs 8 – 11

Back, after rather a gap, to Charles Parsons’s book and on to the first half of his second chapter, “Structuralism and nominalism”. (Sec. 8) Parsons says that he himself thinks that “something close to the structuralist view is true”. But … Continue reading

Posted in Logic, Math. Thought and Its Objects | Leave a comment

Parsons’s Mathematical Thought: Sec. 7

Back in Sec. 1, Parsons says “Roughly speaking, an object is abstract if it is not located in space and time and does not stand in causal relations.” In the last section of the first chapter, he returns to question … Continue reading

Posted in Logic, Math. Thought and Its Objects | 3 Comments