Combining Philosophers

All the ideas for Stephen Mumford, Peter Simons and Michael Devitt

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


161 ideas

1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Science studies phenomena, but only metaphysics tells us what exists [Mumford]
     Full Idea: Science deals with the phenomena, ..but it is metaphysics, and only metaphysics, that tells us what ultimately exists.
     From: Stephen Mumford (Laws in Nature [2004], 01.2)
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Metaphysics attempts to give an account of everything, in terms of categories and principles [Simons]
     Full Idea: Metaphysics, the noblest of philosophic enterprises, is an attempt to give an account of everything. ...Its job is to provide a universal framework (of categories and principles) within which anything whatever can take its place.
     From: Peter Simons (Whitehead: process and cosmology [2009], 'Speculative')
     A reaction: Bravo! I take metaphysics to be entirely continuous with science, but operating entirely at the highest level of generality. See Westerhoff on categories, though. The enterprise may not be going too well.
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Analytic philosophers may prefer formal systems because natural language is such mess [Simons]
     Full Idea: The untidiness of natural language in its use of 'part' is perhaps one of the chief reasons why mereolologists have preferred to investigate formal systems with nice algebraic properties rather than get out and mix it with reality in all its messiness.
     From: Peter Simons (Parts [1987], 6.4)
     A reaction: [See Idea 12864 for the uses of 'part'] I am in the unhappy (and probably doomed) position of wanting to avoid both approaches. I try to operate as if the English language were transparent and we can just discuss the world. Very naïve.
2. Reason / A. Nature of Reason / 1. On Reason
Many forms of reasoning, such as extrapolation and analogy, are useful but deductively invalid [Mumford]
     Full Idea: There are many forms of reasoning - extrapolation, interpolation, and other arguments from analogy - that are useful but deductively invalid.
     From: Stephen Mumford (Laws in Nature [2004], 04.4)
     A reaction: [He cites Molnar for this]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Classical mereology doesn't apply well to the objects around us [Simons]
     Full Idea: The most fundamental criticism of classical mereology is that the theory is not applicable to most of the objects around us, and is accordingly of little use as a formal reconstruction of the concepts of part and whole which we actually employ.
     From: Peter Simons (Parts [1987], Intro)
     A reaction: This sounds splendidly dismissive, but one might compare it with possible worlds semantics for modal logic, which most people take with a pinch of salt as an actual commitment, but find wonderfully clarifying in modal reasoning.
Complement: the rest of the Universe apart from some individual, written x-bar [Simons]
     Full Idea: The 'complement' of each individual in mereology is the rest of the Universe outside it, that is U - x, but written as x-bar [x with a horizontal bar above it].
     From: Peter Simons (Parts [1987], 1.1.10)
     A reaction: [Don't have a font for x-bar] See Idea 12831 for the 'Universe'. Simons suggest that the interest of this term is mainly historical and algebraic.
Criticisms of mereology: parts? transitivity? sums? identity? four-dimensional? [Simons]
     Full Idea: Main criticisms of mereology: we don't mean 'part' as improper; transitivity of 'part' is sometimes not transitive; no guarantee that there are 'sums'; the identity criteria for individuals are false; we are forced into materialistic four-dimensionalism.
     From: Peter Simons (Parts [1987], 3.2)
     A reaction: [Compressed summary; for four-dimensionalism see under 'Identity over Time'] Simons says these are in ascending order of importance.
A 'part' has different meanings for individuals, classes, and masses [Simons]
     Full Idea: It emerges that 'part', like other formal concepts, is not univocal, but has analogous meanings according to whether we talk of individuals, classes, or masses.
     From: Peter Simons (Parts [1987], Intro)
     A reaction: He suggests that unrestricted sums are appropriate for the last two, but not for individuals. There must be something univocal about the word - some awareness of a possible whole or larger entity to which the thing could belong.
4. Formal Logic / G. Formal Mereology / 2. Terminology of Mereology
Proper or improper part: x < y, 'x is (a) part of y' [Simons]
     Full Idea: A 'proper or improper part' is expressed by 'x < y', read as 'x is (a) part of y'. The relatively minor deviation from normal usage (of including an improper part, i.e. the whole thing) is warranted by its algebraical convenience.
     From: Peter Simons (Parts [1987], 1.1.02)
     A reaction: Including an improper part (i.e. the whole thing) is not, Simons points out, uncontroversial, because the part being 'equal' to the whole is read as being 'identical' to the whole, which Simons is unwilling to accept.
Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons]
     Full Idea: Two individuals are 'disjoint' mereologically if and only if they do not overlap, expressed by 'x | y', read as 'x is disjoint from y'. Disjointedness is symmetric.
     From: Peter Simons (Parts [1987], 1.1.04)
Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons]
     Full Idea: The 'difference' of two individuals is the largest individual contained in x which has no part in common with y, expressed by 'x - y', read as 'the difference of x and y'.
     From: Peter Simons (Parts [1987], 1.1.07)
Overlap: two parts overlap iff they have a part in common, expressed as 'x o y' [Simons]
     Full Idea: Two parts 'overlap' mereologically if and only if they have a part in common, expressed by 'x o y', read as 'x overlaps y'. Overlapping is reflexive and symmetric but not transitive.
     From: Peter Simons (Parts [1987], 1.1.03)
     A reaction: Simons points out that we are uncomfortable with overlapping (as in overlapping national boundaries), because we seem to like conceptual boundaries. We avoid overlap even in ordering primary colour terms, by having a no-man's-land.
Product: the product of two individuals is the sum of all of their overlaps, written 'x · y' [Simons]
     Full Idea: For two overlapping individuals their 'product' is the individual which is part of both and such that any common part of both is part of it, expressed by 'x · y', read as 'the product of x and y'.
     From: Peter Simons (Parts [1987], 1.1.05)
     A reaction: That is, the 'product' is the sum of any common parts between two individuals. In set theory all sets intersect at the null set, but mereology usually avoids the 'null individual'.
Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons]
     Full Idea: The 'sum' of two individuals is that individual which something overlaps iff it overlaps at least one of x and y, expressed by 'x + y', read as 'the sum of x and y'. It is central to classical extensional mereologies that any two individuals have a sum.
     From: Peter Simons (Parts [1987], 1.1.06)
     A reaction: This rather technical definition (defining an individual by the possibility of it being overlapped) does not always coincide with the smallest individual containing them both.
General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons]
     Full Idea: The 'general sum' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'σx(Fx)', read as 'the sum of objects satisfying F'.
     From: Peter Simons (Parts [1987], 1.1.08)
     A reaction: This, it seems, is introduced to restrict some infinite classes which aspire to be sums.
General product: the nucleus of all objects satisfying a predicate, written πx(Fx) [Simons]
     Full Idea: The 'general product' or 'nucleus' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'πx(Fx)', read as 'the product of objects satisfying F'.
     From: Peter Simons (Parts [1987], 1.1.08)
     A reaction: See Idea 12825 for 'product'. 'Nucleus' is a helpful word here. Thought: is the general product a candidate for a formal definition of essence? It would be a sortal essence - roughly, what all beetles have in common, just by being beetles.
Universe: the mereological sum of all objects whatever, written 'U' [Simons]
     Full Idea: The 'Universe' in mereology is the sum of all objects whatever, a unique individual of which all individuals are part. This is denoted by 'U'. Strictly, there can be no 'empty Universe', since the Universe is not a container, but the whole filling.
     From: Peter Simons (Parts [1987], 1.1.09)
     A reaction: This, of course, contrasts with set theory, which cannot have a set of all sets. At the lower end, set theory does have a null set, while mereology has no null individual. See David Lewis on combining the two theories.
Atom: an individual with no proper parts, written 'At x' [Simons]
     Full Idea: An 'atom' in mereology is an individual with no proper parts. We shall use the expression 'At x' to mean 'x is an atom'.
     From: Peter Simons (Parts [1987], 1.1.11)
     A reaction: Note that 'part' in standard mereology includes improper parts, so every object has at least one part, namely itself.
Dissective: stuff is dissective if parts of the stuff are always the stuff [Simons]
     Full Idea: Water is said not to be 'dissective', since there are parts of any quantity of water which are not water.
     From: Peter Simons (Parts [1987], 4.2)
     A reaction: This won't seem to do for any physical matter, but presumably parts of numbers are always numbers.
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
Two standard formalisations of part-whole theory are the Calculus of Individuals, and Mereology [Simons]
     Full Idea: The standardly accepted formal theory of part-whole is classical extensional mereology, which is known in two logical guises, the Calculus of Individuals of Leonard and Goodman, and the Mereology of Lesniewski.
     From: Peter Simons (Parts [1987], Intro)
     A reaction: Simons catalogues several other modern attempts at axiomatisation in his chapter 2.
The part-relation is transitive and asymmetric (and thus irreflexive) [Simons]
     Full Idea: Formally, the part-relation is transitive and asymmetric (and thus irreflexive). Hence nothing is a proper part of itself, things aren't proper parts of one another, and if one is part of two which is part of three then one is part of three.
     From: Peter Simons (Parts [1987], 1.1.1)
