Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, Simone Weil and David Lewis

unexpand these ideas     |    start again     |     specify just one area for these philosophers


435 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / c. Classical philosophy
Among the Greeks Aristotle is the only philosopher in the modern style [Weil]
     Full Idea: In Greece, Aristotle is perhaps the only philosopher in the modern sense, and he is entirely outside the Greek tradition.
     From: Simone Weil (God in Plato [1942], p.45)
     A reaction: She sees Plato as embodying the true tradition. Everything Aristotle writes is 'peri phusis' (about nature), and that is a standard topic of philosophy right from the start. She emphasises Plato long historical roots. Pythagoras is key.
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
All thought about values is philosophical, and thought about anything else is not philosophy [Weil]
     Full Idea: All reflections bearing on the notion of value and on the hierarchy of values is philosophical; all efforts of thought bearing on anything other than value are, if one examines them closely, foreign to philosophy.
     From: Simone Weil (Reflections on Value [1941], p.30)
     A reaction: If nothing else proves that Weil is a platonist, this does. She, of course, has a transcendent and religious view of values, whereas I just see them as concepts which embody what is important. That said, I'm not far off agreeing with this.
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 [Lewis]
     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 / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
Philosophy aims to change the soul, not to accumulate knowledge [Weil]
     Full Idea: Philosophy does not consist in accumulating knowledge, as science does, but in changing the whole soul.
     From: Simone Weil (Reflections on Value [1941], p.33)
     A reaction: I agree, roughly. In the sense that philosophy is a much more personal matter than any pure pursuit of knowledge, such as geology. Though a life in geology could change your soul. Not just any old change, of course….
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Systems are not unique to each philosopher. The platonist tradition is old and continuous [Weil]
     Full Idea: People believe that every philosopher has a system that contradicts all the others! But there is a tradition, genuinely philosophical, that is as old as humanity itself. …Plato is the most perfect representative of this tradition.
     From: Simone Weil (Reflections on Value [1941], p.33)
     A reaction: I see roughly two traditions. If you believe in transcendence you follow Plato, like Simone. If you are a naturalist (like me) you follow Aristotle. A third tradition might be much more sceptical.
I tried to be unsystematic and piecemeal, but failed; my papers presuppose my other views [Lewis]
     Full Idea: I should have like to be a piecemeal, unsystematic philosopher, offering independent proposals on a variety of topics. It was not be. I succumbed too often to the temptation to presuppose my views on one topic when writing on another.
     From: David Lewis (Introduction to Philosophical Papers I [1983], p.1)
     A reaction: He particularly mentions his possible worlds realism as a doctrine which coloured all his other work. A charming insight into the mind of a systematic thinker (called by someone 'the most systematic metaphysician since Leibniz').
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Analysis reduces primitives and makes understanding explicit (without adding new knowledge) [Lewis]
     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.
Armstrong's analysis seeks truthmakers rather than definitions [Lewis]
     Full Idea: I suggest that Armstrong has an unfamiliar notion of analysis, as not primarily a quest for definitions, but as a quest for truth-makers.
     From: David Lewis (Armstrong on combinatorial possibility [1992], 'The demand')
     A reaction: This is not a dichotomy, I think, but a shift of emphasis. A definition will probably refer to truthmakers; a decent account of truthmakers would approximate a definition.
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
In addition to analysis of a concept, one can deny it, or accept it as primitive [Lewis]
     Full Idea: There are three ways to give an account: 1) 'I deny it' - this earns a failing mark if the fact is really Moorean. 2) 'I analyse it thus'. 3) 'I accept it as primitive'. Not every account is an analysis.
     From: David Lewis (New work for a theory of universals [1983], '1 Ov Many')
     A reaction: I prefer Shoemaker's view (Idea 8559). Personally I think 1) should be employed more often than it is (it is a very misunderstood approach). 3) has been overused in recent years (e.g. by Davidson and McGinn).
2. Reason / D. Definition / 1. Definitions
Interdefinition is useless by itself, but if we grasp one separately, we have them both [Lewis]
     Full Idea: All circles of interdefinition are useless by themselves. But if we reach one of the interdefined pair, then we have them both.
     From: David Lewis (Defining 'Intrinsic' (with Rae Langton) [1998], IV)
2. Reason / D. Definition / 2. Aims of Definition
Defining terms either enables elimination, or shows that they don't require elimination [Lewis]
     Full Idea: To define theoretical terms might be to show how to do without them, but it is better to say that it shows there is no good reason to want to do without them.
     From: David Lewis (How to Define Theoretical Terms [1970], Intro)
2. Reason / E. Argument / 1. Argument
Arguments are nearly always open to challenge, but they help to explain a position rather than force people to believe [Lewis]
     Full Idea: Philosophical arguments are never incontrovertible - well, hardly ever. Their purpose is to help expound a position, not to coerce agreement.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.419)
     A reaction: A bit over-cautious, perhaps. Most philosophers are converted to a position when they hear a single key argument, though it is probably 'tipping the balance' of previous discussions.
3. Truth / A. Truth Problems / 1. Truth
Truth is a value of thought [Weil]
     Full Idea: Truth is a value of thought. The word 'truth' cannot have any other meaning.
     From: Simone Weil (Reflections on Value [1941], p.32)
     A reaction: This makes a nice change from truth being a mere predicate. I would call truth the criterion of success in thought, and that counts as a value, so she is right.
3. Truth / A. Truth Problems / 3. Value of Truth
Genius and love of truth are always accompanied by great humility [Weil]
     Full Idea: Love of truth is always accompanied by humility, and real genius is nothing else but the supernatural virtue of humility in the domain of thought.
     From: Simone Weil (Human Personality [1943], p.87)
     A reaction: A striking and attractive thought, true of all the lovers of truth I have ever encountered. Socrates is the role model. She likens truth to an inarticulate plaintiff stammering before a judge who fluently manipulates opinions.
Most people won't question an idea's truth if they depend on it [Weil]
     Full Idea: The majority of human beings do not question the truth of an idea without which they would literally be unable to live.
     From: Simone Weil (Is There a Marxist Doctrine? [1943], p.163)
     A reaction: I assume that this inability grows stronger with age, as the dependence on the idea runs deeper. Hence for most people the beliefs which sustain them have a higher value than truth. Obviously we should all make love of truth our guiding idea!
We seek truth only because it is good [Weil]
     Full Idea: Truth is sought not because it is truth but because it is good.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.233)
     A reaction: A perfect instance of modern platonism. A few weird people seem to enjoy lying. Personally I cannot find enough content in the word 'good' in such claims.
Truth is not a object we love - it is the radiant manifestation of reality [Weil]
     Full Idea: Love of truth is not a correct form of expression. Truth is not an object of love. It is not an object at all. …Truth is the radiant manifestation of reality.
     From: Simone Weil (The Need for Roots [1943], III 'Growing')
     A reaction: Wow! Love that one!
3. Truth / A. Truth Problems / 5. Truth Bearers
To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis]
     Full Idea: Sentences or assertions can be derivately called true, if they succeed in expressing determinate propositions. A sentence can be ambiguous or vague or paradoxical or ungrounded or not declarative or a mere expression of feeling.
     From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.276)
     A reaction: Lewis has, of course, a peculiar notion of what a proposition is - it's a set of possible worlds. I, with my more psychological approach, take a proposition to be a particular sort of brain event.
3. Truth / A. Truth Problems / 6. Verisimilitude
Verisimilitude might be explained as being close to the possible world where the truth is exact [Lewis]
     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?
Verisimilitude has proved hard to analyse, and seems to have several components [Lewis]
     Full Idea: The analysis of verisimilitude has been much debated. Some plausible analyses have failed disastrously, others conflict with one another. One conclusion is that verisimilitude seems to consist of several distinguishable virtues.
     From: David Lewis (Causal Explanation [1986], V n7)
     A reaction: Presumably if it is complex, you can approach truth in one respect while receding from it in another. It seems clear enough if you are calculating pi by some iterative process.
3. Truth / B. Truthmakers / 2. Truthmaker Relation
Truthmakers are about existential grounding, not about truth [Lewis]
     Full Idea: Instances of the truthmaker principle are equivalent to biconditionals not about truth but about the existential grounding of all manner of other things; the flying pigs, or what-have-you.
     From: David Lewis (Forget the 'correspondence theory of truth' [2001])
     A reaction: The question then is what the difference is between 'existential grounding' and 'truth'. There wouldn't seem to be any difference at all if the proposition in question was a simple existential claim.
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Predications aren't true because of what exists, but of how it exists [Lewis]
     Full Idea: Predications seem, for the most part, to be true not because of whether things are, but because of how things are.
     From: David Lewis (Armstrong on combinatorial possibility [1992], 'The demand')
     A reaction: This simple point shows that you get into a tangle if you insist that truthmakers just consist of what exists. Lewis says Armstrong offers states of affairs as truthmakers for predications.
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
Say 'truth is supervenient on being', but construe 'being' broadly [Lewis]
     Full Idea: I want to say that 'truth is supervenient on being', but as an Ostrich about universals I want to construe 'being' broadly.
     From: David Lewis (Armstrong on combinatorial possibility [1992], 'Truth')
     A reaction: [His slogan is borrowed from Bigelow 1988:132-,158-9] This seems much more promising that the more precise and restricted notion of truthmakers, as resting on the existence of particular things. Presentism is the big test case.
3. Truth / B. Truthmakers / 6. Making Negative Truths
If it were true that nothing at all existed, would that have a truthmaker? [Lewis]
     Full Idea: If there was absolutely nothing at all, then it would have been true that there was nothing. Would there have been a truthmaker for this truth?
     From: David Lewis (A world of truthmakers? [1998], p.220)
     A reaction: This is a problem for Lewis's own claim that 'truth supervenes on being', as well as the more restricted truthmakers invoked by Armstrong.
3. Truth / B. Truthmakers / 9. Making Past Truths
Presentism says only the present exists, so there is nothing for tensed truths to supervene on [Lewis]
     Full Idea: Presentism says that although there is nothing outside the present, yet there are past-tensed and future-tensed truths that do not supervene on the present, and hence do not supervene on being.
     From: David Lewis (Armstrong on combinatorial possibility [1992], p.207)
     A reaction: Since I rather like both presentism and truth supervening on being, this observation comes as rather a devastating blow. I thought philosophy would be quite easy, but it's turning out to be rather tricky. Could tensed truths supervene on the present?
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis]
     Full Idea: The truthmaker principle seems to be a version of the correspondence theory of truth, but differs mostly in denying that the correspondence of truths to facts must be one-to-one.
     From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.277)
     A reaction: In other words, several different sentences might have exactly the same truthmaker.
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker]
     Full Idea: Lewis was suspicious of boxes and diamonds as regimenting ordinary modal thought, …preferring a first-order extensional theory including possible worlds in its domain and an indexical singular term for the actual world.
     From: report of David Lewis (Anselm and Actuality [1970]) by Robert C. Stalnaker - Mere Possibilities 3.8
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Sets are mereological sums of the singletons of their members [Lewis, by Armstrong]
     Full Idea: Lewis pointed out that many-membered classes are nothing more than the mereological wholes of the classes formed by taking the singleton of each member.
     From: report of David Lewis (Parts of Classes [1991]) by David M. Armstrong - Truth and Truthmakers 09.4
     A reaction: You can't combine members to make the class, because the whole and the parts are of different type, but here the parts and whole are both sets, so they combine like waterdrops.
We can build set theory on singletons: classes are then fusions of subclasses, membership is the singleton [Lewis]
     Full Idea: The notion of a singleton, or unit set, can serve as the distinctive primitive of set theory. The rest is mereology: a class is the fusion of its singleton subclasses, something is a member of a class iff its singleton is part of that class.
     From: David Lewis (Parts of Classes [1991], Pref)
     A reaction: This is a gloriously bold proposal which I immediately like, because it cuts out the baffling empty set (which many people think 'exists'!), and gets mathematics back to being about the real world of entities (as the Greeks thought).
Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis]
     Full Idea: It is generally accepted that mathematics reduces to set theory, and I argue that set theory in turn reduces, with some aid of mereology, to the theory of the singleton function.
     From: David Lewis (Mathematics is Megethology [1993], p.03)
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
Classes divide into subclasses in many ways, but into members in only one way [Lewis]
     Full Idea: A class divides exhaustively into subclasses in many different ways; whereas a class divides exhaustively into members in only one way.
     From: David Lewis (Parts of Classes [1991], 1.2)
A subclass of a subclass is itself a subclass; a member of a member is not in general a member [Lewis]
     Full Idea: Just as a part of a part is itself a part, so a subclass of a subclass is itself a subclass; whereas a member of a member is not in general a member.
     From: David Lewis (Parts of Classes [1991], 1.2)
     A reaction: Lewis is showing the mereological character of sets, but this is a key distinction in basic set theory. When the members of members are themselves members, the set is said to be 'transitive'.
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
We needn't accept this speck of nothingness, this black hole in the fabric of Reality! [Lewis]
     Full Idea: Must we accept the null set as a most extraordinary individual, a little speck of sheer nothingness, a sort of black hole in the fabric of Reality itself? Not really.
     From: David Lewis (Parts of Classes [1991], 1.4)
     A reaction: We can only dream of reaching the level of confidence that Lewis reached, to make such beautiful fun of a highly counterintuitive idea that is rooted in the modern techniques of philosophy.
We can accept the null set, but there is no null class of anything [Lewis]
     Full Idea: There is no such class as the null class. I don't mind calling some memberless thing - some individual - the null 'set'. But that doesn't make it a memberless class.
     From: David Lewis (Parts of Classes [1991], 1.2)
     A reaction: The point is that set theory is a formal system which can do what it likes, but classes are classes 'of' things. Everyone assumes that sets are classes, reserving 'proper classes' for the tricky cases up at the far end.
There are four main reasons for asserting that there is an empty set [Lewis]
     Full Idea: The null set is a denotation of last resort for class-terms that fail to denote classes, an intersection of x and y where they have no members in common, the class of all self-members, and the real numbers such that x^2+1=0. This is all mere convenience.
     From: David Lewis (Parts of Classes [1991], 1.4)
     A reaction: A helpful catalogue of main motivations for the existence of the null set in set theory. Lewis aims to undermine these reasons, and dispense with the wretched thing.
We can accept the null set, but not a null class, a class lacking members [Lewis]
     Full Idea: In my usage of 'class', there is no such things as the null class. I don't mind calling some memberless thing - some individual - the null set. But that doesn't make it a memberless class. Rather, that makes it a 'set' that is not a class.
     From: David Lewis (Mathematics is Megethology [1993], p.05)
     A reaction: Lewis calls this usage 'idiosyncratic', but it strikes me as excellent. Set theorists can have their vital null class, and sensible people can be left to say, with Lewis, that classes of things must have members.
The null set plays the role of last resort, for class abstracts and for existence [Lewis]
     Full Idea: The null set serves two useful purposes. It is a denotation of last resort for class abstracts that denote no nonempty class. And it is an individual of last resort: we can count on its existence, and fearlessly build the hierarchy of sets from it.
     From: David Lewis (Mathematics is Megethology [1993], p.09)
     A reaction: This passage assuages my major reservation about the existence of the null set, but at the expense of confirming that it must be taken as an entirely fictional entity.
The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis]
     Full Idea: Should we accept the null set as a most extraordinary individual, a little speck of sheer nothingness, a sort of black hole in the fabric of Reality itself? Not that either, I think.
     From: David Lewis (Mathematics is Megethology [1993], p.09)
     A reaction: Correct!
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
If we don't understand the singleton, then we don't understand classes [Lewis]
     Full Idea: Our utter ignorance about the nature of the singletons amounts to sheer ignorance about the nature of classes generally.
     From: David Lewis (Parts of Classes [1991], 2.1)
We can replace the membership relation with the member-singleton relation (plus mereology) [Lewis]
     Full Idea: Given the theory of part and whole, the member-singleton relation may replace membership generally as the primitive notion of set theory.
     From: David Lewis (Parts of Classes [1991], Pref)
     A reaction: An obvious question is to ask what the member-singleton relation is if it isn't membership.
If singleton membership is external, why is an object a member of one rather than another? [Lewis]
     Full Idea: Suppose the relation of member to singleton is external. Why must Possum be a member of one singleton rather than another? Why isn't it contingent which singleton is his?
     From: David Lewis (Parts of Classes [1991], 2.2)
     A reaction: He cites Van Inwagen for raising this question, and answers it in terms of counterparts. So is the relation internal or external? I think of sets as pairs of curly brackets, not existing entities, so the question doesn't bother me.
Maybe singletons have a structure, of a thing and a lasso? [Lewis]
     Full Idea: Maybe the singleton of something x is not an atom, but consists of x plus a lasso. That gives a singleton an internal structure. ...But what do we know of the nature of the lasso, or how it fits? We are no better off.
     From: David Lewis (Parts of Classes [1991], 2.5)
     A reaction: [second bit on p.45]
What on earth is the relationship between a singleton and an element? [Lewis]
     Full Idea: A new student of set theory has just one thing, the element, and he has another single thing, the singleton, and not the slightest guidance about what one thing has to do with the other.
     From: David Lewis (Mathematics is Megethology [1993], p.12)
Are all singletons exact intrinsic duplicates? [Lewis]
     Full Idea: Are all singletons exact intrinsic duplicates?
     From: David Lewis (Mathematics is Megethology [1993], p.13)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Set theory has some unofficial axioms, generalisations about how to understand it [Lewis]
     Full Idea: Set theory has its unofficial axioms, traditional remarks about the nature of classes. They are never argued, but are passed heedlessly from one author to another. One of these says that the classes are nowhere: they are outside space and time.
     From: David Lewis (Parts of Classes [1991], 2.1)
     A reaction: Why don't the people who write formal books on set theory ever say things like this?
Set theory reduces to a mereological theory with singletons as the only atoms [Lewis, by MacBride]
     Full Idea: Lewis has shown that set theory may be reduced to a mereological theory in which singletons are the only atoms.
     From: report of David Lewis (Parts of Classes [1991]) by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.80
     A reaction: Presumably the axiom of extensionality, that a set is no more than its members, translates into unrestricted composition, that any parts will make an object. Difficult territory, but I suspect that this is of great importance in metaphysics.
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
If singletons are where their members are, then so are all sets [Lewis]
     Full Idea: If every singleton was where its member was, then, in general, classes would be where there members were.
     From: David Lewis (Parts of Classes [1991], 2.1)
     A reaction: There seems to be a big dislocation of understanding of the nature of sets, between 'pure' set theory, and set theory with ur-elements. I take the pure to be just an 'abstraction' from the more located one. The empty set has a puzzling location.
A huge part of Reality is only accepted as existing if you have accepted set theory [Lewis]
     Full Idea: The preponderant part of Reality must consist of unfamiliar, unobserved things, whose existence would have gone unsuspected but for our acceptance of set theory.
     From: David Lewis (Parts of Classes [1991], 2.6)
     A reaction: He is referring to the enormous sets at the far end of set theory, of a size that had never been hitherto conceived. Excellent. Daft to believe in something entirely because you have accepted set theory, with no other basis.
Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [Lewis]
     Full Idea: Set theory is not innocent. Its trouble is that when we have one thing, then somehow we have another wholly distinct thing, the singleton. And another, and another....ad infinitum. But that's the price for mathematical power. Pay it.
     From: David Lewis (Parts of Classes [1991], 3.6)
4. Formal Logic / G. Formal Mereology / 1. Mereology
Megethology is the result of adding plural quantification to mereology [Lewis]
     Full Idea: Megethology is the result of adding plural quantification, as advocated by George Boolos, to the language of mereology.
     From: David Lewis (Mathematics is Megethology [1993], p.03)
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
We can use mereology to simulate quantification over relations [Lewis]
     Full Idea: We can simulate quantification over relations using megethology. Roughly, a quantifier over relations is a plural quantifier over things that encode ordered pairs by mereological means.
     From: David Lewis (Mathematics is Megethology [1993], p.18)
     A reaction: [He credits this idea to Burgess and Haven] The point is to avoid second-order logic, which quantifies over relations as ordered n-tuple sets.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
