more on this theme     |     more from this thinker


Single Idea 10187

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

Full Idea

Abstract algebra, such as group theory, is not concerned with the features common to all models of the axioms, but rather with the relationships among different models of those axioms (especially homomorphic relation functions).

Clarification

'Homomorphisms' are mapping relations

Gist of Idea

Abstract algebra concerns relations between models, not common features of all the models

Source

John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1)


A Reaction

It doesn't seem to follow that structuralism can't be about the relations (or patterns) found when abstracting away and overviewing all the models. One can study family relations, or one can study kinship in general.


The 6 ideas from 'Review of Chihara 'Struct. Accnt of Maths''

Set theory is the standard background for modern mathematics [Burgess]
Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess]
If set theory is used to define 'structure', we can't define set theory structurally [Burgess]
Abstract algebra concerns relations between models, not common features of all the models [Burgess]
How can mathematical relations be either internal, or external, or intrinsic? [Burgess]
There is no one relation for the real number 2, as relations differ in different models [Burgess]