Combining Texts

Ideas for 'fragments/reports', 'Causality and Properties' and 'On the Plurality of Worlds'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


51 ideas

8. Modes of Existence / B. Properties / 1. Nature of Properties
Surely 'slept in by Washington' is a property of some bed? [Lewis]
     Full Idea: That the most noteworthy property of this bed is that George Washington slept in it - surely this is true on some legitimate conception of properties?
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: Wrong! This example is a nice clear test case. This is an absurd slippery slope. A bed he once looked at? I would have thought this was a relation the bed once entered into, and a relation isn't a property.
Formerly I said properties are individuated by essential causal powers and causing instantiation [Shoemaker, by Shoemaker]
     Full Idea: My 1980 paper said properties are individuated by causal features - the contribution they make to the causal powers of things, and also how their instantiation can be caused. Collectively, these causal features are the essence of a property.
     From: report of Sydney Shoemaker (Causality and Properties [1980], I) by Sydney Shoemaker - Causal and Metaphysical Necessity
     A reaction: The later paper worries about uncertainty over individuation. The view I favour is that 'powers' is a much better term for what is basic, and this allows 'properties' to be the complex notion we use in real life, as innumberable power-combinations.
Properties don't have degree; they are determinate, and things have varying relations to them [Lewis]
     Full Idea: I have made no place for properties that admit of degree, so that things may have more or less of the same property. There are plain properties, and then there are relations to them.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: An interesting question, little discussed. Elsewhere, Lewis ascribes all vagueness to our inadequate predicates, rather than to the world, which I find quite persuasive.
The 'abundant' properties are just any bizarre property you fancy [Lewis]
     Full Idea: Properties are 'sparse' or 'abundant'. The abundant properties may be as extrinsic, as gruesomely gerrymandered, as miscellaneously disjunctive, as you please. They pay no heed to the qualitative joints, but carve things up every which way.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: This seems to be a logician's idea, which is needed for the notion of a set as pure extension, but it has very little to do with what I understand by the word 'property'. Better to call it a 'categorization'. E.g. filing George W. Bush under 'jackal'.
8. Modes of Existence / B. Properties / 2. Need for Properties
To be a 'property' is to suit a theoretical role [Lewis]
     Full Idea: To deserve the name of 'property' is to be suited to play the right theoretical role. It is wrong to speak of 'the' role associated with the word 'property', as if it were fully and uncontroversially settled.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: Once again I see a chicken-and-egg problem. Surely something has a theoretical role because of its intrinsic character, or its prior definition? How could you formulate a theory if you lacked properties? We don’t meet properties as gaps in theories.
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
A disjunctive property can be unnatural, but intrinsic if its disjuncts are intrinsic [Lewis]
     Full Idea: A property can be unnatural by reason of disjunctiveness, as the property of being tripartite-or-liquid-or-cubical is, and it is intrinsic if its disjuncts are.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: This strikes me as being utterly, shockingly and disgracefully wrong. A disjunction can't possibly be a property. Can a person have the property of being 'fat or thin'? A disjunction offers candidates for properties, not the properties themselves.
If a global intrinsic never varies between possible duplicates, all necessary properties are intrinsic [Cameron on Lewis]
     Full Idea: Lewis defines a globally intrinsic property as one that never varies between duplicates across possible worlds. This has the immediate problem that any property that is necessarily had, or necessarily lacked, by every thing will be intrinsic.
     From: comment on David Lewis (On the Plurality of Worlds [1986], p.61-2) by Ross P. Cameron - Intrinsic and Extrinsic Properties 'Analysis'
     A reaction: [He also cites Langton and Lewis 1998] To me this is the sort of tangle you get into when you equate properties with predicates. The problem seems to concern necessary predicates (but those may not be necessary properties).