We can quantify over fictions by quantifying for real over their names [Lewis]
     Full Idea: Substitutionalists simulate quantification over fictional characters by quantifying for real over fictional names.
     From: David Lewis (Noneism or Allism? [1990], p.159)
     A reaction: I would say that a fiction is a file of conceptual information, identified by a label. The label brings baggage with it, and there is no existence in the label.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Quantification sometimes commits to 'sets', but sometimes just to pluralities (or 'classes') [Lewis]
     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?
Plural quantification lacks a complete axiom system [Lewis]
     Full Idea: There is an irremediable lack of a complete axiom system for plural quantification.
     From: David Lewis (Parts of Classes [1991], 4.7)
I like plural quantification, but am not convinced of its connection with second-order logic [Lewis]
     Full Idea: I agree fully with Boolos on substantive questions about plural quantification, though I would make less than he does of the connection with second-order logic.
     From: David Lewis (Parts of Classes [1991], 3.2 n2)
     A reaction: Deep matters, but my inclination is to agree with Lewis, as I have never been able to see why talk of plural quantification led straight on to second-order logic. A plural is just some objects, not some higher-order entity.
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
We could quantify over impossible objects - as bundles of properties [Lewis]
     Full Idea: We can quantify over Meinongian objects by quantifying for real over property bundles (such as the bundle of roundness and squareness).
     From: David Lewis (Noneism or Allism? [1990], p.159)
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis]
     Full Idea: A consistent theory is, by definition, one satisfied by some model; an isomorphic image of a model satisfies the same theories as the original model; to provide the making of an isomorphic image of any given model, a domain need only be large enough.
     From: David Lewis (Putnam's Paradox [1984], 'Why Model')
     A reaction: This is laying out the ground for Putnam's model theory argument in favour of anti-realism. If you are chasing the one true model of reality, then formal model theory doesn't seem to offer much encouragement.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mathematics is generalisations about singleton functions [Lewis]
     Full Idea: We can take the theory of singleton functions, and hence set theory, and hence mathematics, to consist of generalisations about all singleton functions.
     From: David Lewis (Mathematics is Megethology [1993], p.03)
     A reaction: At first glance this sounds like a fancy version of the somewhat discredited Greek idea that mathematics is built on the concept of a 'unit'.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Zermelo's model of arithmetic is distinctive because it rests on a primitive of set theory [Lewis]
     Full Idea: What sets Zermelo's modelling of arithmetic apart from von Neumann's and all the rest is that he identifies the primitive of arithmetic with an appropriately primitive notion of set theory.
     From: David Lewis (Parts of Classes [1991], 4.6)
     A reaction: Zermelo's model is just endlessly nested empty sets, which is a very simple structure. I gather that connoisseurs seem to prefer von Neumann's model (where each number contains its predecessor number).
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Giving up classes means giving up successful mathematics because of dubious philosophy [Lewis]
     Full Idea: Renouncing classes means rejecting mathematics. That will not do. Mathematics is an established, going concern. Philosophy is as shaky as can be.
     From: David Lewis (Parts of Classes [1991], 2.8)
     A reaction: This culminates in his famous 'Who's going to tell the mathematicians? Not me!'. He has just given four examples of mathematics that seems to entirely depend on classes. This idea sounds like G.E. Moore's common sense against scepticism.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
To be a structuralist, you quantify over relations [Lewis]
     Full Idea: To be a structuralist, you quantify over relations.
     From: David Lewis (Parts of Classes [1991], 2.6)
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
We don't need 'abstract structures' to have structural truths about successor functions [Lewis]
     Full Idea: We needn't believe in 'abstract structures' to have general structural truths about all successor functions.
     From: David Lewis (Mathematics is Megethology [1993], p.16)
7. Existence / A. Nature of Existence / 1. Nature of Existence
'Allists' embrace the existence of all controversial entities; 'noneists' reject all but the obvious ones [Lewis]
     Full Idea: An expansive friend of the controversial entities who says they all exist may be called an 'allist'; a tough desert-dweller who says that none of them exist may be called a 'noneist'.
     From: David Lewis (Noneism or Allism? [1990], p.152)
     A reaction: Lewis gives examples of the obvious and the controversial entities. Lewis implies that he himself is in between. The word 'desert' is a reference to Quine.
7. Existence / A. Nature of Existence / 2. Types of Existence
We can't accept a use of 'existence' that says only some of the things there are actually exist [Lewis]
     Full Idea: If 'existence' is understood so that it can be a substantive thesis that only some of the things there are exist, we will have none of it.
     From: David Lewis (Noneism or Allism? [1990], p.163)
     A reaction: Lewis is a strong advocate, following Quine, of the univocal sense of the word 'exist', and I agree with them.
Lewis's distinction of 'existing' from 'being actual' is Meinong's between 'existing' and 'subsisting' [Lycan on Lewis]
     Full Idea: I suggest that Lewis's view in fact is just Meinong's view. ...Meinong distinguishes between 'existing' and merely 'subsisting', Lewis between 'being actual' and merely 'existing'.
     From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 06
     A reaction: Lewis attempts to make actuality purely 'indexical' in character, like distinguishing the world 'here' from the world 'elsewhere', but Lycan seems right that he is committed to more than that.
There are only two kinds: sets, and possibilia (actual and possible particulars) [Lewis, by Oliver]
     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?
Existence doesn't come in degrees; once asserted, it can't then be qualified [Lewis]
     Full Idea: Existence cannot be a matter of degree. If you say there is something that exists to a diminished degree, once you've said 'there is' your game is up.
     From: David Lewis (Parts of Classes [1991], 3.5)
     A reaction: You might have thought that this was so obvious as to be not worth saying, but as far as I can see it is a minority view in contemporary philosophy. It was Quine's view, and it is mine.
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
Every proposition is entirely about being [Lewis]
     Full Idea: Every proposition, no matter what subject matter it may have, is entirely about being.
     From: David Lewis (Things qua Truthmakers [2003], p.26), quoted by Trenton Merricks - Truth and Ontology 4.VI
     A reaction: Since Lewis's propositions are sets of possible worlds, I presume this claim is made because proposition relates to all of the possible worlds, which therefore presumably embody Being.
7. Existence / B. Change in Existence / 1. Nature of Change
You can't deny temporary intrinsic properties by saying the properties are relations (to times) [Lewis]
     Full Idea: To say that properties are really relations to times is to treat temporary intrinsics (such as my changing shape) as a matter of relations, but then 'intrinsic properties' would not deserve the name, and it is untenable if it denies temporary intrinsics.
     From: David Lewis (Rearrangement of Particles [1988], 1)
     A reaction: [I have compressed a paragraph; he refers to his 1986:204] If a property is meant to be a 'relation to a time', I am not sure what the relata are meant to be, and I agree with Lewis that this seems a long way from properties.
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
The events that suit semantics may not be the events that suit causation [Lewis]
     Full Idea: There is no guarantee that events made for semantics are the same as events that are causes and effects.
     From: David Lewis (Events [1986], I)
     A reaction: This little cri de couer could be a motto for a huge amount of analytic philosophy, which (for some odd reason) thought that mathematics, logic, set theory and formal semantics were good tools for explaining nature.
Events have inbuilt essences, as necessary conditions for their occurrence [Lewis]
     Full Idea: Events have their essences built in, in the form of necessary conditions for their occurrence.
     From: David Lewis (Events [1986], III)
     A reaction: Revealing. He thinks the essence of an event is something which precedes the event. I take it as obvious that if an event has an essence, it will be some features of the event that occur in it and during it. They need to be intrinsic.
Events are classes, and so there is a mereology of their parts [Lewis]
     Full Idea: If events are classes, as I propose, then they have a mereology in the way that all classes do: the parts of a class are its subclasses.
     From: David Lewis (Events [1986], V)
     A reaction: Lewis says events are properties, which he regards as classes. It is not clear that events are strictly mereological. Could one happening be two events? Is WWII a simple sum of its parts? [see p.260]
Some events involve no change; they must, because causal histories involve unchanges [Lewis]
     Full Idea: Not all events involve change. We cannot afford to count the unchanges as nonevents, for the unchanges may be needed to complete causal histories.
     From: David Lewis (Events [1986], VI)
     A reaction: You end up calling non-changes 'events' if you commit to a simplistic theory that all causal histories consist of events. Why not allow conditions as well as events? Lewis concedes that he may be abusing language.
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
An event is a property of a unique space-time region [Lewis]
     Full Idea: I propose to identify an event with a property, or in other words with a class, a unique spatio-temporal region corresponding to where that event occurs.
     From: David Lewis (Events [1986], II)
     A reaction: [I've run together two separate bits, on p.244 and 245] Lewis cites Montague's similar view, that events are properties of times.
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Creation produced a network or web of determinations [Weil]
     Full Idea: What is sovereign in this world is determinateness, limit. Eternal Wisdom imprisons this universe in a network, a web of determinations.
     From: Simone Weil (The Need for Roots [1943], III 'Growth')
     A reaction: Love this, because I take 'determination' to be the defining relationship in ontology. It covers both physical causation and abstract necessities.
7. Existence / C. Structure of Existence / 2. Reduction
Supervenience is reduction without existence denials, ontological priorities, or translatability [Lewis]
     Full Idea: Supervenience is a stripped down form of reductionism, unencumbered by dubious denials of existence, claims of ontological priority, or claims of translatability.
     From: David Lewis (New work for a theory of universals [1983], 'Dup,Sup,Div')
     A reaction: Interesting. It implies that the honest reductionist (i.e. me) should begin by asserting supervience, and only at a second stage go on to deny a bit of existence, loudly affirm priorities, and offer translations. Honest toil.
The whole truth supervenes on the physical truth [Lewis]
     Full Idea: The whole truth supervenes on the physical truth.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.412)
     A reaction: This seems to me the central truth about brains, and we should not be lured into abandoning it. We should not, however, exclude the possibility that there is a non-physical reality.
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience concerns whether things could differ, so it is a modal notion [Lewis]
     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 / C. Structure of Existence / 5. Supervenience / b. Types of supervenience
Where pixels make up a picture, supervenience is reduction [Lewis]
     Full Idea: In the case of millions of pixels making up a picture on a computer screen, the supervenience is reduction.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.414)
     A reaction: Since 'supervenience' seems a suspect relationship about which no one is clear, this is a point very much worth making.
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
A supervenience thesis is a denial of independent variation [Lewis]
     Full Idea: A supervenience thesis is a denial of independent variation.
     From: David Lewis (New work for a theory of universals [1983], 'Dup,Sup,Div')
     A reaction: Not everyone agrees on this. This says if either A or B change, the change is reflected in the other one. But the other view is of one-way dependence. A only changes if B changes, but B can also make changes that don't affect A.
7. Existence / C. Structure of Existence / 5. Supervenience / d. Humean supervenience
Humean supervenience says the world is just a vast mosaic of qualities in space-time [Lewis]
     Full Idea: Humean supervenience says the world is a vast mosaic of local matters of particular fact. We have a geometry of external relations of spatio-temporal distance between points, and local qualities at points. …In short: we have an arrangement of qualities.
     From: David Lewis (Introduction to Philosophical Papers II [1986], p.ix-x)
     A reaction: [compressed] This is the key fundamental tenet of David Lewis's philosophy. He names it after Hume because it contains no necessary connections. It is 'supervenient' because all worldly truths reduce to and depend on the mosaic. His thesis is contingent.
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
We have no idea of a third sort of thing, that isn't an individual, a class, or their mixture [Lewis]
     Full Idea: As yet we have no idea of any third sort of thing that is neither individual nor class nor mixture of the two.
     From: David Lewis (Parts of Classes [1991], 1.2)
     A reaction: You can see that Lewis was a pupil of Quine. I quote this to show how little impression 'stuff' makes on the modern radar. His defence is that stuff may not be a 'thing', but then he seems to think that 'things' exhaust reality (top p.8 and 9).
Atomless gunk is an individual whose parts all have further proper parts [Lewis]
     Full Idea: A blob can represent atomless gunk: an individual whose parts all have further proper parts.
     From: David Lewis (Parts of Classes [1991], 1.8)
     A reaction: This is not the same as 'stuff', since gunk is a precise fusion of all those parts, whereas there is no such precision about stuff. Stuff is neutral as to whether it has atoms, or is endlessly divisible. My love of stuff grows. Laycock is a hero.
7. Existence / D. Theories of Reality / 4. Anti-realism
Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis]
     Full Idea: Anti-realists say the only world is imaginary, or only has the parts or classes or relations we divide it into, or doubt that reference to the world is possible, or doubt that our interpretations can achieve truth.
     From: David Lewis (Putnam's Paradox [1984], 'Why Anti-R')
     A reaction: [compression of a paragraph on anti-realism] Lewis is a thoroughgoing realist. A nice example of the rhetorical device of ridiculing an opponent by suggesting that they don't even know what they themselves believe.
7. Existence / D. Theories of Reality / 6. Physicalism
Materialism is (roughly) that two worlds cannot differ without differing physically [Lewis]
     Full Idea: Final definition of 'Materialism': Among worlds where no natural properties alien to our world are instantiated, no two differ without differing physically; and two such worlds that are exactly alike physically are duplicates.
     From: David Lewis (New work for a theory of universals [1983], 'Min Mat')
     A reaction: This would presumably allow for an anomalous monist/property dualist view of mind, but not full dualism. But if there are no psychophysical laws, what stops the mental changing while the physical remains the same?
7. Existence / D. Theories of Reality / 7. Fictionalism
Abstractions may well be verbal fictions, in which we ignore some features of an object [Lewis]
     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 / 9. States of Affairs
How do things combine to make states of affairs? Constituents can repeat, and fail to combine [Lewis]
     Full Idea: To me it is mysterious how a state of affairs is made out of its particular and universal constituents. Different states of affairs may have the very same constituents, and the existence of constituents by no means entails the existence of the states.
     From: David Lewis (Armstrong on combinatorial possibility [1992], 'What is there')
     A reaction: He is rejecting the structure of states of affairs as wholes made of parts. But then mereology was never going to explain the structure of the world.
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Semantic vagueness involves alternative and equal precisifications of the language [Lewis]
     Full Idea: If vagueness is semantic indeterminacy, then wherever we have vague statements, we have several alternative precisifications of the vague language involved, all with equal claims of being 'intended'.
     From: David Lewis (Vague Identity: Evans misunderstood [1988], p.318)
Vagueness is semantic indecision: we haven't settled quite what our words are meant to express [Lewis]
     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 [Lewis]
     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!]
Semantic indecision explains vagueness (if we have precisifications to be undecided about) [Lewis]
     Full Idea: Semantic indecision will suffice to explain the phenomenon of vagueness. [note] Provided that there exist the many precisifications for us to be undecided between. If you deny this, you will indeed have need of vague objects.
     From: David Lewis (Many, but almost one [1993], 'Two solutions')
     A reaction: [He mentions Van Inwagen 1990:213-83] There seem to be three solutions to vague objects: that they really are vague, that they are precise but we can't know precisely, or Lewis's view. I like Lewis's view. Do animals have any problem with vagueness?
8. Modes of Existence / B. Properties / 1. Nature of Properties
Surely 'slept in by Washington' is a property of some bed? [Lewis]
     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.
Universals are wholly present in their instances, whereas properties are spread around [Lewis]
     Full Idea: Universals and properties are different because a universal is supposed to be wholly present wherever it is instantiated. A property, by contrast, is spread around. The property of being a donkey is partly present wherever there is a donkey.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: No mention of tropes. The claim that universals are widespread, and yet must be instantiated, is dealt with by Lewis's commitment to the existence of possible donkeys.
Properties don't have degree; they are determinate, and things have varying relations to them [Lewis]
     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 [Lewis]
     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 [Lewis]
     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
Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider]
     Full Idea: The property of 'being alone in the world' is an extrinsic property, even though it has had by an object that is alone in the world.
     From: report of David Lewis (Extrinsic Properties [1983]) by Theodore Sider - Writing the Book of the World 01.2
     A reaction: I always choke on my cornflakes whenever anyone cites a true predicate as if it were a genuine property. This is a counterexample to Idea 14978. Sider offers another more elaborate example from Lewis.
Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis]
     Full Idea: Properties may be more or less intrinsic; being a brother has more of an admixture of intrinsic structure than being a sibling does, yet both are extrinsic.
     From: David Lewis (Extrinsic Properties [1983], I)
     A reaction: I suppose the point is that a brother is intrinsically male - but then a sibling is intrinsically human. A totally extrinsic relation would be one between entities which shared virtually no categories of existence.
A disjunctive property can be unnatural, but intrinsic if its disjuncts are intrinsic [Lewis]
     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 [Cameron on Lewis]
     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 [Cameron on Lewis]
     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).
If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis]
     Full Idea: Any theorist of universals as immanent had better hold a sparse theory; it is preposterous on its face that a thing has as many nonspatiotemporal parts as there are different predicates that it falls under, or different classes that it belongs to.
     From: David Lewis (Against Structural Universals [1986], 'Why believe')
     A reaction: I am firmly committed to sparse universal, and view the idea that properties are just predicates as the sort of nonsense that results from approaching philosophy too linguistically.
We must avoid circularity between what is intrinsic and what is natural [Lewis, by Cameron]
     Full Idea: Lewis revised his analysis of duplication because he had assumed that as a matter of necessity perfectly natural properties are intrinsic, and that necessarily how a thing is intrinsically is determined completely by the natural properties it has.
     From: report of David Lewis (Defining 'Intrinsic' (with Rae Langton) [1998]) by Ross P. Cameron - Intrinsic and Extrinsic Properties 'Analysis'
     A reaction: [This compares Lewis 1986:61 with Langton and Lewis 1998] I am keen on both intrinsic and on natural properties, but I have not yet confronted this little problem. Time for a displacement activity, I think....
A property is 'intrinsic' iff it can never differ between duplicates [Lewis]
     Full Idea: A property is 'intrinsic' iff it never can differ between duplicates; iff whenever two things (actual or possible) are duplicates, either both of them have the property or both of them lack it.
     From: David Lewis (Defining 'Intrinsic' (with Rae Langton) [1998], IV)
     A reaction: This leaves me wondering how one could arrive at a precise definition of 'duplicates'. Can it be done without mentioning that they have the same intrinsic properties?
Ellipsoidal stars seem to have an intrinsic property which depends on other objects [Lewis]
     Full Idea: The property of being an ellipsoidal star would seem offhand to be a basic intrinsic property, but it is incompatible (nomologically) with being an isolated object.
     From: David Lewis (Defining 'Intrinsic' (with Rae Langton) [1998], V)
     A reaction: Another nice example from Lewis. It makes you wonder whether the intrinsic/extrinsic distinction should go. Modern physics, with its 'entanglements', doesn't seem to suit the distinction.
All of the natural properties are included among the intrinsic properties [Lewis]
     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.
8. Modes of Existence / B. Properties / 5. Natural Properties
We might try defining the natural properties by a short list of them [Lewis]
     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 figure in the analysis of similarity in intrinsic respects [Lewis, by Oliver]
     Full Idea: Lewis argues that there are natural properties, which makes various analyses possible, especially of similarity in intrinsic respects. Naturalness comes in degrees, with perfectly natural properties being the limiting case.
     From: report of David Lewis (New work for a theory of universals [1983]) by Alex Oliver - The Metaphysics of Properties 4
     A reaction: This sounds to be the wrong way round. We don't start with similarities and work back to natural properties. We encounter natural properties (through their causal action), and these give rise to the similarities.
