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

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

[nature of existence commitments]

21 ideas
Whenever there's speech it has to be about something [Plato]
     Full Idea: Whenever there's speech it has to be about something. It's impossible for it not to be about something.
     From: Plato (The Sophist [c.359 BCE], 262e)
     A reaction: [Quoted by Marcus about ontological commitment] The interesting test case would be speech about the existence of circular squares.
For Frege, ontological questions are to be settled by reference to syntactic structures [Frege, by Wright,C]
     Full Idea: For Frege, syntactic categories are prior to ontological ones, and it is by reference to the syntactic structure of true statements that ontological questions are to be understood and settled.
     From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Crispin Wright - Frege's Concept of Numbers as Objects 1.v
'Existence' means that a propositional function is sometimes true [Russell]
     Full Idea: When you take any propositional function and assert of it that it is possible, that it is sometimes true, that gives you the fundamental meaning of 'existence'.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918]), quoted by Colin McGinn - Logical Properties Ch.2
     A reaction: Functions depend on variables, so this leads to Quine's slogan "to be is to be the value of a variable". Assertions of non-existence are an obvious problem, but Russell thought of all that. All of this makes existence too dependent on language.
A linguistic framework involves commitment to entities, so only commitment to the framework is in question [Carnap]
     Full Idea: If someone accepts a framework for a kind of entities, then he must admit the entities as possible designata. Thus the question of the admissibility of entities is reduced to the question of the acceptability of the linguistic framework for the entities.
     From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 4)
     A reaction: Despite the many differences of opinion between Quine and Carnap, this appears to be a straight endorsement by Carnap of the Quinean conception of ontological commitment.
Names have no ontological commitment, because we can deny that they name anything [Quine]
     Full Idea: I think there is no commitment to entities through use of alleged names of them; other things being equal, we can always deny the allegation that the words in question are names.
     From: Willard Quine (On Carnap's Views on Ontology [1951], p.205)
     A reaction: Hm. So why can't you deny that variables actually refer to existing entities? If I say 'I just saw James', it's a bit cheeky to then deny that James refers to anyone. He uses Russell's technique to paraphrase names.
General terms don't commit us ontologically, but singular terms with substitution do [Quine]
     Full Idea: The use of general terms does not commit us to admitting a corresponding abstract entity into our ontology, but an abstract singular term, including the law of putting equals for equals, flatly commits us to an abstract entity named by the term.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 4)
     A reaction: Does this mean that in 'for the sake of the children', I have to believe in 'sakes' if I can find a synonym which will substitute for it?
What actually exists does not, of course, depend on language [Quine]
     Full Idea: Ontological controversy tends into controversy over language, but we must not jump to the conclusion that what there is depends on words.
     From: Willard Quine (On What There Is [1948], p.16)
     A reaction: An important corrective to my constant whinge against philosophers who treat ontology as if it were semantics, of whom Quine is the central villain. Quine was actually quite a sensible chap.
A logically perfect language could express all truths, so all truths must be logically expressible [Quine, by Hossack]
     Full Idea: Quine's test of ontological commitment says that anything that can be said truly at all must be capable of being said in a logically perfect language, so there must be a paraphrase of every truth into the language of logic.
     From: report of Willard Quine (works [1961]) by Keith Hossack - Plurals and Complexes 2
     A reaction: A very nice statement of the Quinean view, much more persuasive than other statements I have encountered. I am suddenly almost converted to a doctrine I have hitherto despised. Isn't philosophy wonderful?
Our commitments are to an 'ontology', but also to an 'ideology', or conceptual system [Hintikka]
     Full Idea: We must distinguish between what we are committed to existing in the actual world or a possible world ('ontology'), and what we are committed to as a part of our ways of dealing with the world conceptually, as a part of our conceptual system ('ideology').
     From: Jaakko Hintikka (Semantics for Propositional Attitudes [1969], p.95), quoted by William Lycan - The Trouble with Possible Worlds 02
     A reaction: I think this is the most illuminating idea I have read on the subject of ontological commitment. I'm fighting for the idea that what we think is true should be kept separate from what we think exists. Ideology is a nice addition to the mix.