Each wheel is part of a car, but the four wheels are not a further part [Simons]
     Full Idea: The four wheels of a car are parts of it (each is part of it), but there is not a fifth part consisting of the four wheels.
     From: Peter Simons (Parts [1987], 4.6)
     A reaction: This raises questions about the transitivity of parthood. If there are parts of parts of wholes, the basic parts are OK, and the whole is OK, but how can there also be an intermediate part? Try counting the parts of this whole!
Classical mereology doesn't handle temporal or modal notions very well [Simons]
     Full Idea: The underlying logic of classical extensional mereology does not have the resources to deal with temporal and modal notions such as temporary part, temporal part, essential part, or essential permanent part.
     From: Peter Simons (Parts [1987], Intro)
     A reaction: Simons tries to rectify this in the later chapters of his book, with modifications rather than extensions. Since everyone struggles with temporal and modal issues of identity, we shouldn't judge too harshly.
4. Formal Logic / G. Formal Mereology / 4. Groups
A 'group' is a collection with a condition which constitutes their being united [Simons]
     Full Idea: We call a 'collection' of jewels a 'group' term. Several random musicians are unlikely to be an orchestra. If they come together regularly in a room to play, such conditions are constitutive of an orchestra.
     From: Peter Simons (Parts [1987], 4.4)
     A reaction: Clearly this invites lots of borderline cases. Eleven footballers don't immediately make a team, as followers of the game know well.
