8698
|
Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend]
|
|
Full Idea:
The modal structuralist thinks of mathematical structures as possibilities. The application of mathematics is just the realisation that a possible structure is actualised. As structures are possibilities, realist ontological problems are avoided.
|
|
From:
report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Michèle Friend - Introducing the Philosophy of Mathematics 4.3
|
|
A reaction:
Friend criticises this and rejects it, but it is appealing. Mathematics should aim to be applicable to any possible world, and not just the actual one. However, does the actual world 'actualise a mathematical structure'?
|
10263
|
Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman]
|
|
Full Idea:
The usual way to show that a sentence is possible is to show that it has a model, but for Hellman presumably a sentence is possible if it might have a model (or if, possibly, it has a model). It is not clear what this move brings us.
|
|
From:
comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3
|
|
A reaction:
I can't assess this, but presumably the possibility of the model must be demonstrated in some way. Aren't all models merely possible, because they are based on axioms, which seem to be no more than possibilities?
|
18884
|
Abstraction is usually seen as producing universals and numbers, but it can do more [Simons]
|
|
Full Idea:
Abstraction as a cognitive tool has been associated predominantly with the metaphysics of universals and of mathematical objects such as numbers. But it is more widely applicable beyond this standard range. I commend its judicious use.
|
|
From:
Peter Simons (Modes of Extension: comment on Fine [2008], p.21)
|
|
A reaction:
Personally I think our view of the world is founded on three psychological principles: abstraction, idealisation and generalisation. You can try to give them rigour, as 'equivalence classes', or 'universal quantifications', if it makes you feel better.
|