Global intrinsic may make necessarily coextensive properties both intrinsic or both extrinsic [Cameron on Lewis]
     Full Idea: If a globally intrinsic properties are those that never vary between duplicates across possible worlds, then necessarily coextensive properties will either be both intrinsic or both extrinsic.
     From: comment on David Lewis (On the Plurality of Worlds [1986], p.61-2) by Ross P. Cameron - Intrinsic and Extrinsic Properties 'Analysis'
     A reaction: Presumably this problem would arise if some intrinsic property entailed an extrinsic property (or, less likely, vice versa). These sorts of problems arise when you try to define everything extensionally (even across possible worlds).
All of the natural properties are included among the intrinsic properties [Lewis]
     Full Idea: It cannot be said that all intrinsic properties are perfectly natural, ...but it can plausibly be said that all perfectly natural properties are intrinsic.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: Idea 15742 give the example he uses to support this claim. I like the concept of 'intrinsic' properties, but cannot currently see any use for the concept of 'natural' ones.
8. Modes of Existence / B. Properties / 5. Natural Properties
Genuine properties are closely related to genuine changes [Shoemaker]
     Full Idea: Our intuitions as to what are, and what are not, genuine properties are closely related to our intuitions as to what are, and what are not, genuine changes.
     From: Sydney Shoemaker (Causality and Properties [1980], §02)
     A reaction: A simple but brilliant insight. Somehow we must hack through the plethora of bogus properties and get to the real ones, cutting nature at the joints. Here we have the principle needed for the task.
Properties must be essentially causal if we can know and speak about them [Shoemaker]
     Full Idea: Only if some causal theory of properties is true can it be explained how properties are capable of engaging our knowledge, and our language, in the way they do.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: Exactly. This also the reason why epiphenomenalism doesn't make sense about consciousness (Idea 7379). The fact that something has causal powers doesn't mean that it just IS a causal power. A bomb isn't an explosion.
To ascertain genuine properties, examine the object directly [Shoemaker]
     Full Idea: There is a plausible way of distinguishing genuine and mere-Cambridge properties. To decide whether an emerald is green the thing to do is to examine it, but a mere-Cambridge property is settled by observations at a remote time and place.
     From: Sydney Shoemaker (Causality and Properties [1980], §06)
     A reaction: Scientific essentialism is beautifully simple! Schoemaker is good at connecting the epistemology to the ontology. If you examined a mirror, you might think it contained reflections.
We might try defining the natural properties by a short list of them [Lewis]
     Full Idea: We might try defining the natural properties by a short list, of the mass properties, charge properties, quark properties and flavours...
     From: David Lewis (On the Plurality of Worlds [1986], 1.5 n47)
     A reaction: He rejects this because of possible natural properties in other possible worlds. Defining anything by a list seems like cheating. Does John, Paul, George and Ringo 'define' something?
Natural properties give similarity, joint carving, intrinsicness, specificity, homogeneity... [Lewis]
     Full Idea: Sharing of [perfectly natural properties] makes for qualitative similarity, they carve at the joints, they are intrinsic, they are highly specific, the sets of their instances are ipso facto not highly miscellaneous.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: All this sounds like just what I want, but when I read Lewis he seems to be arriving at these natural properties by the wrong route. Too much Hume, too much extensionalism.
We can't define natural properties by resemblance, if they are used to explain resemblance [Lewis]
     Full Idea: Shall we say that natural properties are the ones whose instances are united by resemblance? - Not if we are going to say that resemblance is the sharing of natural properties.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: The target of this appears to be the proposal of Quinton. By now I have totally given up on so-called 'natural' properties. Lewis says the circularity (also in Idea 15743) is a reason to treat 'natural' here as primitive (though he rejects that).
Defining natural properties by means of laws of nature is potentially circular [Lewis]
     Full Idea: Shall we say that natural properties are the ones that figure in laws of nature? - Not if we are going to use naturalness of properties when we draw the line between laws of nature and accidental regularities.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: Personally I wouldn't dream of defining anything by saying that it figured in laws of nature. The laws, if there be such (see Mumford) are built up from more fundamental components, such as (perhaps) properties.
