Ideas from 'On the Plurality of Worlds' by David Lewis [1986], by Theme Structure

[found in 'On the Plurality of Worlds' by Lewis,David [Blackwell 2001,0-631-22426-2]].

green numbers give full details    |     back to texts     |     unexpand these ideas


1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Honesty requires philosophical theories we can commit to with our ordinary commonsense
                        Full Idea: The maxim of honesty: never put forward a philosophical theory that you yourself cannot believe in your least philosophical and most commonsensical moments.
                        From: David Lewis (On the Plurality of Worlds [1986], 2.8)
                        A reaction: I take it as important that this test is according to the philosopher's commonsense, and not according to some populist idea. This would allow, for example, for commonsense to be sensitive to scientific knowledge, or awareness of the logic.
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Analysis reduces primitives and makes understanding explicit (without adding new knowledge)
                        Full Idea: The object of analysis is to reduce our burden of primitive notions, and to make tacit understanding explicit - not to bootstrap ourselves into understanding what we didn't understand at all beforehand.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.2)
                        A reaction: I am particularly keen on the idea of 'making tacit understanding explicit'. I connect this with faith in intuition, and with the coherence view of justification.
3. Truth / A. Truth Problems / 6. Verisimilitude
Verisimilitude might be explained as being close to the possible world where the truth is exact
                        Full Idea: We might explain the closeness to the truth (or 'verisimilitude') in terms of closeness of possible worlds. A theory is close to the truth to the extent that our world resembles some world where that theory is exactly true.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.3)
                        A reaction: [Lewis cites Risto Hilpinen for this thought] I am always puzzled why Lewis and co. talk of whole worlds in their accounts. If I am close to the truth about cooking a good omelette, what has the rest of the world got to do with it?
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Quantification sometimes commits to 'sets', but sometimes just to pluralities (or 'classes')
                        Full Idea: I consider some apparent quantification over sets or classes of whatnots to carry genuine ontological commitment to 'sets' of them, but sometimes it is innocent plural quantification committed only to whatnots, for which I use 'class'.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5 n37)
                        A reaction: How do you tell whether you are committed to a set or not? Can I claim an innocent plurality each time, while you accuse me of a guilty set? Can I firmly commit to a set, to be told that I can never manage more than a plurality?
7. Existence / A. Nature of Existence / 2. Types of Existence
There are only two kinds: sets, and possibilia (actual and possible particulars)
                        Full Idea: Lewis's multi-purpose ontology seems to have only two kinds: sets and possibilia (actual and possible particulars).
                        From: report of David Lewis (On the Plurality of Worlds [1986]) by Alex Oliver - The Metaphysics of Properties 3
                        A reaction: This is awfully like the ontology of his teacher Quine, but with the wicked addition of modal properties. It is no wonder that Lewis was a bit vague about the concrete boundary, as both of his kinds seem to be abstract. His Achilles' Heel?
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience concerns whether things could differ, so it is a modal notion
                        Full Idea: The idea of supervenience is when there could be no difference of one sort without difference of another sort. ..Clearly this 'could' indicates modality, and without modality we have nothing of interest.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.2)
                        A reaction: This might explain why philosophers are going to be more at home with the concept than neuroscientists would be.
7. Existence / D. Theories of Reality / 7. Fictionalism
Abstractions may well be verbal fictions, in which we ignore some features of an object
                        Full Idea: The inevitable hypothesis is that abstractions are verbal fictions. We say we are speaking about abstractions when we are speaking abstractly about the original thing. We are ignoring some features, not introducing a new thing lacking those features.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: Thus Lewis ends up pretty close to Locke and the traditional view. This makes abstraction not a feat of platonic perception, in which magical non-material objects are spotted, but a feat of counterfactual imagination.
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Vagueness is semantic indecision: we haven't settled quite what our words are meant to express
                        Full Idea: I regard vagueness as semantic indecision: where we speak vaguely, we have not troubled to settle which of some range of precise meanings our words are meant to express.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.4 n32)
                        A reaction: But that seems to leave the problem of how you are going to decide the boundaries of 'heap' or 'bald', if we all agree to become more precise. In law precise boundaries are often drawn a bit arbitrarily, simply because a boundary is needed.
Whether or not France is hexagonal depends on your standards of precision
                        Full Idea: Say that France is hexagonal, and you thereby set the standards of precision low, and you speak the truth; say that France is not hexagonal (preferably on some other occasion) and you set the standards high, and again you speak the truth.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.5)
                        A reaction: This is very persuasive. It fits with my views on justification, which are to do with how high I (or more often 'we') decide to set the standards, thereby defining knowledge for that occasion. Hm. Has Lewis cracked vagueness? [P.S. NO!]
8. Modes of Existence / B. Properties / 1. Nature of Properties
Surely 'slept in by Washington' is a property of some bed?
                        Full Idea: That the most noteworthy property of this bed is that George Washington slept in it - surely this is true on some legitimate conception of properties?
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Wrong! This example is a nice clear test case. This is an absurd slippery slope. A bed he once looked at? I would have thought this was a relation the bed once entered into, and a relation isn't a property.
Properties don't have degree; they are determinate, and things have varying relations to them
                        Full Idea: I have made no place for properties that admit of degree, so that things may have more or less of the same property. There are plain properties, and then there are relations to them.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: An interesting question, little discussed. Elsewhere, Lewis ascribes all vagueness to our inadequate predicates, rather than to the world, which I find quite persuasive.
