18 ideas
| 16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |
| Full Idea: The main and the original motivation for the 'possible worlds analysis' - and the way it clarified modal logic - was that it enabled modal logic to be treated by the same set theoretic techniques of model theory used successfully in extensional logic. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.19 n18) | |
| A reaction: So they should be ascribed the same value that we attribute to classical model theory, whatever that is. |
| 16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
| Full Idea: Two totally distinct 'historical chains' that be sheer accident assign the same name to the same man should probably count as creating distinct names despite the identity of the referents. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.08 n9) | |
| A reaction: A nice puzzle for his own theory. 'What's you name?' 'Alice, and Alice!' |
| 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. |
| 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. |
| 6215 | 'Contingent' means that the cause is unperceived, not that there is no cause [Hobbes] |
| Full Idea: For contingent, men do not mean that which hath no cause, but that which hath not for cause any thing that we perceive, as when a traveller meets a shower, they both had sufficient causes, but they didn't cause one another, so we say it was contingent. | |
| From: Thomas Hobbes (Of Liberty and Necessity [1654], §95) | |
| A reaction: Contingent nowadays means 'might not have happened', or 'does not happen in all possible worlds'. Personally I share Hobbes' doubts about the concept of contingency, and this is quite a good account of the misunderstanding. |
| 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. |
| 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. |
| 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. |
| 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. |
| 20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
| Full Idea: Where Kant and others had traditionally assumed that the a priori concerned beliefs 'justifiable independently of experience', Quine and others of the time came to regard it as beliefs 'unrevisable in the light of experience'. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 3.7) | |
| A reaction: That throws a rather striking light on Quine's project. Of course, if the a priori is also necessary, then it has to be unrevisable. But is a bachelor necessarily an unmarried man? It is not necessary that 'bachelor' has a fixed meaning. |
| 20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
| Full Idea: Externalists are typically committed to counting expressions as 'synonymous' if they happen to be linked in the right way to the same external phenomena, even if a thinker couldn't realise that they are by reflection alone. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.2) | |
| A reaction: [He cites Fodor] Externalists always try to link to concrete things in the world, but most of our talk is full of generalities, abstractions and fiction which don't link directly to anything. |
| 20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
| Full Idea: If Bob is married to Sue, then Sue is married to Bob. If x bigger than y, and y bigger than z, x is bigger than z. The symmetry of 'marriage' or transitivity of 'bigger than' are not obviously 'contained in' the corresponding thoughts. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 1.2) | |
| A reaction: [Also 'if something is red, then it is coloured'] This is a Fregean criticism of Kant. It is not so much that Kant was wrong, as that the concept of analyticity is seen to have a much wider application than Kant realised. Especially in mathematics. |
| 20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
| Full Idea: Rejecting 'a married bachelor' as contradictory would seem to have no justification other than the claim that 'All bachelors are unmarried is analytic, and so cannot serve to justify or explain that claim. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 1.2) | |
| A reaction: Rey is discussing Frege's objection to Kant (who tried to prove the necessity of analytic judgements, on the basis of the denial being a contradiction). |
| 20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
| Full Idea: What's peculiar about the analytic is that denying it seem unintelligible. Far from unrevisability explaining analyticity, it seems to be analyticitiy that explains unrevisability; we only balk at denying unmarried bachelors because that's what it means! | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 3.7) | |
| A reaction: This is a criticism of Quine, who attacked analyticity when it is understood as unrevisability. Obviously we could revise the concept of 'bachelor', if our marriage customs changed a lot. Rey seems right here. |
| 20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
| Full Idea: It may be that the meaning properties of a term are the ones that play a basic explanatory role with regard to the use of the term generally, the ones in virtue ultimately of which a term is used with that meaning. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.3) | |
| A reaction: [He cites Devitt 1996, 2002, and Horwich 1998, 2005) I spring to philosophical life whenever I see the word 'explanatory', because that is the point of the whole game. They are pointing to the essence of the concept (which is explanatory, say I). |
| 20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
| Full Idea: The existence of a separate language faculty may be an odd but psychologically real fact about us, and it may thereby supply a real basis for commitments about not only what is or is not grammatical, but about what is a matter of natural language meaning. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.4) | |
| A reaction: This is the Chomskyan view of analytic sentences. An example from Chomsky (1977:142) is the semantic relationships of persuade, intend and believe. It's hard to see how the secret faculty on its own could do the job. Consensus is needed. |
| 20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
| Full Idea: The movement of 'experimental philosophy' has pointed to evidence of considerable malleability of subject's 'intuitions' with regard to the standard kinds of thought experiments on which defenses of analytic claims typically rely. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.4) | |
| A reaction: See Cappelen's interesting attack on the idea that philosophy relies on intuitions, and hence his attack on experimental philosophy. Our consensus on ordinary English usage hardly qualifies as somewhat vague 'intuitions'. |
| 20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |
| Full Idea: How in the end are we going to distinguish claims or the analytic as 'rational insight', 'primitive compulsion', inferential practice or folk belief from merely some deeply held empirical conviction, indeed, from mere dogma. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.1) | |
| A reaction: This is Rey's summary of the persisting Quinean challenge to analytic truths, in the face of a set of replies, summarised by the various phrases here. So do we reject a dogma of empiricism, by asserting dogmatic empiricism? |