Combining Texts

Ideas for 'Parmenides', 'Varieties of Ontological Dependence' and 'works'

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

display all the ideas for this combination of texts


4 ideas

6. Mathematics / A. Nature of Mathematics / 1. Mathematics
All of mathematics is properties of the whole numbers [Kronecker]
     Full Idea: All the results of significant mathematical research must ultimately be expressible in the simple forms of properties of whole numbers.
     From: Leopold Kronecker (works [1885], Vol 3/274), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 09.5
     A reaction: I've always liked Kronecker's line, but I'm beginning to realise that his use of the word 'number' is simply out-of-date. Natural numbers have a special status, but not sufficient to support this claim.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
God made the integers, all the rest is the work of man [Kronecker]
     Full Idea: God made the integers, all the rest is the work of man.
     From: Leopold Kronecker (works [1885]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Intro
     A reaction: This famous remark was first quoted in Kronecker's obituary. A response to Dedekind, it seems. See Idea 10090. Did he really mean that negative numbers were the work of God? We took a long time to spot them.
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.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato]
     Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it.
     From: Plato (Parmenides [c.364 BCE], 144a)
     A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed.