### Pages

### Posts feed

### Archives

### Recent Comments

- samuel sayag on Category theory: introductory readings
- Jan von Plato on Why mandatory reiteration in Fitch-style proofs?
- Jan von Plato on The language(s) of first-order logic #2
- Jan von Plato on Begriffsschrift and absolutely unrestricted quantification
- Craig Smorynski on Logic’s Lost Genius

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- RT @logicians: Two infinities that are surprisingly equal -over at Tim Gowers's blog. https://t.co/dG6zT5FEo8 #math #SetTheory #logic, 5 hours ago
- RT @davidallengreen: The politician responsible for the failed water cannon purchase and garden bridge project explains how UK can make a success out of Brexit., Sep 16
- RT @serpentstail: STOP WHAT YOU'RE DOING *** NEW @SarahGPerry novel coming next year! *** https://t.co/5fqzNMMMKc #MELMOTH https://t.co/4ebqZmlm6n, Sep 14
- RT @calvinb: This Fibonacci joke is as bad as the last two you heard combined., Sep 14
- RT @GreggDCaruso: Gottlob Frege: The machine in the ghost | by @Raymodraco |Prospect Magazine | https://t.co/gvhP24hjFq, Sep 14

# Category Archives: Math. Thought and Its Objects

## Encore #10: Parsons on intuition

Just yesterday, Brian Leiter posted the results of one of his entertaining/instructive online polls, this time on the “Best Anglophone and German Kant scholars since 1945“. Not really my scene at all. Though I did, back in the day, really love … Continue reading

## Encore #9: Parsons on noneliminative structuralism

I could post a few more encores from my often rather rude blog posts about Murray and Rea’s Introduction to the Philosophy of Religion. But perhaps it would be better for our souls to to an altogether more serious book … Continue reading

## Parsons, the whole story, at last

I have been blogging on and off for quite a while about Charles Parsons’s Mathematical Thought and Its Objects, latterly as we worked through the book in a reading group here. I’ve now had a chance to put together a … Continue reading

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

## 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

## 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

## 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

## 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

## 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 inﬂuentially before, namely impredicativity. He describes his own earlier claim like this: “no explanation … Continue reading

## Parsons’s Mathematical Thought: Sec. 49, Uniqueness and communication, continued

In sum, then, we might put things like this. Parsons has defended an ‘internalist’ argument — an argument from “within mathematics” — for the uniqueness of the numbers we are talking about in our arithmetic, whilst arguing against the need … Continue reading