The same members may form two groups [Simons]
     Full Idea: Groups may coincide in membership without being identical - extensionality goes.
     From: Peter Simons (Parts [1987], 4.9)
     A reaction: Thus an eleven-person orchestra may also constitute a football team. What if a pile of stones is an impediment to you, and useful to me? Is it then two groups? Suppose they hum while playing football? (Don't you just love philosophy?)
'The wolves' are the matter of 'the pack'; the latter is a group, with different identity conditions [Simons]
     Full Idea: 'The wolves' is a plural term referring to just these animals, whereas 'the pack' of wolves refers to a group, and the group and plurality, while they may coincide in membership, have different identity conditions. The wolves are the matter of the pack.
     From: Peter Simons (Parts [1987], 6.4)
     A reaction: Even a cautious philosopher like Simons is ready to make bold ontological commitment to 'packs', on the basis of something called 'identity conditions'. I think it is just verbal. You can qualify 'the wolves' and 'the pack' to make them identical.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Philosophy is stuck on the Fregean view that an individual is anything with a proper name [Simons]
     Full Idea: Modern philosophy is still under the spell of Frege's view that an individual is anything that has a proper name. (Note: But not only are empty names now recognised, but some are aware of the existence of plural reference).
     From: Peter Simons (Parts [1987], 8.1)
     A reaction: Presumably every electron in the universe is an individual, and every (finite) number which has never been named has a pretty clear identity. Presumably Pegasus, John Doe, and 'the person in the kitchen' have to be accommodated.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Some natural languages don't distinguish between singular and plural [Simons]
     Full Idea: The syntactic distinction between singular and plural is not a universal feature of natural languages. Chinese manages nicely without it, and Sanskrit makes a tripartite distinction between singular, dual, and plural (more than two).
     From: Peter Simons (Parts [1987], 4.3)
     A reaction: Simons is mounting an attack on the way in which modern philosophy and logic has been mesmerised by singular terms and individuated objects. Most people seem now to agree with Simons. There is stuff, as well as plurals.
7. Existence / A. Nature of Existence / 1. Nature of Existence
For Humeans the world is a world primarily of events [Mumford]
     Full Idea: For Humeans the world is a world primarily of events.
     From: Stephen Mumford (Laws in Nature [2004], 03.6)
7. Existence / B. Change in Existence / 1. Nature of Change
Four-dimensional ontology has no change, since that needs an object, and time to pass [Simons]
     Full Idea: In the four-dimensional ontology there may be timeless variation, but there is no change. Change consists in an object having first one property and then another contrary one. But processes all have their properties timelessly.
     From: Peter Simons (Parts [1987], 3.4)
     A reaction: Possibly Simons is begging the question here. The phenomena which are traditionally labelled as 'change' are all nicely covered in the four-D account. Change is, we might say, subsumed in the shape of the space-time 'worm'.
There are real relational changes, as well as bogus 'Cambridge changes' [Simons]
     Full Idea: It is a mistake to call bogus Cambridge changes 'relational changes', since there are real relational changes, such as the changes in the relative positions and distances of several bodies.
     From: Peter Simons (Parts [1987], 4.1)
     A reaction: I'm not sure how you distinguish the two. If we swap seats, that is a real change. If everyone moves away from where I am sitting, is that real or Cambridge? If I notice, I might be upset, but suppose I don't notice? Nothing about me changes.
7. Existence / B. Change in Existence / 2. Processes
I don't believe in processes [Simons]
     Full Idea: I have been unable to see that there are processes.
     From: Peter Simons (Parts [1987], 4.1 n4)
     A reaction: My problem here is that I am inclined to think of the mind as a process of the brain. The fact that a reductive account can be given of a process doesn't mean that we can deny there existence. Is there no such thing as decay, or erosion?
Fans of process ontology cheat, since river-stages refer to 'rivers' [Simons]
     Full Idea: Proponents of process ontology (except perhaps Whitehead, who is obscure) indulge in double-talk with concrete examples. It is cheating to talk of 'cat-processes', or 'bathing in river-stages'. You can't change the subject and leave the predicate alone.
     From: Peter Simons (Parts [1987], 3.4)
     A reaction: It is one thing to admit processes into one's ontology, and another to have a 'process ontology', which presumably reduces objects to processes. I suppose the interest of continuant objects is precisely the aspect of them that is above any process.
Slow and continuous events (like balding or tree-growth) are called 'processes', not 'events' [Simons]
     Full Idea: Some changes are slow and continuous and are called 'processes' rather than events; the growth of a tree or the greying of John's hair.
     From: Peter Simons (Events [2003], 3.2)
     A reaction: So making a loaf of bread is an event rather than a process, and World War I was a process rather than an event? If you slow down a dramatic event (on film), you see that it is really a process. I take 'process' to be a much more illuminating word.
Maybe processes behave like stuff-nouns, and events like count-nouns [Simons]
     Full Idea: There is arguably a parallel between the mass-count distinction among meanings of nouns and the process-event distinction among meanings of verbs. Processes, like stuff, do not connote criteria for counting, whereas events, like things, do.
     From: Peter Simons (Events [2003], 6.2)
     A reaction: Hm. You can have several processes, and a process can come to an end - but then you can have several ingredients of a cake, and you can run out of one of them. This may be quite a helpful distinction.
7. Existence / B. Change in Existence / 3. Moments
Moments are things like smiles or skids, which are founded on other things [Simons]
     Full Idea: A 'moment' is something which is founded on something else. Examples are legion: smiles, headaches, gestures, skids, collisions, fights, thought, all founded on their participants, the continuants involved in them.
     From: Peter Simons (Parts [1987], 8.4)
     A reaction: The idea of a 'moment' and 'foundation' come from Husserl Log. Inv. 3. Simons says moments 'have a bright future in ontology'. It would be better if fewer of his examples involved human beings and their perceptions.
A smiling is an event with causes, but the smile is a continuant without causes [Simons]
     Full Idea: A smiling, being an event, has causes and effects, whereas the smile thereby produced is a continuant, and has itself neither causes nor effects.
     From: Peter Simons (Parts [1987], 8.5)
     A reaction: This is dogmatic, hopeful and a bit dubious. Simons is very scathing about processes in ontology. There seem to be two descriptions, with distinctive syntax, but it is hard to believe that in reality we have two types of thing present.
A wave is maintained by a process, but it isn't a process [Simons]
     Full Idea: A wave is maintained by a process transferring motion from particle to particle of the medium, but it is not identical with this process.
     From: Peter Simons (Parts [1987], 8.5)
     A reaction: I'm inclined to think of the mind as a process. There are some 'things' which only seem to exist if they have a duration. Bricks can be instantaneous, but minds and waves can't. A wave isn't a continuant. A hill isn't a wave.
Moving disturbances are are moments which continuously change their basis [Simons]
     Full Idea: Moving disturbances are a special and interesting kind of continuant: moments which continuously change their fundaments.
     From: Peter Simons (Parts [1987], 8.5)
     A reaction: [a smile is a moment, and the face its fundament] I'm thinking he's got this wrong. Compare Idea 12882. Disturbances can't be continuants, because the passing of time is essential to them, but not to a continuant.
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
I do not think there is a general identity condition for events [Simons]
     Full Idea: Like Anscombe (1979) I do not think there is such a creature as a general identity condition for events.
     From: Peter Simons (Parts [1987], 4.1 n1)
     A reaction: My working definition of an event is 'any part of a process which can be individuated'. This leaves you trying to define a process, and define individuate, and then to realise that individuation is not an objective matter.
Einstein's relativity brought events into ontology, as the terms of a simultaneity relationships [Simons]
     Full Idea: The ontology of events rose in philosophy with the rise of relativity theory in physics. Einstein postulated the relativity of simultaneity to an observer's state of motion. The terms of the relation of simultaneity must be events or their parts.
     From: Peter Simons (Events [2003], 1.1.2)
     A reaction: Intriguing. Philosophers no doubt think they are way ahead of physicists in such a metaphysical area. Personally I regard the parentage of the concept as good grounds for scepticism about it. See Idea 7621 for my reason.
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
Relativity has an ontology of things and events, not on space-time diagrams [Simons]
     Full Idea: A closer examination of the concepts and principles of relativity shows that they rest squarely on an ontology of things and events (not on convenient 'space-time diagrams'). Acceleration concerns non-zero mass, but only continuants can have a mass.
     From: Peter Simons (Parts [1987], 3.4)
     A reaction: The point here is that fans of four-dimensionalism like to claim that they are more in touch with modern physics, because 'time is just another dimension, like space, so objects are spread across it'. Simons sounds right about this.
7. Existence / C. Structure of Existence / 4. Ontological Dependence
Independent objects can exist apart, and maybe even entirely alone [Simons]
     Full Idea: An object a is ontologically independent of b if a can exist without b, if there is a possible world in which in which a exists and b does not. In the strongest sense, an object is independent if it could be all there is.
     From: Peter Simons (Parts [1987], 8.4)
     A reaction: Simons calls the strongest version a 'startling' one which maybe not even God could achieve.
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Mass nouns admit 'much' and 'a little', and resist 'many' and 'few'. [Simons]
     Full Idea: Syntactic criteria for mass nouns include that they admit 'much' and 'a little', and resist 'many' and 'few'.
     From: Peter Simons (Parts [1987], 4.6)
     A reaction: That is, they don't seem to be countable. Sortal terms are those which pick out countables.
Mass terms (unlike plurals) are used with indifference to whether they can exist in units [Simons]
     Full Idea: Mass terms and plural terms differ principally in the indifference of mass terms to matters of division. A mass term can be used irrespective of how, indeed whether, the denotatum comes parcelled in units.
     From: Peter Simons (Parts [1987], 6.4)
     A reaction: It seems more to the point to say that mass terms (stuff) don't need units to exist, and you can disperse the units (the cups of water) without affecting the identity of the stuff. You can't pulverise a pile of stones and retain the stones.
Gold is not its atoms, because the atoms must be all gold, but gold contains neutrons [Simons]
     Full Idea: The mass of gold cannot be identified with the gold atoms, because whatever is part of the gold atoms is gold, whereas not every part of the gold is gold (for example, the neutrons in it are not gold).
     From: Peter Simons (Parts [1987], 6.4)
     A reaction: There is something too quick about arguments like this. It comes back to nominal v real essence. We apply 'gold' to the superficial features of the stuff, but deep down we may actually mean the atomic structure. See Idea 12812.
7. Existence / C. Structure of Existence / 8. Stuff / b. Mixtures
Mixtures disappear if nearly all of the mixture is one ingredient [Simons]
     Full Idea: If a cupful of dirty water is mixed evenly with a ton of earth, no dirty water remains, and the same goes if we mix it evenly with a lake of clean water.
     From: Peter Simons (Parts [1987], 6.2)
     A reaction: This means that a mixture is a vague entity, subject to the sorites paradox. If the dirt was cyanide, we would consider the water to be polluted by it down to a much lower level.
A mixture can have different qualities from its ingredients. [Simons]
     Full Idea: The qualities of a mixture need not be those of its ingredients in isolation.
     From: Peter Simons (Parts [1987], 6.2)
     A reaction: It depends on what you mean by a quality. Presumably we can give a reductive account of the qualities of the mixture, as long as no reaction has taken place. The taste of a salad is just the sum of its parts.
7. Existence / D. Theories of Reality / 2. Realism
Modest realism says there is a reality; the presumptuous view says we can accurately describe it [Mumford]
     Full Idea: The claim of modest realism is that there is a subject-independent reality; the presumptuous claim is that we are capable of describing that reality accurately.
     From: Stephen Mumford (Dispositions [1998], 09.1)
     A reaction: And the super-presumptuous claim is that there only exists one ultimate accurate description of reality. I am happy to call myself a Modest Realist on this one.
7. Existence / D. Theories of Reality / 4. Anti-realism
Anti-realists deny truth-values to all statements, and say evidence and ontology are inseparable [Mumford]
     Full Idea: The anti-realist declines to permit that all statements have truth-values. ...The essence of the anti-realist position is that evidence and ontology cannot be separated.
     From: Stephen Mumford (Dispositions [1998], 03.6)
     A reaction: [second half on p.51] The idea that evidence and ontology are 'inseparable' strikes me as an absurd idea. The proposal that you should not speculate about ontology without some sort of evidence is, of course, not unreasonable.
8. Modes of Existence / B. Properties / 3. Types of Properties
Dispositions and categorical properties are two modes of presentation of the same thing [Mumford]
     Full Idea: The dispositional and the categorical are correctly understood just as two modes of presentation of the same instantiated properties.
     From: Stephen Mumford (Dispositions [1998], 08.6)
     A reaction: This is Mumford's own conclusion, after discussing the views of Armstrong. How about 'a disposition is the modal profile' of a categorical property?
8. Modes of Existence / B. Properties / 6. Categorical Properties
Categorical predicates are those unconnected to functions [Mumford]
     Full Idea: A predicate which is conceptually connected to no function ... is a categorical predicate.
     From: Stephen Mumford (Dispositions [1998], 09.7)
     A reaction: This is an expansion of Mumford's own theory of dispositions, as functional. Does a cork in a wine bottle have a function, but without doing anything? It seems to achieve its function purely through its structure.
Categorical properties and dispositions appear to explain one another [Mumford]
     Full Idea: Though categorical properties provide explanations for dispositions, categorical properties are also explained by dispositions; hence neither category uniquely explains the other.
     From: Stephen Mumford (Dispositions [1998], 05.3)
     A reaction: The conclusion doesn't seem to follow. It depends which one is found at the bottom level. It can go up from a basic disposition, to a categorical property, to another disposition - or the other way around.
There are four reasons for seeing categorical properties as the most fundamental [Mumford]
     Full Idea: Four reasons for reducing everything to the categorical are: categorical predicates have wider scope; dispositions are variably realised by the categorical; categorical is 1st order, dispositions 2nd; categorical properties are explanatorily basic.
     From: Stephen Mumford (Dispositions [1998], 08.5)
     A reaction: I particularly reject the fourth reason, as I take categorical properties as still in need of explanation. The categorical view is contingent (and Humean), but I take the categorical properties to be necessitated by the underlying powers.
8. Modes of Existence / B. Properties / 7. Emergent Properties
A lead molecule is not leaden, and macroscopic properties need not be microscopically present [Mumford]
     Full Idea: Though lead is said to be composed of molecules of lead, these molecules are not leaden in the everyday sense of the word. This suggests that a property need not be present at the microscopic level in order to be present at the macroscopic level.
     From: Stephen Mumford (Dispositions [1998], 02.3)
     A reaction: [He quotes Joske] This strikes me as a key principle to grasp about properties. One H2O molecule is not water, any more than a brick is a house! Nearly all properties (or all?) are 'emergent' (in the sensible, non-mystical use of that word).
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards]
     Full Idea: Simons's 'nuclear' option blends features of the substratum and bundle theories. First we have tropes collected by virtue of their internal relations, forming the essential kernel or nucleus. This nucleus then bears the non-essential tropes.
     From: report of Peter Simons (Particulars in Particular Clothing [1994], p.567) by Douglas Edwards - Properties 3.5
     A reaction: [compression of Edwards's summary] This strikes me as being a remarkably good theory. I am not sure of the ontological status of properties, such that they can (unaided) combine to make part of an object. What binds the non-essentials?
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Dispositions are attacked as mere regularities of events, or place-holders for unknown properties [Mumford]
     Full Idea: Dispositions are attacked as either just saying how something will behave (logical fictions about regularities of events), or as primitive pre-scientific terms like 'phlogiston', place-holders used when we are ignorant of real properties.
     From: Stephen Mumford (Dispositions [1998], 01.1)
     A reaction: [compressed] The first view he calls the Ryle-Wittgenstein view, which seems to track back to Hume.
Properties are just natural clusters of powers [Mumford]
     Full Idea: The view of properties I find most attractive is one in which they are natural clusters of, and exhausted by, powers (plus other connections to other properties).
     From: Stephen Mumford (Laws in Nature [2004], 10.6)
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
If dispositions have several categorical realisations, that makes the two separate [Mumford]
     Full Idea: We might claim that dispositions are variably realized by a number of categorical bases; therefore they must be distinct from those bases.
     From: Stephen Mumford (Dispositions [1998], 05.4)
     A reaction: Cars can be realised by a variety of models, therefore models are not cars? This might work if dispositions are only characterised functionally, as Mumford proposes, but I'm not convinced.
Dispositions are classifications of properties by functional role [Mumford]
     Full Idea: A dispositional property is the classification of a property according to its functional role....[p.85] What is essential to a disposition - its identity condition - is its functional role.
     From: Stephen Mumford (Dispositions [1998], 04.5)
     A reaction: This is Mumford's view of dispositions. I am wary of any proposal to define something according to its role, because it must have an intrinsic nature which equips it to have that role.
I say the categorical base causes the disposition manifestation [Mumford]
     Full Idea: The view I promote is one where the categorical base is a cause of the disposition manifestation.
     From: Stephen Mumford (Dispositions [1998], 05.5)
     A reaction: It seems to me (I think) that the most basic thing has to be a power, whose nature is intrinsically beyond our grasp, and that categorical properties are the result of these powers. Powers are dispositional in character.
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
All properties must be causal powers (since they wouldn't exist otherwise) [Mumford]
     Full Idea: It seems that every property must be a causal power, since every property must be causally potent (as a necessary condition of its very existence).
     From: Stephen Mumford (Dispositions [1998], 04.7)
     A reaction: Mumford cautiously endorses this idea, which seems to rest on the thesis that 'to exist is to have causal powers'. I think I am even keener on it than Mumford is. Powers and properties need to be disentangled, however.
Intrinsic properties are just causal powers, and identifying a property as causal is then analytic [Mumford]
     Full Idea: Understanding intrinsic properties as being causal powers is likely to be most profitable, and, if true, renders the causal criterion of property existence true analytically.
     From: Stephen Mumford (Dispositions [1998], 06.2)
     A reaction: [He cites E.Fales on this] I'm inclined to think that in the ultimate ontology the notion of a 'property' drops out. There are true causal powers, and then conventional human ways of grouping such powers together and naming them.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Dispositions are ascribed to at least objects, substances and persons [Mumford]
     Full Idea: Dispositions are ascribed to at least three distinguishable classes of things: objects, substances, and persons.
     From: Stephen Mumford (Dispositions [1998], 01.1)
     A reaction: Are dispositions not also ascribed to properties? Magnetism has a disposition to attract iron filings?
Unlike categorical bases, dispositions necessarily occupy a particular causal role [Mumford]
     Full Idea: The idea of a disposition occupying a different causal role involves a conceptual confusion, ...but there is no conceptual or logical absurdity in a categorical base occupying a different causal role.
     From: Stephen Mumford (Dispositions [1998], 07.3)
     A reaction: This is the core of Mumford's theory of dispositions. I'm beginning to think that dispositions are merely ways we have of describing and labelling functional mechanisms, and so 'dispositions' drop out of the final story.
Dispositions can be contrasted either with occurrences, or with categorical properties [Mumford]
     Full Idea: For some the notion of a disposition is contrasted with the notion of an occurrence; for others, it is contrasted with that of a categorical property.
     From: Stephen Mumford (Dispositions [1998], 01.6)
     A reaction: I vote for dispositions over the other two, but I take the categorical properties to be the main rival.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / b. Dispositions and powers
If dispositions are powers, background conditions makes it hard to say what they do [Mumford]
     Full Idea: The realist says that disposition ascriptions are ascriptions of real powers. This leaves unanswered the question, 'power to do what?' The problem of background conditions means that the realist cannot say what it is that a power is a power to do.
     From: Stephen Mumford (Dispositions [1998], 04.9)
     A reaction: It is hard to say what a disposition will do, under any other account of dispositions. I would take a power to be defined by a 'modal profile', rather than an actual account of what it will lead to.
Maybe dispositions can replace powers in metaphysics, as what induces property change [Mumford]
     Full Idea: Dispositions can regain the metaphysical role traditionally ascribed to real powers: the that-in-virtue-of-which-something-will-G, if F.
     From: Stephen Mumford (Dispositions [1998], 06.9)
     A reaction: The attraction is that dispositions can be specified a little more clearly (especially in Mumford's functional version) whereas there may be no more to say about a power once it has been located and named.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional
Orthodoxy says dispositions entail conditionals (rather than being equivalent to them) [Mumford]
     Full Idea: The orthodox realist view has it that what makes an ascription a disposition ascription is not that it is equivalent to a conditional proposition but that it entails one.
     From: Stephen Mumford (Dispositions [1998], 04.7)
     A reaction: Mumford says that Martin has shown that dispositions need not entail conditionals (when a 'fink' is operating, something which intervenes between disposition and outcome).
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / e. Dispositions as potential
Dispositions are not just possibilities - they are features of actual things [Mumford]
     Full Idea: Dispositions should correctly be understood as more than mere possibilities. To say something has a disposition is to say something about how it is actually.
     From: Stephen Mumford (Dispositions [1998], Pref)
     A reaction: To me this is a basic axiom of metaphysics. The word 'power' serves well for the actual embodiment of a disposition. A power gives rise to one or more dispositions. Or one or more powers give rise to a disposition?
There could be dispositions that are never manifested [Mumford]
     Full Idea: It seems plausible that a disposition could be possessed though no manifestation events occur.
     From: Stephen Mumford (Dispositions [1998], 01.6)
     A reaction: It is more than 'plausible' - it is screamingly obvious to everybody, apart from a few philosophers. "Some mute inglorious Milton here may rest" (Gray's Elegy).
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
If every event has a cause, it is easy to invent a power to explain each case [Mumford]
     Full Idea: Given any event, and the assumption that every event has a cause, then some power can always be invented as the cause of that event.
     From: Stephen Mumford (Dispositions [1998], 06.6)
     A reaction: This is a useful warning, and probably explains why 'powers' fell out of fashion in scientifice theorising. They seem to make a return, though, as an appropriate term for the bottom level of each of our explanations.
Traditional powers initiate change, but are mysterious between those changes [Mumford]
     Full Idea: In the old-fashioned sense, 'powers' are real potentialities that initiate changes but seem to have a mysterious existence in between those changes.
     From: Stephen Mumford (Dispositions [1998], 07.10)
     A reaction: What is a person when they are asleep? What is a dishwasher when it isn't running? What is gunpowder when it doesn't explode? We all understand latent powers. To see them as a 'mystery' is to want to know too much.
Categorical eliminativists say there are no dispositions, just categorical states or mechanisms [Mumford]
     Full Idea: The categorical eliminativist claims that there are no dispositional properties. All properties must be conceived of as categorical states or mechanisms, in the spirit of Boyle's explanation of powers.
     From: Stephen Mumford (Dispositions [1998], 08.3A)
     A reaction: What is the difference between a structure and a mechanism? How do we distinguish an active from an inactive mechanism? Without powers or dispositions, nature is dead junk.
8. Modes of Existence / D. Universals / 1. Universals
Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt]
     Full Idea: Realists feel that the one-place predication 'a is F' leaves something unexplained, yet all that is offered is a two-place predication (a relational statement). There is an equal problem about 'a having F-ness'.
     From: Michael Devitt ('Ostrich Nominalism' or 'Mirage Realism'? [1980], p.97)
     A reaction: I think this is a key argument on the nominalist side - the denial that the theory of universals actually makes any progress at all in giving an explanation of what is going on around here. Platonist have the problem of 'partaking'.
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
A 'porridge' nominalist thinks we just divide reality in any way that suits us [Mumford]
     Full Idea: A 'porridge' nominalist denies natural kinds, and thinks there are no objective divisions in reality, so concepts or words can be used by a community to divide the world up in any way that suits their purposes.
     From: Stephen Mumford (Laws in Nature [2004], 07.3)
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt]
     Full Idea: Talk of 'particulars' and 'universals' clutters the landscape without adding to our understanding. We should rest with the basic fact that a is F.
     From: Michael Devitt ('Ostrich Nominalism' or 'Mirage Realism'? [1980], p.98)
     A reaction: Ramsey was first to challenge the basic distinction. I find the approach of Quine and Devitt unsatisfactory. We abandon explanation when it is totally hopeless, but that is usually in the face of complexity. Properties are difficult but simple.
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Quineans take predication about objects as basic, not reference to properties they may have [Devitt]
     Full Idea: For 'a and b have the same property, F-ness' the Quinean Nominalist has a paraphrase to hand: 'a and b are both F'. ..In denying that this object need have properties, the Quinean is not denying that it really is F.
     From: Michael Devitt ('Ostrich Nominalism' or 'Mirage Realism'? [1980], p.95)
     A reaction: The question that remains is why 'F' is used of both a and b. We don't call a and b 'a', because they are different. Quine falls back on resemblance. I suspect Quineans of hiding behind the semantics.
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
If properties are clusters of powers, this can explain why properties resemble in degrees [Mumford]
     Full Idea: If a cluster of ten powers exhausts property F, and property G differs in respect of just one power, this might explain why properties can resemble other properties and in different degrees.
     From: Stephen Mumford (Laws in Nature [2004], 10.6)
     A reaction: I love this. The most intractable problem about properties and universals is that of abstract reference - pink resembles red more than pink resembles green. If colours are clusters of powers, red and pink share nine out of ten of them.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
To individuate something we must pick it out, but also know its limits of variation [Simons]
     Full Idea: We have not finished deciding what Fido is when we can pick him out from his surroundings at any one time. ...Knowing what Fido is depends on knowing roughly within what limits his flux of parts is tolerable.
     From: Peter Simons (Parts [1987], 5.2)
     A reaction: I like this. We don't know the world until we know its modal characteristics (its powers or dispositions). Have you 'individuated' a hand grenade if you think it is a nice ornament?
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Sortal nouns for continuants tell you their continuance- and cessation-conditions [Simons]
     Full Idea: A sortal noun for a kind of continuant tells us, among other things, under what conditions the object continues to exist and under what conditions it ceases to exist.
     From: Peter Simons (Parts [1987], 6.3)
     A reaction: This sounds blatantly false. If you know something is a 'snake', that doesn't tell you how hot it must get before the snakes die. Obviously if you know all about snakes (from studying individual snakes!), then you know a lot about the next snake.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
A whole requires some unique relation which binds together all of the parts [Simons]
     Full Idea: A whole must at least approximate to this condition: every member of some division of the object stands in a certain relation to every other member, and no member bears this relation to anything other than members of the division.
     From: Peter Simons (Parts [1987], 9.2)
     A reaction: Simons proceeds to formalise this, and I suspect that he goes for this definition because (unlike looser ones) it can be formalised. See Simons's Idea 12865. We'll need to know whether these are internal or external relations.
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Substances, unlike aggregates, can survive a change of parts [Mumford]
     Full Idea: Substances can survive a change in their parts in a way that a mere aggregate of parts.
     From: Stephen Mumford (Metaphysics: a very short introduction [2012], 3)
     A reaction: A simple but very important idea. If we then distinguish between 'substances' and 'aggregates' we get a much clearer grip on things. Is the Ship of Theseus a substance or an aggregate? There is no factual answer to that. What do you want to explain?
9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail
Tibbles isn't Tib-plus-tail, because Tibbles can survive its loss, but the sum can't [Simons]
     Full Idea: There mere fact that Tibbles can survive the mutilation of losing a tail, whereas the sum of Tib and the tail cannot, is enough to distinguish them, even if no such mutilation ever occurs.
     From: Peter Simons (Parts [1987], 6.1)
     A reaction: See Idea 12835 for details of the Tibbles example. Either we go for essentialism here, or the whole notion of identity collapses. But the essential features of a person are not just those whose loss would kill them.
Does Tibbles remain the same cat when it loses its tail? [Simons]
     Full Idea: The cat is 'Tibbles' with a tail; 'Tib' is Tibbles after the loss of the tail. 1) Tibbles isn't Tib at t; 2) Tibbles is Tib at t'; 3) Tibbles at t is Tibbles at t'; 4) Tib at t is Tib at t'; so 5) Tibbles at t is Tib at t (contradicting 1). What's wrong?
     From: Peter Simons (Parts [1987], 3.3)
     A reaction: [The example is in Wiggins 1979, from Geach, from William of Sherwood] Simons catalogues nine assumptions which are being made to produce the contradiction. 1) rests on Leibniz's law. Simons says two objects are occupying Tibbles.
