Combining Philosophers
Ideas for David Bostock, Richard Boyd and Paul Benacerraf
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
22 ideas
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
18156
|
Modern axioms of geometry do not need the real numbers [Bostock]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
9900
|
For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf]
|
9899
|
The successor of x is either x and all its members, or just the unit set of x [Benacerraf]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
18097
|
The Peano Axioms describe a unique structure [Bostock]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
13358
|
Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock]
|
13359
|
Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
18148
|
Hume's Principle is a definition with existential claims, and won't explain numbers [Bostock]
|
18145
|
Many things will satisfy Hume's Principle, so there are many interpretations of it [Bostock]
|
18149
|
There are many criteria for the identity of numbers [Bostock]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
18143
|
Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set! [Bostock]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
8697
|
Disputes about mathematical objects seem irrelevant, and mathematicians cannot resolve them [Benacerraf, by Friend]
|
8304
|
No particular pair of sets can tell us what 'two' is, just by one-to-one correlation [Benacerraf, by Lowe]
|
9906
|
If ordinal numbers are 'reducible to' some set-theory, then which is which? [Benacerraf]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
13415
|
An adequate account of a number must relate it to its series [Benacerraf]
|
9907
|
If any recursive sequence will explain ordinals, then it seems to be the structure which matters [Benacerraf]
|
9908
|
The job is done by the whole system of numbers, so numbers are not objects [Benacerraf]
|
9909
|
The number 3 defines the role of being third in a progression [Benacerraf]
|
9911
|
Number words no more have referents than do the parts of a ruler [Benacerraf]
|
8925
|
Mathematical objects only have properties relating them to other 'elements' of the same structure [Benacerraf]
|
9938
|
How can numbers be objects if order is their only property? [Benacerraf, by Putnam]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
18116
|
Numbers can't be positions, if nothing decides what position a given number has [Bostock]
|
18117
|
Structuralism falsely assumes relations to other numbers are numbers' only properties [Bostock]
|