6 ideas
21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
Full Idea: Metaphysics is the most general attempt to make sense of things. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro) | |
A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too. |
9616 | 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. |
21554 | Sets always exceed terms, so all the sets must exceed all the sets [Lackey] |
Full Idea: Cantor proved that the number of sets in a collection of terms is larger than the number of terms. Hence Cantor's Paradox says the number of sets in the collection of all sets must be larger than the number of sets in the collection of all sets. | |
From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
A reaction: The sets must count as terms in the next iteration, but that is a normal application of the Power Set axiom. |
21553 | It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey] |
Full Idea: The ordinal series is well-ordered and thus has an ordinal number, and a series of ordinals to a given ordinal exceeds that ordinal by 1. So the series of all ordinals has an ordinal number that exceeds its own ordinal number by 1. | |
From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
A reaction: Formulated by Burali-Forti in 1897. |
15896 | 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. |
21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507) |