The context principle for names rules out a special philosophical sense for 'existence' [Dummett]
     Full Idea: The dictum that a name has meaning only in the context of a sentence repudiates the conception of a special philosophical sense of 'existence', which claims that numbers do not exist while affirming existential statements about them.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: He refers to Frege's Context Principle. Personally I would say you could make plenty of 'affirmations' about arithmetic without them having to be 'existential'. I can say there 'is' a number between 6 and 8, without huge existential claims.
The objects we recognise the world as containing depends on the structure of our language [Dummett]
     Full Idea: What objects we recognise the world as containing depends upon the structure of our language.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: The background to this claim is the Fregean idea that there are no objects for us if there are no concepts. Dummett is adding that there are no concepts if there is no language. I say animals have concepts and recognise objects.
You can reduce ontological commitment by expanding the logic [Field,H]
     Full Idea: One can often reduce one's ontological commitments by expanding one's logic.
     From: Hartry Field (Science without Numbers [1980], p.ix)
     A reaction: I don't actually understand this idea, but that's never stopped me before. Clearly, this sounds like an extremely interesting thought, and hence I should aspire to understand it. So I do aspire to understand it. First, how do you 'expand' a logic?
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
     Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5)
     A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy.
Ontology must include the minimum requirements for our semantics [Jacquette]
     Full Idea: The entities included in a theoretical ontology are those minimally required for an adequate philosophical semantics. ...These are the objects that we say exist, to which we are ontologically committed.
     From: Dale Jacquette (Ontology [2002], Pref)
     A reaction: Worded with exquisite care! He does not say that ontology is reducible to semantics (which is a silly idea). We could still be committed, as in a ghost story, to existence of some 'nameless thing'. Things utterly beyond our ken might exist.
Two of the main rivals for the foundations of ontology are substances, and facts or states-of-affairs [Lowe]
     Full Idea: One of the chief rivals to my own substance-based ontology is the view that holds facts or states of affairs to be the building-blocks of the world.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], Pref)
     A reaction: I think I side with Lowe, even though I am uneasy about the gap between the philosopher's 'substance' and the basic entities of physics. Facts are hard to individuate, and seem to be composed of more basic elements.
Some abstractions exist despite lacking causal powers, because explanation needs them [Lowe]
     Full Idea: Some abstract objects, notably certain universals, need to be invoked for explanatory purposes, even if it cannot be said that they themselves possess causal powers or enter into causal relations.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.2)
     A reaction: I am unconvinced that an entity with no causal powers could be any kind of explanation, given that, by definition, it can't do anything. You would have to think that the world of pure reason functioned without the aid of causal powers.
Modern metaphysics often derives ontology from the logical forms of sentences [Azzouni]
     Full Idea: It is widespread in contemporary metaphysics to extract commitments to various types of object on the basis of the logical form of certain sentences.
     From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7)
     A reaction: I'm with Azzouni in thinking that this procedure is a very bad idea. I'm increasingly inclined towards the wild view that people are only ontologically committed to things if they explicitly say that they are so committed.
We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo]
     Full Idea: Some philosophers speak about a theory's 'ideological commitments' and not just about its 'ontological commitments'.
     From: Øystein Linnebo (Plural Quantification [2008], 5.4)
     A reaction: This is a third strategy for possibly evading one's ontological duty, along with fiddling with the words 'exist' or 'object'. An ideological commitment to something to which one is not actually ontologically committed conjures up stupidity and dogma.
We are committed to a 'group' of children, if they are sitting in a circle [Hossack]
     Full Idea: By Quine's test of ontological commitment, if some children are sitting in a circle, no individual child can sit in a circle, so a singular paraphrase will have us committed to a 'group' of children.
     From: Keith Hossack (Plurals and Complexes [2000], 2)
     A reaction: Nice of why Quine is committed to the existence of sets. Hossack offers plural quantification as a way of avoiding commitment to sets. But is 'sitting in a circle' a real property (in the Shoemaker sense)? I can sit in a circle without realising it.
Rival ontological claims can both be true, if there are analytic relationships between them [Thomasson]
     Full Idea: Where there are analytic interrelations among our claims, distinct ontological claims may be true without rivalry, redundancy, or reduction.
     From: Amie L. Thomasson (Ordinary Objects [2007], 10)
     A reaction: Thus we might, I suppose, that it is analytically necessary that a lump of clay has a shape, and that a statue be made of something. Interesting.
We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA]
     Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment'
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6)
     A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two.