Combining Texts

All the ideas for 'Confessions of a Philosopher', 'New work for a theory of universals' and '(Nonsolipsistic) Conceptual Role Semantics'

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


50 ideas

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 / A. Nature of Reason / 6. Coherence
Reasoning aims at increasing explanatory coherence [Harman]
     Full Idea: In reasoning you try among other things to increase the explanatory coherence of your view.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
     A reaction: Harman is a champion of inference to the best explanation (abduction), and I agree with him. I think this idea extends to give us a view of justification as coherence, and that extends from inner individual coherence to socially extended coherence.
Reason conservatively: stick to your beliefs, and prefer reasoning that preserves most of them [Harman]
     Full Idea: Conservatism is important; you should continue to believe as you do in the absence of any special reason to doubt your view, and in reasoning you should try to minimize change in your initial opinions in attaining other goals of reasoning.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.6)
     A reaction: One of those principles like Ockham's Razor, which feels right but hard to justify. It seems the wrong principle for someone who can reason well, but has been brainwashed into a large collection of daft beliefs. Japanese soldiers still fighting WWII.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman]
     Full Idea: There is as yet no substantial theory of inference or reasoning. To be sure, logic is well developed; but logic is not a theory of inference or reasoning. Logic is a theory of implication and inconsistency.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
     A reaction: One problem is that animals can draw inferences without the use of language, and I presume we do so all the time, so it is hard to see how to formalise such an activity.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman]
     Full Idea: Principles of implication imply there is not a purely probabilistic rule of acceptance for belief. Otherwise one might accept P and Q, without accepting their conjunction, if the conjuncts have a high probability, but the conjunction doesn't.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
     A reaction: [Idea from Scott Soames] I am told that my friend A has just won a very big lottery prize, and am then told that my friend B has also won a very big lottery prize. The conjunction seems less believable; I begin to suspect a conspiracy.
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.
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 / D. Theories of Reality / 3. Reality
Reality is the overlap of true complete theories [Harman]
     Full Idea: Reality is what is invariant among true complete theories.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.4)
     A reaction: The sort of slogan that gets coined in the age of Quine. The whole manner of starting from your theories and working out to what we think reality is seems to be putting the cart before the horse.
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?
8. Modes of Existence / B. Properties / 1. Nature of Properties
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.
8. Modes of Existence / B. Properties / 5. Natural Properties
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).
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.
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.
8. Modes of Existence / B. Properties / 11. Properties as Sets
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.
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
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.
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.
8. Modes of Existence / D. Universals / 2. Need for Universals
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 / 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
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).
15. Nature of Minds / A. Nature of Mind / 6. Anti-Individualism
There is no natural border between inner and outer [Harman]
     Full Idea: There is no natural border between inner and outer.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4)
     A reaction: Perhaps this is the key idea for the anti-individualist view of mind. Subjectively I would have to accept this idea, but looking objectively at another person it seems self-evident nonsense.
We can only describe mental attitudes in relation to the external world [Harman]
     Full Idea: No one has ever described a way of explaining what beliefs, desires, and other mental states are except in terms of actual or possible relations to things in the external world.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4)
     A reaction: If I pursue my current favourite idea, that how we explain things is the driving force in what ontology we adopt, then this way of seeing the mind, and taking an externalist anti-individualist view of it seems quite attractive.
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
The way things look is a relational matter, not an intrinsic matter [Harman]
     Full Idea: According to functionalism, the way things look to you is a relational characteristic of your experience, not part of its intrinsic character.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3)
     A reaction: No, can't make sense of that. How would being in a relation determine what something is? Similar problems with the structuralist account of mathematics. If the whole family love some one cat or one dog, the only difference is intrinsic to the animal.
