display all the ideas for this combination of texts
2 ideas
17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
Full Idea: Being the successor of the successor of 0 is more explanatory than being predecessor of 3 of the nature of 2, since it mirrors more closely the method by which 2 is constructed from a basic entity, 0, and a relation (successor) taken as primitive. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
A reaction: This assumes numbers are 'constructed', which they are in the axiomatised system of Peano Arithmetic, but presumably the numbers were given in ordinary experience before 'construction' occurred to anyone. Nevertheless, I really like this. |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
Full Idea: From the axiomatic point of view, mathematics appears as a storehouse of abstract forms - the mathematical structures. | |
From: Nicholas Bourbaki (The Architecture of Mathematics [1950], 221-32), quoted by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.79 | |
A reaction: This seems to be the culmination of the structuralist view that developed from Dedekind and Hilbert, and was further developed by philosophers in the 1990s. |