Combining Texts

All the ideas for 'The Varieties of Necessity', 'Metaphysical Foundations of Mathematics' and 'Deriving Kripkean Claims with Abstract Objects'

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

---

6 ideas

9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta

10558

Abstract objects are actually constituted by the properties by which we conceive them [Zalta]

10. Modality / C. Sources of Modality / 1. Sources of Necessity

9216	Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K]

13. Knowledge Criteria / C. External Justification / 7. Testimony

9214	Unsupported testimony may still be believable [Fine,K]

18. Thought / E. Abstraction / 2. Abstracta by Selection

10557

Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta]

26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism

9215	Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K]

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]