Lewisian natural properties fix reference of predicates, through a principle of charity [Lewis, by Hawley]
     Full Idea: For Lewis natural properties are important for their role in making language and thought determinate: principles of charity or humanity tell us to attribute natural properties to predicates wherever possible, break underdetermination of their reference.
     From: report of David Lewis (New work for a theory of universals [1983]) by Katherine Hawley - How Things Persist 3.8
     A reaction: Lewis always seems to find reasons in semantics or logic for his metaphysics, instead of in the science. Lewis ends up with 'folk' natural properties, instead of accurate ones.
Objects are demarcated by density and chemistry, and natural properties belong in what is well demarcated [Lewis]
     Full Idea: Where my cat (Bruce) ends, there the density of matter, the relative abundance of chemical elements, abruptly change. Bruce is also a locus of causal chains, which traces back to natural properties. Natural properties belong to well demarcated things.
     From: David Lewis (New work for a theory of universals [1983], 'Cont of L')
     A reaction: This is an amazingly convoluted way to define natural properties in terms of the classes they generate, but it seems obvious to me that the properties are logically prior to the classes.
Reference partly concerns thought and language, partly eligibility of referent by natural properties [Lewis]
     Full Idea: Reference consists in part of what we do in language or thought when we refer, but in part it consists in eligibility of the referent. And this eligibility to be referred to is a matter of natural properties.
     From: David Lewis (New work for a theory of universals [1983], 'Cont of L')
     A reaction: This is a surprising conclusion for Lewis to reach, having started from properties as any old set members (see Idea 8572). There are references to intentional objects, such as 'there should have been someone on duty'.
Natural properties tend to belong to well-demarcated things, typically loci of causal chains [Lewis]
     Full Idea: One thing that makes for naturalness of a property is that it is a property belonging exclusively to well-demarcated things (like my cat Bruce, who is a locus of causal chains).
     From: David Lewis (New work for a theory of universals [1983], 'Cont of L')
     A reaction: Compare Idea 8557. Well-demarcated things may also have gerrymandered properties that are parts of 'arbitrary Boolean compounds' (Lewis). Why not make use of the causal chains to identify the properties?
For us, a property being natural is just an aspect of its featuring in the contents of our attitudes [Lewis]
     Full Idea: The reason natural properties feature in the contents of our attitudes is that naturalness is part of what it is to feature therein. We aren't built to take a special interest in natural properties, or that we call them natural if they are interesting.
     From: David Lewis (New work for a theory of universals [1983], 'Cont of L')
     A reaction: Evolution never features in Lewis's metaphysics. I would have thought we were very much built to focus on natural properties. This sounds odd, and gives no help in distinguishing natural properties from all our other daft contents.
All perfectly natural properties are intrinsic [Lewis, by Lewis]
     Full Idea: Lewis proposed that all perfectly natural properties are intrinsic.
     From: report of David Lewis (New work for a theory of universals [1983], p.355-7) by David Lewis - Defining 'Intrinsic' (with Rae Langton) IX
     A reaction: Depends what you mean by 'natural', 'property' and 'intrinsic'! Presumably there are natural extrinsic facts, in naturally necessary relationships. If all natural properties are powers, they would have to be intrinsic. Extrinsics would be derivative.
Natural properties fix resemblance and powers, and are picked out by universals [Lewis]
     Full Idea: Perhaps we could call a property 'perfectly' natural if its members are all and only those things that share some one universal, ...where the natural properties would be the ones whose sharing makes for resemblance, and the ones relevant to causal powers.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: This is Lewis fishing for an account of properties that does a bit better than the mere recourse to set theory (which he intuitively favours) seems to do. He remains neutral about the ontological status of a universal (though he prefers nominalism).
Natural properties give similarity, joint carving, intrinsicness, specificity, homogeneity... [Lewis]
     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.
We can't define natural properties by resemblance, if they are used to explain resemblance [Lewis]
     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).
Defining natural properties by means of laws of nature is potentially circular [Lewis]
     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.
I don't take 'natural' properties to be fixed by the nature of one possible world [Lewis]
     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 [Lewis, by Maudlin]
     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.
I assume there could be natural properties that are not instantiated in our world [Lewis]
     Full Idea: It is possible, I take it, that there might be simple natural properties different from any that instantiated within our world.
     From: David Lewis (Against Structural Universals [1986], 'Uninstantiated')
     A reaction: Interesting. Fine for Lewis, of course, for whom possibilities seem (to me) to be just logical possibilities. Even a scientific essentialist, though, must allow that different stuff might exist, which might have different intrinsic properties.
8. Modes of Existence / B. Properties / 6. Categorical Properties
Lewis says properties are sets of actual and possible objects [Lewis, by Heil]
     Full Idea: David Lewis has produced an important theory of properties as sets of actual and possible objects.
     From: report of David Lewis (New work for a theory of universals [1983]) by John Heil - From an Ontological Point of View §12.2
     A reaction: The notion that a property is an 'object' sounds wrong, as it is too passive. It also seems to allow for the possibility of uninstantiated properties existing, where properties are presumably always 'of' something.
Any class of things is a property, no matter how whimsical or irrelevant [Lewis]
     Full Idea: Any class of things, be it ever so gerrymandered and miscellaneous and indescribable in thought and language, and be it ever so superfluous in characterizing the world, is nevertheless a property.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: I much prefer, at the very least, the sparse approach of Armstrong, and in fact would vote for Shoemaker's highly physical view. Lewis proceeds after this to try to pick out the properties that really matter.
The distinction between dispositional and 'categorical' properties leads to confusion [Lewis]
     Full Idea: To avoid the danger of claiming that dispositions are their own categorical bases, we do better to eschew the alleged distinction between dispositional and 'categorical' properties altogether.
     From: David Lewis (Finkish dispositions [1997], II)
     A reaction: Since I have been unable to form any intuitive notion of what a 'categorical' property is, I like this, though not necessarily for his reason.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
There are far more properties than any brain could ever encodify [Lewis]
     Full Idea: There are so many properties that those specifiable in English, or in the brain's language of synaptic interconnections and neural spikes, could only be an infinitesimal minority.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: Thus there are innumerable properties that must lack predicates. But there are also innumerable predicates that correspond to no real properties. I conclude that properties and predicates have very little in common. Job done.
We need properties as semantic values for linguistic expressions [Lewis]
     Full Idea: We need properties, sometimes natural and sometimes not, to provide an adequate supply of semantic values for linguistic expressions.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: A characteristically twentieth century approach, which I find puzzling. We don't need a Loch Ness Monster in order to use the term 'Loch Ness Monster'. Lewis appears to have been a pupil of Quine... He was not, though, a Predicate Nominalist.
There is the property of belonging to a set, so abundant properties are as numerous as the sets [Lewis]
     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.
Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis]
     Full Idea: Properties are abundant, numbering at least beth-3 for properties of individuals alone; they are suited to serve as semantic values of arbitrarily complex predicates and gerunds, and higher-order variables. (If there are universals, they are sparse).
     From: David Lewis (Events [1986], II n2)
     A reaction: To me this is an outrageous hijacking of the notion of property which is needed for explaining the natural world. He seems to be talking about predicates. He wants to leave me with his silly universals - well I don't want them, thank you.
8. Modes of Existence / B. Properties / 11. Properties as Sets
A property is the set of its actual and possible instances [Lewis, by Oliver]
     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?
Properties are classes of possible and actual concrete particulars [Lewis, by Koslicki]
     Full Idea: Lewis has a preference for a nominalist conception of properties as classes of possible and actual concrete particulars.
     From: report of David Lewis (New work for a theory of universals [1983]) by Kathrin Koslicki - The Structure of Objects II.3
     A reaction: I'm sympathetic to nominalism, but still can't swallow the idea that a property like redness is nothing more than a collection of particulars, the red things. This class will include all sorts of non-red features.
Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver]
     Full Idea: Lewis agrees that properties cannot be sets of their actual instances, but claims they can be sets of their possible instances. This would distinguish coextensive properties like being cordate and renate, since they might be separated.
     From: report of David Lewis (Modal Realism at Work: Properties [1986]) by DH Mellor / A Oliver - Introduction to 'Properties' §10
     A reaction: Sounds wrong. Two properties could be obviously different even if they could never be separated. In this world a creature might briefly survive without kidneys.
The property of being F is identical with the set of objects, in all possible worlds, which are F [Lewis, by Cameron]
     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!
Properties don't seem to be sets, because different properties can have the same set [Lewis]
     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.
Accidentally coextensive properties come apart when we include their possible instances [Lewis]
     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.
If a property is relative, such as being a father or son, then set membership seems relative too [Lewis]
     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?
A property is any class of possibilia [Lewis]
     Full Idea: A property is any class of possibilia.
     From: David Lewis (Parts of Classes [1991], 2.7)
Trilateral and triangular seem to be coextensive sets in all possible worlds [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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.
Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis]
     Full Idea: Tropes are supposed to be particularized properties: nonspatiotemporal parts of their instances which cannot occur repeatedly, but can be exact duplicates.
     From: David Lewis (Against Structural Universals [1986], 'Intro')
     A reaction: Russell's objection is that 'duplication' appears to be a non-trope universal. The account seems wrong for very close resemblance, which is accepted by everyone as being the same (e.g. in colour, for football shirts).
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Tropes need a similarity primitive, so they cannot be used to explain similarity [Lewis]
     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?
Trope theory (unlike universals) needs a primitive notion of being duplicates [Lewis]
     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.
Trope theory needs a primitive notion for what unites some tropes [Lewis]
     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.
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
If dispositions are more fundamental than causes, then they won't conceptually reduce to them [Bird on Lewis]
     Full Idea: Maybe a disposition is a more fundamental notion than a cause, in which case Lewis has from the very start erred in seeking a causal analysis, in a traditional, conceptual sense, of disposition terms.
     From: comment on David Lewis (Causation [1973]) by Alexander Bird - Nature's Metaphysics 2.2.8
     A reaction: Is this right about Lewis? I see him as reducing both dispositions and causes to a set of bald facts, which exist in possible and actual worlds. Conditionals and counterfactuals also suffer the same fate.
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
All dispositions must have causal bases [Lewis]
     Full Idea: Prior, Pargetter and Jackson have argued convincingly for the thesis that all dispositions must have causal bases.
     From: David Lewis (Finkish dispositions [1997], II)
     A reaction: [Their paper is 1982] This key thesis is tackled by modern defenders of powers. The question is not who has the best arguments, but who offers the most coherent picture. What is a 'causal basis'? What sort of thing could be primitive or fundamental?
Lewisian properties have powers because of their relationships to other properties [Lewis, by Hawthorne]
     Full Idea: According to Lewis's conception, the causal powers of a property are constituted by its patterned relations to other properties in the particular Humean mosaic that is the actual world.
     From: report of David Lewis (New work for a theory of universals [1983]) by John Hawthorne - Causal Structuralism Intro
     A reaction: I just can't grasp this as a serious proposal. Relations cannot be the bottom line in explanation of the world. What are the relata? I take powers to be primitive.
A disposition needs a causal basis, a property in a certain causal role. Could the disposition be the property? [Lewis]
     Full Idea: I take for granted that a disposition requires a causal basis: one has the disposition iff one has a property that occupies a certain causal role. Shall we then identify the disposition with its basis? That makes the disposition cause its manifestations.
     From: David Lewis (Causal Explanation [1986], III)
     A reaction: Introduce the concept of a 'power' and I see no problem with his proposal. Fundamental dispositions are powerful, and provide the causal basis for complex dispositions. Something had better be powerful.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional
A 'finkish' disposition is real, but disappears when the stimulus occurs [Lewis]
     Full Idea: A disposition which would straight away vanish if put to the test is called 'finkish'. A finkishly fragile thing is fragile so long as it is not struck. But if it were struck, it would straight away cease to be fragile, and it would not break.
     From: David Lewis (Finkish dispositions [1997], I)
     A reaction: There are also 'antidotes'. Finks kill the disposition, antidotes kill the effect. These cases are problems for the simple conditional analysis of a disposition - because we never achieved the consequent.
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
Most properties are causally irrelevant, and we can't spot the relevant ones. [Lewis]
     Full Idea: Properties do nothing to capture the causal powers of things. Almost all properties are causally irrelevant, and there is nothing to make the relevant ones stand out from the crowd.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: Shoemaker, who endorses a causal account of properties, has a go at this problem in Idea 8557. The property of being massive is more likely to be causal than existing fifty years after D-Day. Lewis attempts later to address the problem.
8. Modes of Existence / D. Universals / 1. Universals
I suspend judgements about universals, but their work must be done [Lewis]
     Full Idea: I suspend judgement about universals themselves; I only insist that, one way or another, their work must be done.
     From: David Lewis (New work for a theory of universals [1983], 'Intro')
     A reaction: This seems surprising (but admirable) in a great metaphysician, but I suppose it is symptomatic of the Humean approach to metaphysics. In the light of Ideas 3989 and 3990, I would have expected Lewis to deny universals. He probably did.
Universals recur, are multiply located, wholly present, make things overlap, and are held in common [Lewis]
     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?
The main rivals to universals are resemblance or natural-class nominalism, or sparse trope theory [Lewis]
     Full Idea: The leading rivals to a theory of universals are resemblance or natural-class nominalism, or sparse trope theory.
     From: David Lewis (Comment on Armstrong and Forrest [1986], p.110)
     A reaction: If that is the complete menu, I choose resemblance nominalism. All discussion of properties in terms of classes is wildly misguided (because properties come first). Why not 'natural' tropes?
If particles were just made of universals, similar particles would be the same particle [Lewis]
     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 / 2. Need for Universals
Universals are meant to give an account of resemblance [Lewis]
     Full Idea: Perhaps the main job of a theory of universals is to give an account of resemblance.
     From: David Lewis (Against Structural Universals [1986], 'Why believe')
     A reaction: This invites the quick reply, popular with some nominalists, of taking resemblance as primitive, and hence beyond explanation.
Physics aims to discover which universals actually exist [Lewis, by Moore,AW]
     Full Idea: For Lewis, we can see the purpose of physics as being to discover what universals there actually are.
     From: report of David Lewis (New work for a theory of universals [1983]) by A.W. Moore - The Evolution of Modern Metaphysics Intro
     A reaction: It seems that Lewis uses the word 'property' to mean predicates, which consist of a multitude of sets, while universals are the properties that naturally exist and cut nature at the joints . Infuriating, because the other way around seems better.
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 [Lewis]
     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.
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
The One over Many problem (in predication terms) deserves to be neglected (by ostriches) [Lewis]
     Full Idea: The transformed problem of One over Many (in terms of predication, rather than sameness of type) deserves our neglect. The ostrich that will not look at it is a wise bird indeed.
     From: David Lewis (New work for a theory of universals [1983], '1 Ov Many')
     A reaction: This is aimed at Armstrong, and defends Quine. The remark moves Ostrich Nominalism from the category of joke to the category of respectable. I think I side with Armstrong. How is predication primitive if it has two components?
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
We can add a primitive natural/unnatural distinction to class nominalism [Lewis]
     Full Idea: To class nominalism we can add a primitive distinction between natural and unnatural classes.
     From: David Lewis (Against Structural Universals [1986], 'Why believe')
     A reaction: Lewis explores this elsewhere, but this looks like a very complex concept to play the role of a 'primitive'. Human conventions seem to be parts of nature.
To have a property is to be a member of a class, usually a class of things [Lewis]
     Full Idea: To have a property is to be a member of a class, usually a class of things. (Note: this resembles the doctrine of Class Nominalism, but I do not claim to solve the One Over Many problem by this means, far from it).
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: Lewis remains neutral about the traditional question of whether universals exist. What does he mean by "is" in his assertion? Identity, predication or class membership? I think Lewis is open to many of the objections to Class Nominalism.
Class Nominalism and Resemblance Nominalism are pretty much the same [Lewis]
     Full Idea: Moderate Class Nominalism and Resemblance Nominalism (in its present form) seem to me to be a single theory presented in different styles.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop' n9)
     A reaction: Lewis has earlier endorsed a cautious form of Class Nominalism (Idea 8570). Which comes first, having a resemblance, or being in a class? Quine seems to make resemblance basic (Idea 8486), but Lewis seems to make the class basic (Idea 8572).
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Total intrinsic properties give us what a thing is [Lewis]
     Full Idea: The way something is is given by the totality of its intrinsic properties.
     From: David Lewis (Extrinsic Properties [1983], I)
     A reaction: No. Some properties are intrinsic but trivial. The 'important' ones fix the identity (if the identity is indeed 'fixed').
9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail
If cats are vague, we deny that the many cats are one, or deny that the one cat is many [Lewis]
     Full Idea: To deny that there are many cats on the mat (because removal of a few hairs seems to produce a new one), we must either deny that the many are cats, or else deny that the cats are many. ...I think both alternatives lead to successful solutions.
     From: David Lewis (Many, but almost one [1993], 'The paradox')
     A reaction: He credits the problem to Geach (and Tibbles), and says it is the same as Unger's 'problem of the many' (Idea 15536).
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
We have one cloud, but many possible boundaries and aggregates for it [Lewis]
     Full Idea: Many surfaces are equally good candidates to be boundaries of a cloud; therefore many aggregates of droplets are equally good candidates to be the cloud. How is it that we have just one cloud? And yet we do. This is Unger's (1980) 'problem of the many'.
     From: David Lewis (Many, but almost one [1993], 'The problem')
     A reaction: This is the problem of vague objects, as opposed to the problem of vague predicates, or the problem of vague truths, or the problem of vague prepositions (like 'towards').
9. Objects / C. Structure of Objects / 1. Structure of an Object
We could not uphold a truthmaker for 'Fa' without structures [Lewis]
     Full Idea: We could not, without structures, uphold the principle that every truth has a truthmaker. If Fa is true, the truthmaker is not F, not a, nor both together; not their mereological sum; not a set-theoretic construction. These would exist just the same.
     From: David Lewis (Comment on Armstrong and Forrest [1986], p.109)
     A reaction: This point ought to trouble Lewis, as well as Armstrong and Forrest. If we assert 'Fa', we must (in any theory) have some idea of what unites them, as well as of their separate existence. It must a fact about 'a', not a fact about 'F'.
The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis]
     Full Idea: The 'magical' conception of structural universals says 'simple' must be distinguished from 'atomic'. A structural universal is never simple; it involves other, simpler, universals, but it is mereologically atomic. The other universals are not its parts.
     From: David Lewis (Against Structural Universals [1986], 'The magical')
     A reaction: Hence the 'magic' is for it to be an indissoluble unity, while acknowledging that it has parts. Personally I don't see much problem with this view, since universals already perform the magical feat of being 'instantiated', whatever that means.
If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis]
     Full Idea: What is it about the universal carbon that gets it involved in necessary connections with methane? Why not rubidium instead? The universal 'carbon' has nothing more in common with the universal methane than the universal rubidium has!
     From: David Lewis (Against Structural Universals [1986], 'The magical')
     A reaction: This is his objection to the 'magical' unity of structural universals. The point is that if methane is an atomic unity, as claimed, it can't have anything 'in common' with its components.
The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis]
     Full Idea: On the 'pictorial' conception, a structural universal is isomorphic to its instances. ...It is an individual, a mereological composite, not a set. ...It is composed of simpler universals which are literally parts of it.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: I'm not clear why Lewis labels this the 'pictorial' view. His other two views of structural universals are 'linguistic' and 'magical'. The linguistic is obviously wrong, and the magical doesn't sound promising. Must I vote for pictorial?
The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis]
     Full Idea: What is wrong with the pictorial conception is that if the structural universal 'methane' is to be an isomorph of the molecules that are its instances, it must have the universal 'hydrogen' as a part not just once, but four times over.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: The point is that if hydrogen is a universal it must be unique, so there can't be four of them. To me this smacks of the hopeless mess theologians get into, because of bad premisses. Drop universals, and avoid this kind of stuff.