9. Objects / B. Unity of Objects / 3. Unity Problems / d. Coincident objects
Without extensional mereology two objects can occupy the same position [Simons]
     Full Idea: If we reject extensionality in mereology, it has as a consequence that more than one object may have exactly the same parts at the same time, and hence occupy the same position.
     From: Peter Simons (Parts [1987], Intro)
     A reaction: Simons defends this claim. I'm unconvinced that we must choose between the two views. The same parts should ensure the same physical essence, which seems to guarantee the same identity. Not any old parts generate an essence.
9. Objects / C. Structure of Objects / 5. Composition of an Object
Composition is asymmetric and transitive [Simons]
     Full Idea: Composition is asymmetric and transitive: if a is made up of b, and b of c, then a is made up of c; and if a is made of b, then b is not made up of a. We cannot say the snow is made up of the snowball.
     From: Peter Simons (Parts [1987], 6.5)
     A reaction: ...And snowballs composed of snow can then compose a snowman (transitivity).
9. Objects / C. Structure of Objects / 6. Constitution of an Object
A hand constitutes a fist (when clenched), but a fist is not composed of an augmented hand [Simons]
     Full Idea: Composition entails constitution, but does the converse hold? A hand constitutes a fist in virtue of being clenched, but it is not obvious that it composes a fist, and certainly a fist is not composed of a hand plus some additional part.
     From: Peter Simons (Parts [1987], 6.5)
     A reaction: There are subtleties of ordinary usage in 'compose' and 'constitute' which are worth teasing apart, but that isn't the last word on such relationships. 'Compose' seems to point towards matter, while 'constitute' seems to point towards form.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
