display all the ideas for this combination of philosophers
6 ideas
16981 | With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke] |
Full Idea: It is clear from (x)□(x=x) and Leibniz's Law that identity is an 'internal' relation: (x)(y)(x=y ⊃ □x=y). What pairs (w,y) could be counterexamples? Not pairs of distinct objects, …nor an object and itself. | |
From: Saul A. Kripke (Naming and Necessity preface [1980], p.03) | |
A reaction: I take 'internal' to mean that the necessity of identity is intrinsic to the item(s), and not imposed by some other force. |
17044 | A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke] |
Full Idea: Some philosophers have thought that a relation, being essentially two-termed, cannot hold between a thing and itself. This position is plainly absurd ('he is his own worst enemy'). Identity is nothing but the smallest reflexive relation. | |
From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 50) | |
A reaction: I have no idea what 'smallest' means here. I can't be 'to the left of myself', so not all of my relations can be reflexive. I just don't understand what it means to say something is 'identical with itself'. You've got the thing - what have you added? |
17036 | Identity statements can be contingent if they rely on descriptions [Kripke] |
Full Idea: If the man who invented bifocals was the first Postmaster General of the United States - that they were one and the same - it's contingently true. …So when you make identity statements using descriptions, that can be a contingent fact. | |
From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2) |
17038 | If Hesperus and Phosophorus are the same, they can't possibly be different [Kripke] |
Full Idea: If Hesperus and Phosphorus are one and the same, then in no other possible world can they be different. | |
From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2) | |
A reaction: If we ask whether one object could possibly be two objects, and deny that possibility, then Kripke's novel thought seems just right and obvious. |
4942 | The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke] |
Full Idea: It seems to me that the Leibnizian principle of the indiscernibility of identicals (not to be confused with the identity of indiscernibles) is as self-evident as the law of contradiction. | |
From: Saul A. Kripke (Naming and Necessity preface [1980], p.03) | |
A reaction: This seems obviously correct, as it says no more than that a thing has whatever properties it has. If a difference is discerned, either you have made a mistake, or it isn't identical. |
16999 | A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke] |
Full Idea: When the identity relation is vague, it may seem intransitive; a claim of apparent identity may yield an apparent non-identity. Some sort of 'counterpart' notion may have some utility here. | |
From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 18) | |
A reaction: He firmly rejects the full Lewis apparatus of counterparts. The idea would be that a river at different times had counterpart relations, not strict identity. I like the word 'same' for this situation. Most worldly 'identity' is intransitive. |