Combining Texts

Ideas for 'The Boundary Stones of Thought', 'Foucault: a very short introduction' and 'Varieties of Ontological Dependence'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt]
     Full Idea: One of the motivations behind Cantor's and Dedekind's pioneering explorations in the field was the ambition to give real analysis a new foundation in set theory - and hence a foundation independent of geometry.
     From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.6)
     A reaction: Rumfitt is inclined to think that the project has failed, although a weaker set theory than ZF might do the job (within limits).
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
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.