We say 'b is part of a', 'b is a part of a', 'b are a part of a', or 'b are parts of a'. [Simons]
     Full Idea: There are four cases of possible forms of expression when a is made up of b: we say 'b is part of a', or 'b is a part of a', or 'b are a part of a', or 'b are parts of a'.
     From: Peter Simons (Parts [1987], 6.4)
     A reaction: Personally I don't want to make much of these observations of normal English usage, but they are still interesting, and Simons offers a nice discussion of them.
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Classical mereology says there are 'sums', for whose existence there is no other evidence [Simons]
     Full Idea: Either out of conviction or for reasons of algebraic neatness, classical extensional mereology asserts the existence of certain individuals, mereological sums, for whose existence in general we have no evidence outside the theory itself.
     From: Peter Simons (Parts [1987], Intro)
     A reaction: Observing that we have no evidence for sums 'outside the theory' is nice. It is a nice ontological test, with interesting implications for Quinean ontological commitment.
'Mereological extensionality' says objects with the same parts are identical [Simons]
     Full Idea: Classical extensional mereology won't extend well to temporal and modal facts, because of 'mereological extensionality', which is the thesis that objects with the same parts are identical (by analogy with the extensionality of sets).
     From: Peter Simons (Parts [1987], Intro)
     A reaction: Simons challenges this view, claiming, for example, that the Ship of Theseus is two objects rather than one. I suppose 'my building bricks' might be 'your sculpture', but this is very ontologically extravagant. This is a mereological Leibniz's Law.
If there are c atoms, this gives 2^c - 1 individuals, so there can't be just 2 or 12 individuals [Simons]
     Full Idea: In classical mereology, if there are c atoms, where c is any cardinal number, there are 2^c - 1 individuals, so the cardinality of models is restricted. There are no models with cardinality 2, 12 or aleph-0, for example.
     From: Peter Simons (Parts [1987], 1.2)
     A reaction: The news that there is no possible world containing just 2 or just 12 individuals ought to worry fans of extensional mereology. A nice challenge for God - create a world containing just 12 individuals.
Sums are more plausible for pluralities and masses than they are for individuals [Simons]
     Full Idea: We are on stronger grounds in asserting the general existence of sums when considering pluralities and masses than when considering individuals.
     From: Peter Simons (Parts [1987], 5.2)
     A reaction: I was thinking that the modern emphasis on referring to plurals was precisely to resist the idea that we must 'sum' them into one thing. If so, we wouldn't want to then sum several plurals. If a mass isn't a sum, how can we sum some masses?
Sums of things in different categories are found within philosophy. [Simons]
     Full Idea: Cross-categorial sums are not unknown in philosophy. A body and the events which befall it are intimately connected, and the mysterious four-dimensional blocks might be mereological sums of the body and its life.
     From: Peter Simons (Parts [1987], 8.1)
     A reaction: Simons here ventures into the territory of abstracta, which he said he wouldn't touch. Presumably his first example has 'a biography' as its whole, which is not just a philosophical notion. Why will some categories sum, and others won't?
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
The wholeness of a melody seems conventional, but of an explosion it seems natural [Simons]
     Full Idea: The example of a melody shows that what counts as a temporal individual is partly a matter of human stipulation. But with a natural event like an explosion there is little or no room for decision about what is a part, and whether it is a single event.
     From: Peter Simons (Parts [1987], 9.6)
     A reaction: You could have a go at giving a natural account of the wholeness of a melody, in terms of the little aesthetic explosion that occurs in the brain of a listener.
9. Objects / D. Essence of Objects / 5. Essence as Kind
Objects have their essential properties because of the kind of objects they are [Simons]
     Full Idea: An object has the essential properties it has in virtue of being the kind of object it is.
     From: Peter Simons (Parts [1987], 7.1)
     A reaction: He attributes this to Husserl and Wiggins. I just don't get it. What makes something the 'kind of object it is'? They've got it the wrong way round. Does God announce that this thing is a tiger, and is then pleasantly surprised to discover its stripes?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
We must distinguish the de dicto 'must' of propositions from the de re 'must' of essence [Simons]
     Full Idea: We must distinguish the 'must' of necessity as applied to a proposition or state of affairs (de dicto) from the 'must' of essence, concerning the way in which an object has an attribute (de re).
     From: Peter Simons (Parts [1987], 7.1)
     A reaction: A helfpful distinction, but a possible confusion of necessity and essentiality (Simons knows this). Modern logicians seem to run them together, because they only care about identity. I don't, because I care about explanations.
9. Objects / D. Essence of Objects / 10. Essence as Species
Essentialism concerns the nature of a group, not its category [Devitt]
     Full Idea: Essentialism is concerned with the nature of a group, whatever the category it falls under.
     From: Michael Devitt (Resurrecting Biological Essentialism [2008], 6)
     A reaction: This seems to me such a simple and obvious point that I am amazed that anyone rejects it, yet lots of people seem to think that an essence is just some sort of category.
Things that gradually change, like species, can still have essences [Devitt]
     Full Idea: An intrinsic essence does not have to be 'neat and tidy'. ...Essentialism can accept the gradual change of one thing into another.
     From: Michael Devitt (Resurrecting Biological Essentialism [2008], 11)
     A reaction: My thesis is that essentialism is a response to the needs of explanation, so as long as there is some core explanation to be found, even in something transitory, then the concept of an essence can apply to it.
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
Original parts are the best candidates for being essential to artefacts [Simons]
     Full Idea: Original parts are the best candidates for being essential to artefacts. It is hard to conceive how an object could have as essential a part which was attached at some time after the object had come into being.
     From: Peter Simons (Parts [1987], 7.4)
     A reaction: Without its big new memory upgrade my computer would be hopelessly out of date. Simons is awesome in some ways, but seems rather confused when it comes to discussing essence. I think Wiggins may have been a bad influence on him.