I don't take 'natural' properties to be fixed by the nature of one possible world [Lewis]
     Full Idea: Some people suppose my natural properties are distinguished by nature, and hence natural in one world and not another. I intend properties to be natural or unnatural simpliciter, not relative to one or another world.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5 n44)
     A reaction: This is an important warning for the likes of me. I've have begun to doubt the utility of the term 'natural' property, and this reinforces my view.
Sparse properties rest either on universals, or on tropes, or on primitive naturalness [Lewis, by Maudlin]
     Full Idea: Lewis surveys three accounts of sparse properties: a set of objects instantiating a single universal; a set of objects having as parts duplicates of some trope; and a set distinguished by a further unanalyzable, primitive characteristic of naturalness.
     From: report of David Lewis (On the Plurality of Worlds [1986], p.60-) by Tim Maudlin - The Metaphysics within Physics
     A reaction: The very idea of suggesting that a property is some set of objects strikes me as bizarre. I present you with a table full of objects and say that is the complete set of some property. You then have to study the objects to find out what the property is.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
We should abandon the idea that properties are the meanings of predicate expressions [Shoemaker]
     Full Idea: I think we should abandon the idea that properties are the meanings of predicate expressions.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: Right. I have Shoemaker on my side, and he is a distinguished and senior member of the philosophical community. I don't just prefer not to use 'predicate' and 'property' indistinguishably - philosophers should really really give it up!
Some truths are not because of a thing's properties, but because of the properties of related things [Shoemaker]
     Full Idea: Sometimes a predicate is true of a thing, not because (or only because) of any properties it has, but because something else, perhaps something related to it in certain ways, has certain properties.
     From: Sydney Shoemaker (Causality and Properties [1980], §02)
     A reaction: I'm on mission to prize predicates and properties apart, and the strategy is to focus on what is true of something, given that this may not ascribe a property to the thing.
There is the property of belonging to a set, so abundant properties are as numerous as the sets [Lewis]
     Full Idea: The abundant properties far outrun the predicates of any language we could possibly possess. ...Properties are as abundant as the sets, because for any set whatever, there is the property of belonging to that set.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: The idea of calling such things 'properties' strikes me as preposterous, but it is interesting that we confront truths which outrun our predicates. We can't have all of these predicates together, but there is no impediment to any one of them.
8. Modes of Existence / B. Properties / 11. Properties as Sets
A property is the set of its actual and possible instances [Lewis, by Oliver]
     Full Idea: Lewis proposes that a property is the set of its actual and possible instances.
     From: report of David Lewis (On the Plurality of Worlds [1986], 1.5) by Alex Oliver - The Metaphysics of Properties 10
     A reaction: I just can't make sense of any proposal that a property is a set. Things fall into natural sets because they have properties. Only a philosopher would believe such a weird proposal as this one. Triangular and trilateral?
The property of being F is identical with the set of objects, in all possible worlds, which are F [Lewis, by Cameron]
     Full Idea: Lewis thought that the property of being F was identical with the set of objects, in all possible worlds, which are F.
     From: report of David Lewis (On the Plurality of Worlds [1986], §1.5) by Ross P. Cameron - Intrinsic and Extrinsic Properties
     A reaction: I can't make head or tail of a theory which says that a property is a set of objects. I'll show you a room full of objects and tell you they are a property. How are you going to work out what the property is? 'Being F' is a predicate, not a property!
Properties don't seem to be sets, because different properties can have the same set [Lewis]
     Full Idea: The usual objection to taking properties as sets is that different properties may happen to be coextensive. Creatures with hearts are creatures with kidneys. Talking donkeys are flying pigs (since there are none). Yet the properties differ.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: This is the difficulty which Lewis proposes to solve by defining properties across possible situations as well as actual ones, so that the properties can come apart. Nice move.
