more from this thinker | more from this text
Full Idea
'Set-theoretic' structuralism rejects deductive nominalism in favour of a background theory of sets, and mathematics as the various structures realized among the sets. This is often what mathematicians have in mind when they talk about structuralism.
Gist of Idea
'Set-theoretic' structuralism treats mathematics as various structures realised among the sets
Source
Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
Book Ref
-: 'The Philosophical Quarterly' [-], p.61
A Reaction
This is the big shift from 'mathematics can largely be described in set theory' to 'mathematics just is set theory'. If it just is set theory, then which version of set theory? Which axioms? The safe iterative conception, or something bolder?
Related Ideas
Idea 14084 Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo]
Idea 14085 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo]
Idea 14086 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo]
| 9153 | Dedekindian abstraction talks of 'positions', where Cantorian abstraction talks of similar objects [Dedekind, by Fine,K] |
| 10270 | The main versions of structuralism are all definitionally equivalent [Shapiro] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
| 14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
| 14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
| 14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
| 8699 | Are structures 'ante rem' (before reality), or are they 'in re' (grounded in physics)? [Friend] |