Butane and Isobutane have the same atoms, but different structures [Lewis]
     Full Idea: The stuctural universal 'isobutane' consists of the universal carbon four times over, hydrogen ten times over, and the universal 'bonded' thirteen times over - just like the universal 'butane'.
     From: David Lewis (Against Structural Universals [1986], 'Variants')
     A reaction: The point is that isobutane and butane have the same components in different structures. At least this is Lewis facing up to the problem of the 'flatness' of mereological wholes.
Structural universals have a necessary connection to the universals forming its parts [Lewis]
     Full Idea: There is a necessary connection between the instantiating of a structural universal by the whole and the instantiating of other universals by its parts. We can call the relation 'involvement', a nondescript word.
     From: David Lewis (Against Structural Universals [1986], 'What are')
     A reaction: In the case of a shape, I suppose the composing 'universals' [dunno what they are] will all be essential to the shape - that is, part of the very nature of the thing, loss of which would destroy the identity.
We can't get rid of structural universals if there are no simple universals [Lewis]
     Full Idea: We can't dispense with structural universals if we cannot be sure that there are any simples which can be involved in them.
     From: David Lewis (Against Structural Universals [1986], 'Why believe')
     A reaction: Lewis cites this as Armstrong's strongest reason for accepting structural universals (and he takes their requirement for an account of laws of nature as the weakest). I can't comprehend a world that lacks underlying simplicity.
9. Objects / C. Structure of Objects / 5. Composition of an Object
Composition is not just making new things from old; there are too many counterexamples [Lewis]
     Full Idea: Not just any operation that makes new things from old is a form of composition! There is no sense in which my parents are part of me, and no sense in which two numbers are parts of their greatest common factor.
     From: David Lewis (Against Structural Universals [1986], 'Variants')
     A reaction: One of those rare moments when David Lewis seems to have approached a really sensible metaphysics. Further on he rejects all forms of composition apart from mereology.
The many are many and the one is one, so they can't be identical [Lewis]
     Full Idea: What is true of the many is not exactly what is true of the one. After all they are many while it is one. The number of the many is six, whereas the number of the fusion is one. The singletons of the many are distinct from the singleton of the one.
     From: David Lewis (Parts of Classes [1991], 3.6)
     A reaction: I wouldn't take this objection to be conclusive. 'Some pebbles' seem to be many, but a 'handful of pebbles' seem to be one, where the physical situation might be identical. If they are not identical, then the non-identity is purely conceptual.
Lewis affirms 'composition as identity' - that an object is no more than its parts [Lewis, by Merricks]
     Full Idea: Lewis says that the parts of a thing are identical with the whole they compose, calling his view 'composition as identity', which is the claim that a physical object is 'nothing over and above its parts'.
     From: report of David Lewis (Parts of Classes [1991], p.84-7) by Trenton Merricks - Objects and Persons §I.IV
     A reaction: The ontological economy of this view is obviously attractive, but I don't agree with it. You certainly can't say that all identity consists entirely of composition by parts, because the parts need identity to get the view off the ground.
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis]
     Full Idea: The mereological sum of the coffee in my cup, the ink in this sentence, a nearby sparrow, and my left shoe is a miscellaneous mess of an object, yet its boundaries are by no means unrelated to the joints of nature.
     From: David Lewis (Putnam's Paradox [1984], 'What Might')
     A reaction: In that case they do, but if there are no atoms at the root of physics then presumably their could also be thoroughly jointless assemblages, involving probability distributions etc. Even random scattered atoms seem rather short of joints.
In mereology no two things consist of the same atoms [Lewis]
     Full Idea: It is a principle of mereology that no two things consist of exactly the same atoms.
     From: David Lewis (Parts of Classes [1991], 2.3)
     A reaction: The problem with this is screamingly obvious - that the same atoms might differ in structure. Lewis did refer to this problem, but seems to try to wriggle out of it, in Idea 15444.
Trout-turkeys exist, despite lacking cohesion, natural joints and united causal power [Lewis]
     Full Idea: A trout-turkey is inhomogeneous, disconnected, not in contrast with its surroundings. It is not cohesive, not causally integrated, not a causal unit in its impact on the rest of the world. It is not carved at the joints. That doesn't affect its existence.
     From: David Lewis (Parts of Classes [1991], 3.5)
     A reaction: A nice pre-emptive strike against all the reasons why anyone might think more is needed for unity than a mereological fusion.
Given cats, a fusion of cats adds nothing further to reality [Lewis]
     Full Idea: Given a prior commitment to cats, a commitment to cat-fusions is not a further commitment. The fusion is nothing over and above the cats that compose it. It just is them. They just are it. Together or separately, the cats are the same portion of Reality.
     From: David Lewis (Parts of Classes [1991], 3.6)
     A reaction: The two extremes of ontology are that there are no objects, or that every combination is an object. Until reading this I thought Lewis was in the second camp, but this sounds like object-nihilism, as in Van Inwagen and Merricks.
The one has different truths from the many; it is one rather than many, one rather than six [Lewis]
     Full Idea: What's true of the many is not exactly what's true of the one. After all they are many while it is one. The number of the many is six, whereas the number of the fusion is one.
     From: David Lewis (Parts of Classes [1991], 3.6)
     A reaction: Together with Idea 15521, this nicely illustrates the gulf between commitment to ontology and commitment to truths. The truths about a fusion change, while its ontology remains the same. Possibly this is the key to all of metaphysics.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Lewis only uses fusions to create unities, but fusions notoriously flatten our distinctions [Oliver/Smiley on Lewis]
     Full Idea: Lewis employs mereological fusion as his sole method of making one thing out of many, and fusion is notorious for the way it flattens out and thereby obliterates distinctions.
     From: comment on David Lewis (Parts of Classes [1991]) by Oliver,A/Smiley,T - What are Sets and What are they For? 3.1
     A reaction: I take this to be a key point in the discussion of mereology in ontological contexts. As a defender of intrinsic structural essences, I have no use for mereological fusions, and look for a quite different identity for 'wholes'.
A commitment to cat-fusions is not a further commitment; it is them and they are it [Lewis]
     Full Idea: Given a prior commitment to cats, a commitment to cat-fusions is not a further commitment. The fusion is nothing over and above the cats that compose it. It just is them. They just are it.
     From: David Lewis (Parts of Classes [1991], p.81), quoted by Achille Varzi - Mereology 4.3
     A reaction: I take this to make Lewis a nominalist, saying the same thing that Goodman said about Utah in Idea 10657. Any commitment to cat-fusions being more than the cats, or Utah being more than its counties, strikes me as crazy.
I say that absolutely any things can have a mereological fusion [Lewis]
     Full Idea: I accept the principle of Unrestricted Composition: whenever there are some things, no matter how many or how unrelated or how disparate in character they may be, they have a mereological fusion. ...The trout-turkey is part fish and part fowl.
     From: David Lewis (Mathematics is Megethology [1993], p.07)
     A reaction: This nicely ducks the question of when things form natural wholes and when they don't, but I would have thought that that might be one of the central issues of metaphysicals, so I think I'll give Lewis's principle a miss.
Mereological composition is unrestricted: any class of things has a mereological sum [Lewis]
     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 [Lewis, by Sider]
     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?
A whole is distinct from its parts, but is not a further addition in ontology [Lewis]
     Full Idea: A whole is an extra item in our ontology only in the minimal sense that it is not identical to any of its proper parts; but it is not distinct from them either, so when we believe in the parts it is no extra burden to believe in the whole.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: A little confusing, to be 'not identical' and yet 'not different'. As Lewis says elsewhere, the whole is one, and the parts are not. A crux. Essentialism implies a sort of holism, that parts with a structure constitute a new thing.
Different things (a toy house and toy car) can be made of the same parts at different times [Lewis]
     Full Idea: Different things can be made of the same parts at different times, as when the tinkertoy house is taken apart and put back together as a tinkertoy car.
     From: David Lewis (Against Structural Universals [1986], 'Variants')
     A reaction: More important than it looks! This is Lewis's evasion of the question of the structure of the parts. Times will individuate different structures, but if I take type-identical parts and make a house and a car simultaneously, are they type-identical?
Lewis prefers giving up singletons to giving up sums [Lewis, by Fine,K]
     Full Idea: In the face of the conflict between mereology and set theory, Lewis has advocated giving up the existence of singletons rather than sums.
     From: report of David Lewis (Parts of Classes [1991]) by Kit Fine - Replies on 'Limits of Abstraction' 1
9. Objects / D. Essence of Objects / 1. Essences of Objects
Aristotelian essentialism says essences are not relative to specification [Lewis]
     Full Idea: So-called 'Aristotelian essentialism' is the doctrine of essences not relative to specifications.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: In other words, they are so-called 'real essences', understood as de re. Quine says essences are all de dicto, and relative to some specification. I vote for Aristotle.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
An essential property is one possessed by all counterparts [Lewis, by Elder]
     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 [Lewis]
     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 [Lewis, by Sider]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 / A. Necessity / 4. De re / De dicto modality
De re modal predicates are ambiguous [Lewis, by Rudder Baker]
     Full Idea: Lewis is perhaps the most prominent proponent of the view that de re modal predicates are ambiguous.
     From: report of David Lewis (Survival and Identity, with postscript [1983]) by Lynne Rudder Baker - Why Constitution is not Identity n25
10. Modality / A. Necessity / 7. Natural Necessity
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
     Full Idea: Just as a sentence is necessary if it holds in all worlds, so it is causally necessary if it holds in all worlds compatible with the laws of nature.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], V)
     A reaction: I don't believe in the so-called 'laws of nature', so I'm not buying that. Is there no distinction in Lewis's view between those sentences which must hold, and those which happen to hold universally?
10. Modality / B. Possibility / 7. Chance
We can explain a chance event, but can never show why some other outcome did not occur [Lewis]
     Full Idea: I think we are right to explain chance events, yet we are right also to deny that we can ever explain why a chance process yields one outcome rather than another. We cannot explain why one event happened rather than the other.
     From: David Lewis (Causal Explanation [1986], VI)
     A reaction: This misses out an investigation which slowly reveals that a 'chance' event wasn't so chancey after all. Failure to explain confirms chance, so the judgement of chance shouldn't block attempts to explain.
Chance is compatible with necessity, and the two occur together [Weil]
     Full Idea: Chance is not the contrary of necessity; it is not incompatible with necessity. On the contrary, it never appears except at the same time as necessity.
     From: Simone Weil (The Scientific Image [1941], p.175)
     A reaction: She illustrates it with the six terminating results of a die throw, and the innumerabe ways the throw can occur. This thought strikes me as relevant to discussions of free will. …But I'm not sure I fully understand it.
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
A conditional probability does not measure the probability of the truth of any proposition [Lewis, by Edgington]
     Full Idea: Lewis was first to prove this remarkable result: there is no proposition A*B such that, in all probability distributions, p(A*B) = pA(B) [second A a subscript]. A conditional probability does not measure the probability of the truth of any proposition.
     From: report of David Lewis (Probabilities of Conditionals [1976]) by Dorothy Edgington - Conditionals (Stanf) 3.1
     A reaction: The equation says the probability of the combination of A and B is not always the same as the probability of B given A. Bennett refers to this as 'The Equation' in the theory of conditionals. Edgington says a conditional is a supposition and a judgement.
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Lewis says indicative conditionals are truth-functional [Lewis, by Jackson]
     Full Idea: Unlike Stalnaker, Lewis holds that indicative conditionals have the truth conditions of material conditionals.
     From: report of David Lewis (Counterfactuals [1973]) by Frank Jackson - Conditionals 'Further'
     A reaction: Thus Lewis only uses the possible worlds account for subjunctive conditionals, where Stalnaker uses it for both. Lewis is defending the truth-functional account for the indicative conditionals.
10. Modality / B. Possibility / 9. Counterfactuals
In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich]
     Full Idea: According to Lewis, a counterfactual holds when the consequent is true in possible worlds very like our own except for the fact that the antecedent is true.
     From: report of David Lewis (Counterfactuals [1973]) by Paul Horwich - Lewis's Programme p.213
     A reaction: Presumably the world being very like our own would make it unlikely that there would be anything else to cause the consequent, apart from the counterfactual antecedent.
For true counterfactuals, both antecedent and consequent true is closest to actuality [Lewis]
     Full Idea: A counterfactual is non-vacuously true iff it takes less of a departure from actuality to make the consequent true along with the antecedent than it does to make the antecedent true without the consequent.
     From: David Lewis (Causation [1973], p.197)
     A reaction: Almost every theory proposed by Lewis hangs on the meaning of the word 'close', as used here. If you visited twenty Earth-like worlds (watch Startrek?), it would be a struggle to decide their closeness to ours in rank order.
Backtracking counterfactuals go from supposed events to their required causal antecedents [Lewis]
     Full Idea: 'Backtracking' counterfactual reasoning runs from a counterfactually supposed event to the causal antecedents it would have to have had.
     From: David Lewis (Finkish dispositions [1997], I)
     A reaction: Why not call it a 'transcendental' counterfactual? Presumably you go thisworld>> counterfactualevent>> worldneededtocauseit. It conjures up two possible worlds instead of one.
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 [Lewis]
     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 [Lewis]
     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
Possible worlds can contain contradictions if such worlds are seen as fictions [Lewis]
     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.
On mountains or in worlds, reporting contradictions is contradictory, so no such truths can be reported [Lewis]
     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.
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
For me, all worlds are equal, with each being actual relative to itself [Lewis]
     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).
For Lewis there is no real possibility, since all possibilities are actual [Oderberg on Lewis]
     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 [Lewis, by Sider]
     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.
If possible worlds really exist, then they are part of actuality [Sider on Lewis]
     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 [Lewis]
     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 can't know possible worlds without first knowing what is possible or impossible [Lycan on Lewis]
     Full Idea: Lewis's knowledge of what possible worlds there are and of other general truths about worlds is posterior, not prior, to his knowledge of what things are possible and what things are impossible.
     From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07
     A reaction: This elementary objection seems to me to destroy any attempt to explain modality in terms of possible worlds. It is a semantics for modal statements, but that doesn't make it an ontology. To assess possibilities, study actuality.
The actual world is just the world you are in [Lewis, by Cappelen/Dever]
     Full Idea: Lewis equates knowing which world is actual with knowing which world one is in.
     From: report of David Lewis (Attitudes De Dicto and De Se [1979]) by Cappelen,H/Dever,Josh - The Inessential Indexical 05.1
     A reaction: [This view is not, of course, Actualism, but an alternative treatment of actuality, within a multitude of possibilities].
What are the ontological grounds for grouping possibilia into worlds? [Lycan on Lewis]
     Full Idea: Lewis must seek some ontological ground for the grouping of possibilia into disjoint worlds.
     From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07
     A reaction: I do love people like Lycan who ask the simple commonsense questions about these highly sophisticated systems that students of philosophy are required to study. If a proposition is a 'set of worlds', understanding a proposition is beyond me.
Lewis rejects actualism because he identifies properties with sets [Lewis, by Stalnaker]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Jacquette on Lewis]
     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 / b. Rigid designation
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
     Full Idea: Even if Humphrey is a modal continuant, it doesn't take the whole of him to do such things as winning.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], Post B)
     A reaction: This responds to Kripke's famous example, that people only care about what happens to themselves, and not to some 'counterpart' of themselves.
A logically determinate name names the same thing in every possible world [Lewis]
     Full Idea: A logically determinate name is one which names the same thing in every possible world.
     From: David Lewis (How to Define Theoretical Terms [1970], III)
     A reaction: This appears to be rigid designation, before Kripke introduced the new word.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
     Full Idea: Probably Humphrey could not care less whether someone else, no matter how much resembling him, would have been victorious in another possible world. Thus Lewis's view seems even more bizarre that the usual transworld identification it replaces.
     From: comment on David Lewis (Counterpart theory and Quant. Modal Logic [1968]) by Saul A. Kripke - Naming and Necessity notes and addenda note 13
     A reaction: I begin to see this as a devastating reply to a theory I previously found quite congenial.
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
     Full Idea: Your counterparts resemble you closely in content and context in important respects. They resemble you more closely than do the other things in their worlds. But they are not really you.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: It is a dilemma. If my counterpart were exactly me, I couldn't contemplate possibly losing a leg, or my sanity. But if my counterpart isn't exactly me, then I don't have much interest in its fate. Only essences can save us here. Cf. me tomorrow.
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
     Full Idea: If whatever thing in world w6 it is that resembles you more closely than anything else in w6 is nevertheless quite unlike you; nothing in w6 resembles you at all closely. If so, you have no counterpart in w6.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: This is the nub, because the whole theory rests on deciding whether two things resemble sufficiently 'closely'. But then we need a criterion of closeness, so we must start talking about which properties matter. Essences loom.
Essential attributes are those shared with all the counterparts [Lewis]
     Full Idea: An essential attribute of something is an attribute it shares with all its counterparts.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: I don't like this. It ties essence entirely to identity, but I think essence precedes identity. Essence is a nexus of causal and explanatory powers which bestows an identity on each thing. But essence might be unstable, and identity with it.
The counterpart relation is sortal-relative, so objects need not be a certain way [Lewis, by Merricks]
     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.
A counterpart in a possible world is sufficiently similar, and more similar than anything else [Lewis, by Mautner]
     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.
Why should statements about what my 'counterpart' could have done interest me? [Mautner on Lewis]
     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!
In counterpart theory 'Humphrey' doesn't name one being, but a mereological sum of many beings [Lewis]
     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 [Lewis, by Mackie,P]
     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 [Lewis]
     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 [Lewis]
     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.
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
A content is a property, and believing it is self-ascribing that property [Lewis, by Recanati]
     Full Idea: For Lewis, a belief mode is analysed by saying that to believe a content (analysed as a property) is for the subject of thought to 'self-ascribe' that property.
     From: report of David Lewis (Attitudes De Dicto and De Se [1979]) by François Recanati - Mental Files 18.3
     A reaction: Lewis is weird. I would have thought you only self-ascribe the 'property' when you find yourself believing it. Lewis seems desperate to eliminate mental language. Belief can be a primitive concept without being primitive in ontology.
The timid student has knowledge without belief, lacking confidence in their correct answer [Lewis]
     Full Idea: I allow knowledge without belief, as in the case of the timid student who knows the answer but has no confidence that he has it right, and so does not believe what he knows.
     From: David Lewis (Elusive Knowledge [1996], p.429)
     A reaction: [He cites Woozley 1953 for the timid student] I don't accept this example (since my views on knowledge are rather traditional, I find). Why would the student give that answer if they didn't believe it? Sustained timid correctness never happens.
11. Knowledge Aims / A. Knowledge / 7. Knowledge First
Knowledge is beyond question, as an unavoidable component of thinking [Weil]
     Full Idea: The speaker refuses to pose the question of knowledge, since knowledge is a given that is mixed with thought, and that no thinking being can get away from.
     From: Simone Weil (Philosophy [1941], p.42)
     A reaction: On the whole I favour belief-first, but I take the primary purpose of minds to be navigation, and that needs facts, not hopeful beliefs. Weil's thought pushes me a bit towards the knowledge first view.
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
To say S knows P, but cannot eliminate not-P, sounds like a contradiction [Lewis]
     Full Idea: If you claim that S knows that P, and yet grant that S cannot eliminate a certain possibility of not-P, it certainly seems as if you have granted that S does not after all know that P. To speak of fallible knowledge just sounds contradictory.
     From: David Lewis (Elusive Knowledge [1996], p.419)
     A reaction: Starting from this point, fallibilism seems to be a rather bold move. The only sensible response seems to be to relax the requirement that not-P must be eliminable. Best: in one epistemic context P, in another not-P.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / a. Qualities in perception
