Combining Texts

All the ideas for 'General Facts,Phys Necessity, and Metaph of Time', 'Philosophical Analysis' and 'Cardinality, Counting and Equinumerosity'

expand these ideas     |    start again     |     specify just one area for these texts


13 ideas

1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Analysis aims at the structure of facts, which are needed to give a rationale to analysis [Urmson, by Schaffer,J]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
The truth-maker principle is that every truth has a sufficient truth-maker [Forrest]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
The meaning of a number isn't just the numerals leading up to it [Heck]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck]
Counting is the assignment of successively larger cardinal numbers to collections [Heck]
Is counting basically mindless, and independent of the cardinality involved? [Heck]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
Understanding 'just as many' needn't involve grasping one-one correspondence [Heck]
We can know 'just as many' without the concepts of equinumerosity or numbers [Heck]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
Frege's Theorem explains why the numbers satisfy the Peano axioms [Heck]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Children can use numbers, without a concept of them as countable objects [Heck]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Equinumerosity is not the same concept as one-one correspondence [Heck]
We can understand cardinality without the idea of one-one correspondence [Heck]