more from this thinker | more from this text
Full Idea
Shapiro's structuralism champions model theory as the branch of mathematics that best describes mathematics. The essence of mathematical activity is seen as an exercise in comparing mathematical structures to each other.
Gist of Idea
Shapiro's structuralism says model theory (comparing structures) is the essence of mathematics
Source
report of Stewart Shapiro (Philosophy of Mathematics [1997], 4.4) by Michèle Friend - Introducing the Philosophy of Mathematics
Book Ref
Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.96
A Reaction
Note it 'best describes' it, rather than being foundational. Assessing whether propositional logic is complete is given as an example of model theory. That makes model theory a very high-level activity. Does it capture simple arithmetic?
6295 | There are too many mathematical objects for them all to be mental or physical [Resnik] |
6296 | Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik] |
6301 | Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik] |
6302 | Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik] |
10220 | Because one structure exemplifies several systems, a structure is a one-over-many [Shapiro] |
10223 | There is no 'structure of all structures', just as there is no set of all sets [Shapiro] |
8703 | Shapiro's structuralism says model theory (comparing structures) is the essence of mathematics [Shapiro, by Friend] |
9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
8700 | 'In re' structuralism says that the process of abstraction is pattern-spotting [Friend] |