structure for 'Existence'    |     alphabetical list of themes    |     unexpand these ideas

7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems

[troubles with theories of commitment]

17 ideas
To our consciousness it is language which looks unreal [Feuerbach]
     Full Idea: To sensuous consciousness it is precisely language that is unreal, nothing.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.77)
     A reaction: Offered as a corrective to the view that our ontological commitments entirely concern what we are willing to say.
Russell showed that descriptions may not have ontological commitment [Russell, by Linsky,B]
     Full Idea: Russell's theory of definite descriptions allows us to avoid being ontologically committed to objects simply by virtue of using descriptions which seemingly denote them.
     From: report of Bertrand Russell (On Denoting [1905]) by Bernard Linsky - Quantification and Descriptions 1.1.2
     A reaction: This I take to be why Russell's theory is a famous landmark. I personally take ontological commitment to be independent of what we specifically say. Others, like Quine, prefer to trim what we say until the commitments seem sound.
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.
If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine]
     Full Idea: If Quine restricts himself to first-order predicate calculus, then the ontological implications concern the subjects of predicates. The nature of predicates, and what must be true for the predication, have disappeared from the radar screen.
     From: comment on Willard Quine (On What There Is [1948]) by Tim Maudlin - The Metaphysics within Physics 3.1
     A reaction: Quine's response, I presume, is that the predicates can all be covered extensionally (red is a list of the red objects), and so a simpler logic will do the whole job. I agree with Maudlin though.
If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine]
     Full Idea: To apply Quine's criterion that to be is to be the value of a quantifier-bound variable, we must already know the values of bound variables, which is to say that we must already be in possession of a preferred existence domain.
     From: comment on Willard Quine (On What There Is [1948], Ch.6) by Dale Jacquette - Ontology
     A reaction: [A comment on Idea 1610]. Very nice to accuse Quine, of all people, of circularity, given his attack on analytic-synthetic with the same strategy! The values will need to be known extra-lingistically, to avoid more circularity.
Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine]
     Full Idea: Quine's advice is to countenance numbers iff the literal part of our theory quantifies over them; and to count the part of our theory that quantifies over numbers literal iff there turn out really to be numbers.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Stephen Yablo - Does Ontology Rest on a Mistake? XIII
     A reaction: This sounds a bit devastating. Presumably it is indeed the choice of a best theory which results in the ontological commitment, so it is not much help to then read off the ontology from the theory.
If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C]
     Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics.
     From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2)
     A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course.
Our best theories may commit us to mathematical abstracta, but that doesn't justify the commitment [Papineau]
     Full Idea: Our empirically best-supported theories may commit us to certain abstract mathematical entities, but this does not necessarily mean that this is what justifies our commitment. That we are committed doesn't explain why we should be.
     From: David Papineau (Philosophical Insignificance of A Priori Knowledge [2010], §4)
     A reaction: A nice point. It is only a slightly gormless scientism which would say that we have to accept whatever scientists demand. Who's in charge here - scientists, mathematicians or philosophers? Don't answer that...
All scientific tests will verify mathematics, so it is a background, not something being tested [Sober]
     Full Idea: If mathematical statements are part of every competing hypothesis, then no matter which hypothesis comes out best in the light of observations, they will be part of the best hypothesis. They are not tested, but are a background assumption.
     From: Elliott Sober (Mathematics and Indispensibility [1993], 45), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: This is a very nice objection to the Quine-Putnam thesis that mathematics is confirmed by the ongoing successes of science.
Our quantifications only reveal the truths we accept; the ontology and truthmakers are another matter [Heil]
     Full Idea: Looking at what you quantify over reveals, at most, truths to which you are committed. What the ontology is, what the truthmakers are for these truths, is another matter, one tackled, if at all, only in the pursuit of fundamental physics.
     From: John Heil (The Universe as We Find It [2012], 08.08)
     A reaction: Exactly right. Nouns don't guarantee objects, verbs don't guarantee processes. If you want to know my ontological commitments, ask me about them! Don't infer them from the sentences I hold true, because they need interpreting.
The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy]
     Full Idea: The case of atoms makes it clear that the indispensable appearance of an entity in our best scientific theory is not generally enough to convince scientists that it is real.
     From: Penelope Maddy (Naturalism in Mathematics [1997], II.6)
     A reaction: She refers to the period between Dalton and Einstein, when theories were full of atoms, but there was strong reluctance to actually say that they existed, until the direct evidence was incontrovertable. Nice point.
If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara]
     Full Idea: If mathematics shares whatever confirmation accrues to the theories using it, would it not be reasonable to suppose that mathematics shares whatever disconfirmation accrues to the theories using it?
     From: Charles Chihara (A Structural Account of Mathematics [2004], 05.8)
     A reaction: Presumably Quine would bite the bullet here, although maths is much closer to the centre of his web of belief, and so far less likely to require adjustment. In practice, though, mathematics is not challenged whenever an experiment fails.
No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara]
     Full Idea: Evidently, no scientific explanations of specific phenomena would collapse as a result of any hypothetical discovery that no mathematical objects exist.
     From: Charles Chihara (A Structural Account of Mathematics [2004], 09.1)
     A reaction: It is inconceivable that anyone would challenge this claim. A good model seems to be drama; a play needs commitment from actors and audience, even when we know it is fiction. The point is that mathematics doesn't collapse either.
Naïve translation from natural to formal language can hide or multiply the ontology [Maudlin]
     Full Idea: Naïve translation from natural language into formal language can obscure necessary ontology as easily as it can create superfluous ontological commitment. …The lion's share of metaphysical work is done when settling on the right translation.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1)
     A reaction: I suspect this is more than a mere problem of 'naivety', but may be endemic to the whole enterprise. If you hammer a square peg into a round hole, you expect to lose something. Language is subtle, logic is crude.
In the vernacular there is no unequivocal ontological commitment [Azzouni]
     Full Idea: There are no linguistic devices, no idioms (not 'there is', not 'exists') that unequivocally indicate ontological commitment in the vernacular.
     From: Jody Azzouni (Deflating Existential Consequence [2004], Intro)
     A reaction: This seems right, since people talk in such ways about soap opera, while understanding the ontological situation perfectly well. Presumably Quine is seeking higher standards than the vernacular, if we are doing science.
We only get ontology from semantics if we have already smuggled it in [Azzouni]
     Full Idea: A slogan: One can't read ontological commitments from semantic conditions unless one has already smuggled into those semantic conditions the ontology one would like to read off.
     From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3)
     A reaction: The arguments supporting this are subtle, but it's good enough for me, as I never thought anyone was ontologically committed just because they used the vagueries of language to try to say what's going on around here.
Ordinary speakers posit objects without concern for ontology [Linnebo]
     Full Idea: Maybe ordinary speakers aren't very concerned about their ontological commitments, and sometimes find it convenient to posit objects.
     From: Øystein Linnebo (Plural Quantification [2008], 2.4)
     A reaction: I think this is the whole truth about the ontological commitment of ordinary language. We bring abstraction under control by pretending it is a world of physical objects. The 'left wing' in politics, 'dark deeds', a 'huge difference'.