Combining Texts

All the ideas for 'Whitehead: process and cosmology', 'Cardinality, Counting and Equinumerosity' and 'Ontology and Mathematical Truth'

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

20 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
15390 Metaphysics attempts to give an account of everything, in terms of categories and principles [Simons]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
9967 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
9968 A model is 'fundamental' if it contains only concrete entities [Jubien]
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 / d. Natural numbers
9965 There couldn't just be one number, such as 17 [Jubien]
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 / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
9966 The subject-matter of (pure) mathematics is abstract structure [Jubien]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
9963 If we all intuited mathematical objects, platonism would be agreed [Jubien]
9962 How can pure abstract entities give models to serve as interpretations? [Jubien]
9964 Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien]
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 / 2. Abstract Objects / c. Modern abstracta
9969 The empty set is the purest abstract object [Jubien]