Combining Texts
Ideas for
'On What Grounds What', 'Review of Chihara 'Struct. Accnt of Maths'' and 'The Theory of Logical Types'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
10 ideas
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10185
|
Set theory is the standard background for modern mathematics [Burgess]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
10184
|
Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess]
|
10189
|
There is no one relation for the real number 2, as relations differ in different models [Burgess]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
10186
|
If set theory is used to define 'structure', we can't define set theory structurally [Burgess]
|
10187
|
Abstract algebra concerns relations between models, not common features of all the models [Burgess]
|
10188
|
How can mathematical relations be either internal, or external, or intrinsic? [Burgess]
|
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
13741
|
If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
23457
|
Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell]
|
21556
|
Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
21568
|
A one-variable function is only 'predicative' if it is one order above its arguments [Russell]
|