Combining Texts

All the ideas for 'How the Laws of Physics Lie', 'Mathematics is Megethology' and 'New work for a theory of universals'

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


61 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).
4. Formal Logic / F. Set Theory ST / 1. Set Theory
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 / 3. Types of Set / b. Empty (Null) Set
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
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 / 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.
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 / 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 / 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 / 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 / E. Categories / 4. Category Realism
Causality indicates which properties are real [Cartwright,N]
     Full Idea: Causality is a clue to what properties are real.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 9.3)
     A reaction: An interesting variant on the Shoemaker proposal that properties actually are causal. I'm not sure that there is anything more to causality that the expression in action of properties, which I take to be powers. Structures are not properties.
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).
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
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.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Two main types of explanation are by causes, or by citing a theoretical framework [Cartwright,N]
     Full Idea: In explaining a phenomenon one can cite the causes of that phenomenon; or one can set the phenomenon in a general theoretical framework.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 4.1)
     A reaction: The thing is, you need to root an explanation in something taken as basic, and theoretical frameworks need further explanation, whereas causes seem to be basic.
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
An explanation is a model that fits a theory and predicts the phenomenological laws [Cartwright,N]
     Full Idea: To explain a phenomenon is to find a model that fits it into the basic framework of the theory and that thus allows us to derive analogues for the messy and complicated phenomenological laws that are true of it.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 8.3)
     A reaction: This summarises the core of her view in this book. She is after models rather than laws, and the models are based on causes.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Laws get the facts wrong, and explanation rests on improvements and qualifications of laws [Cartwright,N]
     Full Idea: We explain by ceteris paribus laws, by composition of causes, and by approximations that improve on what the fundamental laws dictate. In all of these cases the fundamental laws patently do not get the facts right.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro)
     A reaction: It is rather headline-grabbing to say in this case that laws do not get the facts right. If they were actually 'wrong' and 'lied', there wouldn't be much point in building explanations on them.
Laws apply to separate domains, but real explanations apply to intersecting domains [Cartwright,N]
     Full Idea: When different kinds of causes compose, we want to explain what happens in the intersection of different domains. But the laws we use are designed only to tell truly what happens in each domain separately.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro)
     A reaction: Since presumably the laws are discovered through experiments which try to separate out a single domain, in those circumstances they actually are true, so they don't 'lie'.
Covering-law explanation lets us explain storms by falling barometers [Cartwright,N]
     Full Idea: Much criticism of the original covering-law model objects that it lets in too much. It seems we can explain Henry's failure to get pregnant by his taking birth control pills, and we can explain the storm by the falling barometer.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.0)
     A reaction: I take these examples to show that true explanations must be largely causal in character. The physicality of causation is what matters, not 'laws'. I'd say the same of attempts to account for causation through counterfactuals.
I disagree with the covering-law view that there is a law to cover every single case [Cartwright,N]
     Full Idea: Covering-law theorists tend to think that nature is well-regulated; in the extreme, that there is a law to cover every case. I do not.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.2)
     A reaction: The problem of coincidence is somewhere at the back of this thought. Innumerable events have their own explanations, but it is hard to explain their coincidence (see Aristotle's case of bumping into a friend in the market).
You can't explain one quail's behaviour by just saying that all quails do it [Cartwright,N]
     Full Idea: 'Why does that quail in the garden bob its head up and down in that funny way whenever it walks?' …'Because they all do'.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 3.5)
     A reaction: She cites this as an old complaint against the covering-law model of explanation. It captures beautifully the basic error of the approach. We want to know 'why', rather than just have a description of the pattern. 'They all do' is useful information.
The covering law view assumes that each phenomenon has a 'right' explanation [Cartwright,N]
     Full Idea: The covering-law account supposes that there is, in principle, one 'right' explanation for each phenomenon.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro)
     A reaction: Presumably the law is held to be 'right', but there must be a bit of flexibility in describing the initial conditions, and the explanandum itself.
14. Science / D. Explanation / 3. Best Explanation / c. Against best explanation
In science, best explanations have regularly turned out to be false [Cartwright,N]
     Full Idea: There are a huge number of cases in the history of science where we now know our best explanations were false.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 5.3)
     A reaction: [She cites Laudan 1981 for this] The Ptolemaic system and aether are the standard example cited for this. I believe strongly in the importance of best explanation. Only a fool would just accept the best explanation available. Coherence is needed.
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.
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 / 8. Particular Causation / e. Probabilistic causation
A cause won't increase the effect frequency if other causes keep interfering [Cartwright,N]
     Full Idea: A cause ought to increase the frequency of the effect, but this fact may not show up in the probabilities if other causes are at work.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 1.1)
     A reaction: [She cites Patrick Suppes for this one] Presumably in experimental situations you can weed out the interference, but that threatens to eliminate mere 'probability' entirely.
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 / 2. Types of Laws
There are fundamental explanatory laws (false!), and phenomenological laws (regularities) [Cartwright,N, by Bird]
     Full Idea: Nancy Cartwright distinguishes between 'fundamental explanatory laws', which we should not believe, and 'phenomenological laws', which are regularities established on the basis of observation.
     From: report of Nancy Cartwright (How the Laws of Physics Lie [1983]) by Alexander Bird - Philosophy of Science Ch.4
     A reaction: The distinction is helpful, so that we can be clearer about what everyone is claiming. We can probably all agree on the phenomenological laws, which are epistemological. Personally I claim truth for the best fundamental explanatory laws.
Laws of appearances are 'phenomenological'; laws of reality are 'theoretical' [Cartwright,N]
     Full Idea: Philosophers distinguish phenomenological from theoretical laws. Phenomenological laws are about appearances; theoretical ones are about the reality behind the appearances.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro)
     A reaction: I'm suspecting that Humeans only really believe in the phenomenological kind. I'm only interested in the theoretical kind, and I take inference to the best explanation to be the bridge between the two. Cartwright rejects the theoretical laws.
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
Good organisation may not be true, and the truth may not organise very much [Cartwright,N]
     Full Idea: There is no reason to think that the principles that best organise will be true, nor that the principles that are true will organise much.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.5)
     A reaction: This is aimed at the Mill-Ramsey-Lewis account of laws, as axiomatisations of the observed patterns 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 / 11. Against Laws of Nature
To get from facts to equations, we need a prepared descriptions suited to mathematics [Cartwright,N]
     Full Idea: To get from a detailed factual knowledge of a situation to an equation, we must prepare the description of the situation to meet the mathematical needs of the theory.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro)
     A reaction: She is clearly on to something here, as Galileo is blatantly wrong in his claim that the book of nature is written in mathematics. Mathematics is the best we can manage in getting a grip on the chaos.
Simple laws have quite different outcomes when they act in combinations [Cartwright,N]
     Full Idea: For explanation simple laws must have the same form when they act together as when they act singly. ..But then what the law states cannot literally be true, for the consequences that occur if it acts alone are not what occurs when they act in combination.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 3.6)
     A reaction: This is Cartwright's basic thesis. Her point is that the laws 'lie', because they claim to predict a particular outcome which never ever actually occurs. She says we could know all the laws, and still not be able to explain anything.
There are few laws for when one theory meets another [Cartwright,N]
     Full Idea: Where theories intersect, laws are usually hard to come by.
     From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.3)
     A reaction: There are attempts at so-called 'bridge laws', to get from complex theories to simple ones, but her point is well made about theories on the same 'level'.