Combining Texts
Ideas for
'fragments/reports', 'Our Knowledge of Mathematical Objects' 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 / c. Neo-logicism
9224
|
Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
9222
|
The objects and truths of mathematics are imperative procedures for their construction [Fine,K]
|
9223
|
My Proceduralism has one simple rule, and four complex rules [Fine,K]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
8466
|
For Quine, intuitionist ontology is inadequate for classical mathematics [Quine, by Orenstein]
|
8467
|
Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit' [Quine, by Orenstein]
|