The 'abundant' properties are just any bizarre property you fancy
                        Full Idea: Properties are 'sparse' or 'abundant'. The abundant properties may be as extrinsic, as gruesomely gerrymandered, as miscellaneously disjunctive, as you please. They pay no heed to the qualitative joints, but carve things up every which way.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: This seems to be a logician's idea, which is needed for the notion of a set as pure extension, but it has very little to do with what I understand by the word 'property'. Better to call it a 'categorization'. E.g. filing George W. Bush under 'jackal'.
8. Modes of Existence / B. Properties / 2. Need for Properties
To be a 'property' is to suit a theoretical role
                        Full Idea: To deserve the name of 'property' is to be suited to play the right theoretical role. It is wrong to speak of 'the' role associated with the word 'property', as if it were fully and uncontroversially settled.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Once again I see a chicken-and-egg problem. Surely something has a theoretical role because of its intrinsic character, or its prior definition? How could you formulate a theory if you lacked properties? We don’t meet properties as gaps in theories.
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
All of the natural properties are included among the intrinsic properties
                        Full Idea: It cannot be said that all intrinsic properties are perfectly natural, ...but it can plausibly be said that all perfectly natural properties are intrinsic.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Idea 15742 give the example he uses to support this claim. I like the concept of 'intrinsic' properties, but cannot currently see any use for the concept of 'natural' ones.
A disjunctive property can be unnatural, but intrinsic if its disjuncts are intrinsic
                        Full Idea: A property can be unnatural by reason of disjunctiveness, as the property of being tripartite-or-liquid-or-cubical is, and it is intrinsic if its disjuncts are.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: This strikes me as being utterly, shockingly and disgracefully wrong. A disjunction can't possibly be a property. Can a person have the property of being 'fat or thin'? A disjunction offers candidates for properties, not the properties themselves.
If a global intrinsic never varies between possible duplicates, all necessary properties are intrinsic
                        Full Idea: Lewis defines a globally intrinsic property as one that never varies between duplicates across possible worlds. This has the immediate problem that any property that is necessarily had, or necessarily lacked, by every thing will be intrinsic.
                        From: comment on David Lewis (On the Plurality of Worlds [1986], p.61-2) by Ross P. Cameron - Intrinsic and Extrinsic Properties 'Analysis'
                        A reaction: [He also cites Langton and Lewis 1998] To me this is the sort of tangle you get into when you equate properties with predicates. The problem seems to concern necessary predicates (but those may not be necessary properties).
Global intrinsic may make necessarily coextensive properties both intrinsic or both extrinsic
                        Full Idea: If a globally intrinsic properties are those that never vary between duplicates across possible worlds, then necessarily coextensive properties will either be both intrinsic or both extrinsic.
                        From: comment on David Lewis (On the Plurality of Worlds [1986], p.61-2) by Ross P. Cameron - Intrinsic and Extrinsic Properties 'Analysis'
                        A reaction: Presumably this problem would arise if some intrinsic property entailed an extrinsic property (or, less likely, vice versa). These sorts of problems arise when you try to define everything extensionally (even across possible worlds).
8. Modes of Existence / B. Properties / 5. Natural Properties
We might try defining the natural properties by a short list of them
                        Full Idea: We might try defining the natural properties by a short list, of the mass properties, charge properties, quark properties and flavours...
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5 n47)
                        A reaction: He rejects this because of possible natural properties in other possible worlds. Defining anything by a list seems like cheating. Does John, Paul, George and Ringo 'define' something?
Natural properties give similarity, joint carving, intrinsicness, specificity, homogeneity...
                        Full Idea: Sharing of [perfectly natural properties] makes for qualitative similarity, they carve at the joints, they are intrinsic, they are highly specific, the sets of their instances are ipso facto not highly miscellaneous.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: All this sounds like just what I want, but when I read Lewis he seems to be arriving at these natural properties by the wrong route. Too much Hume, too much extensionalism.
Defining natural properties by means of laws of nature is potentially circular
                        Full Idea: Shall we say that natural properties are the ones that figure in laws of nature? - Not if we are going to use naturalness of properties when we draw the line between laws of nature and accidental regularities.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Personally I wouldn't dream of defining anything by saying that it figured in laws of nature. The laws, if there be such (see Mumford) are built up from more fundamental components, such as (perhaps) properties.
We can't define natural properties by resemblance, if they are used to explain resemblance
                        Full Idea: Shall we say that natural properties are the ones whose instances are united by resemblance? - Not if we are going to say that resemblance is the sharing of natural properties.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: The target of this appears to be the proposal of Quinton. By now I have totally given up on so-called 'natural' properties. Lewis says the circularity (also in Idea 15743) is a reason to treat 'natural' here as primitive (though he rejects that).
I don't take 'natural' properties to be fixed by the nature of one possible world
                        Full Idea: Some people suppose my natural properties are distinguished by nature, and hence natural in one world and not another. I intend properties to be natural or unnatural simpliciter, not relative to one or another world.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5 n44)
                        A reaction: This is an important warning for the likes of me. I've have begun to doubt the utility of the term 'natural' property, and this reinforces my view.
Sparse properties rest either on universals, or on tropes, or on primitive naturalness
                        Full Idea: Lewis surveys three accounts of sparse properties: a set of objects instantiating a single universal; a set of objects having as parts duplicates of some trope; and a set distinguished by a further unanalyzable, primitive characteristic of naturalness.
                        From: report of David Lewis (On the Plurality of Worlds [1986], p.60-) by Tim Maudlin - The Metaphysics within Physics
                        A reaction: The very idea of suggesting that a property is some set of objects strikes me as bizarre. I present you with a table full of objects and say that is the complete set of some property. You then have to study the objects to find out what the property is.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
