Combining Texts

All the ideas for 'Leibniz', 'When Does a Life Begin?' 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

13655

The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]

9915	V = L just says all sets are constructible [Putnam]

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]

9. Objects / F. Identity among Objects / 7. Indiscernible Objects

7566	The Identity of Indiscernibles is really the same as the verification principle [Jolley]

25. Social Practice / F. Life Issues / 3. Abortion

4055	It isn't obviously wicked to destroy a potential human being (e.g. an ununited egg and sperm) [Lockwood]

4054	I may exist before I become a person, just as I exist before I become an adult [Lockwood]

4056	If the soul is held to leave the body at brain-death, it should arrive at the time of brain-creation [Lockwood]