Combining Texts

All the ideas for 'fragments/reports', 'New work for a theory of universals' and 'Properties'

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


52 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 / B. Laws of Thought / 6. Ockham's Razor
What matters is not how many entities we postulate, but how many kinds of entities [Armstrong, by Mellor/Oliver]
     Full Idea: Armstrong argues that what matters is not how few entities we postulate (quantitative economy), but how few kinds of entities (qualitative economy).
     From: report of David M. Armstrong (Properties [1992]) by DH Mellor / A Oliver - Introduction to 'Properties' §9
     A reaction: Is this what Ockham meant? Armstrong is claiming that the notion of a 'property' is needed to identify kinds. See also Idea 7038.
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?
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 / 2. Need for Properties
Without properties we would be unable to express the laws of nature [Armstrong]
     Full Idea: The ontological correlates of true law-statements must involve properties. How else can one pick our the uniformities which the law-statements entail?
     From: David M. Armstrong (Properties [1992], 1)
     A reaction: I'm unconvinced about the 'laws', but I have to admit that it is hard to know how to describe the relevant bits of nature without some family of concepts covered by the word 'property'. I'm in favour of taking some of the family into care, though.
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
Whether we apply 'cold' or 'hot' to an object is quite separate from its change of temperature [Armstrong]
     Full Idea: Evading properties by means of predicates is implausible when things change. If a cold thing becomes hot, first 'cold' applies, and then 'hot', but what have predicates to do with the temperature of an object?
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: A clear illustration of why properties are part of nature, not just part of language. But some applications of predicates are more arbitrary than this (ugly, cool)
To the claim that every predicate has a property, start by eliminating failure of application of predicate [Armstrong]
     Full Idea: Upholders of properties have been inclined to postulate a distinct property corresponding to each distinct predicate. We could start by eliminating all those properties where the predicate fails to apply, is not true, of anything.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: This would leave billions of conjunctional, disjunctional and gerrymandered properties where the predicate applies very well. We are all 'on the same planet as New York'. Am I allowed to say that I 'wish' that a was F? He aims for 'sparse' properties.
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 / B. Properties / 13. Tropes / a. Nature of tropes
Tropes fall into classes, because exact similarity is symmetrical and transitive [Armstrong]
     Full Idea: Exact similarity is a symmetrical and transitive relation. (Less than exact similarity is not transitive, even for tropes). So the relation of exact similarity is an equivalence relation, partitioning the field of tropes into equivalence classes.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: Armstrong goes on the explore the difficulties for trope theory of less than exact similarity, which is a very good line of discussion. Unfortunately it is a huge problem for everyone, apart from the austere nominalist.
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Trope theory needs extra commitments, to symmetry and non-transitivity, unless resemblance is exact [Armstrong]
     Full Idea: Trope theory needs extra ontological baggage, the Axioms of Resemblance. There is a principle of symmetry, and there is the failure of transitivity - except in the special case of exact resemblance.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: [see text for fuller detail] Is it appropriate to describe such axioms as 'ontological' baggage? Interesting, though I suspect that any account of properties and predicates will have a similar baggage of commitments.
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
Universals are required to give a satisfactory account of the laws of nature [Armstrong]
     Full Idea: A reason why I reject trope theory is that universals are required to give a satisfactory account of the laws of nature.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: This is the key thought in Armstrong's defence of universals. Issues about universals may well be decided on such large playing fields. I think he is probably wrong, and I will gradually explain why. Watch this space as the story unfolds...
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 / 1. Nominalism / c. Nominalism about abstracta
Deniers of properties and relations rely on either predicates or on classes [Armstrong]
     Full Idea: The great deniers of properties and relations are of two sorts: those who put their faith in predicates and those who appeal to sets (classes).
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: This ignores the Quine view, which is strictly for ostriches. Put like this, properties and relations seem undeniable. Predicates are too numerous (gerrymandering) or too few (colour shades). Classes can have arbitrary members.
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
Resemblances must be in certain 'respects', and they seem awfully like properties [Armstrong]
     Full Idea: If a resembles b, in general, they resemble in certain respects, and fail to resemble in other respects. But respects are uncomfortably close to properties, which the Resemblance theory proposes to do without.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: This is a good objection. I think it is plausible to build a metaphysics around the idea of respects, and drop properties. Shall we just talk of 'respects' for categorising, and 'powers' for causation and explanation? Respects only exist in comparisons.
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Change of temperature in objects is quite independent of the predicates 'hot' and 'cold' [Armstrong]
     Full Idea: To appreciate the implausibility of the predicate view, consider where a thing's properties change. 'Hot' becomes applicable when 'cold' ceases to, ..but the change in the object would have occurred if the predicates had never existed.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: They keep involving secondary qualities! Armstrong is taking a strongly realist view (fine by me), but anti-realists can ignore his argument. I take predicate nominalism to be a non-starter.