Many artefacts have dispositional essences, which make them what they are [Mumford]
     Full Idea: Thermostats, thermometers, axes, spoons, and batteries have dispositional essences, which make them what they are.
     From: Stephen Mumford (Dispositions [1998], 01.2 iv)
     A reaction: I would have thought that we could extend this proposal well beyond artefacts, but it certainly seems particularly clear in artefacts, where a human intention seems to be inescapably involved.
9. Objects / D. Essence of Objects / 12. Essential Parts
An essential part of an essential part is an essential part of the whole [Simons]
     Full Idea: An essential part of an essential part is an essential part of the whole.
     From: Peter Simons (Parts [1987], 7.4)
     A reaction: Sounds beyond dispute, but worth pondering. It seems to be only type-parts, not token-parts, which are essential. Simons is thinking of identity rather than function, but he rejects Chisholm's idea that all parts are essential. So which ones are?
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
How can we show that a universally possessed property is an essential property? [Mumford]
     Full Idea: Essentialists fail to show how we ascend from being a property universally possessed, by all kind members, to the status of being an essential property.
     From: Stephen Mumford (Laws in Nature [2004], 07.5)
     A reaction: This is precisely where my proposal comes in - the essential properties, as opposed to the accidentaly universals, are those which explain the nature and behaviour of each kind of thing (and each individual thing).
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
Four dimensional-objects are stranger than most people think [Simons]
     Full Idea: The strangeness of four-dimensional objects is almost always underestimated in the literature.
     From: Peter Simons (Parts [1987], 3.4)
     A reaction: See Idea 12836, where he has criticised process ontologists for smuggling in stages and process as being OF conventional objects.
9. Objects / E. Objects over Time / 7. Intermittent Objects
Intermittent objects would be respectable if they occurred in nature, as well as in artefacts [Simons]
     Full Idea: If we could show that intermittence could occur not only among artefacts and higher-order objects, but also among natural things, then we should have given it a secure place on the ontological map.
     From: Peter Simons (Parts [1987], 5.7)
     A reaction: Interesting ontological test. Having identified fairly clear intermittent artefacts (Idea 12851), if we then fail to find any examples in nature, must we revisit the artefacts and say they are not intermittents? He suggests freezing an organ in surgery.
Objects like chess games, with gaps in them, are thereby less unified [Simons]
     Full Idea: Temporal objects which are scattered in time - i.e. have temporal gaps in them, like interrupted discussions or chess games - are less unified than those without gaps.
     From: Peter Simons (Parts [1987], 9.2)
     A reaction: Is he really saying that a discussion or a chess game is less unified if there is even the slightest pause in it? Otherwise, how long must the pause be before it disturbs the unity? Do people play internet chess, as they used to play correspondence chess?
9. Objects / E. Objects over Time / 9. Ship of Theseus
An entrepreneur and a museum curator would each be happy with their ship at the end [Simons]
     Full Idea: At the end of the Ship of Theseus story both an entrepreneur and a museum curator can be content, each having his ship all to himself, ..because each was all along claiming a different object from the other.
     From: Peter Simons (Parts [1987], 5.5)
     A reaction: Simons has the entrepreneur caring about function (for cruises), and the curator caring about matter (as a relic of Theseus). It is bold of Simons to say on that basis that it starts as two objects, one 'matter-constant', the other 'form-constant'.
The 'best candidate' theories mistakenly assume there is one answer to 'Which is the real ship?' [Simons]
     Full Idea: The 'best candidate' theories get into difficulty because it is assumed that there is a single uniquely correct answer to the question 'Which is the real ship?'
     From: Peter Simons (Parts [1987], 5.5)
     A reaction: My own example supports Simons. If Theseus discards the old planks as rubbish, then his smart new ship is the original. But if he steals his own ship (to evade insurance regulations) by substituting a plank at a time, the removed planks are the original.
9. Objects / E. Objects over Time / 12. Origin as Essential
The zygote is an essential initial part, for a sexually reproduced organism [Simons]
     Full Idea: It is essential to an organism arising from sexual reproduction that it has its zygote as initial improper part.
     From: Peter Simons (Parts [1987], 7.3)
     A reaction: It can't be necessary that an organism which appears to be sexually reproduced actually is so (if you don't believe that, read more science fiction). It may well just be analytic that sexual reproduction involves a zygote. Nothing to do with essence.
10. Modality / B. Possibility / 3. Combinatorial possibility
Maybe possibilities are recombinations of the existing elements of reality [Mumford]
     Full Idea: It has been suggested that we could think of possibilities as recombinations of all the existing elements of reality.
     From: Stephen Mumford (Metaphysics: a very short introduction [2012], 8)
     A reaction: [Armstrong 1989 is the source] The obvious problem would be that the existence of an entirely different reality would be impossible, if this was all possibility could be. It seems to cramp the style of the possible too much. Are properties elements?
Combinatorial possibility has to allow all elements to be combinable, which seems unlikely [Mumford]
     Full Idea: The combinatorial account only works if you allow that the elements are recombinable. ...But could Lincoln really have been green? It seems possible that you could jump to the moon, unless we impose some restrictions.
     From: Stephen Mumford (Metaphysics: a very short introduction [2012], 8)
     A reaction: Mumford suggests different combination rules for logical and natural possibility. The general objection is that combinatorial possibility is too permissive - which it clearly is.
Combinatorial possibility relies on what actually exists (even over time), but there could be more [Mumford]
     Full Idea: Can combinatorial possibility deliver enough possibilities? It uses the existing elements, but there might have been one more particular or one more property. Even extended over time, the elements seem finite, yet there could have been more.
     From: Stephen Mumford (Metaphysics: a very short introduction [2012], 8)
     A reaction: [compressed] One objection is that the theory allows too much, and now the objection is that it allows too little. Both objections are correct, so that's the end of that. But I admire the attempt to base modality on actuality.
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Truth-functional conditionals can't distinguish whether they are causal or accidental [Mumford]
     Full Idea: If a conditional remains truth-functional it is incapable of expressing the fact that the connection between antecedent and consequent in the conditional is a causal one rather than merely accidental
     From: Stephen Mumford (Dispositions [1998], 03.8)
     A reaction: This is the first step towards an account of conditionals which will work in real life rather than merely in classical logic.
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Dispositions are not equivalent to stronger-than-material conditionals [Mumford]
     Full Idea: The conclusion that disposition ascriptions are not equivalent to stronger-than-material conditionals is largely to be accepted.
     From: Stephen Mumford (Dispositions [1998], 04.7)
     A reaction: [he attributes the view to C.B.Martin 1994] It is hard to see how to describe a disposition in anything other than conditional terms. Mumford's 'functional role' probably has to be described conditionally. It is how the conditional cashes out.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
The limits of change for an individual depend on the kind of individual [Simons]
     Full Idea: What determines the limits of admissible change and secures the identity of a continuant is a matter of the kind of object in question.
     From: Peter Simons (Parts [1987], 9.6)
     A reaction: This gives some motivation for the sortal view of essence, which I find hard to take. However, if my statue were pulverised it would make good compost.
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt]
     Full Idea: Why should we accept that necessities can only be known a priori? Prima facie, some necessities are known empirically; for example, that water is necessarily H2O, and that Hesperus is necessarily Phosphorus.
     From: Michael Devitt (There is no a Priori [2005], §2)
     A reaction: An important question, whatever your view. If the only thing we can know a priori is necessities, it doesn't follow that necessities can only be known a priori. It gets interesting if we say that some necessities can never be known a priori.
How could the mind have a link to the necessary character of reality? [Devitt]
     Full Idea: What non-experiential link to reality could support insights into its necessary character?
     From: Michael Devitt (There is No A Priori (and reply) [2005], 4)
     A reaction: The key to it, I think, is your theory of mind. If you are a substance dualist, then connecting to such deep things looks fine, but if you are a reductive physicalist then it looks absurdly hopeful.
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt]
     Full Idea: We have no need to turn to an a priori explanation of our knowledge of mathematics and logic. Our intuitions that this knowledge is not justified in some direct empirical way is preserved. It is justified in an indirect holistic way.
     From: Michael Devitt (There is no a Priori [2005], §2)
     A reaction: I think this is roughly the right story, but the only way it will work is if we have some sort of theory of abstraction, which gets us up the ladder of generalisations to the ones which, it appears, are necessarily true.
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
The idea of the a priori is so obscure that it won't explain anything [Devitt]
     Full Idea: The whole idea of the a priori is too obscure for it to feature in a good explanation of our knowledge of anything.
     From: Michael Devitt (There is no a Priori [2005], §3)
     A reaction: I never like this style of argument. It would be nice if all the components of all our our explanations were crystal clear. Total clarity about anything is probably a hopeless dream, and we may have to settle for murky corners in all explanations.
Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt]
     Full Idea: It is overwhelmingly plausible that some knowledge is empirical. The attractive thesis of naturalism is that all knowledge is; there is only one way of knowing.
     From: Michael Devitt (There is No A Priori (and reply) [2005], 1)
     A reaction: How many ways for us to know seems to depend on what faculties we have. We lump our senses together under a single heading. The arrival of data is not the same as the arrival of knowledge. I'm unconvinced that naturalists like me must accept this.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Nomothetic explanations cite laws, and structural explanations cite mechanisms [Mumford]
     Full Idea: A nomothetic explanation appeals to laws where the explanandum is shown to be an instance of a general law. ...The alternative is a structural explanation, which postulates a mechanism, opening up a hidden world.
     From: Stephen Mumford (Dispositions [1998], 06.4)
     A reaction: [He cites E.McMullin 1978] I am very much in favour of structural explanations, and opposed to nomothetic ones. That is, nomothetic accounts are only the first step towards an explanation - perhaps a mere identification of the explanandum.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
