Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
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