Some say qualities are parts of things - as repeatable universals, or as particulars [Lewis]
     Full Idea: Some philosophers propose that things have their qualities by having them as parts, either as repeatable universals (Goodman), or as particulars (Donald Williams).
     From: David Lewis (Parts of Classes [1991], 2.1 n2)
     A reaction: He refers to 'qualities' rather than 'properties', presumably because this view makes them all intrinsic to the object. Is being 'handsome' a part of a person?
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
Justification is neither sufficient nor necessary for knowledge [Lewis]
     Full Idea: I don't agree that the mark of knowledge is justification, first because justification isn't sufficient - your true opinion that you will lose the lottery isn't knowledge, whatever the odds; and also not necessary - for what supports perception or memory?
     From: David Lewis (Elusive Knowledge [1996])
     A reaction: I don't think I agree. The point about the lottery is that an overwhelming reason will never get you to knowing that you won't win. But good reasons are coherent, not statistical. If perceptions are dubious, justification must be available.
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
General causal theories of knowledge are refuted by mathematics [Lewis]
     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.
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
Knowing is context-sensitive because the domain of quantification varies [Lewis, by Cohen,S]
     Full Idea: The context-sensitivity of 'knows' is a function of contextual restrictions on the domain of quantification.
     From: report of David Lewis (Elusive Knowledge [1996]) by Stewart Cohen - Contextualism Defended p.68
     A reaction: I think the shifting 'domain of quantification' is one of the most interesting features of ordinary talk. Or, more plainly. 'what are you actually talking about?' is the key question in any fruitful dialogue. Sophisticated speakers tacitly shift domain.
We have knowledge if alternatives are eliminated, but appropriate alternatives depend on context [Lewis, by Cohen,S]
     Full Idea: S knows P if S's evidence eliminates every alternative. But the nature of the alternatives depends on context. So for Lewis, the context sensitivity of 'knows' is a function of contextual restrictions ln the domain of quantification.
     From: report of David Lewis (Elusive Knowledge [1996]) by Stewart Cohen - Contextualism Defended (and reply) 1
     A reaction: A typical modern attempt to 'regiment' a loose term like 'context'. That said, I like the idea. I'm struck by how the domain varies during a conversation (as in 'what we are talking about'). Domains standardly contain 'objects', though.
14. Science / B. Scientific Theories / 8. Ramsey Sentences
A Ramsey sentence just asserts that a theory can be realised, without saying by what [Lewis]
     Full Idea: If we specify a theory with all of its terms, and then replace all of those terms with variables, we can then say that some n-tuples of entities can satisfy this formula. This Ramsey sentence then says the theory is realised, without specifying by what.
     From: David Lewis (How to Define Theoretical Terms [1970], II)
     A reaction: [I have compressed Lewis, and cut out the symbolism]
There is a method for defining new scientific terms just using the terms we already understand [Lewis]
     Full Idea: I contend that there is a general method for defining newly introduced terms in a scientific theory, one which uses only the old terms we understood beforehand.
     From: David Lewis (How to Define Theoretical Terms [1970], Intro)
     A reaction: Lewis is game is to provide bridge laws for a reductive account of nature, without having to introduce something entirely new to achieve it. The idea of bridge laws in scientific theory is less in favour these days.
It is better to have one realisation of a theory than many - but it may not always be possible [Lewis]
     Full Idea: A uniquely realised theory is, other things being equal, certainly more satisfactory than a multiply realised theory. We should insist on unique realisation as a standard of correctness unless it is a standard too high to be met.
     From: David Lewis (How to Define Theoretical Terms [1970], III)
     A reaction: The point is that rewriting a theory as Ramsey sentences just says there is at least one realisation, and so it doesn't meet the highest standards for scientific theories. The influence of set-theoretic model theory is obvious in this approach.
The Ramsey sentence of a theory says that it has at least one realisation [Lewis]
     Full Idea: The Ramsey sentence of a theory says that it has at least one realisation.
     From: David Lewis (How to Define Theoretical Terms [1970], V)
14. Science / C. Induction / 2. Aims of Induction
Induction is just reasonable methods of inferring the unobserved from the observed [Lewis]
     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 [Lewis]
     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 / 1. Explanation / b. Aims of explanation
Does a good explanation produce understanding? That claim is just empty [Lewis]
     Full Idea: It is said that a good explanation ought to produce understanding, ...but this just says that a good explanation produces possession of that which it provide, so this desideratum is empty. It adds nothing to our understanding of explanation.
     From: David Lewis (Causal Explanation [1986], V)
     A reaction: I am not convinced by this dismissal. If you are looking for a test of whether an explanation is good, the announcement that the participants feel they have achieved a good understanding sounds like success.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Science may well pursue generalised explanation, rather than laws [Lewis]
     Full Idea: The pursuit of general explanations may be very much more widespread in science than the pursuit of general laws.
     From: David Lewis (Causal Explanation [1986], IV)
     A reaction: Nice. I increasingly think that the main target of all enquiry is ever-widening generality, with no need to aspire to universality.
14. Science / D. Explanation / 2. Types of Explanation / f. Necessity in explanations
A good explanation is supposed to show that the event had to happen [Lewis]
     Full Idea: It is said that a good explanation ought to show that the explanandum event had to happen, given the laws and circumstances.
     From: David Lewis (Causal Explanation [1986], V)
     A reaction: I cautiously go along with this view. Given that there are necessities in nature (a long story), we should aim to reveal them. There is no higher aspiration open to us than successful explanation. Lewis says good explanations can reveal falsehoods.
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
An explanation tells us how an event was caused [Lewis]
     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.
Lewis endorses the thesis that all explanation of singular events is causal explanation [Lewis, by Psillos]
     Full Idea: Lewis endorses the thesis that all explanation of singular events is causal explanation.
     From: report of David Lewis (Causal Explanation [1986]) by Stathis Psillos - Causation and Explanation p.237
     A reaction: It is hard to challenge this. The assumption is that only nomological and causal explanations are possible, and the former are unobtainable for singular events.
Often explanaton seeks fundamental laws, rather than causal histories [Lewis]
     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.
To explain an event is to provide some information about its causal history [Lewis]
     Full Idea: Here is my main thesis: to explain an event is to provide some information about its causal history.
     From: David Lewis (Causal Explanation [1986], II)
     A reaction: The obvious thought is that you might provide some tiny and barely relevant part of that causal history, such as a bird perched on the Titanic's iceberg. So how do we distinguish the 'important' causal information?
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
     Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles.
     From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro'
     A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture?
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 [Lewis]
     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.
15. Nature of Minds / A. Nature of Mind / 1. Mind / b. Purpose of mind
A mind is an organ of representation [Lewis]
     Full Idea: A mind is an organ of representation.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.421)
     A reaction: This does not seem to necessarily involve awareness, so it seems to put intentionality at the centre of things. It is a good slogan.
15. Nature of Minds / B. Features of Minds / 5. Qualia / a. Nature of qualia
Part of the folk concept of qualia is what makes recognition and comparison possible [Lewis]
     Full Idea: The concept of qualia (a part of the folk concept) is the concept of properties of experiences apt for causing abilities to recognize and to imagine experiences of the same type.
     From: David Lewis (Should a materialist believe in qualia? [1995], p.327)
     A reaction: I presume the other part of the folk concept would be what it is about qualia that makes this possible, namely that they 'look/sound/feel.. the same'. Lewis emphasises the functional aspect, which could not possibly be the whole story.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
Maybe abstraction is just mereological subtraction [Lewis]
     Full Idea: We could say that abstraction is just mereological subtraction of universals.
     From: David Lewis (Against Structural Universals [1986], 'Uninstantiated')
     A reaction: This only works, of course, for the theories that complex universals have simpler universals as 'parts'. This is just a passing surmise. I take it that abstraction only works for a thing whose unity survives the abstraction.
16. Persons / B. Nature of the Self / 7. Self and Body / a. Self needs body
What is sacred is not a person, but the whole physical human being [Weil]
     Full Idea: There is something sacred in every man, but it is not his person. Nor yet is it the human personality. It is this man; no more and no less. …It is he. The whole of him. The arms, they eyes, the thoughts, everything.
     From: Simone Weil (Human Personality [1943], p,70)
     A reaction: I take her to be referring to exactly the concept of a 'person' which Locke introduced. It is important to remember that his concept is mainly forensic - as a concept of ownership and contracts. A person is an abstraction. Even a corpse is a human.
16. Persons / F. Free Will / 6. Determinism / a. Determinism
Determinism says there can't be two identical worlds up to a time, with identical laws, which then differ [Lewis]
     Full Idea: By determinism I mean that the prevailing laws of nature are such that there do not exist any two possible worlds which are exactly alike up to that time, which differ thereafter, and in which those laws are never violated.
     From: David Lewis (Causation [1973], p.196)
     A reaction: This would mean that the only way an action of free will could creep in would be if it accepted being a 'violation' of the laws of nature. Fans of free will would probably prefer to call it a 'natural' phenomenon. I'm with Lewis.
17. Mind and Body / C. Functionalism / 4. Causal Functionalism
Experiences are defined by their causal role, and causal roles belong to physical states [Lewis]
     Full Idea: The definitive characteristic of any experience is its causal role, its most typical causes and effects; but we materialists believe that these causal roles which belong by analytic necessity to experiences belong in fact to certain physical states.
     From: David Lewis (An Argument for the Identity Theory [1966], §I)
     A reaction: This is the Causal version of functionalism, which Armstrong also developed. The word 'typical' leads later to a teleological element in the theory (e.g. in Lycan). There are other things to say about mental states than just their causal role.
'Pain' contingently names the state that occupies the causal role of pain [Lewis]
     Full Idea: On my theory, 'pain' is a contingent name - that is, a name with different denotations in different possible worlds - since in any world, 'pain' names whatever state happens in that world to occupy the causal role definitive of pain.
     From: David Lewis (An Argument for the Identity Theory [1966], §II n6)
     A reaction: Better to say that 'pain' (like 'sound') is ambiguous. It is indiscriminately used by English-speakers to mean [1] the raw quale that we experience when damaged, and [2] whatever it is that leads to pain behaviour. Maybe frogs have 2 but not 1.
Type-type psychophysical identity is combined with a functional characterisation of pain [Lewis]
     Full Idea: The materialist theory Armstrong and I proposed joins claims of type-type psychophysical identity with a behaviourist or functionalist way of characterising mental states such as pain.
     From: David Lewis (Mad Pain and Martian Pain [1980], §III)
     A reaction: Armstrong has backed off from 'type-type' identity, because the realisations of a given mental state might be too diverse to be considered of the same type. Putnam's machine functionalism allows the possibility of dualism.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
The application of 'pain' to physical states is non-rigid and contingent [Lewis]
     Full Idea: The word 'pain' is a non-rigid designator; it is a contingent matter what state the concept and the word apply to. (Note: so the sort of theory Kripke argues against is not what we propose).
     From: David Lewis (Mad Pain and Martian Pain [1980], §III)
     A reaction: I like the view that a given quale is necessarily identical to a given mental state, but that many mental states might occupy a given behavioural role. The smell of roses might occupy the behavioural role of pain. Frog pain isn't quite like ours.
Human pain might be one thing; Martian pain might be something else [Lewis]
     Full Idea: Human pain might be one thing. Martian pain might be something else.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.420)
     A reaction: A key suggestion in support of type-type physicalism, and against the multiple realisability objection to the identity theory
Psychophysical identity implies the possibility of idealism or panpsychism [Lewis]
     Full Idea: Psychophysical identity is a two-way street: if all mental properties are physical, then some physical properties are mental; but then all physical properties might be mental, or every property of everything might be both physical and mental.
     From: David Lewis (New work for a theory of universals [1983], 'Min Mat')
     A reaction: I suspect that this is the thought that has impressed Galen Strawson. The whole story seems to include the existence of 'mental properties' as a distinct category. This line of thought strikes me as a serious misunderstanding.
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
I am a reductionist about mind because I am an a priori reductionist about everything [Lewis]
     Full Idea: My reductionism about mind began as part of an a priori reductionism about everything.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.412)
     A reaction: He says this is 'a priori' to avoid giving hostages to fortune, but I think is the best explanation of the total evidence facing us
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
A theory must be mixed, to cover qualia without behaviour, and behaviour without qualia [Lewis, by PG]
     Full Idea: To pass our test it seems that our theory will have to be a 'mixed' theory, to account for the Madman (whose pain has odd causes, and odd effects) and also for the Martian (who has normal causes and effects, but an odd physical state).
     From: report of David Lewis (Mad Pain and Martian Pain [1980], §II) by PG - Db (ideas)
     A reaction: A statement that 'pain' is ambiguous (qualia/causal role) would help a lot here. Martians have the causal role but no qualia, and the madman has the qualia but lacks the causal role. I say lots of different qualia might have the same causal role.
18. Thought / A. Modes of Thought / 1. Thought
The mind is imprisoned and limited by language, restricting our awareness of wider thoughts [Weil]
     Full Idea: At the very best, a mind is enclosed in language is in a prison. It is limited to the number of relations which words can make simultaneously present to it; and remains in ignorance of thoughts which involve the combination of a greater number.
     From: Simone Weil (Human Personality [1943], p.89)
     A reaction: This seems to be a germ of the type of view of language which blossoms in Derrida. But she is on to something. None of us grasp fully, I think, the non-linguistic nature of good thinking.
18. Thought / A. Modes of Thought / 2. Propositional Attitudes
Attitudes involve properties (not propositions), and belief is self-ascribing the properties [Lewis, by Solomon]
     Full Idea: Lewis suggests that we take attitudes to have properties, rather than propositions, as contents. To stand in the belief relation to a property is to self-ascribe that property.
     From: report of David Lewis (Attitudes De Dicto and De Se [1979]) by Robert C. Solomon - Erotic Love as a Moral Virtue 05.1
     A reaction: This is the sort of convoluted suggestion that Lewis has to come up with, in pursuit of his project of a wholly consistent metaphysics. Examine Lewis's account of properties before you judge this proposal! Self-ascribing is joining a set!
18. Thought / A. Modes of Thought / 4. Folk Psychology
Folk psychology makes good predictions, by associating mental states with causal roles [Lewis]
     Full Idea: Folk psychology is a powerful instrument of prediction, …which associates with each mental state a typical causal role.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.416)
     A reaction: This seems a good account of why we should take folk psychology very seriously, even if it is sometimes wrong (e.g. about people who are mentally ill).
18. Thought / A. Modes of Thought / 9. Indexical Thought
Lewis's popular centred worlds approach gives an attitude an index of world, subject and time [Lewis, by Recanati]
     Full Idea: Many philosophers now prefer Lewis's centred worlds framework for indexicals …It is two-dimensional, saying an attitude only has a truth-value when evaluated with respect to a contextual index, containing a subject and time, as well as a world.
     From: report of David Lewis (Attitudes De Dicto and De Se [1979]) by François Recanati - Mental Files 18.2
     A reaction: [compressed; this is said to have largely ousted the older Kaplan-Perry view] You only begin to understand the possible worlds game when you see how many problems find proposed 'solutions' there.
18. Thought / B. Mechanics of Thought / 4. Language of Thought
Folk psychology doesn't say that there is a language of thought [Lewis]
     Full Idea: I don't believe that folk psychology says there is a language of thought.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.422)
     A reaction: This is aimed at Jerry Fodor. Certainly folk psychology is a strong theory, but a so-called 'language of thought' (the brain's machine code) seems a much weaker one.
18. Thought / C. Content / 6. Broad Content
If you don't share an external world with a brain-in-a-vat, then externalism says you don't share any beliefs [Lewis]
     Full Idea: If the famous brain in a bottle is your exact duplicate in brain states, but only experiences the computer's virtual reality, so that you share no objects of acquaintance, then according to externalists you share no beliefs whatsoever.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.424)
     A reaction: A very nice reductio ad absurdum of the idea that all concepts and beliefs have external meaning.
Nothing shows that all content is 'wide', or that wide content has logical priority [Lewis]
     Full Idea: There is nothing to support the thesis that wide content is the only kind of content, or that it is any way pre-eminent or basic.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.424)
     A reaction: The idea that all content is 'wide' seems quite wrong. We can't all be wrong about the meaning of a word, because the underlying facts have not yet been discovered.
A spontaneous duplicate of you would have your brain states but no experience, so externalism would deny him any beliefs [Lewis]
     Full Idea: According to externalists, Davidson's 'swampman' is your exact duplicate in brains states, but hasn't had time to become acquainted with much, so he has virtually no beliefs.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.425)
     A reaction: An implausible fantasy, but it does highlight the fact that beliefs and concepts are primarily internal states.
Wide content derives from narrow content and relationships with external things [Lewis]
     Full Idea: Wide content is derivative, a product of narrow content and relationships of acquaintance with external things.
     From: David Lewis (Lewis: reduction of mind (on himself) [1994], p.430)
     A reaction: I would say: content is a mental state, but it is created and fixed by a community, and wide content is the part fixed by experts in the community. We can all be wrong about meanings, and occasionally most of us are wrong about a specialised meaning.
18. Thought / E. Abstraction / 1. Abstract Thought
Abstraction is usually explained either by example, or conflation, or abstraction, or negatively [Lewis]
     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 [Lewis]
     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? [Lewis]
     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
Abstracta can be causal: sets can be causes or effects; there can be universal effects; events may be sets [Lewis]
     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 abstractions are non-spatial, then both sets and universals seem to have locations [Lewis]
     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.
If universals or tropes are parts of things, then abstraction picks out those parts [Lewis]
     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 [Lewis]
     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 [Lewis]
     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 [Lewis]
     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.
Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis]
     Full Idea: When mathematicians abstract one thing from others, they take an equivalence class. ....But it is only superficially a one; underneath, a class are still many.
     From: David Lewis (Against Structural Universals [1986], 'The pictorial')
     A reaction: This is Frege's approach to abstraction, and it is helpful to have it spelled out that this is a mathematical technique, even when applied by Frege to obtaining 'direction' from classes of parallels. Too much philosophy borrows inappropriate techniques.
18. Thought / E. Abstraction / 8. Abstractionism Critique
We can't account for an abstraction as 'from' something if the something doesn't exist [Lewis]
     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 / 4. Meaning as Truth-Conditions
A theory of perspectival de se content gives truth conditions relative to an agent [Lewis, by Cappelen/Dever]
     Full Idea: Lewis's theory of a perspectival 'de se' content ...delivers truth conditions not absolutely, but only relative to a choice of agent/center.
     From: report of David Lewis (Attitudes De Dicto and De Se [1979]) by Cappelen,H/Dever,Josh - The Inessential Indexical 05.7
     A reaction: The proposal rests on a theory of 'centred' possible worlds, specifying the viewpoint of some agent within the whole system. It relies on accepting the idea that indexicals are special, which Cappelen and Dever reject.
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
A particular functional role is what gives content to a thought [Lewis]
     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 / B. Reference / 3. Direct Reference / b. Causal reference
