Combining Texts

All the ideas for 'fragments/reports', 'talk' and 'The Theory of Transfinite Numbers'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
A set is a collection into a whole of distinct objects of our intuition or thought [Cantor]
     Full Idea: A set is any collection into a whole M of definite, distinct objects m ... of our intuition or thought.
     From: George Cantor (The Theory of Transfinite Numbers [1897], p.85), quoted by James Robert Brown - Philosophy of Mathematics Ch.2
     A reaction: This is the original conception of a set, which hit trouble with Russell's Paradox. Cantor's original definition immediately invites thoughts about the status of vague objects.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]
     Full Idea: Cantor grafted the Power Set axiom onto his theory when he needed it to incorporate the real numbers, ...but his theory was supposed to be theory of collections that can be counted, but he didn't know how to count the new collections.
     From: report of George Cantor (The Theory of Transfinite Numbers [1897]) by Shaughan Lavine - Understanding the Infinite I
     A reaction: I take this to refer to the countability of the sets, rather than the members of the sets. Lavine notes that counting was Cantor's key principle, but he now had to abandon it. Zermelo came to the rescue.
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]
     Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature.
     From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
'Grue' is not a colour [Milsted]
     Full Idea: 'Grue' is not a colour.
     From: Tom Milsted (talk [2006]), quoted by PG - Db (ideas)
     A reaction: This simple observation strikes me as rather crucial in assessing Goodman's paradox. Blue is a colour, but grue is some sort of behaviour. Blue is a secondary quality, but grue seems to be a primary quality.