22 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. |
| 7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
| Full Idea: We should abandon the idea that the use of plural forms commits us to the existence of sets/classes… Entities are not to be multiplied beyond necessity. There are not two sorts of things in the world, individuals and collections. | |
| From: George Boolos (To be is to be the value of a variable.. [1984]), quoted by Henry Laycock - Object | |
| A reaction: The problem of quantifying over sets is notoriously difficult. Try http://plato.stanford.edu/entries/object/index.html. |
| 10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
| Full Idea: Is there, in addition to the 200 Cheerios in a bowl, also a set of them all? And what about the vast number of subsets of Cheerios? It is haywire to think that when you have some Cheerios you are eating a set. What you are doing is: eating the Cheerios. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
| A reaction: In my case Boolos is preaching to the converted. I am particularly bewildered by someone (i.e. Quine) who believes that innumerable sets exist while 'having a taste for desert landscapes' in their ontology. |
| 10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
| Full Idea: Boolos has proposed an alternative understanding of monadic, second-order logic, in terms of plural quantifiers, which many philosophers have found attractive. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 3.5 |
| 10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
| Full Idea: In an indisputable technical result, Boolos showed how plural quantifiers can be used to interpret monadic second-order logic. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984], Intro) by Øystein Linnebo - Plural Quantification Exposed Intro |
| 10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
| Full Idea: Boolos discovered that any sentence of monadic second-order logic can be translated into plural first-order logic. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984], §1) by Øystein Linnebo - Plural Quantification Exposed p.74 |
| 10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
| Full Idea: Indispensable to cross-reference, lacking distinctive content, and pervading thought and discourse, 'identity' is without question a logical concept. Adding it to predicate calculus significantly increases the number and variety of inferences possible. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.54) | |
| A reaction: It is not at all clear to me that identity is a logical concept. Is 'existence' a logical concept? It seems to fit all of Boolos's criteria? I say that all he really means is that it is basic to thought, but I'm not sure it drives the reasoning process. |
| 13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
| Full Idea: Boolos proposes that second-order quantifiers be regarded as 'plural quantifiers' are in ordinary language, and has developed a semantics along those lines. In this way they introduce no new ontology. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Foundations without Foundationalism 7 n32 | |
| A reaction: This presumably has to treat simple predicates and relations as simply groups of objects, rather than having platonic existence, or something. |
| 10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
| Full Idea: Standard second-order existential quantifiers pick out a class or a property, but Boolos suggests that they be understood as a plural quantifier, like 'there are objects' or 'there are people'. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: This idea has potential application to mathematics, and Lewis (1991, 1993) 'invokes it to develop an eliminative structuralism' (Shapiro). |
| 10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
| Full Idea: Abandon the idea that use of plural forms must always be understood to commit one to the existence of sets of those things to which the corresponding singular forms apply. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.66) | |
| A reaction: It seems to be an open question whether plural quantification is first- or second-order, but it looks as if it is a rewriting of the first-order. |
| 7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
| Full Idea: Boolos virtually patented the new device of plural quantification. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by José A. Benardete - Logic and Ontology | |
| A reaction: This would be 'there are some things such that...' |
| 21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
| Full Idea: "I see nobody on the road," said Alice. - "I only wish I had such eyes," the King remarked. ..."To be able to see Nobody! ...Why, it's as much as I can do to see real people." | |
| From: Lewis Carroll (C.Dodgson) (Through the Looking Glass [1886], p.189), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7 | |
| A reaction: [Moore quotes this, inevitably, in a chapter on Hegel] This may be a better candidate for the birth of philosophy of language than Frege's Groundwork. |
| 10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
| Full Idea: Ontological commitment is carried by first-order quantifiers; a second-order quantifier needn't be taken to be a first-order quantifier in disguise, having special items, collections, as its range. They are two ways of referring to the same things. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
| A reaction: If second-order quantifiers are just a way of referring, then we can see first-order quantifiers that way too, so we could deny 'objects'. |
| 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. |
| 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] |
| 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). |
| 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. |