There is the property of belonging to a set, so abundant properties are as numerous as the sets
                        Full Idea: The abundant properties far outrun the predicates of any language we could possibly possess. ...Properties are as abundant as the sets, because for any set whatever, there is the property of belonging to that set.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: The idea of calling such things 'properties' strikes me as preposterous, but it is interesting that we confront truths which outrun our predicates. We can't have all of these predicates together, but there is no impediment to any one of them.
8. Modes of Existence / B. Properties / 11. Properties as Sets
A property is the set of its actual and possible instances
                        Full Idea: Lewis proposes that a property is the set of its actual and possible instances.
                        From: report of David Lewis (On the Plurality of Worlds [1986], 1.5) by Alex Oliver - The Metaphysics of Properties 10
                        A reaction: I just can't make sense of any proposal that a property is a set. Things fall into natural sets because they have properties. Only a philosopher would believe such a weird proposal as this one. Triangular and trilateral?
The property of being F is identical with the set of objects, in all possible worlds, which are F
                        Full Idea: Lewis thought that the property of being F was identical with the set of objects, in all possible worlds, which are F.
                        From: report of David Lewis (On the Plurality of Worlds [1986], §1.5) by Ross P. Cameron - Intrinsic and Extrinsic Properties
                        A reaction: I can't make head or tail of a theory which says that a property is a set of objects. I'll show you a room full of objects and tell you they are a property. How are you going to work out what the property is? 'Being F' is a predicate, not a property!
Accidentally coextensive properties come apart when we include their possible instances
                        Full Idea: In modal realism, 'accidentally coextensive' properties are not coextensive. They only appear so when we ignore their other-worldly instances. If we consider all instances, then it never can happen that two properties are coextensive but might have been.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: It is not clear why this 'can never happen'. Maybe even God can't make a hearted creature without kidneys. Lewis is aware of this question.
Properties don't seem to be sets, because different properties can have the same set
                        Full Idea: The usual objection to taking properties as sets is that different properties may happen to be coextensive. Creatures with hearts are creatures with kidneys. Talking donkeys are flying pigs (since there are none). Yet the properties differ.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: This is the difficulty which Lewis proposes to solve by defining properties across possible situations as well as actual ones, so that the properties can come apart. Nice move.
If a property is relative, such as being a father or son, then set membership seems relative too
                        Full Idea: A property that is instantiated in a relative way (such as being a father or a son) could not be the set of its instances? Is the thing to be included in the set or not?
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: He says philosophers contrive ways to define properties as functions, but he prefers to call such properties 'relations', and define them that way. It never even occurred to me that 'being a son' was one of my properties, but what do I know?
Trilateral and triangular seem to be coextensive sets in all possible worlds
                        Full Idea: We can't take a property as sets of this-worldly instances, because two properties may be coextensive. Some say it is just as bad in all possible worlds, if the property is necessary, as when all triangles are trilateral, which seem different.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: [compressed] Renate/cordate is the standard example of the first problem. Lewis seems to equivocate over exactly what is meant by a property. I take the example to be a powerful objection to treating properties as sets.
I believe in properties, which are sets of possible individuals
                        Full Idea: I believe in properties. That is, I have my candidates for entities to play the role and deserve the name. My principal candidates are sets of possible individuals.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.4)
                        A reaction: I am bewildered by any claim that a property is a 'set'. The property of being a teaspoon is just a large pile of teaspoons (one pile in each possible world)? This is the tyranny of first-order logic in philosophy. Are sets more real than properties?
It would be easiest to take a property as the set of its instances
                        Full Idea: The simplest plan for properties is to take a property just as the set of all its instances.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: I find this a weird and counterintuitive proposal. I suppose if you think maths has been reduced to set theory, you might want to reduce everything else, and then we can all go home. I thought things were in sets because of their properties.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
You must accept primitive similarity to like tropes, but tropes give a good account of it
                        Full Idea: If you will not countenance primitive similarity in any form, then trope theory is not for you. But if you will, then duplication of tropes is an especially satisfactory form of primitive similarity to take.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: This presents the question about tropes in a beautifully simple form. Perfect similarities seem fine, but partial similarities (red and pink things) are hard, and abstract reference (pinkness and redness) is even harder.
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Trope theory needs a primitive notion for what unites some tropes
                        Full Idea: Trope theory needs a primitive notion - 'instantion' in yet another sense - to say how the tropes that comprise a particle are united.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Any theory which says that objects are just 'bundles' of tropes is asking for trouble. But if you say (with Lowe and others) that tropes are 'modes' of existing entities, you still have to give an account of the entity.
Trope theory (unlike universals) needs a primitive notion of being duplicates
                        Full Idea: Trope theory has the drawback that we need the primitive notion of duplicate tropes, whereas with universals we just say that it is one and the same universal through some charged particles.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: The normal term for this primitive is 'perfect resemblance', though that seems to make close resemblance a bit complicated and puzzling. I'm not sure if I understand resemblance as a feature of the world, rather than of our minds.
Tropes need a similarity primitive, so they cannot be used to explain similarity
                        Full Idea: Trope theory cannot analyse similarity, because duplication of tropes is itself a primitive relation of similarity.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: A reasonable reply to this one, I think, is that no one can explain or analyse similarity. To say that the same universal (or bunch of graded universals) is instantiated explains nothing. Maybe type-identity must be primitive in any theory?
8. Modes of Existence / D. Universals / 1. Universals
Universals recur, are multiply located, wholly present, make things overlap, and are held in common
                        Full Idea: One and the same universal recurs; it is multiply located; it is wholly present in both instances, a shared common part whereby the two instances overlap. Being alike by sharing a universal is 'having something in common' in an absolutely literal sense.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: A helpful spelling out of the commitment involved (in Armstrong and others) in belief in universals. To me this is a convenient list of reasons why the whole proposal is nonsense. Why does Lewis take them seriously?
