Combining Texts

All the ideas for 'The iterative conception of Set', 'Metaphysical Foundations of Mathematics' and 'A world of truthmakers?'

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

---

3 ideas

3. Truth / B. Truthmakers / 6. Making Negative Truths

15549

If it were true that nothing at all existed, would that have a truthmaker? [Lewis]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII

18192

Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy]

27. Natural Reality / D. Time / 2. Passage of Time / g. Time's arrow

22908

When one element contains the grounds of the other, the first one is prior in time [Leibniz]