Combining Texts
Ideas for
'fragments/reports', 'The Philosophy of Logic' and 'Our Knowledge of Mathematical Objects'
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 / 4. Mathematical Empiricism / b. Indispensability of mathematics
18199
|
Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam]
|
8857
|
We must quantify over numbers for science; but that commits us to their existence [Putnam]
|
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]
|