Single Idea 10263

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism]

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.

Gist of Idea

Modal structuralism can only judge possibility by 'possible' models

Source

comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3

Book Reference

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.229


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?