We want to know what constituents of objects are grounds for the application of predicates [Armstrong]
     Full Idea: The properties that are of ontological interest are those constituents of objects, of particulars, which serve as the ground in the objects for the application of predicates.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: Good. This is a reversal of the predicate nominalist approach, and is a much healthier attitude to the relationship between ontology and language. Value judgements will be an interesting case. Does this allow us to invent new predicates?
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
In most sets there is no property common to all the members [Armstrong]
     Full Idea: Most sets are uninteresting because they are utterly heterogeneous, that is, the members have nothing in common. For most sets there is no common property F, such that the set is the set of all the Fs.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: One might link the interesting sets together by resemblance, without invoking the actual existence of an item F which all the members carry (like freemasons' briefcases). Personally I am only really interested in 'natural' sets.
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 / D. Essence of Objects / 15. Against Essentialism
Essences might support Resemblance Nominalism, but they are too coarse and ill-defined [Armstrong]
     Full Idea: A sophisticated Resemblance theory can appeal to the natures of the resembling things, from which the resemblances flow. The natures are suitably internal, but are as coarse as the things themselves (and perhaps are the things themselves).
     From: David M. Armstrong (Properties [1992], 1)
     A reaction: Note that this is essentialism as an underpinning for Resemblance Nominalism. His objection is that he just can't believe in essences, because they are too 'coarse' - which I take to mean that we cannot distinguish the boundaries of an essence.
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 / C. Assigning Meanings / 3. Predicates
Predicates need ontological correlates to ensure that they apply [Armstrong]
     Full Idea: Must there not be something quite specific about the thing which allows, indeed ensures, that predicates like 'underneath' and 'hot' apply? The predicates require ontological correlates.
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: An interesting proposal, that in addition to making use of predicates, we should 'ensure that they apply'. Sounds verificationist. Obvious problem cases would be speculative, controversial or metaphorical predicates. "He's beneath contempt".
There must be some explanation of why certain predicates are applicable to certain objects [Armstrong]
     Full Idea: When we have said that predicates apply to objects, we have surely not said enough. The situation cries out for an explanation. Must there not be something specific about the things which allows, indeed ensures, that these predicates apply?
     From: David M. Armstrong (Properties [1992], §1)
     A reaction: A nice challenge to any philosopher who places too much emphasis on language. A random and arbitrary (nominalist?) language simply wouldn't work. Nature has joints.
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 / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
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 / a. Regularity theory
Regularities theories are poor on causal connections, counterfactuals and probability [Armstrong]
     Full Idea: Regularity theories make laws molecular, with no inner causal connections; also, only some cosmic regularities are manifestations of laws; molecular states can't sustain counterfactuals; and probabilistic laws are hard to accommodate.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: [very compressed] A helpful catalogue of difficulties. The first difficulty is the biggest one - that regularity theories have nothing to say about why there is a regularity. They offer descriptions instead of explanations.
The introduction of sparse properties avoids the regularity theory's problem with 'grue' [Armstrong]
     Full Idea: Regularity theories of laws face the grue problem. That, I think, can only be got over by introducing properties, sparse properties, into one's ontology.
     From: David M. Armstrong (Properties [1992], §2)
     A reaction: The problem is, roughly, that regularities have to be described in language, which is too arbitrary in character. Armstrong rightly tries to break the rigid link to language. See his Idea 8536, which puts reality before language.
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.
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.