display all the ideas for this combination of texts
3 ideas
4068 | Traditional substance is separate from properties and capable of independent existence [Crane] |
16981 | With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke] |
4942 | The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke] |