Causal theories of reference make errors in reference easy [Lewis]
     Full Idea: Whatever happens in special cases, causal theories usually make it easy to be wrong about the thing we refer to.
     From: David Lewis (Putnam's Paradox [1984], 'What Is')
     A reaction: I suppose the point of this is that there are no checks and balances to keep reference in focus, but just a requirement to keep connected to an increasingly attenuated causal chain.
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis]
     Full Idea: Description theories of reference are supposed to have been well and truly refuted. I think not: ..it is still tenable with my seven points, and part of the truth of reference [7: rigidity, egocentric, tokens, causal, imperfect, indeterminate, families].
     From: David Lewis (Putnam's Paradox [1984], 'Glob Desc')
     A reaction: (The bit at the end refers to his seven points, on p.59). He calls his basic proposal 'causal descriptivism', incorporating his seven slight modifications of traditional descriptivism about reference.
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
A proposition is a set of possible worlds where it is true [Lewis]
     Full Idea: I identify a proposition with the set of possible worlds where it is true.
     From: David Lewis (Causation [1973], p.193)
     A reaction: As it stands, I'm baffled by this. How can 'it is raining' be a set of possible worlds? I assume it expands to refer to the truth-conditions, among possibilities as well as actualities. 'It is raining' fits all worlds where it is raining.
A proposition is a set of entire possible worlds which instantiate a particular property [Lewis]
     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 [Lewis]
     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 [Lewis]
     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.
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
A sophisticated principle of charity sometimes imputes error as well as truth [Lewis]
     Full Idea: Unlike principles of crude charity, sophisticated principles of charity call for imputations of error in the subject if he has lived in deceptive conditions.
     From: David Lewis (New work for a theory of universals [1983], 'Cont of L')
     A reaction: This begs lots of questions about how you decide conditions are 'deceptive' if you have not yet embarked on your radical interpretation of the subject. Davidson's point still stands, that imputing truth must be the normal procedure.
We need natural properties in order to motivate the principle of charity [Lewis]
     Full Idea: We need natural properties, so that the principle of charity will impute a bias towards believing that things are green rather than grue, and towards a basic desire for long life, rather than long-life-unless-one-was-born-on-a-Monday....
     From: David Lewis (New work for a theory of universals [1983], 'Cont of L')
     A reaction: Lewis always seems to be approaching things from the wrong end. We don't need properties so that we can attribute charity, so that we can interpret. We interpret, because we can be charitable, because we all experience natural properties.
Basic to pragmatics is taking a message in a way that makes sense of it [Lewis]
     Full Idea: The cardinal principle of pragmatics is that the right way to take what is said, if at all possible, is the way that makes sense of the message.
     From: David Lewis (Many, but almost one [1993], 'A better solution')
     A reaction: Thus when someone misuses a word, suggesting nonsense, we gloss over it, often without even mentioning it, because the underlying sense is obvious. A good argument for the existence of propositions. Lewis doesn't mention truth.
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
Weakness of will is the inadequacy of the original impetus to carry through the action [Weil]
     Full Idea: It is naďve to be astonished when we do not stick to firm resolutions. Something stimulated the resolution, but that something was not powerful enough to bring us to the point of carrying it out. Making the resolution may even have exhausted the stimulus.
     From: Simone Weil (Is There a Marxist Doctrine? [1943], p.169)
     A reaction: Socrates says it is a change of belief. Aristotle says it is a desire overcoming a belief. Weil gives a third way: that it is a fading in the strength of the original belief/desire impetus.
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
The secret of art is that beauty is a just blend of unity and its opposite [Weil]
     Full Idea: A just blend of unity and that which opposes it is the condition of the beautiful, and it is the secret of art.
     From: Simone Weil (The Scientific Image [1941], p.169)
     A reaction: Rather sweeping, but the observation strikes me as fairly accurate. It seems to work for most novels, paintings and music, though more recent art may provide counterexamples.
We both desire what is beautiful, and want it to remain as it is [Weil]
     Full Idea: Everything beautiful is the object of desire but one desires that it be not otherwise, that it be unchanged, that it be exactly what it is.
     From: Simone Weil (Prerequisite to Dignity of Labour [1941], p.268)
     A reaction: This seems to be mostly true, though I don't think it reveals the essence of beauty. I might love a particular landscape, but want to plant a carefully place tree within it. Or change one or two words in a great poem.
The aesthete's treatment of beauty as amusement is sacreligious; beauty should nourish [Weil]
     Full Idea: The aesthete's point of view is sacreligious, not only in matters of religion but even in those of art. It consists in amusing oneself with beauty by handling it and looking at it. Beauty is something to be eaten: it is a food.
     From: Simone Weil (The Need for Roots [1943], II 'Country')
     A reaction: She is endorsing the 'food' view against the 'handling' view. Beauty should nourish, she says.
21. Aesthetics / A. Aesthetic Experience / 6. The Sublime
Beauty is an attractive mystery, leaving nothing to be desired [Weil]
     Full Idea: Beauty is the supreme mystery of the world. It is a gleam which attracts the attention and yet does nothing to sustain it. …While exciting desire, it makes clear that there is nothing in it to be desired, because what we want is that it should not change.
     From: Simone Weil (Human Personality [1943], p.92)
     A reaction: She attributes beauty to a supernatural source. I catalogue this idea under 'the sublime', rather than 'beauty'. It may be better to say that beauty inspires love, rather than desire.
21. Aesthetics / B. Nature of Art / 1. Defining Art
Art (like philosophy) establishes a relation between world and self, and between oneself and others [Weil]
     Full Idea: Isn't true art a method for establishing a certain relation between the world and the self, and between oneself and others, and isn't that the equivalent of philosophy?
     From: Simone Weil (Philosophy [1941], p.38)
     A reaction: I hope the definition of 'true' art doesn't have to conform to achieving this relation. I suppose each good work of art shows you a distinctive way of relating to the world. An interesting thought (as so often with this thinker).
21. Aesthetics / C. Artistic Issues / 1. Artistic Intentions
When we admire a work, we see ourselves as its creator [Weil]
     Full Idea: It is impossible to admire a work of art without thinking oneself, in a way, its creator and without, in a sense, becoming so.
     From: Simone Weil (Letters [1940], 1940-03c)
     A reaction: This rings true for me. You almost see yourself making the brush strokes, or writing the phrase, or penning the chords. It is engagment which is essential for artistic experience. So all art lovers want to be artists?
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Those who say immorality is not an aesthetic criterion must show that all criteria are aesthetic [Weil]
     Full Idea: Writers and readers who cry out that immorality is not an aesthetic criterion need to prove, which they have never done, that one should apply only aesthetic criteria to literature.
     From: Simone Weil (Literature and Morals [1941], p.146)
     A reaction: I take the first criterion of literature that it not be boring, and I don't think that is an aesthetic matter. A lot must be achieved before a work can even be considered for aesthetic judgment. Being deeply offensive might rule it out.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / a. Idealistic ethics
Every human yearns for an unattainable transcendent good [Weil]
     Full Idea: There is a reality outside the world …outside any sphere that is accessible to human faculties. Corresponding to this reality, at the centre of the human heart, is the longing for an absolute good, which is always there and never appeased by this world.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.221)
     A reaction: I don't believe in any sort of transcendent reality, but I can identify with this. Even if you have a highly naturalistic view of what is valuable (see late Philippa Foot), there is this indeterminate yearning for that value.
Beauty, goodness and truth are only achieved by applying full attention [Weil]
     Full Idea: The authentic and pure values - truth, beauty and goodness - in the activity of a human being are the result of one and same act, a certain application of the full attention to the object. Teaching should only aim to train the attention for such an act.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.234)
     A reaction: A distinctive Weil idea, that absorbed 'attention' produces almost mystical results. I am not convinced that a great still life painter (than which there is no higher criterion of attention) achieves contact with goodness thereby. But attention is good!
Beauty is the proof of what is good [Weil]
     Full Idea: When the subject in question is the good, beauty is a rigorous and positive proof.
     From: Simone Weil (The Need for Roots [1943], III 'Growing')
     A reaction: Purest platonism! It is incomprehensible to say 'this thing is evil, but it is beautiful'. But there are plenty of things which strike me as beautiful, without connecting that in any way to moral goodness.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Where human needs are satisfied we find happiness, friendship and beauty [Weil]
     Full Idea: Any place where the needs of human beings are satisfied can be recognised by the fact that there is a flowering of fraternity, joy, beauty, and happiness.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.230)
     A reaction: Weil writes a lengthy analysis of what she sees as the basic human needs, beyond the obvious food, water etc. An excellent place to start a line of political thought.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
In a violent moral disagreement, it can't be that both sides are just following social morality [Weil]
     Full Idea: If two men are in violent disagreement about good and evil, it is hard to believe that both of them are blindly subject to the opinion of the society around them.
     From: Simone Weil (Is There a Marxist Doctrine? [1943], p.171)
     A reaction: What a beautifully simple observation. Simone would have become a major figure if she had lived longer. No philosopher has ever written better prose.
22. Metaethics / B. Value / 1. Nature of Value / e. Means and ends
Ends, unlike means, cannot be defined, which is why people tend to pursue means [Weil]
     Full Idea: Everything that can be taken as an end cannot be defined. Means, such as power and money, are easily defined, and that is why people orient themselves exclusively towards the acquisition of means.
     From: Simone Weil (Reflections on Value [1941], p.31)
     A reaction: Nice, but too neat, because so many activities can be treated either as means or as ends, and often as both. It makes sense that people pursue what is clear to them.
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
All we need are the unity of justice, truth and beauty [Weil]
     Full Idea: Justice, truth, and beauty are sisters and comrades. With three such beautiful words we have no need to look for any others.
     From: Simone Weil (Human Personality [1943], p.93)
     A reaction: The embodiment of platonist values. Without the platonist ontology, I like the identification of a few core values, and have always thought that Beauty, Goodness and Truth were a well chosen trio. Swapping 'justice' for 'goodness' is interesting.
22. Metaethics / B. Value / 2. Values / a. Normativity
Minds essentially and always strive towards value [Weil]
     Full Idea: For the mind essentially and always, in whatever manner it is disposed, strives towards value.
     From: Simone Weil (Reflections on Value [1941], p.31)
     A reaction: A typically platonist thought. If you accept my view that values identify what is important, the thought is plausible. We might distinguish between what the mind pointlessly entertains, and what it 'strives' for.
22. Metaethics / B. Value / 2. Values / c. Life
The sacred in every human is their expectation of good rather than evil [Weil]
     Full Idea: At the bottom of every human heart …there is something that goes on indomitably expecting, in the teeth of all crimes committed, suffered and witnessed, that good and not evil will be done to him. It is this above all that is sacred in every human being.
     From: Simone Weil (Human Personality [1943], p.71)
     A reaction: I'm thinking that this expectation may come from having at least one loving parent, and failing that there are people who have no such expectation as adults. Simone obviously thinks the hope runs deeper than that.
22. Metaethics / B. Value / 2. Values / g. Love
Everything which originates in love is beautiful [Weil]
     Full Idea: Everything which originates from pure love is lit with the radiance of beauty.
     From: Simone Weil (Human Personality [1943], p.93)
     A reaction: I suppose if I found a counterexample, she would say that is not 'pure' love. This sentence leaves open the possibility of beauty in the absence of love (such as a beautiful face noticed in the street). In her case, can beauty and love be separated?
22. Metaethics / B. Value / 2. Values / j. Evil
Evil is transmitted by comforts and pleasures, but mostly by doing harm to people [Weil]
     Full Idea: One may transmit evil to a human being by flattering him or giving him comforts and pleasures; but most often men transmit evil to other men by doing them harm.
     From: Simone Weil (Human Personality [1943], p.94)
     A reaction: Some people receive harm very passively, especially if it is normal. What of tough love, which is erroneously seen as harm?
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
There are two goods - the absolute good we want, and the reachable opposite of evil [Weil]
     Full Idea: There are two goods - one which is the opposite of evil, and one which is the absolute. …That which we want is the absolute good. That which is within our reach is the good which is correlated with evil.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.142)
     A reaction: Elsewhere she seems in tune with the thought of Nietzsche (whom she despised) that good and evil are false social constructs which are quite different from healthy values. Weil, of course, sees the absolute as transcendent.
The good is a nothingness, and yet real [Weil]
     Full Idea: The good seems to us a nothingness, since there is no thing that is good. But this nothingness is not unreal.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.278)
     A reaction: A neat move in the notoriously difficult platonic problem of specifying the actual nature of the good.
23. Ethics / A. Egoism / 1. Ethical Egoism
Morality would improve if people could pursue private interests [Weil]
     Full Idea: The common run of moralists complain that man is moved by his private interest: would to heaven it were so!
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.65)
     A reaction: Her point is that currently people have to sacrifice their own interests to communal activities which offer dubious benefits.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
We see our character as a restricting limit, but also as an unshakable support [Weil]
     Full Idea: Our character appears to us as a limit by which we do not want to be imprisoned, …but also as a support that we want to believe is unshakable.
     From: Simone Weil (On the Concept of Character [1941], p.100)
     A reaction: A nice perception. It is fairly easy to criticise, or even laugh at, one's own actions, but extremely hard to criticise our own character. Maybe we all wish we were more determined in our projects, but not much else.
The concept of character is at the centre of morality [Weil]
     Full Idea: We cannot pose a moral problem without putting the concept of character at its centre.
     From: Simone Weil (On the Concept of Character [1941], p.98)
     A reaction: The question for Aristotle (which I derive from Philippa Foot) is whether moral goodness simply is good character, or whether it is the actions (or even the consequences). Weil is close to modern virtue theory here.
We don't see character in a single moment, but only over a period of time [Weil]
     Full Idea: Character is constant over a period of time; the way a person is at a single moment does not at all reflect the character of this person. We do, however, concede that character changes.
     From: Simone Weil (On the Concept of Character [1941], p.98)
     A reaction: I do think, though, that there are moments in behaviour which are hugely revealing of character, even in a single remark. But I agree that most single moments do not show much.
We modify our character by placing ourselves in situations, or by attending to what seems trivial [Weil]
     Full Idea: We can modify our character, by putting ourselves in circumstances that will act on us from the outside, …or by the orientation of our attention in the moments that appear most insignificant or indifferent in our lives.
     From: Simone Weil (On the Concept of Character [1941], p.99)
     A reaction: I've never seen anyone address this question (apart from Aristotle's emphasis on training habits). Choosing your source for current affairs information strikes me as very important. What you read, what you watch, who you spend time with…
23. Ethics / C. Virtue Theory / 3. Virtues / h. Respect
Respect is our only obligation, which can only be expressed through deeds, not words [Weil]
     Full Idea: Humans have only one obligation: respect. The obligation is only performed if the respect is effectively expressed in a real, not a fictitious, way; and this can only be done through the medium of Man's earthly needs.
     From: Simone Weil (The Need for Roots [1943], I 'Needs')
     A reaction: She says man's 'eternal destiny' imposes this obligation. I read this as saying that you should not imagine that you treat people respectfully if you are merely polite to them. Col. Pickering and Eliza Doolittle! Respect is the supreme virtue.
We cannot equally respect what is unequal, so equal respect needs a shared ground [Weil]
     Full Idea: It is impossible to feel equal respect for things that are in fact unequal unless the respect is given to something that is identical in all of them. Men are all unequal in all their relations with things of this world.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.223)
     A reaction: Weil votes for some link to transcendence in each of us, but I would prefer some more naturalistic proposal for what we all have in common. There are plenty of aspects which unite all human beings, which grounds this unconditional respect.
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
Friendship is partly universal - the love of a person is like the ideal of loving everyone [Weil]
     Full Idea: Friendship has something universal about it. It consists in loving a human being as we should like to be able to love each soul in particular of all those who go to make up the human race.
     From: Simone Weil (Friendship [1940], p.288)
     A reaction: Hm. Would you like your lover to dream of loving the human race, rather than just loving you? Perhaps only a Christian could see friendship in this way?
23. Ethics / F. Existentialism / 4. Boredom
Life needs risks to avoid sickly boredom [Weil]
     Full Idea: The boredom produced by a complete absence of risk is a sickness of the human soul.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.229)
     A reaction: An unusual analysis of boredom. I think it is probably purposeful activity that we need, rather than actual risk, with all the stresses that involves. Risks are justified by their rewards.
24. Political Theory / A. Basis of a State / 1. A People / b. The natural life
The most important human need is to have multiple roots [Weil]
     Full Idea: To be rooted is perhaps the most important and least recognised need of the human soul. …Every human being needs to have multiple roots.
     From: Simone Weil (The Need for Roots [1943], II 'Uprootedness')
     A reaction: Agree. I think we are just like trees, in that we need roots to grow well, and plenty of space to fully flourish. Identifying those roots is the main task of parents and teachers.
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
The need for order stands above all others, and is understood via the other needs [Weil]
     Full Idea: Order is the first need of all; it evens stands above all needs properly so-called. To be able to conceive it we must know what the other needs are.
     From: Simone Weil (The Need for Roots [1943], I 'Order')
     A reaction: This may be music to conservative ears, but you should examine Weil's other ideas to see what she has in mind.
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
Obligations only bind individuals, not collectives [Weil]
     Full Idea: Obligations are only binding on human beings. There are no obligations for collectivities, as such.
     From: Simone Weil (The Need for Roots [1943], I 'Needs')
     A reaction: I take it that 'as such' excludes the institutions created by collectivities, such as parliaments and courts. A nomadic tribe seems to have no duties, as a tribe, apart from mutual obligations among its members. Does this excuse crimes by the tribe?
24. Political Theory / B. Nature of a State / 4. Citizenship
A citizen should be able to understand the whole of society [Weil]
     Full Idea: A man needs to be able to encompass in thought the entire range of activity of the social organism to which he belongs.
     From: Simone Weil (The Need for Roots [1943], I 'Responsibility')
     A reaction: She is urging the active involvement of citizens in decision making - for which they need appropriate knowledge.
We all need to partipate in public tasks, and take some initiative [Weil]
     Full Idea: The human soul has need of disciplined participation in a common task of public value, and it has need of personal initiative within this participation.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.229)
     A reaction: The intrusion of competitive capitalism into almost every area of modern life has more or less eliminated such activities. Only state employees now have such satisfactions, on the whole. I admire Weil's approach here.
Even the poorest should feel collective ownership, and participation in grand display [Weil]
     Full Idea: Participation in collective possessions is important. Where real civic life exists, each feels he has a personal ownership in the public monuments, gardens, ceremonial pomp and circumstances; sumptuousness is thus place within the reach of the poorest.
     From: Simone Weil (The Need for Roots [1943], I 'Collective')
     A reaction: OK with gardens. Dubious about fobbing the poor off with pomp. Monuments are a modern controversy, when they turn out to commemorate slavery and colonial conquest. I agree with her basic thought.
24. Political Theory / B. Nature of a State / 5. Culture
Culture is an instrument for creating an ongoing succession of teachers [Weil]
     Full Idea: Culture - as we know it - is an instrument manipulated by teachers for manufacturing more teachers, who, in their turn, will manufacture still more teachers.
     From: Simone Weil (The Need for Roots [1943], II 'Towns')
     A reaction: Lot of truth in this. We tend to view our greatest successes in students who become academics and teachers. Culture is very much seen as something which must be 'transmitted' to each new generation.
24. Political Theory / C. Ruling a State / 1. Social Power
People in power always try to increase their power [Weil]
     Full Idea: Every human group that exercises power does so …in such a way as to increase that power.
     From: Simone Weil (Prospects: Proletarian Revolution? [1933], p.15)
     A reaction: Not so true in smaller institutions, but at the centre of power you can control how power is distributed, so the temptation is too much.
In oppressive societies the scope of actual control is extended by a religion of power [Weil]
     Full Idea: Every oppressive society is cemented by a religion of power, which falsifies all social relations by enabling the powerful to command over and above what they are able to impose.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.69)
     A reaction: A rather acute and accurate observation, I think. Flashy cars, grand uniforms, lots of medals, rituals of deference….. Sometimes I like the order and security this brings, but Simone Weil could quickly change my view.
Force is what turns man into a thing, and ultimately into a corpse [Weil]
     Full Idea: To define 'force' - it is that x that turns anybody who is subjected to it into a thing. Exercised to the limit, it turns man into a thing in the most literal sense: it makes a corpse out of him.
     From: Simone Weil (The Iliad or the Poem of Force [1940], p.183)
     A reaction: She celebrates The Iliad as the great examination of force in human affairs. I have felt that sense of reduction to a thing whenever anyone above me in the hierarchy has arbitrarily exerted their power over me.
The essence of power is illusory prestige [Weil]
     Full Idea: Prestige, which is an illusion, is the very essence of power.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.255)
     A reaction: It is hard to maintain illusory prestige if there is no actual power behind it.