If particles were just made of universals, similar particles would be the same particle
                        Full Idea: We cannot say that a particle is composed entirely of its several universals, because then another particle exactly like it would have the very same universals, and yet the two particles would not be the same.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: This is an argument either (implausibly) for haecceities or characterless substrata, or else for tropes (which are all separate, unlike universals). Particles as bundles of universals is not a theory I take seriously.
8. Modes of Existence / D. Universals / 3. Instantiated Universals
Universals aren't parts of things, because that relationship is transitive, and universals need not be
                        Full Idea: It cannot be said that a universal is instantiated by anything that has it as a part, since the relation of part to whole is transitive. If charge is part of a particle, which is part of an atom, then charge is part of the atom, but an atom isn't charged.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Given the total mystery involved in 'instantiation', it wouldn't surprise me if someone appealed to the part-whole relation, but all moves to explain instantiation are desperate. Make it a primitive, if you must, then tiptoe away.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Mereological composition is unrestricted: any class of things has a mereological sum
                        Full Idea: I claim that mereological composition is unrestricted: any old class of things has a mereological sum. Whenever there are some things, even out of different possible worlds, there is something composed of just those things.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.3)
                        A reaction: To say the least, a rather unusual usage for the English word 'thing'. I presume that Lewis is in the grip of a slippery slope problem - that there is no way to define the borderline between things and non-things. Presumably 'class' is unrestricted too.
There are no restrictions on composition, because they would be vague, and composition can't be vague
                        Full Idea: Lewis says that if not every class has a fusion then there must be a restriction on composition. The only plausible restrictions would be vague ones, which is impossible, because then whether composition occurs would be vague. So every class has a fusion.
                        From: report of David Lewis (On the Plurality of Worlds [1986], p.212-3) by Theodore Sider - Four Dimensionalism 9.1
                        A reaction: This is Lewis's key argument in favour of unrestricted composition, his Vagueness Argument. Why can't composition be vague? If you gradually reassemble a broken mirror, at what point does the mirror acquire its unity?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
An essential property is one possessed by all counterparts
                        Full Idea: For Lewis, if a property possessed by a given individual or kind is missing in some of the contextually relevant counterparts, that property is accidental to the individual or kind; if it is possessed by all of them, that property is essential.
                        From: report of David Lewis (On the Plurality of Worlds [1986], 248-263) by Crawford L. Elder - Real Natures and Familiar Objects 1.4
                        A reaction: This is a sophisticated version of the idea that essential properties are just necessary properties. It might make sense with a very sparse view of properties (mainly causal ones), but I think of essences as quite different from necessities.
9. Objects / E. Objects over Time / 1. Objects over Time
A thing 'perdures' if it has separate temporal parts, and 'endures' if it is wholly present at different times
                        Full Idea: Something 'perdures' iff it persists by having different temporal parts, or stages, at different times, though no one part of it is wholly present at more than one time; whereas it 'endures' iff it persists by being wholly present at more than one time.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.2)
                        A reaction: Only a philosopher would come up with a concept like perdurance. I'm thinking about this one, and will get back to you in a later-numbered idea... He compares perdurance to the way a road persists through space.
9. Objects / E. Objects over Time / 2. Objects that Change
Properties cannot be relations to times, if there are temporary properties which are intrinsic
                        Full Idea: The problem of 'temporary intrinsics' is that in one model we think of properties as relations to times (I am 'bent' relative to now), but change sometime involves intrinsic properties. I am just plain bent, not bent with respect to something else.
                        From: report of David Lewis (On the Plurality of Worlds [1986], p.202-4) by Theodore Sider - Four Dimensionalism
                        A reaction: [I've compressed Sider's summary] The question of whether intrinsic properties endure over time runs in parallel with the question of whether objects endure over time, and the two issues cannot be separated.
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
Endurance is the wrong account, because things change intrinsic properties like shape
                        Full Idea: The principal and decisive objection to endurance, as an account of the persistence of ordinary things, is the problem of temporary intrinsics. Persisting things change their intrinsic properties, such as their shape. My own shape keeps changing.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.2)
                        A reaction: Presumably if something was going to endure through time it would need a shape. If it has no particular shape, it lacks identity? Lewis discusses the problem at length. Why is a precise shape essential to anything?
There are three responses to the problem that intrinsic shapes do not endure
                        Full Idea: The problem for the endurance view of temporary intrinsic properties like shape is met be either saying shape is a disguised relational property, or only present properties are intrinsic, or the shapes belong to different things (perdurance).
                        From: David Lewis (On the Plurality of Worlds [1986], 4.2)
                        A reaction: [compressed] It is certainly implausible to deny that shape is a feature of all physical objects. Or it appears to be. Shapes are hard to pin down at the quantum level. How do you sharply divide moments for the perdurance view? ...
9. Objects / E. Objects over Time / 12. Origin as Essential
I can ask questions which create a context in which origin ceases to be essential
                        Full Idea: If I ask how things would be if Saul Kripke had come from no sperm and egg, but was brought by a stork, that makes sense. I create a context that makes my question make sense, which is a context that makes origin not to be essential.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.5)
                        A reaction: I'm not clear why delivery by a stork doesn't just count as a different origin, and hence it turns out to be essential to Kripke. If Kripke were a necessary being (and he's a good candidate), then he would have no origin.
9. Objects / F. Identity among Objects / 5. Self-Identity
Identity is simple - absolutely everything is self-identical, and nothing is identical to another thing
                        Full Idea: Identity is utterly simple and unproblematic. Everything is identical to itself; nothing is ever identical to anything except itself. There is never any problem about what makes something identical to itself; nothing can ever fail to be.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.1)
                        A reaction: I have great problems with expressing this concept as a thing being 'identical to itself'. I will always say that it 'has an identity'. But then it is problematical, because what constitutes an identity? When do dispersing clouds lose it?
