more from this thinker | more from this text
Full Idea
Dedekindian abstraction says mathematical objects are 'positions' in a model, while Cantorian abstraction says they are the result of abstracting on structurally similar objects.
Gist of Idea
Dedekindian abstraction talks of 'positions', where Cantorian abstraction talks of similar objects
Source
report of Richard Dedekind (Nature and Meaning of Numbers [1888]) by Kit Fine - Cantorian Abstraction: Recon. and Defence §6
Book Ref
-: 'Journal of Philosophy' [-], p.21
A Reaction
The key debate among structuralists seems to be whether or not they are committed to 'objects'. Fine rejects the 'austere' version, which says that objects have no properties. Either version of structuralism can have abstraction as its basis.
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] |