more from this thinker | more from this text
Full Idea
Structuralists disagree over whether objects in structures are 'ante rem' (before reality, existing independently of whether the objects exist) or 'in re' (in reality, grounded in the real world, usually in our theories of physics).
Gist of Idea
Are structures 'ante rem' (before reality), or are they 'in re' (grounded in physics)?
Source
Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.4)
Book Ref
Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.90
A Reaction
Shapiro holds the first view, Hellman and Resnik the second. The first view sounds too platonist and ontologically extravagant; the second sounds too contingent and limited. The correct account is somewhere in abstractions from the real.
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] |