Combining Texts
Ideas for
'Mathematical Methods in Philosophy', 'On What There Is' and 'Replies on 'Limits of Abstraction''
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
10568
|
Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
1613
|
Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine]
|
6. Mathematics / C. Sources of Mathematics / 7. Formalism
1616
|
Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
1615
|
Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
1614
|
Conceptualism holds that there are universals but they are mind-made [Quine]
|