Combining Texts

All the ideas for 'Philosophical Explanations', 'Letters to Leibniz 1' and 'The Theory of Transfinite Numbers'

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


5 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.
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M]
     Full Idea: Nozick suggests that knowledge is just belief which 'tracks the truth' (hence leaving out justification).
     From: report of Robert Nozick (Philosophical Explanations [1981]) by Michael Williams - Problems of Knowledge Ch. 2
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]
     Full Idea: Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth").
     From: report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1
     A reaction: This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
I won't object if someone shows that gravity consistently arises from the action of matter [Newton]
     Full Idea: If someone explains gravity along with all its laws by the action of some subtle matter, and shows that the motion of the planets and comets will not be disturbed by this matter, I shall be far from objecting.
     From: Isaac Newton (Letters to Leibniz 1 [1693], 1693.10.16)
     A reaction: Important if you think that Newton is the hero of the descriptive regularity theory of laws. Newton probably thought laws came from God, but he wouldn't object to Leibniz's view, that God planted the laws within the matter.