Combining Texts

All the ideas for 'Works of Love', 'Minds, Brains and Science' and 'Models and Reality'

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

8 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
9915 V = L just says all sets are constructible [Putnam]
13655 The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
9913 The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
9914 It is unfashionable, but most mathematical intuitions come from nature [Putnam]
17. Mind and Body / C. Functionalism / 7. Chinese Room
2427 Maybe understanding doesn't need consciousness, despite what Searle seems to think [Searle, by Chalmers]
7389 A program won't contain understanding if it is small enough to imagine [Dennett on Searle]
7390 If bigger and bigger brain parts can't understand, how can a whole brain? [Dennett on Searle]
22. Metaethics / B. Value / 2. Values / g. Love
15998 Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard]