Combining Texts

All the ideas for 'Cardinality, Counting and Equinumerosity', 'Grundlagen (Foundations of Theory of Manifolds)' and 'Absolute Necessities'

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

21 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
15946 Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
17453 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 / e. Ordinal numbers
15911 Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
17457 A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17448 In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck]
17455 Is counting basically mindless, and independent of the cardinality involved? [Heck]
17456 Counting is the assignment of successively larger cardinal numbers to collections [Heck]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
17450 Understanding 'just as many' needn't involve grasping one-one correspondence [Heck]
17451 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
17459 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
17454 Children can use numbers, without a concept of them as countable objects [Heck]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17458 Equinumerosity is not the same concept as one-one correspondence [Heck]
17449 We can understand cardinality without the idea of one-one correspondence [Heck]
10. Modality / A. Necessity / 2. Nature of Necessity
15086 Absolute necessity might be achievable either logically or metaphysically [Hale]
10. Modality / A. Necessity / 3. Types of Necessity
8261 Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale]
15081 A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale]
15080 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15082 Metaphysical necessity says there is no possibility of falsehood [Hale]
10. Modality / A. Necessity / 6. Logical Necessity
15085 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale]
15088 Logical necessities are true in virtue of the nature of all logical concepts [Hale]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
15087 Conceptual necessities are made true by all concepts [Hale]