9. Objects / F. Identity among Objects / 6. Identity between Objects
Two things can never be identical, so there is no problem
                        Full Idea: There is never any problem about what makes two things identical; two things can never be identical.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.1)
                        A reaction: This expresses Lewis's preference for usage of the word 'identity', rather than a simple solution. It pays no attention to type-identity, which is an obvious phenomenon. In some sense, it is just obvious that two electrons are 'identical'.
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
The impossible can be imagined as long as it is a bit vague
                        Full Idea: Imaginability is a poor criterion of possibility. We can imagine the impossible provided we do not imagine it in perfect detail and all the time.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.8)
                        A reaction: In general I agree, but Williamson nicely opposes this view. The fact is that we derive most of our understanding of what is possible from imagination. We just have to realise that we can get it wrong, and so must attend to detail.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
There are no free-floating possibilia; they have mates in a world, giving them extrinsic properties
                        Full Idea: There are no free-floating possibilia. Every possibility is part of a world - exactly one world - and thus comes surrounded by worldmates, and fully equipped with extrinsic properties in virtue of its relations to them.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.4)
                        A reaction: This is a key claim in the possible worlds understanding of modality, contrary to the more common sense and normal language claim that a possibility is an isolated thing.
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
On mountains or in worlds, reporting contradictions is contradictory, so no such truths can be reported
                        Full Idea: To tell the alleged truth about contradictory things that happen on a mountain is just contradicting yourself, but you can't tell the truth by contradicting yourself. There is no mountain where contradictions are true, and impossible worlds are no better.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.2 n3)
                        A reaction: [compressed] He says this works for any 'restricted' domain like a mountain or a real world, but that it wouldn't apply in an unrestricted fictional world.
Possible worlds can contain contradictions if such worlds are seen as fictions
                        Full Idea: If worlds were like stories or story-tellers, there would indeed be room for worlds according to which contradictions are true.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.2 n3)
                        A reaction: Most existing fictions contain tiny contradictions, but we might ask whether that thereby disqualifies them from depicting genuinely 'possible' worlds.
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
For Lewis there is no real possibility, since all possibilities are actual
                        Full Idea: Lewis-style modal realism eliminates all real possibility since on his account everything is actual relative to its own world.
                        From: comment on David Lewis (On the Plurality of Worlds [1986]) by David S. Oderberg - Real Essentialism 6.2
                        A reaction: Since it is possible for me to be in New York and in Chicago, but not both at once, his possibilities have to be kept apart, even though they are actual. I expect my visit to Chicago to remain as only a possibility.
Lewis posits possible worlds just as Quine says that physics needs numbers and sets
                        Full Idea: Lewis's argument for possible worlds parallels Quine's for the existence of sets: our best overall empirical theory, mathematical physics, quantifies over real numbers, so we have reason to posit real numbers, or the sets to which they may be reduced.
                        From: report of David Lewis (On the Plurality of Worlds [1986]) by Theodore Sider - Reductive Theories of Modality 3.6
                        A reaction: They both strike me as suspect. Indeed, the extreme implausibility of Lewis's conclusion throws doubt on Quine's original strategy. I'm happy to work with sets and possible worlds, and only worry about ontological commitment at a later stage.
For me, all worlds are equal, with each being actual relative to itself
                        Full Idea: For me, all the worlds are on an equal footing in that each is actual relative to itself and none is actual relative to any other.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.1)
                        A reaction: Lewis says the world we call 'actual' is simply a matter of how our indexicals refer. That sounds the wrong way round to me (as so often with Lewis).
If possible worlds really exist, then they are part of actuality
                        Full Idea: The familiar complaint against Lewis is that if his worlds existed, they'd be part of actuality.
                        From: comment on David Lewis (On the Plurality of Worlds [1986]) by Theodore Sider - Writing the Book of the World 11.5
                        A reaction: Sider presents that as rather superficial, but it sounds a pretty good objection to me. Lewis would note that only our world has the indexical features which he says pick out actuality. Real possible worlds might lack indexical features?
A world is a maximal mereological sum of spatiotemporally interrelated things
                        Full Idea: A world is a maximal mereological sum of spatiotemporally interrelated things.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.6)
                        A reaction: (I wonder what Lewis's account of space was?) A mereological sum is "the least inclusive thing that includes all the parts" (p.69). It is maximal when all 'worldmates' are parts. But then 'worldmates' are defined as parts, so it threatens circularity.
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Lewis rejects actualism because he identifies properties with sets
                        Full Idea: It is the identification of properties with sets that rules out, for Lewis, an actualist account of possible worlds.
                        From: report of David Lewis (On the Plurality of Worlds [1986]) by Robert C. Stalnaker - Mere Possibilities 1.1
                        A reaction: I suppose the sets which are the properties have to include all the possible red things as well as the actual one. This escapes the renate/cordate problem.
Ersatzers say we have one world, and abstract representations of how it might have been
                        Full Idea: The ersatzers say that instead of an incredible plurality of concrete worlds, we can have one world only, and countless abstract entities representing ways that this world might have been.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.1)
                        A reaction: Put me down as an ersatzer. They seem to be the same as Actualists. Are worlds other possible worlds, or ways 'this world might have been'? Not the same. Does actuality constrain what is possible? (Barcan formula?)
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Ersatz worlds represent either through language, or by models, or magically
                        Full Idea: I distinguish three principal ways ersatz worlds represent: linguistic, in which they are like stories or theories; pictorial, like pictures or isomorphic scale models; or magical, in which it is just their nature to represent.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.1)
                        A reaction: I think I incline to the 'model' view. The linguistic version means animals can't assess possibilities. I take modelling to be basic to what a mind is, and what a mind is for.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
