Combining Texts
Ideas for
'Semantics, Conceptual Role', 'Our Knowledge of Mathematical Objects' and 'New Proof of Possibility of Well-Ordering'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 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]
|