Combining Texts

All the ideas for 'World and Essence', 'Conceptions of Truth' and 'Cardinality, Counting and Equinumerosity'

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

23 ideas

2. Reason / D. Definition / 12. Paraphrase
18491 The idea of 'making' can be mere conceptual explanation (like 'because') [Künne]
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 / 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]
17456 Counting is the assignment of successively larger cardinal numbers to collections [Heck]
17455 Is counting basically mindless, and independent of the cardinality involved? [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]
9. Objects / A. Existence of Objects / 4. Impossible objects
16435 Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
14655 The 'identity criteria' of a name are a group of essential and established facts [Plantinga]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
14658 'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga]
9. Objects / D. Essence of Objects / 2. Types of Essence
14656 Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga]
9. Objects / D. Essence of Objects / 9. Essence and Properties
14654 Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga]
14653 X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga]
14660 If a property is ever essential, can it only ever be an essential property? [Plantinga]
14661 Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga]
9. Objects / F. Identity among Objects / 5. Self-Identity
14657 Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga]
10. Modality / A. Necessity / 4. De re / De dicto modality
14652 'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
14659 We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga]