Ideas from 'Our Knowledge of Mathematical Objects' by Kit Fine [2005], by Theme Structure
[found in 'Oxford Studies in Epistemology Vol. 1' (ed/tr Gendler,R/Hawthorne,J) [OUP 2004,9780199285907]].
green numbers give full details 
back to texts

expand these ideas
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neologicism
9224

Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
9222

The objects and truths of mathematics are imperative procedures for their construction

9223

My Proceduralism has one simple rule, and four complex rules