General laws depend upon the capacities of particulars, not the other way around [Mumford]
     Full Idea: Laws, qua true generalities, if they exist at all, are ontologically parasitic upon the capacities of particulars, rather than the other way round.
     From: Stephen Mumford (Dispositions [1998], 10.6)
     A reaction: Quite so. And hence trying to explain a particular behaviour by saying that it falls under a law is absurdly circular and vacuous.
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
If fragile just means 'breaks when dropped', it won't explain a breakage [Mumford]
     Full Idea: If fragile means nothing more than 'breaks when dropped', then it is no explanation of why something breaks when dropped.
     From: Stephen Mumford (Dispositions [1998], 06.5)
     A reaction: His point is that you have to unpack the notion of fragile, which presumably cites underlying mechanisms. This is the 'virtus dormitiva' problem - but that explanation of opium's dormitive powers is not entirely stupid.
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
Maybe dispositions can replace the 'laws of nature' as the basis of explanation [Mumford]
     Full Idea: I will consider the case for an ontology of real dispositions replacing the so-called laws of nature as the basic building blocks of explanation.
     From: Stephen Mumford (Dispositions [1998], 10.1)
     A reaction: This precisely summarises the view I am exploring, with a particular focus on real essences. I certainly think the 'laws of nature' must go. See Mumford's second book on this.
To avoid a regress in explanations, ungrounded dispositions will always have to be posited [Mumford]
     Full Idea: The nature of explanation is such that ungrounded dispositions will always have to be posited in order to avoid a regress of explanation.
     From: Stephen Mumford (Dispositions [1998], 10.6)
     A reaction: This seems to be right, but leaves it open to mock the proposals as 'virtus dormitiva' - empty place-holders that ground explanations but do no explanatory work. What else can be done, though?
Subatomic particles may terminate explanation, if they lack structure [Mumford]
     Full Idea: The behaviour of subatomic particles cannot be further analysed into structures and this may tempt us to regard these as instances of 'brute' ungrounded dispositions which end any possible regress of explanation.
     From: Stephen Mumford (Dispositions [1998], 06.4)
     A reaction: This seems right, if it is 'structural' explanations we are after (as I think we are) which look for mechanisms. An electron seems to be just three dispositions and no structure, so there is nothing more to say. Ladyman scorns this account.
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
Ontology is unrelated to explanation, which concerns modes of presentation and states of knowledge [Mumford]
     Full Idea: Nothing about ontology is at stake in questions of explanation, for explanatory success is contingent upon the modes of presentation of explanans and explananda, and relative states of knowledge and ignorance.
     From: Stephen Mumford (Dispositions [1998], 06.8)
     A reaction: There are real facts about the immediate and unusual causes which immediately precede an event, and these might be candidates for a real explanation. There are also real mechanisms and powers which dictate a things behaviour.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Any equivalence relation among similar things allows the creation of an abstractum [Simons]
     Full Idea: Whenever we have an equivalence relation among things - such as similarity in a certain respect - we can abstract under the equivalence and consider the abstractum.
     From: Peter Simons (Modes of Extension: comment on Fine [2008], p.19)
     A reaction: This strikes me as dressing up old-fashioned psychological abstractionism in the respectable clothing of Fregean equivalences (such as 'directions'). We can actually do what Simons wants without the precision of partitioned equivalence classes.
Abstraction is usually seen as producing universals and numbers, but it can do more [Simons]
     Full Idea: Abstraction as a cognitive tool has been associated predominantly with the metaphysics of universals and of mathematical objects such as numbers. But it is more widely applicable beyond this standard range. I commend its judicious use.
     From: Peter Simons (Modes of Extension: comment on Fine [2008], p.21)
     A reaction: Personally I think our view of the world is founded on three psychological principles: abstraction, idealisation and generalisation. You can try to give them rigour, as 'equivalence classes', or 'universal quantifications', if it makes you feel better.
20. Action / A. Definition of Action / 2. Duration of an Action
With activities if you are doing it you've done it, with performances you must finish to have done it [Simons]
     Full Idea: Action theorists distinguish between activity verbs such as 'weep' and 'talk' (where continuous entails perfect - John is weeping so John has now wept), and performance verbs like 'wash', where John is washing doesn't yet mean John has washed.
     From: Peter Simons (Parts [1987], 4.2)
     A reaction: How to distinguish them, bar examples? In 'has wept' and 'has washed', I'm thinking that it is the 'has' which is ambiguous, rather than the more contentful word. One is 'has participated' and the other is 'has completed'. I've participated in washing!
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
One false note doesn't make it a performance of a different work [Simons]
     Full Idea: A performance of a certain work with a false note is still a performance of that work, albeit a slightly imperfect one, and not (as Goodman has argued) a performance of a different work.
     From: Peter Simons (Parts [1987], 7.6)
     A reaction: This is clearly right, but invites the question of how many wrong notes are permissable. One loud very wrong note could ruin a very long performance (but of that work, presumably). This is about classical music, but think about jazz.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Some kinds are very explanatory, but others less so, and some not at all [Devitt]
     Full Idea: Explanatory significance, hence naturalness, comes in degrees: positing some kinds may be very explanatory, positing others, only a little bit explanatory, positing others still, not explanatory at all.
     From: Michael Devitt (Natural Kinds and Biological Realism [2009], 4)
     A reaction: He mentions 'cousin' as a natural kind that is not very explanatory of anything. It interests us as humans, but not at all in other animals, it seems. ...Nice thought, though, that two squirrels might be cousins...
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Natural kinds, such as electrons, all behave the same way because we divide them by dispositions [Mumford]
     Full Idea: Regularities exist because we classify kinds on the basis of their dispositions, not on pre-established divisions of kinds. The dispositions are the basis for the division into kinds, which is why all electrons behave in the same way.
     From: Stephen Mumford (Dispositions [1998], 10.7)
     A reaction: This strikes me as being so obvious that it is hardly worth saying, and yet an enormous number of philosophers seem to have been led up the garden path by the notion of a 'kind', probably under the influence of Kripke, Putnam and Wiggins.
26. Natural Theory / C. Causation / 1. Causation
Causation interests us because we want to explain change [Mumford]
     Full Idea: Like Aristotle, the reason we are really interested in causation is because we want to be able to explain change.
     From: Stephen Mumford (Contemporary Efficient Causation: Aristotelian themes [2014], 8)
     A reaction: This pinpoints a very important and simple idea. It raises the question (among others) of whether we have just invented this thing called 'causation', because no explanation of change was visible. Hume certainly couldn't see any explanation.
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
Singular causes, and identities, might be necessary without falling under a law [Mumford]
     Full Idea: One might have a singularist view of causation in which a cause necessitates its effect, but they need not be subsumed under a law, ..and there are identities which are metaphysically necessary without being laws of nature.
     From: Stephen Mumford (Laws in Nature [2004], 04.5)
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
We can give up the counterfactual account if we take causal language at face value [Mumford]
     Full Idea: If we take causal language at face value and give up reducing causal concepts to non-causal, non-modal concepts, we can give up the counterfactual dependence account.
     From: Stephen Mumford (Laws in Nature [2004], 10.5)
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
It is only properties which are the source of necessity in the world [Mumford]
     Full Idea: If laws do not give the world necessity, what does? I argue the positive case for it being properties, and properties alone, that do the job (so we might call them 'modal properties').
     From: Stephen Mumford (Laws in Nature [2004], 10.1)
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
In the 'laws' view events are basic, and properties are categorical, only existing when manifested [Mumford]
     Full Idea: In the 'laws' world view, events are the basic ontological unit and properties are parasitic upon them. Properties exist only in virtue of their instantiation in events. Properties are categorical, because they are only manifested in the present.
     From: Stephen Mumford (Dispositions [1998], 10.2)
     A reaction: Mumford rejects this view, and I am with him all the way. The first requirement is that properties be active, and not inert. See Leibniz on this.
There are four candidates for the logical form of law statements [Mumford]
     Full Idea: The contenders for the logical form of a law statement are 1) a universally quantified conditional, 2) a second-order relation between first-order universals, 3) a functional equivalence, and 4) a dispositional characteristic of a natural kind.
     From: Stephen Mumford (Laws in Nature [2004], 10.3)