Linguistic possible worlds need a complete supply of unique names for each thing
                        Full Idea: There are two difficulties with Carnap's taking possible worlds as linguistic. Everything must have a name, or our state-descriptions will be silent about nameless things, and nothing may have two names, or we may affirm and deny a predicate of one thing.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.2)
                        A reaction: The idea of possible worlds as linguistic has no appeal for me, so this problem doesn't surprise or bother me, but it sounds fairly terminal for the project.
Maximal consistency for a world seems a modal distinction, concerning what could be true together
                        Full Idea: An ersatz world must be maximally consistent (hence destroyed by an additional sentences), …but that is prima facie a modal distinction: a set of sentences is consistent iff those sentences, as interpreted, could all be true together.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.2)
                        A reaction: This is indicative of Lewis's motivation for his project, which is to eliminate modal facts from the world. Only a vast multitude of non-modal concrete worlds can satisfy all the contraints. Cf many-worlds quantum mechanics for non-locality.
Linguistic possible worlds have problems of inconsistencies, no indiscernibles, and vocabulary
                        Full Idea: Linguistic representations of possible worlds have three problems: some descriptions are inconsistent (which worlds cannot be); we cannot have indiscernible descriptions (though some worlds might be so); and descriptions are limited by vocabulary.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.2)
                        A reaction: Lewis is wonderful at getting problems clearly on the table. I take the idea of possible worlds as linguistic entities to be a non-starter, because (as usual) animals do it too, when they think of possibilities, which even the dimmest ones must do.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
If sets exist, then defining worlds as proposition sets implies an odd distinction between existing and actual
                        Full Idea: If sets exist, then the conventional concept of a logically possible world as a proposition set requires a counterintuitive distinction between existence and actuality, between what exists and what is actual.
                        From: comment on David Lewis (On the Plurality of Worlds [1986]) by Dale Jacquette - Ontology Ch.2
                        A reaction: This pinpoints the obvious difficulty that most people have with Lewis's claim that possible worlds exist. Russell's claim that universals 'subsist' (Idea 5409) is a similar attempt to have two different sorts of existence in your ontology.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
The counterpart relation is sortal-relative, so objects need not be a certain way
                        Full Idea: Lewis takes the counterpart relation to be sortal-relative, so he (no less than Quine) denies that objects, qua existing, are necessarily a certain way.
                        From: report of David Lewis (On the Plurality of Worlds [1986]) by Trenton Merricks - Truth and Ontology 5.III n10
                        A reaction: Does this mean that there could be two different versions of the same possible world (certainly not!), or that worlds are entirely created by our concepts rather than by what is actually possible.
Why should statements about what my 'counterpart' could have done interest me?
                        Full Idea: If I only have counterparts in possible worlds who are not identical to me, statements about what I could have done will seem irrelevant to me, because they will be about someone else.
                        From: comment on David Lewis (On the Plurality of Worlds [1986]) by Thomas Mautner - Penguin Dictionary of Philosophy p.115
                        A reaction: We might rephrase the statement as "I could have been the person who did x". Presumably my counterpart is not just any stranger, but someone I could have been. "I could have been a brick" - now that seems irrelevant to me!
A counterpart in a possible world is sufficiently similar, and more similar than anything else
                        Full Idea: 'Jack could have been taller' implies a different Jack in a different world, so Lewis defines a counterpart in a possible world as an individual sufficiently similar to Jack, and more similar to Jack than anything else in that world.
                        From: report of David Lewis (On the Plurality of Worlds [1986]) by Thomas Mautner - Penguin Dictionary of Philosophy p.115
                        A reaction: If we say something like "I could have been twins" or "I could have been a genius" in another world, it would need an odd concept of my personal identity for it to remain identical in those counterfactual situations. Lewis has a point.
In counterpart theory 'Humphrey' doesn't name one being, but a mereological sum of many beings
                        Full Idea: For the counterpart theorist, the trick is to say that 'Humphrey' names not the Humphrey of our world, and not the Humphrey of another, but rather the trans-world individual who is the mereological sum of all those local Humphreys.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.1)
                        A reaction: On Lewis's perdurantism Humphrey is a 'spacetime worm' across his lifetime. Now we are adding all the possible Humphreys to the sum. I'm losing track of Humphrey's shape.
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
Extreme haecceitists could say I might have been a poached egg, but it is too remote to consider
                        Full Idea: Lewis's strategy for defending extreme haecceitism is that supposed impossibilities (that I might have been a poached egg) could be reconstrued as genuine possibilities that are so remote from reality that they are ignored.
                        From: report of David Lewis (On the Plurality of Worlds [1986], 239-) by Penelope Mackie - How Things Might Have Been 9.3
                        A reaction: Not a promising route. Wiggins asks: if you think I could have been a poached egg, start by defining more precisely this 'I' to which we are referring. The definition will blatantly exclude any possibility of my poachedegghood.