Accidentally coextensive properties come apart when we include their possible instances [Lewis]
     Full Idea: In modal realism, 'accidentally coextensive' properties are not coextensive. They only appear so when we ignore their other-worldly instances. If we consider all instances, then it never can happen that two properties are coextensive but might have been.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: It is not clear why this 'can never happen'. Maybe even God can't make a hearted creature without kidneys. Lewis is aware of this question.
If a property is relative, such as being a father or son, then set membership seems relative too [Lewis]
     Full Idea: A property that is instantiated in a relative way (such as being a father or a son) could not be the set of its instances? Is the thing to be included in the set or not?
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: He says philosophers contrive ways to define properties as functions, but he prefers to call such properties 'relations', and define them that way. It never even occurred to me that 'being a son' was one of my properties, but what do I know?
Trilateral and triangular seem to be coextensive sets in all possible worlds [Lewis]
     Full Idea: We can't take a property as sets of this-worldly instances, because two properties may be coextensive. Some say it is just as bad in all possible worlds, if the property is necessary, as when all triangles are trilateral, which seem different.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: [compressed] Renate/cordate is the standard example of the first problem. Lewis seems to equivocate over exactly what is meant by a property. I take the example to be a powerful objection to treating properties as sets.
I believe in properties, which are sets of possible individuals [Lewis]
     Full Idea: I believe in properties. That is, I have my candidates for entities to play the role and deserve the name. My principal candidates are sets of possible individuals.
     From: David Lewis (On the Plurality of Worlds [1986], 3.4)
     A reaction: I am bewildered by any claim that a property is a 'set'. The property of being a teaspoon is just a large pile of teaspoons (one pile in each possible world)? This is the tyranny of first-order logic in philosophy. Are sets more real than properties?
It would be easiest to take a property as the set of its instances [Lewis]
     Full Idea: The simplest plan for properties is to take a property just as the set of all its instances.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: I find this a weird and counterintuitive proposal. I suppose if you think maths has been reduced to set theory, you might want to reduce everything else, and then we can all go home. I thought things were in sets because of their properties.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
You must accept primitive similarity to like tropes, but tropes give a good account of it [Lewis]
     Full Idea: If you will not countenance primitive similarity in any form, then trope theory is not for you. But if you will, then duplication of tropes is an especially satisfactory form of primitive similarity to take.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: This presents the question about tropes in a beautifully simple form. Perfect similarities seem fine, but partial similarities (red and pink things) are hard, and abstract reference (pinkness and redness) is even harder.
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Tropes need a similarity primitive, so they cannot be used to explain similarity [Lewis]
     Full Idea: Trope theory cannot analyse similarity, because duplication of tropes is itself a primitive relation of similarity.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: A reasonable reply to this one, I think, is that no one can explain or analyse similarity. To say that the same universal (or bunch of graded universals) is instantiated explains nothing. Maybe type-identity must be primitive in any theory?
Trope theory (unlike universals) needs a primitive notion of being duplicates [Lewis]
     Full Idea: Trope theory has the drawback that we need the primitive notion of duplicate tropes, whereas with universals we just say that it is one and the same universal through some charged particles.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: The normal term for this primitive is 'perfect resemblance', though that seems to make close resemblance a bit complicated and puzzling. I'm not sure if I understand resemblance as a feature of the world, rather than of our minds.
