Combining Texts

Ideas for 'The Evolution of Modern Metaphysics', 'First-Order Modal Logic' and 'Explanation in Mathematics'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities

13166

Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu]

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

13730

The Indiscernibility of Identicals has been a big problem for modal logic [Fitting/Mendelsohn]