more on this theme     |     more from this thinker


Single Idea 23448

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism ]

Full Idea

Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics.

Gist of Idea

Mathematics is the study of all possible patterns, and is thus bound to describe the world

Source

Øystein Linnebo (Philosophy of Mathematics [2017], 11.1)

Book Ref

Linnebo,Øystein: 'Philosophy of Mathematics' [Princeton 2017], p.155


A Reaction

[He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed.


The 8 ideas from 'Philosophy of Mathematics'

Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo]
Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo]
Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo]
The axioms of group theory are not assertions, but a definition of a structure [Linnebo]
To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo]
Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo]
In classical semantics singular terms refer, and quantifiers range over domains [Linnebo]