display all the ideas for this combination of philosophers
38 ideas
| 11880 | Kripke says his necessary a posteriori examples are known a priori to be necessary [Kripke, by Mackie,P] |
| Full Idea: Kripke claims that all of his examples of the necessary a posteriori have the characteristic that we can know a priori that if they are true, they are necessarily true. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970], 159) by Penelope Mackie - How Things Might Have Been 1.4 | |
| A reaction: That is, it seems, that they are not really necessary a posteriori! The necessity seems to only arrive with the addition of a priori judgements, thus endorsing the traditional view that necessity is only derivable a priori. Hm. |
| 17058 | What many people consider merely physically necessary I consider completely necessary [Kripke] |
| Full Idea: My third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary tout court. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (g)) | |
| A reaction: He avoids the term 'metaphysically necessary', which most people would not use for this point. |
| 4797 | Instead of being regularities, maybe natural laws are the weak a posteriori necessities of Kripke [Kripke, by Psillos] |
| Full Idea: By defending a posteriori necessary statements, Kripke introduced the concept of a necessity in nature that was weaker than logical necessity; ..as a result, the dominant view of laws as mere regularities started to be seriously challenged. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Stathis Psillos - Causation and Explanation §6.1 | |
| A reaction: Most of Kripke's examples of discovered necessities seem to be identities, which seem to be as strong as any logical necessity. I'm not sure I can make sense of a 'less strong necessity'. Necessity sounds all-or-nothing to me. |
| 4970 | What is often held to be mere physical necessity is actually metaphysical necessity [Kripke] |
| Full Idea: My third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary 'tout court'. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (g)) | |
| A reaction: This huge claim rides in on the back of Kripke's very useful clarifications. It is the 'new essentialism', and seems to me untenable in this form. There is no answer to Hume's request for evidence of necessity. Why can't essences (and laws) change? |
| 17037 | Physical necessity may be necessity in the highest degree [Kripke] |
| Full Idea: Physical necessity might turn out to be necessity in the highest degree. But that's a question which I don't wish to prejudge. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2) | |
| A reaction: Presumably necessity 'in the highest degree' is 'metaphysical' necessity, but Kripke is a bit coy about that. This is the germ of modern scientific essentialism. |
| 17059 | Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke] |
| Full Idea: If the unicorn myth is supposed to be a particular species, with insufficient internal structure to determine it uniquely, then there is no actual or possible species of which we can say that it would have been the species of unicorns. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (a)) | |
| A reaction: Dummett and Rumfitt discuss this proposal elsewhere. |
| 16984 | I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke] |
| Full Idea: I do not think of 'possible worlds' as providing a reductive analysis in any philosophically significant sense, that is, as uncovering the ultimate nature, from either an epistemological or a metaphysical view, of modal operators, propositions etc. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.19 n18) | |
| A reaction: I think this remark opens the door for Kit Fine's approach, of showing what modality is by specifying its sources. Possible worlds model the behaviour of modal inferences. |
| 4728 | Kripke separates necessary and a priori, proposing necessary a posteriori and contingent a priori examples [Kripke, by O'Grady] |
| Full Idea: It is now recognised that the apriori and the necessary don't always have to go together, ..and Kripke has suggested examples of necessary-aposteriori and contingent-apriori beliefs. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Paul O'Grady - Relativism Ch.4 | |
| A reaction: The simple point is that whether something is necessary or contingent is a quite separate question from how we come to know that they are. There isn't a new mode of reality called 'necessary a posteriori'. |
| 16990 | A priori = Necessary because we imagine all worlds, and we know without looking at actuality? [Kripke] |
| Full Idea: People think 'necessary' and 'a priori' mean the same for two reasons: we can assess what is feasible in all possible world by running them through our heads, and something known a priori avoids looking at the world, so it must be necessary. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: [compressed] Kripke denies this doctrine, and pulls the concepts apart. Kant seems to be the chief representative of the view he is attacking. Hossack defends the older view. |
| 9386 | The meter is defined necessarily, but the stick being one meter long is contingent a priori [Kripke] |
| Full Idea: In 'one meter is the length of stick S at t', one designator (one meter) is rigid and the other (length of S at t) is not. 'S is one meter long at t' is contingent, as it could have a different length. In this sense, there are contingent a priori truths. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: [very compressed] Not convincing. He is proposing that a truth is knowable a priori, though knowledge of it is utterly dependent on a ceremony having taken place. It would not be true if that event hadn't taken place, so how can be it be known a priori? |
| 9385 | The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke] |
| Full Idea: If a speaker introduced a designator into a language by a ceremony, then in virtue of his very linguistic act, he would be in a position to say 'I know that Fa', but nevertheless 'Fa' would be a contingent truth (provided F is not an essential property). | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.14) | |
| A reaction: If someone else does the designation, I seem to have contingent knowledge that the ceremony has taken place. You needn't experience the object, but you must experience the ceremony, even if you perform it. |
| 4960 | "'Hesperus' is 'Phosphorus'" is necessarily true, if it is true, but not known a priori [Kripke] |
| Full Idea: An identity statement between names (such as 'Hesperus' and 'Phosphorus'), when true at all, is necessarily true, even though one may not know it a priori. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3) | |
| A reaction: This seems correct, but one should not read too much into it. What should we say if Venus fissions into two, one for the morning, one for the evening? That identity implies x=x doesn't prove the existence of unchanging essences. |
| 4966 | Theoretical identities are between rigid designators, and so are necessary a posteriori [Kripke] |
| Full Idea: Theoretical identities, according to the conception I advocate, are generally identities involving rigid designators and therefore are examples of the necessary a posteriori. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3) | |
| A reaction: This doesn't open up a huge new realm of a posteriori necessity. We just cured some of our ignorance. I remain unconvinced that the Morning Star is necessarily the Evening Star, except in the boring way that if it is, it is. Venus could fission. |
| 9174 | It is necessary that this table is not made of ice, but we don't know it a priori [Kripke] |
| Full Idea: Although the statement that this table (if it exists at all) was not made of ice, is necessary, it certainly is not something that we know a priori. | |
| From: Saul A. Kripke (Identity and Necessity [1971], p.180) | |
| A reaction: One of the key thoughts in modern philosophy. Kit Fine warns against treating it as a new and exciting toy, but it is a new and exciting toy. Scientific essentialism, which I so want to be true, is built on this proposal. |
| 2408 | Kripke has demonstrated that some necessary truths are only knowable a posteriori [Kripke, by Chalmers] |
| Full Idea: Kripke has demonstrated the existence of necessary truths such as "water is H2O" whose necessity is only knowable a posteriori. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David J.Chalmers - The Conscious Mind 2.4.2 |
| 13967 | Kripke's essentialist necessary a posteriori opened the gap between conceivable and really possible [Soames on Kripke] |
| Full Idea: With Kripke's essentialist route to the necessary a posteriori came a sharp distinction between conceivability and genuine possibility - ways things could conceivably be versus ways things could really be (or have been). | |
| From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.167 | |
| A reaction: A key idea, for me. I love 'could there be a bonfire on the moon?' Imagining it is easy-peasy. 'Could wood combine with oxygen when there is no oxygen present?' We imagined it all right, but did we 'conceive' it? |
| 13970 | Kripke gets to the necessary a posteriori by only allowing conceivability when combined with actuality [Kripke, by Soames] |
| Full Idea: Kripke's first (superior) route to necessary a posteriori has a sharp distinction between how the universe could conceivably and really be. ..On this picture conceivability is a fallible but useful guide, when combined with knowledge of actuality. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.168 | |
| A reaction: [compressed from p.168 and 170] To dismiss conceivability is ridiculous (see Williamson on that), and this formula of Soames sound right. To understand possibility, you have to study actuality (across time and space). Study history! |
| 4943 | Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke] |
| Full Idea: We should remind ourselves the 'possible worlds' terminology can always be replaced by modal talk, such as "It is possible that…" | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.15) | |
| A reaction: Coming from an originator of the possible worlds idea, this is a useful reminder that we don't have to get too excited about the ontological commitments involved. It may be just a 'way to talk', and hence a tool, rather than a truth about reality. |
| 4950 | Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke] |
| Full Idea: The apparatus of possible worlds has (I hope) been very useful as far as the set-theoretic model-theory of quantified modal logic is concerned, but has encouraged philosophical pseudo-problems and misleading pictures. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 15) | |
| A reaction: This is presumably a swipe at David Lewis, who claims possible worlds are real. The fact that the originator of possible worlds sees them as unproblematic doesn't mean they are. Fine if they are a game, but if they assert truth, they need a metaphysics. |
| 16992 | Possible worlds aren't puzzling places to learn about, but places we ourselves describe [Kripke] |
| Full Idea: A possible world isn't a distant country that we are coming across, or viewing through a telescope. …A possible world is given by the descriptive conditions we associate with it. …Possible worlds are stipulated, not discovered by powerful telescopes. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: His point is that it is absurd to be puzzling over the identity of what exists in some possible world, because the world is specified by us. If I say 'Nixon might have been a frog', I must be referring to Nixon. The problem is whether it is true. |
| 16983 | Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke] |
| Full Idea: In studying probabilities with dice, we are introduced at a tender age to a set of 36 (miniature) possible worlds, if we (fictively) ignore everything except the two dice. …The possibilities are abstract states of the dice, not physical entities. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.16) | |
| A reaction: Interesting for the introduction by the great man of the words 'fictional' and 'abstract' into the discussion. He says elsewhere that he takes worlds to be less than real, but more than mere technical devices. |
| 16993 | If we discuss what might have happened to Nixon, we stipulate that it is about Nixon [Kripke] |
| Full Idea: There is no reason why we cannot stipulate that, in talking about what would have happened to Nixon in a certain counterfactual situation, we are talking about what would have happened to HIM. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: For many people (including me now, I think) this lays to rest the supposed problem of 'transworld identity' wrestled with by Kaplan and Lewis. |
| 16998 | Transworld identification is unproblematic, because we stipulate that we rigidly refer to something [Kripke] |
| Full Idea: It is because we refer (rigidly) to Nixon, and stipulate that we are speaking of what might have happened to him (under certain circumstances), that 'transworld identifications' are unproblematic in such cases. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: This responds to those who say you need transworld identification before you can rigidly designate something, which has 'reversed the cart and horse' says Kripke. Nice. |
| 17001 | A table in some possible world should not even be identified by its essential properties [Kripke] |
| Full Idea: A table should not be identified with the set or 'bundle' of its properties, nor with the subset of its essential properties. Don't ask: how can I identify this table in another possible world, except by its properties? I have the table in my hands. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: You identify the table by what's in front of you, but the essence might be relevant to deciding how far this table could change and remain this table. |
| 4952 | Identification across possible worlds does not need properties, even essential ones [Kripke] |
| Full Idea: Some properties of an object may be essential to it, in that it could not have failed to have them. But these properties are not used to identify the object in another possible world, for such an identification is not needed. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: So how DO you identify objects in other possible worlds, or in this one? You may say he was baptised 'Aristotle' so that's rigid, but if Athens is full of pseudo-Aristotles I want to pick out the real one. I say Kripke muddles epistemology and ontology. |
| 7761 | Test for rigidity by inserting into the sentence 'N might not have been N' [Kripke, by Lycan] |
| Full Idea: Kripke offers an intuitive test for telling whether a term is rigid: try the term in the sentence-frame "N might not have been N". (For example, try the terms 'Nixon' and 'President of the USA'). | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by William Lycan - Philosophy of Language Ch.4 | |
| A reaction: Helpful, but if you try it, the results do not seem to be conclusive. You are left saying 'Well, it depends what you mean by...' Think of possible worlds with a crippled Nixon, twin Nixons, an honest Nixon, a robot Nixon, a dark skinned Nixon... |
| 7693 | Kripke avoids difficulties of transworld identity by saying it is a decision, not a discovery [Kripke, by Jacquette] |
| Full Idea: Objects we find in the actual world might have been so different than they actually are that it appears impossible to identify the same objects from world to world. Kripke sidesteps the problem by saying transworld identity is a decision, not a discovery. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Dale Jacquette - Ontology Ch.2 | |
| A reaction: This is the strategy that opposes Lewis's proposal of 'counterpart' objects that have properties in common. It is also the source of Kripke's causal theory of reference, and hence a key to massive modern debates. |
| 5821 | Saying that natural kinds are 'rigid designators' is the same as saying they are 'indexical' [Kripke, by Putnam] |
| Full Idea: Kripke's doctrine that natural kind words are rigid designators and our doctrine that they are indexical are two ways of making the same point. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Meaning and Reference p.161 | |
| A reaction: I think I prefer Putnam's terminology, because it is more modest in its claims Kripke gets into trouble when a natural kind in some other possible world is only subtly different from the original. How 'rigid'? Putnam sticks to how the word gets started. |
| 14068 | If Kripke names must still denote a thing in a non-actual situation, the statue isn't its clay [Gibbard on Kripke] |
| Full Idea: Kripke gives an account of proper names from which it follows that Goliath (the statue) cannot be identical the lumpl (the clay), ..because if a proper name denotes a thing in the actual world, then it denotes that same thing in non-actual situations. | |
| From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Allan Gibbard - Contingent Identity III | |
| A reaction: This strikes me as a powerful criticism of Kripke's claim - and has led to extensive discussion which I will now have to pursue. Watch this space. |
| 10436 | A rigid expression may refer at a world to an object not existing in that world [Kripke, by Sainsbury] |
| Full Idea: In the Kripkean perspective, rigidity is understood in such a way that an expression may have as referent at a world an object which does not exist at that world. | |
| From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.6 | |
| A reaction: This means that 'the present King of France' is a rigid designator. |
| 4953 | We do not begin with possible worlds and place objects in them; we begin with objects in the real world [Kripke] |
| Full Idea: We do not begin with worlds (which are supposed somehow to be real), and then ask about criteria of transworld identification; on the contrary, we begin with objects, which we have, and can identify, in the real world. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: This gives us clearly Kripke's underlying empiricist metaphysics, I take it. I find the realism of it appealing, but am uneasy about the idea of an object as basic, when Heraclitus said that they tend to fluctuate. Platonism waits in the wings. |
| 4961 | It is a necessary truth that Elizabeth II was the child of two particular parents [Kripke] |
| Full Idea: How could a person originating from different parents, from a totally different sperm and egg, be this very woman (Elizabeth II)? ..It seems to me that anything coming from a different origin would not be this very object. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3) | |
| A reaction: Since baby Elizabeth could have been smuggled into the palace in a bedpan, it seems to me that her properties now are rather more obvious than her origin. I fear the only necessity here is that you can't change the past. An intriguing puzzle. |
| 9172 | A 'rigid designator' designates the same object in all possible worlds [Kripke] |
| Full Idea: By 'rigid designator' I mean a term that designates the same object in all possible worlds. | |
| From: Saul A. Kripke (Identity and Necessity [1971]) | |
| A reaction: I am persistently troubled by the case of objects which are slightly different in another possible world. Does 'Aristotle' refer to him as young or old? Might the very same man have had a mole on his cheek? |
| 9173 | We cannot say that Nixon might have been a different man from the one he actually was [Kripke] |
| Full Idea: It seems that we cannot say "Nixon might have been a different man from the man he in fact was", unless we mean it metaphorically. He might have been a different sort of person. | |
| From: Saul A. Kripke (Identity and Necessity [1971], p.176) | |
| A reaction: The problem is that being a 'different sort of person' could become more and more drastic, till Nixon is unrecognisable. I don't see how I can stipulate that a small and dim mouse is Richard Nixon, even in a possible world with magicians. |
| 17003 | Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke] |
| Full Idea: It is useful to have an operator which transforms each description into a term which rigidly designates the object actually satisfying the description. David Kaplan has proposed such an operator and calls it 'Dthat'. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 22) |
| 9176 | Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke] |
| Full Idea: Statements about the modal properties of this table never refer to counterparts. However, if someone confuses the epistemological problems and the metaphysical problems he will be well on the way to the counterpart theory of Lewis. | |
| From: Saul A. Kripke (Identity and Necessity [1971], p.184 n16) | |
| A reaction: I can't make out what we should say about a possible object which is very nearly this table. Kripke needs the table to have a clear and unwavering essence, but tables are not that sort of thing. How would Kripke define 'physical object'? |
| 9221 | The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider] |
| Full Idea: The most famous objection to counterparts is Kripke's objection that Hubert Humphrey wouldn't care if he thought that his counterpart might have won the 1972 election. He wishes that he had won it. | |
| From: report of Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 12) by Theodore Sider - Reductive Theories of Modality 3.10 | |
| A reaction: Like Sider, I find this unconvincing. If there is a world in which I don't exist, but my very close counterpart does (say exactly me, but with a finger missing), I am likely to care more about such a person than about complete strangers. |
| 16986 | That there might have been unicorns is false; we don't know the circumstances for unicorns [Kripke] |
| Full Idea: I think it is not the case that there might have been unicorns. I wouldn't say it is necessary that there are no unicorns, but that we just can't say under what circumstances there would have been unicorns. | |
| From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) | |
| A reaction: His point seems to be that unicorns are insufficiently individuated by the legends, whereas a typical sample of an actual creature contains everything that will individuate the species. |