21 ideas
| 5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
| Full Idea: Quine charges quantified modal systems of logic with giving rise to unintended sense or nonsense, committing us to an incomprehensible ontology, and entailing an implausible or unsustainable Aristotelian essentialism. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by Joseph Melia - Modality Ch.3 | |
| A reaction: A nice summary. Personally I like essentialism in accounts of science (see Nature|Laws of Nature|Essentialism), so would like to save it in metaphysics. Possible worlds ontology may be very surprising, rather than 'incomprehensible'. |
| 8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
| Full Idea: Quine said higher-order logic is 'set theory in sheep's clothing', and there is concern about the ontology that is involved. One approach is to deny quantificational ontological commitments, or say that the entities involved are first-order objects. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by B Hale / C Wright - Logicism in the 21st Century 8 | |
| A reaction: [compressed] The second strategy is from Boolos. This question seems to be right at the heart of the strategy of exploring our ontology through the study of our logic. |
| 16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
| Full Idea: It has been fairly common in philosophy early and late to distinguish between being, as the broadest concept, and existence, as narrower. This is no distinction of mine; I mean 'exist' to cover all there is. | |
| From: Willard Quine (Existence and Quantification [1966], p.100) | |
| A reaction: I sort of agree with Quine, but 'being' has a role in philosophy that is not required in science and daily life, as the name of the central problem of ontology, which probably has to be broken down before any progress can happen. |
| 16965 | All we have of general existence is what existential quantifiers express [Quine] |
| Full Idea: Existence is what existential quantification expresses. …It is unreasonable to ask for an explication of (general) existence in simpler terms. …We may still ask what counts as evidence for existential quantifications. | |
| From: Willard Quine (Existence and Quantification [1966], p.97) | |
| A reaction: This has been orthodoxy for the last 60 years, with philosophers talking of 'quantifying over' instead of 'exists'. But are we allowed second-order logic, and plural quantification, and vague domains? |
| 16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
| Full Idea: In the quantification '(∃)(x=a)', it is the existential quantifier, not the 'a' itself, which carries the existential import. | |
| From: Willard Quine (Existence and Quantification [1966], p.94) | |
| A reaction: The Fregean idea seems to be that the criterion of existence is participation in an equality, but here the equality seems not more than assigning a name. Why can't I quantify over 'sakes', in 'for the sake of the children'? |
| 16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
| Full Idea: Another way of saying what objects a theory requires is to say that they are the objects that some of the predicates of the theory have to be true of, in order for the theory to be true. | |
| From: Willard Quine (Existence and Quantification [1966], p.95) | |
| A reaction: The other was for the objects to be needed by the bound variables of the theory. This is the first-order approach, that predication is a commitment to an object. So what of predicates which have no application? |
| 4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
| Full Idea: According to Quine, we find the ontological commitments of a theory by expressing it in first-order predicate logic, then determining what kind of entities must be admitted as bound variables if the theory is true. | |
| From: report of Willard Quine (Existence and Quantification [1966]) by E.J. Lowe - A Survey of Metaphysics p.216 | |
| A reaction: To me this is horribly wrong. The ontological commitments of our language is not the same as ontology. What are the ontological commitments of a pocket calculator? |
| 18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
| Full Idea: I hold that the question of the ontological commitment of a theory does not properly arise except as that theory is expressed in classical quantificational form. | |
| From: Willard Quine (Existence and Quantification [1966], p.106) | |
| A reaction: He is attacking substitutional quantification for its failure to commit. I smell circularity. If it must be quantified in the first-order classical manner, that restricts your ontology to objects before you've even started. Chicken/egg. |
| 14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
| Full Idea: Quine's test for ontological commitment ignores the fact that there are often implicit commitments to certain kinds of entities even where we are not yet quantifying over them. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by Amie L. Thomasson - Ordinary Objects 09.4 | |
| A reaction: Put this with the obvious problem (of which Quine is aware) that we don't quantify over 'sakes' in 'for the sake of the children', and quantification and commitment have been rather clearly pulled apart. |
| 16961 | In formal terms, a category is the range of some style of variables [Quine] |
| Full Idea: In terms of formalized quantification theory, each category comprises the range of some distinctive style of variable. | |
| From: Willard Quine (Existence and Quantification [1966], p.92) | |
| A reaction: I add this for those who dream of formalising everything, but be warned that even Quine thought it of little help in deciding on the categories. Presumably there would be some variable that ranged across tigers. |
| 9169 | A statement can be metaphysically necessary and epistemologically contingent [Putnam] |
| Full Idea: A statement can be (metaphysically) necessary and epistemologically contingent. Human intuition has no privileged access to metaphysical necessity. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.160) | |
| A reaction: The terminology here is dangerously confusing. 'Contingent' is a term which (as Kripke insists) refers to reality, not to our epistemological abilities. The locution of adding the phrase "for all I know" seems to handle the problem better. |
| 5819 | Conceivability is no proof of possibility [Putnam] |
| Full Idea: Conceivability is no proof of possibility. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.159) | |
| A reaction: This strikes me as a really basic truth which all novice philosophers should digest. It led many philosophers, especially rationalists, into all sorts of ill-founded claims about what is possible or necessary. Zombies, for instance… |
| 9168 | I can't distinguish elm trees, but I mean by 'elm' the same set of trees as everybody else [Putnam] |
| Full Idea: My concept of an elm tree is exactly the same as my concept of a beech tree (I blush to confess). ..We still say that the extension of 'elm' in my idiolect is the same as the extension of 'elm' in anyone else's, viz. the set of all elm trees. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.154) | |
| A reaction: This example is clearer and less open to hair-splitting than his water/XYZ example. You could, with Putnam, say that his meaning of 'elm' is outside his head, but you could also say that he doesn't understand the word very well. |
| 5820 | 'Water' has an unnoticed indexical component, referring to stuff around here [Putnam] |
| Full Idea: Our theory can be summarized as saying that words like 'water' have an unnoticed indexical component: "water" is stuff that bears a certain similarity relation to the water around here. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.160) | |
| A reaction: This is the causal theory of reference, which leads to externalism about concepts, which leads to an externalist view of thought, which undermines internal accounts of the mind like functionalism, and leaves little room for scepticism… Etc. |
| 9170 | We need to recognise the contribution of society and of the world in determining reference [Putnam] |
| Full Idea: Traditional semantic theory leaves out two contributions to the determination of reference - the contribution of society and the contribution of the real world; a better semantic theory must encompass both. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.161) | |
| A reaction: I strongly agree that there is a social aspect to reference-fixing, but I am much more dubious about the world 'determining' anything. The whole of his Twin Earth point could be mopped up by a social account, with 'experts' as the key idea. |
| 5817 | Language is more like a cooperative steamship than an individual hammer [Putnam] |
| Full Idea: There are tools like a hammer used by one person, and there are tools like a steamship which require cooperative activity; words have been thought of too much on the model of the first sort of tool. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.156) | |
| A reaction: This clear thought strikes me as the most fruitful and sensible consequence of Wittgenstein's later ideas (as opposed to the relativistic 'language game' ideas). I am unconvinced that a private language is logically impossible, but it would be feeble. |
| 20416 | By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp] |
| Full Idea: By 1790 the idea that a central task for the aesthetician was to explain or at least adequately to describe the phenomenon of the individual artistic genius had definitely taken hold. | |
| From: Gary Kemp (Croce and Collingwood [2012], Intro) | |
| A reaction: Hence when Kant and Hegel write about art, though are only really thinking of the greatest art (which might be in touch with the sublime or Spirit etc.). Nowadays I think we expect accounts of art to cover modest amateur efforts as well. |
| 20417 | Expression can be either necessary for art, or sufficient for art (or even both) [Kemp] |
| Full Idea: Seeing art as expression has two components: 1) if something is a work of art, then it is expressive, 2) if something is expressive, then it is a work of art. So expression can be necessary or sufficient for art. (or both, for Croce and Collingwood). | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: I take the idea that art 'expresses' the feelings of an artist to be false. Artists are more like actors. Nearly all art has some emotional impact, which is of major importance, but I don't think 'expression' is a very good word for that. |
| 20419 | We don't already know what to express, and then seek means of expressing it [Kemp] |
| Full Idea: One cannot really know, or be conscious of, what it is that one is going to express, and then set about expressing it; indeed if one is genuinely conscious of it then one has already expressed it. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: That pretty conclusively demolishes the idea that art is expression. I picture Schubert composing at the piano: he doesn't feel an emotion, and then hunt for its expression on the keyboard; he seeks out expressive phrases by playing. |
| 20418 | The horror expressed in some works of art could equallly be expressed by other means [Kemp] |
| Full Idea: The horror or terror of Edvard Much's 'The Scream' could in principle be expressed by different paintings, or even by works of music. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: A very good simple point against the idea that the point of art is expression. It leaves out the very specific nature of each work of art! |
| 5818 | If water is H2O in the actual world, there is no possible world where it isn't H2O [Putnam] |
| Full Idea: Once we have discovered that water (in the actual world) is H2O, nothing counts as a possible world in which water isn't H2O. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.159) | |
| A reaction: Presumably there could be a possible world in which water is a bit cloudy, so the fact that it is H2O is being judged as essential. Presumably the scientists in the possible world might discover that we are wrong about the chemistry of water? |