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?
|
9224
|
Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]
|
|
Full Idea:
My Proceduralism offers axiom-free foundations for mathematics. Axioms give way to the stipulation of procedures. We obtain a form of logicism, but with a procedural twist, and with a logic which is ontologically neutral, and no assumption of objects.
|
|
From:
Kit Fine (Our Knowledge of Mathematical Objects [2005], 1)
|
|
A reaction:
[See Ideas 9222 and 9223 for his Proceduralism] Sounds like philosophical heaven. We get to take charge of mathematics, without the embarrassment of declaring ourselves to be platonists. Someone, not me, should evaluate this.
|
9223
|
My Proceduralism has one simple rule, and four complex rules [Fine,K]
|
|
Full Idea:
My Proceduralism has one simple rule (introduce an object), and four complex rules: Composition (combining two procedures), Conditionality (if A, do B), Universality (do a procedure for every x), and Iteration (rule to keep doing B).
|
|
From:
Kit Fine (Our Knowledge of Mathematical Objects [2005], 1)
|
|
A reaction:
It sounds like a highly artificial and private game which Fine has invented, but he claims that this is the sort of thing that practising mathematicians have always done.
|