24. Political Theory / C. Ruling a State / 2. Leaders / b. Monarchy
A lifelong head of society should only be a symbol, not a ruler [Weil]
     Full Idea: Wherever a man is placed for life at the head of a social organism, he ought to be a symbol and not a ruler, as is the case with the King of England.
     From: Simone Weil (The Need for Roots [1943], I 'Obedience')
     A reaction: Nice to hear a radical French thinker endorsing an ancient British tradition! She may not be endorsing a lifelong head of state. Lifelong rulers are the main agents of totalitarianism.
24. Political Theory / C. Ruling a State / 4. Changing the State / a. Centralisation
No central authority can initiate decentralisation [Weil]
     Full Idea: It is quite patently impossible for decentralisation to be initiated by the central authority.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.113)
     A reaction: This is contradicted by the creation of regional parliaments and mayors, but we see nothing beyond that. A state could crumble into small parts if there were'lots of autonomous regional groups. Easier for weird minorities to take control.
24. Political Theory / C. Ruling a State / 4. Changing the State / c. Revolution
Spontaneous movements are powerless against organised repression [Weil]
     Full Idea: A spontaneous movement is fundamentally impotent when it comes to fighting against organised forces of repression.
     From: Simone Weil (Prospects: Proletarian Revolution? [1933], p.2)
     A reaction: Her example is the Paris Commune of 1870. Hence revolution requires prior penetration of the corridors of power. Hence the phenomenon of 'entryism' of more radical people into reformist parties.
After a bloody revolution the group which already had the power comes to the fore [Weil]
     Full Idea: There is no real break in continuity after a bloody struggle for regime change; for the victory just sanctions forces that before the struggle were the decisive factor in community life, patterns which were replacing those of the declining regime.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.73)
     A reaction: [from Marx] I assume she has in mind the French Revolution, and perhaps the Russian Revolution, though in the latter the new bourgeois leaders also got swept away. So revolutions are not nearly as dramatic as they appear to be.
24. Political Theory / D. Ideologies / 1. Ideology
A group is only dangerous if it endorses an abstract entity [Weil]
     Full Idea: Any group which has not secreted an abstract entity will probably not be dangerous.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.255)
     A reaction: Written in the 1930s, the era of many political -isms. No group can be united if it lacks a clear label, and a few simple slogans.
24. Political Theory / D. Ideologies / 2. Anarchism
Decentralisation is only possible by co-operation between strong and weak - which is absurd [Weil]
     Full Idea: The only possibility of salvation would lie in a co-operation between weak and strong, with a view to accomplishing a progressive decentralisation of social life; but the absurdity of such an idea strikes one immediately.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.113)
     A reaction: I take this to be a judgement on the anarchist ideal, rather than a bit of modest devolution. The UK government set up regional parliaments. She says centralisation is remorseless.
Our only social duty is to try to limit evil [Weil]
     Full Idea: Our only duty with regard to the social is to try to limit the evil of it.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.143)
     A reaction: This is one of Weil's occasional remarks that have an anarchist flavour. I increasingly sympathise with this less idealistic view as I get older.
24. Political Theory / D. Ideologies / 3. Conservatism
National leaders want to preserve necessary order - but always the existing order [Weil]
     Full Idea: Those in command see their duty as defending order, without which no social life can survive; and the only order they conceive is the existing one.
     From: Simone Weil (The Power of Words [1934], p.249)
     A reaction: She sympathises with them, because a new order is such an unknown. But it always struck me as weird that traditions are preserved because they are traditions, and not because they are good. (My old school, for example!).
We need both equality (to attend to human needs) and hierarchy (as a scale of responsibilities) [Weil]
     Full Idea: The human soul has need of equality and of hierarchy. Equality is the public recognition …of the principal that an equal degree of attention is due to the needs of all human beings. Hierarchy is the scale of responsibilities.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.228)
     A reaction: This is the conservative aspect of Weil's largely radical political thinking. Presumably what we respect in these people is their responsibilies, and not their mere rank. Idle members of the British House of Lords have no rank in this hierarchy.
24. Political Theory / D. Ideologies / 5. Democracy / f. Against democracy
Party politics in a democracy can't avoid an anti-democratic party [Weil]
     Full Idea: A democracy where public life is made up of strife between political parties is incapable of preventing the formation of a party whose avowed aim is the overthrow of that democracy.
     From: Simone Weil (The Need for Roots [1943], I 'Opinion')
     A reaction: We have seen this around 2020 in the USA and the UK. Freedom is compulsory? Weil hates political parties (as did Rousseau).
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
True democracy is the subordination of society to the individual [Weil]
     Full Idea: In the subordination of society to the individual lies the definition of true democracy, and that of socialism as well.
     From: Simone Weil (Prospects: Proletarian Revolution? [1933], p.19)
     A reaction: This is the simplest definition of the liberal view. The big difference is whether this subordination is the starting point of political thinking, or the end result at which it aims.
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
Only individual people of good will can achieve social progress [Weil]
     Full Idea: The enlightened goodwill of men acting in an individual capacity is the only possible principle of social progress.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.57)
     A reaction: I identify with this. Virtually every admirable institution in a society can be traced back to the initiative of a few individuals. Every helpful technology was someone's brainwave.
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
In the least evil societies people can think, control community life, and be autonomous [Weil]
     Full Idea: The least evil society is that in which the general run of men are most often obliged to think while acting, have the most opportunities for exercising control over collective life as a whole, and enjoy the greatest amount of independence.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.97)
     A reaction: So Simone Weil was a liberal. How do you stop the most dynamic thinkers, social controllers, and exercisers of their own independence from coming to dominate the others? Only liberal institutions, such as the law and education, can do this.
24. Political Theory / D. Ideologies / 8. Socialism
Socialism tends to make a proletariat of the whole population [Weil]
     Full Idea: What is called Socialism tends to force everybody without distinction into the proletarian condition.
     From: Simone Weil (The Need for Roots [1943], II 'Towns')
     A reaction: For example, Weil favours maximising private house ownership, rather than communally owned housing. She is describing wholesale nationalisation. I would incline towards nationalisation only of all basic central services.
It is not more money which the wretched members of society need [Weil]
     Full Idea: Suppose the devil were bargaining for the soul of some wretch, and some pitying person said to the devil 'Shame on you, that commodity is worth twice as much'. Such is the sinister farce played by the working class unions, parties and intellectuals.
     From: Simone Weil (Human Personality [1943], p.80)
     A reaction: A striking thought. It is paradoxical when the working classes despise the middle classes, and yet aspire to be like them. It's hard to know what a mystic like Weil has in mind. An obvious thought is that the aspiration should be freedom, not money.
24. Political Theory / D. Ideologies / 9. Communism
The collective is the one and only object of false idolatry [Weil]
     Full Idea: The Great Beast is the great object of idolatry, the only ersatz of God. …Only one thing can be taken as an end, for in relation to the human person it possesses a kind of transcendence: this is the collective.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.140)
     A reaction: [Society as the Great Beast is in Republic Bk 6] She is referring to both fascist and communist states. Weil seems to be a left-wing liberal, with a tendency towards anarchism, because her priority is the individual, not the group.
The problem of the collective is not suppression of persons, but persons erasing themselves [Weil]
     Full Idea: The chief danger does not lie in the collectivity's tendency to circumscribe the person, but in the person's tendency to immolate himself in the collective.
     From: Simone Weil (Human Personality [1943], p.78)
     A reaction: I'm guessing that in 1943 she had in mind both Nazis and Communists. She seems to articulate a strong form of liberalism in an interesting way. It sounds like a form of Bad Faith.
24. Political Theory / D. Ideologies / 11. Capitalism
Marx showed that capitalist oppression, because of competition, is unstoppable [Weil]
     Full Idea: Marx gives a first-rate account of the mechanism of capitalist oppression; but so good is it that one finds it hard to visualise how this mechanism could cease to function. …The exploitation is the competitive need to expand as rapidly as possible.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.39)
     A reaction: [Last bit compressed] This pinpoints the main motivation for desiring to overthrow capitalism. Resistance to that view is presumably the fear that an even worse oppression might replace it.
Once money is the main aim, society needs everyone to think wealth is possible [Weil]
     Full Idea: Money, once it becomes the goal of desires and efforts, cannot tolerate in its domain internal conditions in which it is impossible to be enriched.
     From: Simone Weil (The Work of a Free Person [1942], p.134)
     A reaction: The possibility for everyone that they might become rich seems basic to capitalism, even though it is utterly impossible. In theory we can all set up small successful businesses, but if they are good they nearly all get squeezed out.
The capitalists neglect the people and the nation, and even their own interests [Weil]
     Full Idea: The capitalists have betrayed their calling by criminally neglecting not only the interests of the people, not only those of the nation, but even their own.
     From: Simone Weil (The Need for Roots [1943], II 'Towns')
     A reaction: It is certainly true that the dedicated capitalist has little loyalty either to the people or to the nation. She doesn't spell out their failure of self-interest. I guess it produces a way of life they don't really want, deep down.
24. Political Theory / D. Ideologies / 14. Nationalism
National prestige consists of behaving as if you could beat the others in a war [Weil]
     Full Idea: What is called national prestige consists in behaving always in such a way as to demoralise other nations by giving them the impression that, if it comes to war, one would certainly defeat them.
     From: Simone Weil (The Power of Words [1934], p.244)
     A reaction: It's true. No nation gains prestige because of the happy lives of its citizens, or the creativity of its culture.
Charity is the only love, and you can feel that for a country (a place with traditions), but not a nation [Weil]
     Full Idea: We must not have any other love than charity. A nation cannot be an object of charity. But a country can be one - as an environment bearing traditions which are eternal. Every country can be that.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.146)
     A reaction: This definitely strikes a chord with me. I am English and British to the core, but don't feel any love at all for the current central institutions of the state. But I love my island, and its history, and its culture, and its style.
25. Social Practice / A. Freedoms / 1. Slavery
If effort is from necessity rather than for a good, it is slavery [Weil]
     Full Idea: To strive from necessity and not for some good - ...that is always slavery.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.180)
     A reaction: It is usual to see the possibility of anarchism as the starting point for political thinking, but I think for Weil the state of slavery has that role.
The pleasure of completing tasks motivates just as well as the whip of slavery [Weil]
     Full Idea: The sight of the unfinished task attracts the free man as powerfully as the over-seer's whip stimulates the slave.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.94)
     A reaction: This is Weil's key social idea - that freely performed productive work can be, and should be, a joy, as long as it is accompanied by respect and friendship, rather than oppression. Did this idea ever occur to a slave owner?
25. Social Practice / A. Freedoms / 3. Free speech
Deliberate public lying should be punished [Weil]
     Full Idea: Every avoidable material falsehood publicly asserted should become a punishable offence.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.228)
     A reaction: Yes please! The early 21st century has become the time when truth lost all value in public life. Lying to the House of Commons in the UK required instant resignation 50 years ago. Now it is just a source of laughter. No freedom to lie!
25. Social Practice / A. Freedoms / 6. Political freedom
We have liberty in the space between nature and accepted authority [Weil]
     Full Idea: Liberty is the power of choice within the latitude left between the direct constraint of natural forces and the authority accepted as legitimate.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.228)
     A reaction: Accepting legitimate authority is a nicely softened version of the social contract. We often find that the office and rank are accepted as legitimate, but then are unable to accept the appalling individual who holds the office.
25. Social Practice / B. Equalities / 1. Grounds of equality
Relationships depend on equality, so unequal treatment kills them [Weil]
     Full Idea: I conceive human relations solely on the plane of equality; therefore, so soon as someone begins to treat me as an inferior, human relations between us become impossible in my eyes.
     From: Simone Weil (Letters [1940], 1936-03)
     A reaction: Love that. This is precisely where equality starts. I fear that the problem is that people who don't treat others as equals don't want relationships with them, which particularly occurs in a competitive or hierarchical culture.
People absurdly claim an equal share of things which are essentially privileged [Weil]
     Full Idea: To the dimmed understanding of our age there seems nothing odd in claiming an equal share of privilege for everybody - an equal share in things whose essence is privilege.
     From: Simone Weil (Human Personality [1943], p.84)
     A reaction: Not sure what she has in mind. Probably not the finest food and drink. I suppose she is attacking the modern egalitarian view of democratic society. What things have privilege as their 'essence'? Being a 'winner'? Interesting, though.
By making money the sole human measure, inequality has become universal [Weil]
     Full Idea: By making money the sole, or almost the sole, motive of all actions, the sole, or almost the sole, measure of all things, the poison of inequality has been introduced everywhere.
     From: Simone Weil (The Need for Roots [1943], I 'Equality')
     A reaction: Presumably this dates right back to the invention of money, and then increases with the endless rise of capitalism.
25. Social Practice / B. Equalities / 4. Economic equality
Inequality could easily be mitigated, if it were not for the struggle for power [Weil]
     Full Idea: Inequality could easily be mitigated by the resistance of the weak and the feeling for justice of the strong, …were it not for the intervention of a further factor, namely, the struggle for power.
     From: Simone Weil (Reflections on Liberty and Social Oppression [1934], p.62)
     A reaction: The implication is that many of 'the strong' are inclined to diminish inequality, but find themselves trapped and unable to do so, because of irresistable capitalist forces. Sounds plausible.
25. Social Practice / C. Rights / 1. Basis of Rights
People have duties, and only have rights because of the obligations of others to them [Weil]
     Full Idea: A right is effectual only in relation to its corresponding obligation, springing not from the individual who possesses it, but from others who consider themselves under an obligation to him. In isolation a man only has duties, and only others have rights.
     From: Simone Weil (The Need for Roots [1943], I 'Needs')
     A reaction: This seems correct, and obviously refutes the idea that people have intrinsic natural rights. However, it may be our sense of what nature requires which gives rise to the obligations we feel towards others.
Rights are asserted contentiously, and need the backing of force [Weil]
     Full Idea: Rights are always asserted in a tone of contention; and when this tone is adopted, it must rely upon force in the background, or else it will be laughed at.
     From: Simone Weil (Human Personality [1943], p.81)
     A reaction: This is the sort of observation which leads on to Foucault's account of all-pervasive power. Her observation may not be so sinister. It is obvious that introductions of new rights go against the grain of a conservative society - and so need a push.
Giving centrality to rights stifles all impulses of charity [Weil]
     Full Idea: To place the notion of rights at the centre of social conflicts is to inhibit any possible impulse of charity on both sides.
     From: Simone Weil (Human Personality [1943], p.83)
     A reaction: I think she exaggerates. To place personal charity at the centre of social conflicts strikes me as extremely conservative, and unlikely to improve the situation very much. I'm unsure how to reconcile this with Idea 23750. What sort of charity?
25. Social Practice / C. Rights / 4. Property rights
People need personal and collective property, and a social class lacking property is shameful [Weil]
     Full Idea: The human soul has need of both personal property and collective property. …The existence of a social class defined by the lack of personal and collective property is as shameful as slavery.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.229)
     A reaction: Nice. Particularly the idea that we all need collective property, such as parks and beaches and public buildings.
25. Social Practice / D. Justice / 1. Basis of justice
Only people who understand force, and don't respect it, are capable of justice [Weil]
     Full Idea: Only he who has measured the dominion of force, and knows how not to respect it, is capable of love and justice.
     From: Simone Weil (The Iliad or the Poem of Force [1940], p.212)
     A reaction: There are, of course, occasions when we are grateful to people who exercise appropriate force on our behalf. I think she was concerned with what is inappropriate.
The spirit of justice needs the full attention of truth, and that attention is love [Weil]
     Full Idea: Because affliction and truth need the same kind of attention …the spirit of justice and the spirit of truth are one. The spirit of justice and truth is nothing else be a certain kind of attention, which is pure love.
     From: Simone Weil (Human Personality [1943], p.92)
     A reaction: I'm not sure about this as an observation, but as an inspiration it is very appealing, and (as so often with Weil) strikingly and attractively independent. I prefer love to arise naturally, rather than be a product of exhortation.
Justice (concerning harm) is distinct from rights (concerning inequality) [Weil]
     Full Idea: Justice is seeing that no harm is done to men. When a man cries inwardly 'Why am I being hurt?' he is being harmed. The other cry of 'Why have others got more than me?' refers to rights. We must distinguish them, and hush the second with law.
     From: Simone Weil (Human Personality [1943], p.93)
     A reaction: Her great passion is for justice, and so she downplays rights. The simple 'why am I being hurt?' has a horrible resonance in 1943. What of the hurts of disease? Are they unjust?
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
To punish people we must ourselves be innocent - but that undermines the desire to punish [Weil]
     Full Idea: In order to have the right to punish the guilty, we ought first of all to purify ourselves of their crimes. …But once this is accomplished we shall no longer feel the least desire to punish, or as little as possible and with extreme sorrow.
     From: Simone Weil (The Need for Roots [1943], III 'Growing')
     A reaction: Elsewhere she endorses punishment, as a social necessity, and a redemption for the wicked. This idea looks like a bit of a change of heart. She may be thinking of Jesus on the mote in someone's eye.
25. Social Practice / D. Justice / 3. Punishment / d. Reform of offenders
The only thing in society worse than crime is repressive justice [Weil]
     Full Idea: There is one, and only one, thing in society more hideous than crime - namely, repressive justice.
     From: Simone Weil (Human Personality [1943], p.95)
     A reaction: Presumably fans of 'repressive' justice would describe it as 'reformative' justice. In general, one of the most hideous parts of historical human societies has been the punishments they dished out (simply because they had the power to do it).
Crime should be punished, to bring the perpetrator freely back to morality [Weil]
     Full Idea: The human soul needs punishment and honour. A committer of crime has become exiled from good, and needs to be reintegrated with it through suffering. This aims to bring the soul to recognise freely some day that is infliction was just.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.229)
     A reaction: The Scanlon contractualist approach to punishment - that the victim of it accepts its justice. Given her saintly character, Simone had a very tough view of this issue.
Punishment aims at the good for men who don't desire it [Weil]
     Full Idea: Punishment is solely a method of procuring pure good for men who do not desire it. The art of punishing is the art of awakening in a criminal, by pain or even death, the desire for pure good.
     From: Simone Weil (Human Personality [1943], p.95)
     A reaction: I know Weil is seen as some sort of saint, but this remark could have come from the Inquisition. I'm always alarmed by talk of 'pure' good and 'pure' evil, which seem to need a superior insight the rest of us lack. But see Idea 23764.
25. Social Practice / E. Policies / 1. War / a. Just wars
Modern wars are fought in the name of empty words which are given capital letters [Weil]
     Full Idea: For our contemporaries the role of Helen in the Trojan War is is played by words with capital letters. …When empty words are given capital letters, then, on the slightest pretext, men will begin shedding blood for them and piling up ruin in their name.
     From: Simone Weil (The Power of Words [1934], p.241)
     A reaction: This seems particularly true of the 1930s, where specific dogmatic ideologies seemed to grip and divide people. Simple aggressive nationalism seems to be the cause of current wars, now the fear of Communism has diminished.
25. Social Practice / E. Policies / 1. War / b. Justice in war
When war was a profession, customary morality justified any act of war [Weil]
     Full Idea: At the time when war was a profession, fighting men had a morality whereby any act of war, in accordance with the customs of war, and contributing to victory, was legitimate and right.
     From: Simone Weil (Is There a Marxist Doctrine? [1943], p.173)
     A reaction: Note the caveat about 'customs', which were largely moral. See the discussion of killing the non-combatant prisoners in Shakespeare's 'Henry V'.