Haecceitism implies de re differences but qualitative identity
                        Full Idea: If two worlds differ in what they represent de re concerning some individual, but do not differ qualitatively in any way, I shall call that a haecceitist difference. Haecceitism, then, says there are at least some haecceitist differences between worlds.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.4)
                        A reaction: Lewis bases this view on Kaplan. My brief summary of this is that 'identity may be hidden'. If all electrons are different, what distinguishes them?
Extreme haecceitism says you might possibly be a poached egg
                        Full Idea: The most extreme version of haecceitism says that anything could possibly have any qualitative character; for instance, there is a world according to which you are a poached egg.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.4)
                        A reaction: Presumably a plausible haecceitist view would have to be combined with essentialism, given that the possibility that I might be a poached egg is beyond my intuitive grasp.
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
General causal theories of knowledge are refuted by mathematics
                        Full Idea: Causal accounts of knowledge are all very well in their place, but if they are put forward as general theories, then mathematics refutes them.
                        From: David Lewis (On the Plurality of Worlds [1986], 2.4)
                        A reaction: You might have some sort of notion of an abstraction from causation which mimicked it in the mathematics case. Lots of things seem to be 'forced' in mathematics. Call it 'ersatz causation'. Necessities are enforcers.
14. Science / C. Induction / 2. Aims of Induction
Induction is just reasonable methods of inferring the unobserved from the observed
                        Full Idea: I use the word 'induction' broadly, to cover all the methods we deem reasonable for forming beliefs about the unobserved parts of our world on the basis of experience with the observed parts.
                        From: David Lewis (On the Plurality of Worlds [1986], 2.5)
                        A reaction: Good. Attempts to be precise about it seem to be hopeless and invite paradoxes. Personally I just define it as 'learning from experience', because that makes what we do continuous with the behaviour of other sensible animals.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
To just expect unexamined emeralds to be grue would be totally unreasonable
                        Full Idea: Some beliefs are just unreasonable in a strong sense. Think of the man who, for no special reason, expects unexamined emeralds to be grue.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.4)
                        A reaction: This is a nice converse way of seeing the point that 'grue' is such an totally artificial predicate. I still say that the most illuminating point is that grue is not a colour, so seeing a grue thing is no confirmation at all.
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
An explanation tells us how an event was caused
                        Full Idea: An explanation, I think, is an account of etiology: it tells us something about how an event was caused.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: Will this cover mathematical explanations? Numbers would have to have causal powers.
Often explanaton seeks fundamental laws, rather than causal histories
                        Full Idea: Sometimes the pursuit of explanation is more the pursuit of unified and general fundamental laws than of information about the causal histories of events.
                        From: David Lewis (On the Plurality of Worlds [1986], 2.7)
                        A reaction: It is hard to disagree, given the 'sometimes'. I don't think that Newton's Law of Gravity (say), with its lovely equation, actually explained anything at all about gravity. Finding the law closes the quest for an accurate description of what happens.
14. Science / D. Explanation / 2. Types of Explanation / l. Probabilistic explanations
If the well-ordering of a pack of cards was by shuffling, the explanation would make it more surprising
                        Full Idea: Suppose you find in a hotel room a pack of cards in exactly standard order. Not surprising - maybe it's a new deck, or someone arranged them. Not so. They got that way by being fairly shuffled. The explanation would make the explanandum more surprising.
                        From: David Lewis (On the Plurality of Worlds [1986], 2.7)
                        A reaction: [compressed] A lovely Lewisian example, that instantly makes big trouble for the (implausible) view that a cause is something which increases the likelihood of a thing.