26. Natural Theory / D. Laws of Nature / 3. Laws and Generalities
Without laws, how can a dispositionalist explain general behaviour within kinds? [Mumford]
     Full Idea: The problem is how, without general laws, can the dispositionalist explain why generalities in behaviour are true of kinds.
     From: Stephen Mumford (Dispositions [1998], 10.3)
     A reaction: And the answer is to make kinds depend on individuals, and not vice versa, and then point to the necessary patterns that arise from conjunctions of individual dispositions, given their identity in many individuals.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Dretske and Armstrong base laws on regularities between individual properties, not between events [Mumford]
     Full Idea: The improved Dretske/Armstrong regularity view of laws dispenses with the empiricist articulation of them in terms of events, and construes them as singular statements of fact that describe relations between properties.
     From: Stephen Mumford (Dispositions [1998], 10.4)
     A reaction: They then seem to go a bit mystical, by insisting that the properties are 'universals' (even if they have to be instantiated). Universals explain nothing.
Pure regularities are rare, usually only found in idealized conditions [Mumford]
     Full Idea: Pure regularities are not nearly as common as might have been thought, and are usually only to be found in simplified or idealized conditions.
     From: Stephen Mumford (Laws in Nature [2004], 05.3)
     A reaction: [He cites Nancy Cartwright 1999 for this view]
Regularity laws don't explain, because they have no governing role [Mumford]
     Full Idea: A regularity-law does not explain its instances, because such laws play no role in determining or governing their instances.
     From: Stephen Mumford (Laws in Nature [2004], 09.7)
     A reaction: Good. It has always seemed to me entirely vacuous to explain an event simply by saying that it falls under some law.
It is a regularity that whenever a person sneezes, someone (somewhere) promptly coughs [Mumford]
     Full Idea: It is no doubt a true regularity that every time I sneeze, someone, somewhere in the world, immediately coughs.
     From: Stephen Mumford (Dispositions [1998], 10.4)
     A reaction: Not a huge problem for the regularity theory of laws, but the first challenge that it must meet.
Regularities are more likely with few instances, and guaranteed with no instances! [Mumford]
     Full Idea: It seems that the fewer the instances, the more likely it is that there be a regularity, ..and if there are no cases at all, and no S is P, that is a regularity.
     From: Stephen Mumford (Laws in Nature [2004], 03.3)
     A reaction: [He attributes the second point to Molnar]
Would it count as a regularity if the only five As were also B? [Mumford]
     Full Idea: While it might be true that for all x, if Ax then Bx, would we really want to count it as a genuine regularity in nature if only five things were A (and all five were also B)?
     From: Stephen Mumford (Laws in Nature [2004], 03.3)
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
If the best system describes a nomological system, the laws are in nature, not in the description [Mumford]
     Full Idea: If the world really does have its own nomological structure, that a systematization merely describes, why are the laws not to be equated with the nomological structure itself, rather than with the system that describes it?
     From: Stephen Mumford (Laws in Nature [2004], 03.4)
The best systems theory says regularities derive from laws, rather than constituting them [Mumford]
     Full Idea: The best systems theory (of Mill-Ramsey-Lewis) says that laws are not seen as regularities but, rather, as those things from which regularities - or rather, the whole world history including the regularities and everything else - can be derived.
     From: Stephen Mumford (Laws in Nature [2004], 03.4)
     A reaction: Put this way, the theory invites questions about ontology. Regularities are just patterns in physical reality, but axioms are propositions. So are they just features of human thought, or do these axioms actuallyr reside in reality. Too weak or too strong.
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
Laws of nature are necessary relations between universal properties, rather than about particulars [Mumford]
     Full Idea: The core of the Dretske-Tooley-Armstrong view of the late 70s is that we have a law of nature when we have a relation of natural necessitation between universals. ..The innovation was that laws are about properties, and only indirectly about particulars.
     From: Stephen Mumford (Laws in Nature [2004], 06.2)
     A reaction: It sounds as if we should then be able to know the laws of nature a priori, since that was Russell's 1912 definition of a priori knowledge.
If laws can be uninstantiated, this favours the view of them as connecting universals [Mumford]
     Full Idea: If there are laws that are instantiated in no particulars, then this would seem to favour the theory that laws connect universals rather than particulars.
     From: Stephen Mumford (Laws in Nature [2004], 06.4)
     A reaction: There is a dispute here between the Platonic view of uninstantiated universals (Tooley) and the Aristotelian instantiated view (Armstrong). Mumford and I prefer the dispositional account.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
The necessity of an electron being an electron is conceptual, and won't ground necessary laws [Mumford]
     Full Idea: The logical necessity of physical laws is not required by dispositional essentialism. An electron would not be an electron if its behaviour were different from the behaviour it has in the actual world, but this necessity is purely conceptual.
     From: Stephen Mumford (Dispositions [1998], 10.8)
     A reaction: [He is particularly aiming this at Ellis and Lierse 1994] This may be missing the point. Given those electron dispositions, the electrons necessitate law-like happenings. Whether a variable entity is called an 'electron' is trivial.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Laws of nature are just the possession of essential properties by natural kinds [Mumford]
     Full Idea: If dispositional essentialism is granted, then there is a law of nature wherever there is an essential property of a natural kind; laws are just the havings of essential properties by natural kinds.
     From: Stephen Mumford (Laws in Nature [2004], 07.2)
     A reaction: [He is expounding Ellis's view]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Some dispositions are so far unknown, until we learn how to manifest them [Mumford]
     Full Idea: It seems reasonable to assume that there are some dispositions of some things of which we are not aware because we have not yet discovered the way to get these dispositions to manifest.
     From: Stephen Mumford (Dispositions [1998], 03.7)
     A reaction: This strikes me as a pretty good description of what scientists are currently doing when, for example, they build a new particle accelerator.
To distinguish accidental from essential properties, we must include possible members of kinds [Mumford]
     Full Idea: Where properties are possessed by all kind members, we must distinguish the accidental from essential ones by considering all actual and possible kind members.
     From: Stephen Mumford (Laws in Nature [2004], 07.5)
     A reaction: This is why we must treat possibilities as features of the actual world.
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
The Central Dilemma is how to explain an internal or external view of laws which govern [Mumford]
     Full Idea: The Central Dilemma about laws of nature is that, if they have some governing role, then they must be internal or external to the things governed, and it is hard to give a plausible account of either view.
     From: Stephen Mumford (Laws in Nature [2004], 09.2)
     A reaction: This dilemma is the basis of Mumford's total rejection of 'laws of nature'. I think I agree.
You only need laws if you (erroneously) think the world is otherwise inert [Mumford]
     Full Idea: Laws are a solution to a problem that was misconceived. Only if you think that the world would be otherwise inactive or inanimate, do you have the need to add laws to your ontology.
     From: Stephen Mumford (Laws in Nature [2004], 01.5)
     A reaction: This is a bold and extreme view - and I agree with it. I consider laws to be quite a useful concept when discussing nature, but they are not part of the ontology, and they don't do any work. They are metaphysically hopeless.
There are no laws of nature in Aristotle; they became standard with Descartes and Newton [Mumford]
     Full Idea: Laws do not appear in Aristotle's metaphysics, and it wasn't until Descartes and Newton that laws entered the intellectual mainstream.
     From: Stephen Mumford (Laws in Nature [2004], 01.5)
     A reaction: Cf. Idea 5470.
27. Natural Reality / G. Biology / 5. Species
We name species as small to share properties, but large enough to yield generalisations [Devitt]
     Full Idea: Our explanatory purposes in introducing a name for a species demand that we draw the lines around a group that is small enough to share a whole lot of important properties and large enough to yield broad generalizations.
     From: Michael Devitt (Resurrecting Biological Essentialism [2008], 10 'Arb')
     A reaction: Grist to my mill. In this reaction slot (16th Oct 2013) I launch my new metaphysical school - welcome to EXPLANATIONISM! Folk metaphysics, and the best philosophical metaphysics, is entirely driven by the needs of explanation.
Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG]
     Full Idea: The four main concepts of a species are 'phenetic' (similarity of traits), 'biological species' (interbreeding and isolated), 'ecological niche' (occupying an adaptive zone), or 'phylogenetic-cladistic' (start and finish at splits in lineage)
     From: report of Michael Devitt (Resurrecting Biological Essentialism [2008], 4) by PG - Db (ideas)
     A reaction: [my summary of Devitt's list] Devitt attacks the whole lot, in favour of essentialism - the species being fixed by its underlying explanatory mechanisms.
The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt]
     Full Idea: The signs are that the higher categories are not natural kinds and so the Linnaean hierarchy must be abandoned. ...This is not abandoning a hierarchy altogether, it is not abandoning a tree of life.
     From: Michael Devitt (Natural Kinds and Biological Realism [2009], 6)
     A reaction: Devitt's underlying point is that the higher and more general kinds do not have an essence (a specific nature), which is the qualification to be a natural kind. They explain nothing. Essence is the hallmark of natural kinds. Hmmm.
Species pluralism says there are several good accounts of what a species is [Devitt]
     Full Idea: Species pluralism is the view that there are several equally good accounts of what it is to be a species.
     From: Michael Devitt (Natural Kinds and Biological Realism [2009], 7)
     A reaction: Devitt votes for it, and cites Dupré, among many other. Given the existence of rival accounts, all making good points, it is hard to resist this view.