Combining Philosophers
Ideas for B Hale / C Wright, Mark Colyvan and Jason Crease
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
10 ideas
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17922
|
Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
17936
|
Transfinite induction moves from all cases, up to the limit ordinal [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10624
|
The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
8784
|
Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
8787
|
The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
17940
|
Most mathematical proofs are using set theory, but without saying so [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
17931
|
Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
10629
|
If structures are relative, this undermines truth-value and objectivity [Hale/Wright]
|
10628
|
The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright]
|
17932
|
If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan]
|