Combining Texts
Ideas for
'works', 'Logicism and Ontological Commits. of Arithmetic' and 'Frege Philosophy of Language (2nd ed)'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
6 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 / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10554
|
Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett]
|
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 / 10. Constructivism / b. Intuitionism
10552
|
Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett]
|