26 ideas
| 15957 | Essential definitions show the differences that discriminate things, and make them what they are [Boyle] |
| Full Idea: Essential definitions are such as are taken from the essential differences of things, which constitute them in such a sort of natural bodies, and discriminate them from all those of any other sort. | |
| From: Robert Boyle (The Origin of Forms and Qualities [1666], p.41?), quoted by Peter Alexander - Ideas, Qualities and Corpuscles | |
| A reaction: I don't think this goes as far as the aim Aristotle had in definitions, which was more than merely to 'discriminate' each thing. A full definition explains the thing as well. |
| 16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
| Full Idea: 'Numerical identity' implies the controversial view that it is the only identity relation in accordance with which we can properly count (or number) things: x and y are to be properly counted as one just in case they are numerically identical. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: Noonan cites Geach, presumably to remind us of relative identity, where two things may be one or two, depending on what they are relative to. The one 'guard on the gate' may actually be two men. |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 15965 | Boyle attacked a contemporary belief that powers were occult things [Boyle, by Alexander,P] |
| Full Idea: Boyle attacks an idea of powers, held by some modern schoolmen and chemists, that makes powers occult. | |
| From: report of Robert Boyle (The Origin of Forms and Qualities [1666]) by Peter Alexander - Ideas, Qualities and Corpuscles 03.3 | |
| A reaction: [This involves Boyle's famous example of a key having the power to turn a lock] On p.86 Alexander says the 'occult' belief is in affinities, antipathies, attractions and repulsions. How did Boyle explain magnetism? |
| 16735 | In the 17th century, 'disposition' usually just means the spatial arrangement of parts [Boyle, by Pasnau] |
| Full Idea: In Locke and Boyle, 'disposition' and its various cognates are standardly used to refer to the corpuscular structure of a body - the spatial arrangement of its parts - without reflecting any commitment to a dispositional property. | |
| From: report of Robert Boyle (The Origin of Forms and Qualities [1666]) by Robert Pasnau - Metaphysical Themes 1274-1671 23.2 | |
| A reaction: Here as a warning against enthusiasts for dispositional properties misreadigmg 17th century texts to their supposed advantage. Pasnau says none of them believe in dispositional properties or real powers. |
| 16034 | Form is not a separate substance, but just the manner, modification or 'stamp' of matter [Boyle] |
| Full Idea: I understand the word 'form' to mean, not a real substance distinct from matter, but only the matter itself of a natural body, with its peculiar manner of existence [corpuscular structure], which may be called its 'essential modification' or 'stamp'. | |
| From: Robert Boyle (The Origin of Forms and Qualities [1666], p.324), quoted by Jan-Erik Jones - Real Essence §3 | |
| A reaction: I don't think Aristotle ever thought that a form was separate from its matter, let alone qualifying as a substance. On the whole, Boyle attacks scholastic philosophy, rather than Aristotle. |
| 15953 | To cite a substantial form tells us what produced the effect, but not how it did it [Boyle] |
| Full Idea: If it be demanded why rhubarb purges choler, snow dazzles the eyes rather than grass etc., that these effects are performed by substantial forms of the respective bodies is at best but to tell me what is the agent, not how the effect is wrought. | |
| From: Robert Boyle (The Origin of Forms and Qualities [1666], p.47?), quoted by Peter Alexander - Ideas, Qualities and Corpuscles 01.2 | |
| A reaction: This is the problem of the 'virtus dormitiva' of opium (which at least tells you it was the opium what done it). I take Aristotle to have aspired to a lot more than this. He wanted a full definition, which would contain lots of information about the form. |
| 16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
| Full Idea: Persons have different modal properties from the summations of person-stages. …I might have died when I was five. But the maximal summation of person-stages which perdurantists say is me could not have had a temporal extent of a mere five years. | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: Thus the summation of stages seems to fail Leibniz's Law, since truths about a part are not true of the whole. But my foot might be amputated without me being amputated. The objection is the fallacy of composition? |
| 16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
| Full Idea: Stage theorists, accepting the ontology of perdurance, modify the semantics to secure the result that fatness is a property of a cat. Every temporal part of a cat (such as Tabby-on-Monday) is a cat. …(but they pay a price over the counting of cats). | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: [Noonan cites Hawley and Sider for this view. The final parenthesis compresses Noonan] I would take the difficulty over counting cats to be fatal to the view. It produces too many cats, or too few, or denies counting altogether. |
| 16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
| Full Idea: If identity is problematic, it is difficult to see how the problem could be resolved, since it is difficult to see how a thinker could have the conceptual resources with which to explain the concept of identity whilst lacking that concept itself. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: I don't think I accept this. We can comprehend the idea of a mind that didn't think in terms of identities (at least for objects). I suppose any relation of a mind to the world has to distinguish things in some way. Does the Parmenidean One have identity? |
| 16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
| Full Idea: Numerical identity is usually defined as the equivalence relation (or: the reflexive relation) satisfying Leibniz's Law, the indiscernibility of identicals, where everything true of x is true of y. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: Noonan says this must include 'is identical to x' among the truths, and so is circular |
| 16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
| Full Idea: Identity can be circularly defined, as 'the relation everything has to itself and to nothing else', …or as 'the smallest equivalence relation'. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The first one is circular because 'nothing else' implies identity. The second is circular because it has to quantify over all equivalence relations. (So says Noonan). |
| 16020 | Identity can only be characterised in a second-order language [Noonan] |
| Full Idea: There is no condition in a first-order language for a predicate to express identity, rather than indiscernibility within the resources of the language. Leibniz's Law is statable in a second-order language, so identity can be uniquely characterised. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The point is that first-order languages only refer to all objects, but you need to refer to all properties to include Leibniz's Law. Quine's 'Identity, Ostension and Hypostasis' is the source of this idea. |
| 16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
| Full Idea: Leibniz's Law (the indiscernibility of identicals) appears to be crucial to our understanding of identity, and, more particularly, to our understanding of distinctness. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: True, but indiscernibility concerns the epistemology, and identity concerns the ontology. |
| 16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
| Full Idea: Leibniz's Law must be clearly distinguished from the substitutivity principle, that if 'a' and 'b' are codesignators they are substitutable salva veritate. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: He gives a bunch of well-known problem cases for substitutivity. The Morning Star, Giorgione, and the number of planets won't work. Belief contexts, or facts about spelling, may not be substitutable. |
| 15964 | Boyle's secondary qualities are not illusory, or 'in the mind' [Boyle, by Alexander,P] |
| Full Idea: There is no suggestion in Boyle that secondary qualities are, unlike primary qualities, somehow illusory, subjective or 'in the mind'. | |
| From: report of Robert Boyle (The Origin of Forms and Qualities [1666]) by Peter Alexander - Ideas, Qualities and Corpuscles 03.3 | |
| A reaction: [Alexander goes on to say that his also applied to Locke] |
| 15962 | Boyle's term 'texture' is not something you feel, but is unobservable structures of particles [Boyle, by Alexander,P] |
| Full Idea: Perhaps Boyle's most important technical terms is 'texture'. ...It must not be confused with the way we feel the texture of a surface like sandpaper or velvet; it is rather a structure of unobservable particles and so it is not directly observable. | |
| From: report of Robert Boyle (The Origin of Forms and Qualities [1666]) by Peter Alexander - Ideas, Qualities and Corpuscles 03.2 | |
| A reaction: This is the basis for Alexander's reassessment of what Boyle and Locke meant by a 'secondary quality', which, he says, is a physical feature of objects, not a mental experience. |
| 16736 | Explanation is generally to deduce it from something better known, which comes in degrees [Boyle] |
| Full Idea: Generally speaking, to render a reason of an effect or phenomenon is to deduce it from something else in nature more known than itself, and consequently there may be diverse kinds of degrees of explication of the same thing. | |
| From: Robert Boyle (Certain Physical Essays [1672], II:21), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.4 | |
| A reaction: There is a picture of a real explanatory structure to nature, from which we pick bits that interest us for entirely pragmatic reasons. Boyle and I are as one on this matter. |
| 15960 | Explanation is deducing a phenomenon from some nature better known to us [Boyle] |
| Full Idea: Explicating a phenomenon is to deduce it from something else in nature more known to us than the thing to be explained by it. | |
| From: Robert Boyle (The Origin of Forms and Qualities [1666], p.46?), quoted by Peter Alexander - Ideas, Qualities and Corpuscles | |
| A reaction: Interesting that the word 'deduce' is here, beloved of the 'covering law' view. But this may be deduced from the behaviour of other substances, as the iron filing behaviour may be explained by the magnet itself (or perhaps 'laws' of magnetism). |
| 16737 | The best explanations get down to primary basics, but others go less deep [Boyle] |
| Full Idea: Explications be most satisfactory that show how the effect is produced by the more primitive affects of matter (bulk, shape and motion) but are not to be despised that deduce them from more familiar qualities such as heat, weight, fluidity, fermentation. | |
| From: Robert Boyle (Certain Physical Essays [1672], II:22), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.4 | |
| A reaction: [Compressed, and continued from Idea 16736] So there is a causal structure, and the best explanations go to the bottom of it, but lesser explanations only go half way down. So a very skimpy explanation ('dormative power') is still an explanation. |
| 15952 | The corpuscles just have shape, size and motion, which explains things without 'sympathies' or 'forces' [Boyle, by Alexander,P] |
| Full Idea: In Boyle's corpuscular philosophy, all material substances are composed of minute particles or corpuscles, with ordinary properties such as shape, size and motion. There was no need for occult relations between them, such as sympathies, or even forces. | |
| From: report of Robert Boyle (The Origin of Forms and Qualities [1666]) by Peter Alexander - Ideas, Qualities and Corpuscles 01.1 |
| 15972 | The corpuscular theory allows motion, but does not include forces between the particles [Boyle, by Alexander,P] |
| Full Idea: Though there is motion, the corpuscles will not be dynamic because the idea of forces between the particles or groups of them does not figure in the theory. | |
| From: report of Robert Boyle (The Origin of Forms and Qualities [1666]) by Peter Alexander - Ideas, Qualities and Corpuscles 5.2 | |
| A reaction: This is the view of Locke, as well as of Boyle. I quote this because I take to it be a particular target of Leibniz's disagreement. |
| 15961 | I don't see how mere moving matter can lead to the bodies of men and animals, and especially their seeds [Boyle] |
| Full Idea: I confess I cannot well conceive how from matter, barely put into motion and left to itself, there could emerge such curious fabricks as the bodies of men and perfect animals, and more admirably contrived parcels of matter, as seeds of living creatures. | |
| From: Robert Boyle (The Sceptical Chemist [1661], p.569), quoted by Peter Alexander - Ideas, Qualities and Corpuscles | |
| A reaction: This is here to show that one of the most brilliant intellects of the seventeenth century thought carefully about this question and couldn't answer it. Natural selection really was a rather clever idea. |