Combining Texts
Ideas for
'The Discourses', 'On What There Is' and 'works'
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 / b. Type theory
6409
|
The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling]
|
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]
|