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,978-0-19-928590-7]].

green numbers give full details    |     back to texts     |     expand these ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
The objects and truths of mathematics are imperative procedures for their construction
My Proceduralism has one simple rule, and four complex rules