more from this thinker     |     more from this text


Single Idea 10220

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism ]

Full Idea

Because the same structure can be exemplified by more than one system, a structure is a one-over-many.

Gist of Idea

Because one structure exemplifies several systems, a structure is a one-over-many

Source

Stewart Shapiro (Philosophy of Mathematics [1997], 3.3)

Book Ref

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.84


A Reaction

The phrase 'one-over-many' is a classic Greek hallmark of a universal. Cf. Idea 10217, where Shapiro talks of arriving at structures by abstraction, through focusing and ignoring. This sounds more like a creation than a platonic universal.

Related Idea

Idea 10217 We can apprehend structures by focusing on or ignoring features of patterns [Shapiro]


The 12 ideas with the same theme [structuralism with real objects or real structures]:

There are too many mathematical objects for them all to be mental or physical [Resnik]
Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik]
Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik]
Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik]
Because one structure exemplifies several systems, a structure is a one-over-many [Shapiro]
There is no 'structure of all structures', just as there is no set of all sets [Shapiro]
Shapiro's structuralism says model theory (comparing structures) is the essence of mathematics [Shapiro, by Friend]
To see a structure in something, we must already have the idea of the structure [Brown,JR]
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo]
'In re' structuralism says that the process of abstraction is pattern-spotting [Friend]