Trope theory needs a primitive notion for what unites some tropes [Lewis]
     Full Idea: Trope theory needs a primitive notion - 'instantion' in yet another sense - to say how the tropes that comprise a particle are united.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: Any theory which says that objects are just 'bundles' of tropes is asking for trouble. But if you say (with Lowe and others) that tropes are 'modes' of existing entities, you still have to give an account of the entity.
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
Things have powers in virtue of (which are entailed by) their properties [Shoemaker]
     Full Idea: There is a distinction between powers, and the properties in virtue of which things have they powers they have (n8: 'in virtue of' means that there is a lawlike truth, which turns out to be the properties entailing the powers).
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: To me this is an ontology which rests something very clear (a power) on something very indeterminate (a 'property').
One power can come from different properties; a thing's powers come from its properties [Shoemaker]
     Full Idea: It is possible to have the same power (e.g. being poisonous) in virtue of having very different properties. ..So it is in virtue of a thing's properties that the thing has the powers that it has.
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: This strikes me as an accurate and helpful picture. It means that true properties give rise to powers, and categorial or relational or whimsical properties must have their ontological status judged by that standard.
Properties are functions producing powers, and powers are functions producing effects [Shoemaker]
     Full Idea: Powers are functions from circumstances to causal effects, and properties (on which powers depend) can be thought of as functions from sets of properties to sets of powers. Maybe we should call properties 'second-order powers', as they produce powers.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: He presents property as both a function, and a component of the function. This is the core picture on which modern scientific essentialism is built. See under Natural Theory|Laws of Nature.
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Shoemaker says all genuine properties are dispositional [Shoemaker, by Ellis]
     Full Idea: I am against Shoemaker's strong dispositionalism, according to which all genuine properties are dispositional.
     From: report of Sydney Shoemaker (Causality and Properties [1980]) by Brian Ellis - The Metaphysics of Scientific Realism 3
     A reaction: This is because Ellis argues that some properties are categorical, and are needed to underly the active dispositional ones. I think I side with Shoemaker, but this needs more thought.
A causal theory of properties focuses on change, not (say) on abstract properties of numbers [Shoemaker]
     Full Idea: My account of properties concerns those with respect to which change is possible; it is not intended to apply to such properties of numbers as being even and being prime.
     From: Sydney Shoemaker (Causality and Properties [1980], §02)
     A reaction: You could argue that while these properties may not cause change, they are abstract powers. Being even allows division by 2, and being prime blocks it. I say patterns are the basis, and dividing groups of physical objects is involved.
'Square', 'round' and 'made of copper' show that not all properties are dispositional [Shoemaker]
     Full Idea: Surely we make a distinction beween dispositional and nondispositional properties, and can mention paradigms of both sorts. ....It seems plain that predicates like 'square', 'round' and 'made of copper' are not dispositional.
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: It might be possible to account for squareness and roundness in dispositional ways, and it is certainly plausible to say that 'made of copper' is not a property (even when it is a true predicate).
The identity of a property concerns its causal powers [Shoemaker]
     Full Idea: What makes a property the property it is, what determines its identity, is its potential for contributing to the causal powers of the things that have it.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: Does this mean that the 'potential' to act is the essence of the property, or is a property of the property, or is wholly identical with the property? Or is this just epistemological - whatever individuates the property for observers?
Properties are clusters of conditional powers [Shoemaker]
     Full Idea: A thing has a 'conditional power' when it has a power conditionally upon the possession of certain properties. ...We can then express my view by saying that properties are clusters of conditional powers.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: His example is a knife-shaped thing, which conditionally cuts wood if it is made of steel. Shoemaker rejected this in 1998. Mumford/Anjum prefer the earlier view. Which is fundamental? Powers are simple and primitive. Properties are complex.
Could properties change without the powers changing, or powers change without the properties changing? [Shoemaker]
     Full Idea: Could a thing undergo radical change with respect to its properties without undergoing any change in its causal powers, or undergo radical change in its causal powers without undergoing any change in the properties that underlie these powers?
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: I don't accept properties underlying powers, but these two questions at least force us to see how closely the two are linked.
If properties are separated from causal powers, this invites total elimination [Shoemaker]
     Full Idea: The disassociation of property identity from causal potentiality is an invitation to eliminate reference to properties from our explanatory hypotheses altogether.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: Just as epiphenomenalism about consciousness is a step towards eliminativism. This seems to describe Quine's reaction to Goodman, in moving from predicate nominalism to elimination of properties. I agree with Shoemaker.