18. Thought / E. Abstraction / 1. Abstract Thought
Abstraction is usually explained either by example, or conflation, or abstraction, or negatively
                        Full Idea: Abstraction is usually explained in one of four ways: the Way of Example (cf. donkeys and numbers), the Way of Conflation (same as sets), the Negative Way (non-spatial and non-causal) or the Way of Abstraction (incomplete descriptions).
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: [Compressed; a footnote dismisses Dummett's fifth way] Example has blurred boundaries, and explains nothing. Gerrymandered sets don't produce concepts. Negative accounts explain nothing. So it's the Way of Abstraction!
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
The Way of Abstraction says an incomplete description of a concrete entity is the complete abstraction
                        Full Idea: The Way of Abstraction says abstract entities are abstractions from concrete entities; they result from somehow subtracting specificity, so that an incomplete description of the original concrete entity is a complete description of the abstraction.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: Defined like this, it rather looks as if abstractions would be entirely verbal - which may well be the correct situation, except that higher animals seem capable of minimal levels of abstraction. This Way is denigrated by Frege and Geach.
18. Thought / E. Abstraction / 4. Abstracta by Example
The Way of Example compares donkeys and numbers, but what is the difference, and what are numbers?
                        Full Idea: The Way of Example says concrete entities are things like donkeys and puddles, but abstract entities are things like numbers. That gives us little guidance. There are no uncontroversial accounts of numbers, and donkeys and number differ in too many ways.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: That demolishes that fairly swiftly. It may be unfair to demand an agreed account of numbers, but the respect(s) in which donkeys and numbers differ needs to be spelled out before anything useful has been said.
18. Thought / E. Abstraction / 6. Abstracta by Conflation
If abstractions are non-spatial, then both sets and universals seem to have locations
                        Full Idea: If abstract entities are not located, then a set of things does seem to have a location, though perhaps a divided one; and universals, if they are wholly present in each particular, are where their instances are, so negation can't define abstraction.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: He admits that non-spatial accounts of sets and universals are possible, but the jury is out on both of them, and more cautious theories, even if they are realist, will give them both locations. A good argument.
Abstracta can be causal: sets can be causes or effects; there can be universal effects; events may be sets
                        Full Idea: Is it true that sets or universals cannot enter into causal interaction? Why can't we say that a set of things causes something, or something causes a set of effects? Or positive charge has characteristic effects? Or an event is a sort of set?
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: This idea, and 8902, form a devastating critique of attempts to define abstraction in a purely negative way, as non-spatial and non-causal. Only a drastic revision of widely held views about sets, universals and events could save that account.
If universals or tropes are parts of things, then abstraction picks out those parts
                        Full Idea: A theory of non-spatiotemporal parts of things, whether recurring universals or non-recurring tropes, makes good sense of some abstractions. Unit negative charge is a universal common to particles, and an abstraction by being part of them.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: He cautiously refers to 'some' abstractions. It is one of Donald Williams's proud boasts concerning his trope theory that it will handle this problem well. I'm not sure that we should be saying that abstractions are actually concrete bits of things.
If we can abstract the extrinsic relations and features of objects, abstraction isn't universals or tropes
                        Full Idea: Why can't we abstract a highly extrinsic aspect of something, say its surname, or its spatiotemporal location, or its role in a causal network, or its role in some body of theory? But these are unsuitable candidates for being genuine universals or tropes.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: (This is a criticism of the proposal in Idea 8905) Obviously we can abstract such things. In particular the role in a causal network is a function, which is a central example of an abstract idea. Russell keeps reminding us that relations are universals.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
The abstract direction of a line is the equivalence class of it and all lines parallel to it
                        Full Idea: We can abstract the direction of a line by taking the direction as the equivalence class of that line and all lines parallel to it. There is no subtraction of detail, but a multiplication of it; by swamping it, the specifics of the original line get lost.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: You can ask how wide a line is, but not how wide a direction is, so a detail IS being subtracted. I don't see how you can define the concept of a banana by just saying it is 'every object which is equivalent to a banana'. 'Parallel' is an abstraction.
For most sets, the concept of equivalence is too artificial to explain abstraction
                        Full Idea: Most sets cannot be regarded as abstractions by equivalence: most sets are equivalence classes only under thoroughly artificial equivalence. (And the empty set is not an equivalence class at all).
                        From: David Lewis (On the Plurality of Worlds [1986], 1.7)
                        A reaction: [Recorded for further investigation..] My intuitions certainly cry out against such a thin logical notion giving a decent explanation of such a rich activity as abstraction.
18. Thought / E. Abstraction / 8. Abstractionism Critique
We can't account for an abstraction as 'from' something if the something doesn't exist
                        Full Idea: We cannot really be talking about the things whence an abstraction-like entity is abstracted if there are no such things.
                        From: David Lewis (On the Plurality of Worlds [1986], 3.3)
                        A reaction: Sounds like a killer blow, but I don't think so. I can't think of a concept which doesn't have a possible basis in reality, assuming that it might be a complex assemblage of abstracted components.
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
A particular functional role is what gives content to a thought
                        Full Idea: Anything that is a thinker at all has a thought with a certain content in virtue of being in a state which occupies a certain functional role.
                        From: David Lewis (On the Plurality of Worlds [1986], 2.3)
                        A reaction: So often Lewis seems to get things the wrong way round. Maybe if you invert his entire (fabulously consistent) philosophy, you get the right answer? I take the content to be what makes the role possible.
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
A proposition is a set of entire possible worlds which instantiate a particular property
                        Full Idea: I identify propositions with certain properties - namely, with those that are instantiated only by entire possible worlds. Then if properties generally are the sets of their instances, a proposition is a set of possible worlds.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: I don't get this. How can the proposition that tomatoes are edible be an entire set of possible worlds? The proposition seems to be about tomatoes, and nothing else. Should we talk of 'possibilities', rather than of 'possible worlds'?
A proposition is the property of being a possible world where it holds true
                        Full Idea: I identify propositions with properties that are instantiated only by entire possible worlds. If properties are the sets of their instances, a proposition is a set of possible worlds. A proposition is the property of being a world where it holds.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: This is so far away from my concept of a proposition (as a truth-evaluable representational mental event) that I struggle to compute it. So the proposition that I am sitting here is the property of 'being the actual world'. Eh?
Propositions can't have syntactic structure if they are just sets of worlds
                        Full Idea: If it is central to 'proposition' that there be quasi-syntactic structure, so that there are subject-predicate, or negative, or conjunctive, or quantified propositions, then sets of possible worlds will not do.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.5)
                        A reaction: He proposes 'more complicated set-theoretic constructions out of possibilia' instead. I am very much committed to propositions having quasi-syntactic structure.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
Causation is when at the closest world without the cause, there is no effect either
                        Full Idea: If it is the case at world W that if event C had not occurred, E would not have occurred either, then the counterfactual means that at the closest worlds to W at which C does not occur, E does not occur either.
                        From: David Lewis (On the Plurality of Worlds [1986], 1.6)
                        A reaction: This is a very Humean account, though updated, which sees nothing more to causation than transworld regularities. To me that is just describing the evidence for causation, not giving an account of it (even if the latter is impossible).
27. Natural Reality / D. Time / 1. Nature of Time / g. Growing block
It is quite implausible that the future is unreal, as that would terminate everything
                        Full Idea: It is hard to believe that any philosopher means it when they say the future is unreal. If anyone is right that there is no future, that moment is their last, and it is the end of everything.
                        From: David Lewis (On the Plurality of Worlds [1986], 4.2)
                        A reaction: A bit simplistic. I might say 'there will be a future time, but it doesn't exist now'. That's the peculiar thing about time. If I say New York doesn't exist, then clearly I can't visit it. The London 2012 Olympic Stadium is going to exist.