16. Persons / C. Self-Awareness / 3. Limits of Introspection
Why don't we experience or remember going to sleep at night? [Magee]
     Full Idea: As a child it was incomprehensible to me that I did not experience going to sleep, and never remembered it. When my sister said 'Nobody remembers that', I just thought 'How does she know?'
     From: Bryan Magee (Confessions of a Philosopher [1997], Ch.I)
     A reaction: This is actually evidence for something - that we do not have some sort of personal identity which is separate from consciousness, so that "I am conscious" would literally mean that an item has a property, which it can lose.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
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.
18. Thought / D. Concepts / 5. Concepts and Language / a. Concepts and language
Concepts in thought have content, but not meaning, which requires communication [Harman]
     Full Idea: Concepts and other aspects of mental representation have content but not (normally) meaning (unless they are also expressions in a language used in communication).
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2)
     A reaction: Given his account of meaning as involving some complex 'role', he has to say this, though it seems a dubious distinction, going against the grain of a normal request to ask what some concept 'means'. What is 'democracy'?
19. Language / A. Nature of Meaning / 6. Meaning as Use
Take meaning to be use in calculation with concepts, rather than in communication [Harman]
     Full Idea: (Nonsolipsistic) conceptual role semantics is a version of the theory that meaning is use, where the basic use is taken to be in calculation, not in communication, and where concepts are treated as symbols in a 'language of thought'.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.1)
     A reaction: The idea seems to be to connect the highly social Wittgensteinian view of language with the reductive physicalist account of how brains generate concepts. Interesting, thought I never like meaning-as-use.
The use theory attaches meanings to words, not to sentences [Harman]
     Full Idea: A use theory of meaning has to suppose it is words and ways of putting words together that have meaning because of their uses, not sentences.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.3)
     A reaction: He says that most sentences are unique, so cannot have a standard use. Words do a particular job over and over again. How do you distinguish the quirky use of a word from its standard use?
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
Meaning from use of thoughts, constructed from concepts, which have a role relating to reality [Harman]
     Full Idea: Conceptual role semantics involves meanings of expressions determined by used contents of concepts and thoughts, contents constructed from concepts, concepts determined by functional role, which involves relations to things in the world.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1)
     A reaction: This essay is the locus classicus for conceptual-role semantics. Any attempt to say what something IS by giving an account of its function always feels wrong to me.
Some regard conceptual role semantics as an entirely internal matter [Harman]
     Full Idea: I call my conceptual role semantics 'non-solipsistic' to contrast it with that of authors (Field, Fodor, Loar) who think of conceptual role solipsistically as a completely internal matter.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1)
     A reaction: Evidently Harman is influenced by Putnam's Twin Earth, and that meanings ain't in the head, so that the conceptual role has to be extended out into the world to get a good account. I prefer extending into the language community, rather into reality.
The content of thought is relations, between mental states, things in the world, and contexts [Harman]
     Full Idea: In (nonsolipsistic) conceptual role semantics the content of thought is not in an 'intrinsic nature', but is rather a matter of how mental states are related to each other, to things in the external world, and to things in a context understood as normal.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3)
     A reaction: This is part of Harman's functional view of consciousness, which I find rather dubious. If things only have identity because of some place in a flow diagram, we must ask why that thing has that place in that diagram.
19. Language / F. Communication / 3. Denial
If one proposition negates the other, which is the negative one? [Harman]
     Full Idea: A relation of negation might hold between two beliefs without there being anything that determines which belief is the negative one.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.4)
     A reaction: [He attributes this thought to Brian Loar] This seems to give us a reason why we need a semantics for a logic, and not just a structure of inferences and proofs.
19. Language / F. Communication / 6. Interpreting Language / a. Translation
Mastery of a language requires thinking, and not just communication [Harman]
     Full Idea: If one cannot think in a language, one has not yet mastered it. A symbol system used only for communication, like Morse code, is not a language.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2)
     A reaction: This invites the question of someone who has mastered thinking, but has no idea how to communicate. No doubt we might construct a machine with something like that ability. I think it might support Harman's claim.
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.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
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.
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
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.