Combining Texts
Ideas for
'Logicism and Ontological Commits. of Arithmetic', 'Truth-making without Truth-makers' 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
7 ideas
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027
|
Mathematics is higher-order modal logic [Hodes]
|
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026
|
Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
|
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021
|
It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
|
10022
|
Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
|
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]
|