25. Social Practice / E. Policies / 1. War / d. Non-combatants
The soldier-civilian distinction should be abolished; every citizen is committed to a war [Weil]
     Full Idea: The distinction between soldiers and civilians, which the pressure of circumstances has already almost obliterated, should be entirely abolished. Every individual in the population owes his country the whole of his strength, resources and life itself.
     From: Simone Weil (The Need for Roots [1943], II 'Nation')
     A reaction: Written in London in 1943. The year carpet bombing seriously escalated. The facts of warfare can change the ethics.
25. Social Practice / E. Policies / 1. War / e. Peace
War is perpetuated by its continual preparations [Weil]
     Full Idea: War perpetuates itself under the form of preparation for war.
     From: Simone Weil (Prospects: Proletarian Revolution? [1933], p.16)
     A reaction: There are periods when military preparations are scaled down, but a reason is always found to scale them back up again.
25. Social Practice / E. Policies / 5. Education / a. Aims of education
Education is essentially motivation [Weil]
     Full Idea: Education - whether its object be children or adults, individuals or an entire people, or even oneself - consists in creating motives.
     From: Simone Weil (The Need for Roots [1943], III 'Growing')
     A reaction: I can't disagree. Intellectual motivation is simply what we find interesting, and there is no formula for that. A teacher can teach a good session, and only 5% of the pupils find it interesting. A bad session could be life-changing for one student.
25. Social Practice / E. Policies / 5. Education / d. Study of history
Dividing history books into separate chapters is disastrous [Weil]
     Full Idea: The division of history textbooks into chapters will cost us many disastrous mistakes.
     From: Simone Weil (Fragments [1936], p.131)
     A reaction: Nice observation. The point is that we fail to grasp what really happened if we draw sharp lines across history.
25. Social Practice / F. Life Issues / 4. Suicide
Even if a drowning man is doomed, he should keep swimming to the last [Weil]
     Full Idea: A man who is thrown overboard in the middle of the ocean ought not to let himself drown, even though there is very litte chance of his reaching safety, but to go on swimming till exhausted.
     From: Simone Weil (Prospects: Proletarian Revolution? [1933], p.21)
     A reaction: You might survive a little longer if you don't exhaust yourself! Not clear where her authority for 'ought' comes from, but it expresses an interesting attitude.
26. Natural Theory / C. Causation / 1. Causation
Causation is a general relation derived from instances of causal dependence [Lewis]
     Full Idea: Causation is the ancestral of causal dependence: event c causes event e iff either e depends on c, or e depends on an intermediate event which in turn depends on c, or....
     From: David Lewis (Events [1986], I)
     A reaction: This is Lewis making sure that we don't postulate some huge bogus thing called 'Causation' which is supposed to be in charge of Nature. Good point.
26. Natural Theory / C. Causation / 2. Types of cause
Explaining match lighting in general is like explaining one lighting of a match [Lewis]
     Full Idea: Explaining why struck matches light in general is not so very different from explaining why some particular struck match lit. ...We may generalize modestly, without laying claim to universality.
     From: David Lewis (Causal Explanation [1986], IV)
     A reaction: A suggestive remark, since particular causation and general causation seem far apart, but Lewis suggests that the needs of explanation bring them together. Lawlike and unlawlike explanations?
26. Natural Theory / C. Causation / 5. Direction of causation
A theory of causation should explain why cause precedes effect, not take it for granted [Lewis, by Field,H]
     Full Idea: Lewis thinks it is a major defect in a theory of causation that it builds in the condition that the time of the cause precede that of the effect: that cause precedes effect is something we ought to explain (which his counterfactual theory claims to do).
     From: report of David Lewis (Causation [1973]) by Hartry Field - Causation in a Physical World
     A reaction: My immediate reaction is that the chances of explaining such a thing are probably nil, and that we might as well just accept the direction of causation as a given. Even philosophers balk at the question 'why doesn't time go backwards?'
I reject making the direction of causation axiomatic, since that takes too much for granted [Lewis]
     Full Idea: One might stipulate that a cause must always precede its effect, but I reject this solution. It won't solve the problem of epiphenomena, it rejects a priori any backwards causation, and it trivializes defining time-direction through causation.
     From: David Lewis (Causation [1973], p.203)
     A reaction: [compressed] Not strong arguments, I would say. Maybe apparent causes are never epiphenomenal. Maybe backwards causation is impossible. Maybe we must use time to define causal direction, and not vice versa.
There are few traces of an event before it happens, but many afterwards [Lewis, by Horwich]
     Full Idea: Lewis claims that most events are over-determined by subsequent states of the world, but not by their history. That is, the future of every event contains many independent traces of its occurrence, with little prior indication that it would happen.
     From: report of David Lewis (Counterfactual Dependence and Time's Arrow [1979]) by Paul Horwich - Lewis's Programme p.209
     A reaction: Lewis uses this asymmetry to deduce the direction of causation, and hence the direction of time. Most people (including me, I think) would prefer to use the axiomatic direction of time to deduce directions of causation. Lewis was very wicked.
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
It is just individious discrimination to pick out one cause and label it as 'the' cause [Lewis]
     Full Idea: We sometimes single out one among all the causes of some event and call it 'the' cause. ..We may select the abnormal causes, or those under human control, or those we deem good or bad, or those we want to talk about. This is invidious discrimination.
     From: David Lewis (Causation [1973])
     A reaction: This is the standard view expressed by Mill - presumably the obvious empiricist line. But if we specify 'the pre-conditions' for an event, we can't just mention ANY fact prior to the effect - there is obvious relevance. So why not for 'the' cause as well?
The modern regularity view says a cause is a member of a minimal set of sufficient conditions [Lewis]
     Full Idea: In present-day regularity analyses, a cause is defined (roughly) as any member of any minimal set of actual conditions that are jointly sufficient, given the laws, for the existence of the effect.
     From: David Lewis (Causation [1973], p.193)
     A reaction: This is the view Lewis is about to reject. It seem to summarise the essence of the Mackie INUS theory. This account would make the presence of oxygen a cause of almost every human event.
Ways of carving causes may be natural, but never 'right' [Lewis]
     Full Idea: There is no one right way - though there may be more or less natural ways - of carving up a causal history.
     From: David Lewis (Causal Explanation [1986], I)
     A reaction: This invites a distinction between the 'natural' causes and the 'real' causes. Presumably if any causes were 'real', they would have a better claim to be 'right'. Is an earthquake the 'real' (correct?) cause of a tsunami?
We only pick 'the' cause for the purposes of some particular enquiry. [Lewis]
     Full Idea: Disagreement about 'the' cause is only disagreement about which part of the causal history is most salient for the purposes of some particular inquiry.
     From: David Lewis (Causal Explanation [1986], I)
     A reaction: I don't believe this. In the majority of cases I see the cause of an event, without having any interest in any particular enquiry. It is just so obvious that there isn't even a disagreement. Maybe there is only one sensible enquiry.
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Regularity analyses could make c an effect of e, or an epiphenomenon, or inefficacious, or pre-empted [Lewis]
     Full Idea: In the regularity analysis of causes, instead of c causing e, c might turn out to be an effect of e, or an epiphenomenon, or an inefficacious effect of a genuine cause, or a pre-empted cause (by some other cause) of e.
     From: David Lewis (Causation [1973], p.194)
     A reaction: These are Lewis's reasons for rejecting the general regularity account, in favour of his own particular counterfactual account. It is unlikely that c would be regularly pre-empted or epiphenomenal. If we build time's direction in, it won't be an effect.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
The counterfactual view says causes are necessary (rather than sufficient) for their effects [Lewis, by Bird]
     Full Idea: The Humean idea, developed by Lewis, is that rather than being sufficient for their effects, causes are (counterfactual) necessary for their effects.
     From: report of David Lewis (Causation [1973]) by Alexander Bird - Causation and the Manifestation of Powers p.162
Lewis has basic causation, counterfactuals, and a general ancestral (thus handling pre-emption) [Lewis, by Bird]
     Full Idea: Lewis's basic account has a basic causal relation, counterfactual dependence, and the general causal relation is the ancestral of this basic one. ...This is motivated by counterfactual dependence failing to be general because of the pre-emption problem.
     From: report of David Lewis (Causation [1973]) by Alexander Bird - Causation and the Manifestation of Powers p.161
     A reaction: It is so nice when you struggle for ages with a topic, and then some clever person summarises it clearly for you.
Counterfactual causation implies all laws are causal, which they aren't [Tooley on Lewis]
     Full Idea: Some counterfactuals are based on non-causal laws, such as Newton's Third Law of Motion. 'If no force one way, then no force the other'. Lewis's counterfactual analysis implies that one force causes the other, which is not the case.
     From: comment on David Lewis (Causation [1973]) by Michael Tooley - Causation and Supervenience 5.2
     A reaction: So what exactly does 'cause' my punt to move forwards? Basing causal laws on counterfactual claims looks to me like putting the cart before the horse.
My counterfactual analysis applies to particular cases, not generalisations [Lewis]
     Full Idea: My (counterfactual) analysis is meant to apply to causation in particular cases; it is not an analysis of causal generalizations. Those presumably quantify over particulars, but it is hard to match natural language to the quantifiers.
     From: David Lewis (Causation [1973], p.195)
     A reaction: What authority could you have for asserting a counterfactual claim, if you only had one observation? Isn't the counterfactual claim the hallmark of a generalisation? For one case, 'if not-c, then not-e' is just a speculation.
One event causes another iff there is a causal chain from first to second [Lewis]
     Full Idea: One event is the cause of another iff there exists a causal chain leading from the first to the second.
     From: David Lewis (Causation [1973], p.200)
     A reaction: It will be necessary to both explain and identify a 'chain'. Some chains are extremely tenuous (Alexander could stop a barrel of beer). Go back a hundred years, and the cause of any present event is everything back then.
Causal dependence is counterfactual dependence between events [Lewis]
     Full Idea: I take causal dependence to be counterfactual dependence, of a suitably back-tracking sort, between distinct events.
     From: David Lewis (Causal Explanation [1986], I)
     A reaction: He quotes Hume in support. 'Counterfactual dependence' strikes me as too vague, or merely descriptive, for the job of explanation. 'If...then' is a logical relationship; what is it in nature that justifies the dependency?
Counterfactuals 'backtrack' if a different present implies a different past [Lewis]
     Full Idea: A counterfactual can be said to 'backtrack' if it can be said that if the present were different a different past would have led up to it (rather than if the present were different, the same past would have had a different outcome).
     From: David Lewis (New work for a theory of universals [1983], 'Dup,Sup,Div')
     A reaction: A nice clear definition of a concept which is important in Lewis's analysis of causation. In the current context he is concerned with elucidation of determinism and materialism. I would say (intuitively) that all counterfactuals backtrack.
Causal counterfactuals must avoid backtracking, to avoid epiphenomena and preemption [Lewis]
     Full Idea: My counterfactual analysis of causation needs counterfactuals that avoid backtracking; else the analysis faces fatal counterexamples involving epiphenomenal side-effects or cases of causal preemption.
     From: David Lewis (New work for a theory of universals [1983], 'Laws and C')
     A reaction: The concept of true epiphenomena (absolutely no causal powers) strikes me as bogus.
Causation is when at the closest world without the cause, there is no effect either [Lewis]
     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).
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Physics discovers laws and causal explanations, and also the natural properties required [Lewis]
     Full Idea: Physics must not just discover laws and causal explanations. In putting forward as comprehensive theories that recognise only a limited range of natural properties, physics proposes inventories of the natural properties instantiated in our world.
     From: David Lewis (New work for a theory of universals [1983], 'Min Mat')
     A reaction: Physics does this job extremely well, offering things like force, spin, charge that are the building blocks for their theories. There is metaphysics at the heart of physics, unavoidably.
Physics aims for a list of natural properties [Lewis]
     Full Idea: Physics aspires to give an inventory of natural properties.
     From: David Lewis (New work for a theory of universals [1983], 'Dup,Sup,Div')
     A reaction: The sort of beautifully simple remark by which philosophers ought to earn a good living in the intellectual community. Come on physicists - this is all we want! Presumably the inventory will include an account of how they all work.
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
Laws are the best axiomatization of the total history of world events or facts [Lewis, by Mumford]
     Full Idea: The Mill-Ramsey-Lewis theory takes laws to be axioms (or theorems) of the best possible systematizations of the world's total history, where such a history is a history of events or facts.
     From: report of David Lewis (Psychophysical and theoretical identifications [1972]) by Stephen Mumford - Laws in Nature 1.3
If simplicity and strength are criteria for laws of nature, that introduces a subjective element [Mumford on Lewis]
     Full Idea: Lewis's simplicity and strength criteria introduce an element of subjectivity into the laws, because the best system seems to be determined by what we take to be simple and strong in a system.
     From: comment on David Lewis (Psychophysical and theoretical identifications [1972]) by Stephen Mumford - Laws in Nature 3.5
     A reaction: [Mumford cites Armstrong 1983:67 for this]
A number of systematizations might tie as the best and most coherent system [Mumford on Lewis]
     Full Idea: Since the best system view is a coherence theory, the possibility could not be ruled out that a number of different systematizations of the same history might be tied for first place as equally best.
     From: comment on David Lewis (Psychophysical and theoretical identifications [1972]) by Stephen Mumford - Laws in Nature 3.5
     A reaction: [Mumord cites Armstrong 1983:70] Personally I am a fan of coherence theories, and this problem doesn't bother me.
A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis]
     Full Idea: A contingent generalization is a law of nature if and only if it appears as a theorem (or axiom) in each of the true deductive systems that achieves a best combination of simplicity and strength.
     From: David Lewis (Counterfactuals [1973], 3.3)
Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis]
     Full Idea: Later Lewis said we must choose between the intersection of the axioms of the tied best systems. He chose for laws the axioms that are in all the tied systems (but then there may be few or no axioms in the intersection).
     From: comment on David Lewis (Subjectivist's Guide to Objective Chance [1980], p.124) by Stephen Mumford - Laws in Nature
A law of nature is any regularity that earns inclusion in the ideal system [Lewis]
     Full Idea: A law of nature is any regularity that earns inclusion in the ideal system (or, in case of ties, in every ideal system).
     From: David Lewis (New work for a theory of universals [1983], 'Laws and C')
     A reaction: Reminiscent of Peirce's view of truth (Idea 7661). This wouldn't seem to eliminate the danger of regularities with underlying causes ending up as laws (day causes night). Or very trivial regularities ending up as laws.
26. Natural Theory / D. Laws of Nature / 9. Counterfactual Claims
An event causes another just if the second event would not have happened without the first [Lewis, by Psillos]
     Full Idea: Lewis gives an account of causation in terms of counterfactual conditionals (roughly, an event c causes an event e iff if c had not happened then e would not have happened either).
     From: report of David Lewis (works [1973]) by Stathis Psillos - Causation and Explanation Intro
     A reaction: This feels wrong to me. It is a version of Humean constant conjunction, but counterfactuals are too much a feature of our minds, and not sufficiently a feature of the world, to do this job. Tricky.
Lewis's account of counterfactuals is fine if we know what a law of nature is, but it won't explain the latter [Cohen,LJ on Lewis]
     Full Idea: Lewis can elucidate the logic of counterfactuals on the assumption that you are not at all puzzled about what a law of nature is. But if you are puzzled about this, it cannot contribute anything towards resolving your puzzlement.
     From: comment on David Lewis (Causation [1973]) by L. Jonathan Cohen - The Problem of Natural Laws p.219
     A reaction: This seems like a penetrating remark. The counterfactual theory is wrong, partly because it is epistemological instead of ontological, and partly because it refuses to face the really difficult problem, of what is going on out there.
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
The world is just a vast mosaic of little matters of local particular fact [Lewis]
     Full Idea: The world is a vast mosaic of local matters of particular fact, just one little thing and then another.
     From: David Lewis (Introduction to Philosophical Papers II [1986])
     A reaction: Basing laws on this picture is what Lewis calls 'Humean Supervenience'.
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 [Lewis]
     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.
27. Natural Reality / D. Time / 2. Passage of Time / j. Time travel
The interesting time travel is when personal and external time come apart [Lewis, by Baron/Miller]
     Full Idea: Lewis says a journey only counts as interesting time travel if there is a disparity between personal time and external time. …It is also necessary that the person at the beginning of the journey is the same as the person at the end of the journey.
     From: report of David Lewis (The paradoxes of time travel [1976]) by Baron,S/Miller,K - Intro to the Philosophy of Time
     A reaction: Other cases would presumably be the whole of time accelerating or slowing, or going into reverse.
Lewis said it might just be that travellers to the past can't kill their grandfathers [Lewis, by Baron/Miller]
     Full Idea: Lewis denied that the grandfather paradox makes time travel impossible. Time travel does not entail that it is possible to kill your grandfather. Maybe the traveller fails in their attempt every time they try to do it.
     From: report of David Lewis (The paradoxes of time travel [1976]) by Baron,S/Miller,K - Intro to the Philosophy of Time 8.2
     A reaction: The problem with this answer is that killing the grandfather is only an extreme case of making any change in the past which ripples forward into the present. Virtually all changes by the time traveller would be impossible (though not contradictory).
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
Attention to a transcendent reality motivates a duty to foster the good of humanity [Weil]
     Full Idea: Anyone whose attention and love are directed towards the reality outside the world recognises that he is bound by the permanent obligation to remedy …all the privations of soul and body which are liable to destroy or damage any human being whatsoever.
     From: Simone Weil (Draft Statement of Human Obligations [1943], p.225)
     A reaction: [abridged] An interesting attempt to articulate the religious motivation of morality. The Euthyphro question remains - of why this vision of a wholly good higher morality should motivate anyone, unless they already possess a desire for that good.
The only choice is between supernatural good, or evil [Weil]
     Full Idea: In all the crucial problems of human existence the only choice is between supernatural good on the one hand and evil on the other.
     From: Simone Weil (Human Personality [1943], p.86)
     A reaction: This idea strikes me as absurd, but I include it for a fuller picture of Simone Weil. Aristotle (my hero) is referred to, and labelled as more stupid than a village idiot.
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
The only legitimate proof of God by order derives from beauty [Weil]
     Full Idea: The only legitimate proof [of God's existence] from the order of the world is the proof from the beauty of the world.
     From: Simone Weil (God in Plato [1942], p.89)
     A reaction: She finds this proof in Plato. Hume's critique never (I think) mentions beauty, although in the 18thC love of the sublime could play that role. For me, the human experience of beauty doesn't have such cosmic significance.
29. Religion / B. Monotheistic Religion / 5. Bible
The cruelty of the Old Testament put me off Christianity [Weil]
     Full Idea: I have always been kept away from Christianity by its ranking the Old Testament stories, so full of pitiless cruelty, as sacred texts.
     From: Simone Weil (Letters [1940], 1941-01)
     A reaction: After 1938 she was a devout and intense Christian, but of a highly individual and platonist kind. Her religion is dominated by love and beauty.
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
Religion should quietly suffuse all human life with its light [Weil]
     Full Idea: The proper function of religion is to suffuse with its light all secular life, public or private, without in any way dominating it.
     From: Simone Weil (The Need for Roots [1943], II 'Nation')
     A reaction: Even for the non-religious there is something attractive about some view of the world which 'suffuses our lives with light'. It probably describes medieval Christendom, but that contained an awful lot of darkness.
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
I attach little importance to immortality, which is an undecidable fact, and irrelevant to us [Weil]
     Full Idea: You attach great importance to the reasoning about immortality. I myself attach little. It is a factual question, which cannot be decided in advance by any reasoning. And what does it matter to us?
     From: Simone Weil (Letters [1940], 1937-04c)
     A reaction: I love 'what does it matter to us?'. The idea that our future bliss or misery depends on how we live now is an utterly wicked fiction, which derails attempts to live a proper life.
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
The soul is the intrinsic value of a human [Weil]
     Full Idea: The soul is the human being considered as having a value in itself.
     From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.294)
     A reaction: [from 'Gravity and Grace'] A rather modern view, treating the soul as an abstraction, rather than as an entity.