Combining Texts

All the ideas for 'The Logic of Boundaryless Concepts', 'works' and 'The Theory of Transfinite Numbers'

expand 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]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Logic guides thinking, but it isn't a substitute for it [Rumfitt]
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]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]