The notions of property and of causal power are parts of a single system of related concepts [Shoemaker]
     Full Idea: The notion of a property and the notion of a causal power belong to a system of internally related concepts, no one of which can be explicated without the use of the other.
     From: Sydney Shoemaker (Causality and Properties [1980], §07)
     A reaction: Sounds good. It is hard to conceive of a property which has no causal powers, or a causal power that doesn't arise from a property.
Actually, properties are individuated by causes as well as effects [Shoemaker]
     Full Idea: I should probably modify my view, and say that properties are individuated by their possible causes as well as by their possible effects.
     From: Sydney Shoemaker (Causality and Properties [1980], §11)
     A reaction: (This is in an afterword responding to criticism by Richard Boyd) He doesn't use the word 'individuate' in the essay. That term always strikes me as smacking too much of epistemology, and not enough of ontology. Who cares how you individuate something?
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / b. Dispositions and powers
Dispositional predicates ascribe powers, and the rest ascribe properties [Shoemaker]
     Full Idea: By and large, dispositional predicates ascribe powers while nondispositional monadic predicates ascribe properties that are not powers in the same sense.
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: The powers are where the properties come into contact with the rest of the world, so you would expect dispositions to be found at that level, rather than at the deeper level of properties. Sounds good to me.
8. Modes of Existence / D. Universals / 1. Universals
Universals recur, are multiply located, wholly present, make things overlap, and are held in common [Lewis]
     Full Idea: One and the same universal recurs; it is multiply located; it is wholly present in both instances, a shared common part whereby the two instances overlap. Being alike by sharing a universal is 'having something in common' in an absolutely literal sense.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: A helpful spelling out of the commitment involved (in Armstrong and others) in belief in universals. To me this is a convenient list of reasons why the whole proposal is nonsense. Why does Lewis take them seriously?
If particles were just made of universals, similar particles would be the same particle [Lewis]
     Full Idea: We cannot say that a particle is composed entirely of its several universals, because then another particle exactly like it would have the very same universals, and yet the two particles would not be the same.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: This is an argument either (implausibly) for haecceities or characterless substrata, or else for tropes (which are all separate, unlike universals). Particles as bundles of universals is not a theory I take seriously.
8. Modes of Existence / D. Universals / 2. Need for Universals
Universals concern how things are, and how they could be [Shoemaker, by Bird]
     Full Idea: Shoemaker contends that universals concern the way things could be, not merely the way any things actually are.
     From: report of Sydney Shoemaker (Causality and Properties [1980]) by Alexander Bird - Nature's Metaphysics 3.2.2
     A reaction: If you want to retain universals within a scientific essentialist view (and I would rather not), then this seems like the only way to go.
8. Modes of Existence / D. Universals / 3. Instantiated Universals
Universals aren't parts of things, because that relationship is transitive, and universals need not be [Lewis]
     Full Idea: It cannot be said that a universal is instantiated by anything that has it as a part, since the relation of part to whole is transitive. If charge is part of a particle, which is part of an atom, then charge is part of the atom, but an atom isn't charged.
     From: David Lewis (On the Plurality of Worlds [1986], 1.5)
     A reaction: Given the total mystery involved in 'instantiation', it wouldn't surprise me if someone appealed to the part-whole relation, but all moves to explain instantiation are desperate. Make it a primitive, if you must, then tiptoe away.
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
Triangular and trilateral are coextensive, but different concepts; but powers and properties are the same [Shoemaker]
     Full Idea: It is natural to say that 'being triangular' and 'being trilateral', though necessarily coextensive, are different properties. But what are distinct are the concepts and meanings. If properties are not meanings of predicates, these are identical.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: A good test example. Being renate (kidney) and being cordate (heart) are different, because being cordate produces a thumping noise. Shoemaker's example is pretty much Phosphorus/Hesperus.