27 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. |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| Full Idea: Natural language includes connectives that are not truth-functional. In order for 'p because q' to be true, both p and q have to be true, but knowing the simpler sentences are true doesn't determine whether the larger sentence is true. | |
| From: Vann McGee (Logical Consequence [2014], 2) |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| Full Idea: To get any advantage from moving to second-order logic, we need to assign to second-order variables a role different from merely ranging over collections made up of things the first-order variables range over. | |
| From: Vann McGee (Logical Consequence [2014], 7) | |
| A reaction: Thus it is exciting if they range over genuine properties, but not so exciting if you merely characterise those properties as sets of first-order objects. This idea leads into a discussion of plural quantification. |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| Full Idea: We can get a less ontologically perilous presentation of the semantics of the predicate calculus by using sets instead of concepts. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: The perilous versions rely on Fregean concepts, and notably Russell's 'concept that does not fall under itself'. The sets, of course, have to be ontologically secure, and so will involve the iterative conception, rather than naive set theory. |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| Full Idea: Logically valid sentences are a species of analytic sentence, being true not just in virtue of the meanings of their words, but true in virtue of the meanings of their logical words. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: A helpful link between logical truths and analytic truths, which had not struck me before. |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| Full Idea: Soundness theorems are seldom very informative, since typically we use informally, in proving the theorem, the very same rules whose soundness we are attempting to establish. | |
| From: Vann McGee (Logical Consequence [2014], 5) | |
| A reaction: [He cites Quine 1935] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| Full Idea: One of the culminating achievements of Euclidean geometry was categorical axiomatisations, that describe the geometric structure so completely that any two models of the axioms are isomorphic. The axioms are second-order. | |
| From: Vann McGee (Logical Consequence [2014], 7) | |
| A reaction: [He cites Veblen 1904 and Hilbert 1903] For most mathematicians, categorical axiomatisation is the best you can ever dream of (rather than a single true axiomatisation). |
| 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. |
| 7301 | The phenomenalist says that to be is to be perceivable [Cardinal/Hayward/Jones] |
| Full Idea: Where the idealist says that to be (i.e. to exist) is to be perceived, the phenomenalist says that to be is to be perceivable. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: This is a nice phenomenalist slogan to add to Mill's well known one (Idea 3583). Expressed in this form, it looks false to me. What about neutrinoes? They weren't at all perceivable until recently. Maybe some physical stuff can never be perceived. |
| 7302 | Linguistic phenomenalism says we can eliminate talk of physical objects [Cardinal/Hayward/Jones] |
| Full Idea: Linguistic phenomenalism argues that it is possible to remove all talk of physical objects from our speech with no loss of meaning. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: I find this proposal unappealing. My basic objection is that I cannot understand why anyone would refuse to even contemplate the question of WHY I am having a given group of consistent experiences, of (say) a table kind. |
| 7303 | If we lack enough sense-data, are we to say that parts of reality are 'indeterminate'? [Cardinal/Hayward/Jones] |
| Full Idea: The problem with taking sense-data as basic is that some data can appear indeterminate. If we can't discern the colour of someone's eyes, or the number of sides of a complex figure, are we to say that there is no fact about those things? | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: I like that. How many electrons are there in the sun? Such things cannot just be reduced to talk of sense-data, as there is obviously a vast gap between the data and the facts. As usual, ontology and epistemology must be kept separate. |
| 7299 | Primary qualities can be described mathematically, unlike secondary qualities [Cardinal/Hayward/Jones] |
| Full Idea: All the primary qualities lend themselves readily to mathematical or geometric description. ...but it seems that secondary qualities are less amenable to being represented mathematically. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: As a believer in the primary/secondary distinction, I welcome this point. This is either evidence for the external reality of primary qualities, or an interesting observation about maths. Do we make the primary/secondary distinction because we do maths? |
| 7300 | An object cannot remain an object without its primary qualities [Cardinal/Hayward/Jones] |
| Full Idea: An object cannot lack shape, size, position or motion and remain an object. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: This points towards the essentialist view (see Idea 5453). This does raise the question of whether an object could lose its colour with impugnity, or the quality of sound that it makes when struck. |
| 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. |
| 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] |
| 7297 | My justifications might be very coherent, but totally unconnected to the world [Cardinal/Hayward/Jones] |
| Full Idea: My beliefs could be well justified in coherentist terms, while not accurately representing the world, and my system of beliefs could be completely free-floating. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.3) | |
| A reaction: This nicely encapsulates to correspondence objection to coherence theory. One thing missing from the coherence account is that beliefs aren't chosen for their coherence, but are mostly unthinkingly triggered by experiences. |
| 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. |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
| Full Idea: If our linguistic conventions entitle us to assert a sentence, they thereby make it true, because of the maxim that 'truth is the norm of assertion'. | |
| From: Vann McGee (Logical Consequence [2014], 8) | |
| A reaction: You could only really deny that maxim if you had no belief at all in truth, but then you can assert anything you like (with full entitlement). Maybe you can assert anything you like as long as it doesn't upset anyone? Etc. |
| 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. |