Combining Texts

All the ideas for 'Necessary Existents', 'De modo distinguendi phaenomena' and 'The Theory of Transfinite Numbers'

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


6 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.
7. Existence / D. Theories of Reality / 2. Realism
If experience is just a dream, it is still real enough if critical reason is never deceived [Leibniz]
     Full Idea: Even if this whole life were said to be only a dream, and the visible world only a phantasm, I should call this dream or phantasm real enough if we were never deceived by it when we make good use of reason.
     From: Gottfried Leibniz (De modo distinguendi phaenomena [1685], A6.4.1502), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7
     A reaction: I find this response more satisfactory than his response in Idea 12740. As a supporter of the coherence account of justification, I take the closest we get to knowledge to be when our full critical faculties and experience are brought to bear, and shared.
The strongest criterion that phenomena show reality is success in prediction [Leibniz]
     Full Idea: The most powerful criterion of the reality of phenomena, sufficient even by itself, is success in predicting future phenomena from past and present ones.
     From: Gottfried Leibniz (De modo distinguendi phaenomena [1685], A6.4.1502), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7
     A reaction: I would say that this is clutching at straws, as there is no reason at all to deny that dreams could be thoroughly coherent and predictable in their events. We must just live with these doubts, not try to defeat them.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / e. Primary/secondary critique
Light, heat and colour are apparent qualities, and so are motion, figure and extension [Leibniz]
     Full Idea: Concerning bodies I can demonstrate that not merely light, heat, color, and similar qualities are apparent but also motion, figure, and extension.
     From: Gottfried Leibniz (De modo distinguendi phaenomena [1685], A6.4.1504), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4
     A reaction: Leibniz is not consistent on this. Here he is flirting with idealism, but he often backs away from that. In Discourse §12 he makes secondary qualities certainly subjective, and primary qualities possibly so. He admits the primaries contain eternal truths.
19. Language / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]
     Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist?
     From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions
     A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done?