Combining Texts

All the ideas for 'Inverted Earth', 'Principles of Theoretical Logic' and 'Distinct Indiscernibles and the Bundle Theory'

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

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
8. Modes of Existence / D. Universals / 3. Instantiated Universals
10197 An immanent universal is wholly present in more than one place [Zimmerman,DW]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
10198 If only two indiscernible electrons exist, future differences must still be possible [Zimmerman,DW]
10199 Discernible differences at different times may just be in counterparts [Zimmerman,DW]
15. Nature of Minds / B. Features of Minds / 5. Qualia / b. Qualia and intentionality
6172 The Inverted Earth example shows that phenomenal properties are not representational [Block, by Rowlands]