Ontological commitment

Last updated

An ontological commitment of a language is one or more objects postulated to exist by that language. The 'existence' referred to need not be 'real', but exist only in a universe of discourse. As an example, legal systems use vocabulary referring to 'legal persons' that are collective entities that have rights. One says the legal doctrine has an ontological commitment to non-singular individuals. [1]

Contents

In information systems and artificial intelligence, where an ontology refers to a specific vocabulary and a set of explicit assumptions about the meaning and usage of these words, an ontological commitment is an agreement to use the shared vocabulary in a coherent and consistent manner within a specific context. [2]

In philosophy, a "theory is ontologically committed to an object only if that object occurs in all the ontologies of that theory." [3]

Background

The sentence “Napoleon is one of my ancestors” apparently commits us only to the existence of two individuals (i.e., Napoleon and the speaker) and a line of ancestry between them. The fact that no other people or objects are mentioned seems to limit the “commitment” of the sentence. However, it is well known that sentences of this kind cannot be interpreted in first-order logic, where individual variables stand for individual things. Instead, they must be represented in some second-order form. In ordinary language, such second-order forms use either grammatical plurals or terms such as “set of” or “group of”.

For example, the sentence involving Napoleon can be rewritten as “any group of people that includes me and the parents of each person in the group must also include Napoleon,” which is easily interpreted as a statement in second-order logic (one would naturally start by assigning a name, such as G, to the group of people under consideration). Formally, collective noun forms such as “a group of people” are represented by second-order variables, or by first-order variables standing for sets (which are well-defined objects in mathematics and logic). Since these variables do not stand for individual objects, it seems we are “ontologically committed” to entities other than individuals — sets, classes, and so on. As Quine puts it,

the general adoption of class variables of quantification ushers in a theory whose laws were not in general expressible in the antecedent levels of logic. The price paid for this increased power is ontological: objects of a special and abstract kind, viz. classes, are now presupposed. Formally it is precisely in allowing quantification over class variables α, β, etc., that we assume a range of values for these variables to refer to. To be assumed as an entity is to be assumed as a value of a variable. (Methods of Logic, 1950, p. 228)

Another statement about individuals that appears “ontologically innocent” is the well-known Geach–Kaplan sentence: Some critics admire only one another.

Quine's criterion

Willard Van Orman Quine provided an early and influential formulation of ontological commitment: [4]

If one affirms a statement using a name or other singular term, or an initial phrase of 'existential quantification', like 'There are some so-and-sos', then one must either (1) admit that one is committed to the existence of things answering to the singular term or satisfying the descriptions, or (2) provide a 'paraphrase' of the statement that eschews singular terms and quantification over so-and sos. Quine's criterion can be seen as a logical development of the methods of Bertrand Russell and G.E. Moore, who assumed that one must accept the existence of entities corresponding to the singular terms used in statements one accepts, unless and until one finds systematic methods of paraphrase that eliminate these terms. [5]

— Michael J. Loux & Dean W. Zimmerman, The Oxford Handbook of Metaphysics, 2003, p. 4

The purpose of Quine's strategy is to determine just how the ontological commitment of a theory is to be found. Quine argued that the only ontologically committing expressions are variables bound by a first-order existential quantifier, and natural language expressions which were formalized using variables bound by first-order existential quantifiers. [6] [7]

Attempts have been made to argue that predicates are also ontologically committing, and thus that subject-predicate sentences bear additional ontological commitment to abstract objects such as universals, sets, or classes. It has been suggested that the use of meaningful names in nonexistence statements such as "Pegasus does not exist" brings with it an ontological commitment to empty names like Pegasus, a quandary referred to as Plato's beard and escaped by using quantifiers. [8]

This discussion has a connection to the Carnap–Quine argument over analytic and synthetic objects. [9] Although Quine refers to 'ontological commitment' in this connection, [10] in his rejection of the analytic/synthetic distinction he does not rely upon the formal translation of any particular theory along the lines he has suggested. [11] Instead, Quine argues by using examples that although there are tautological statements in a formal theory, like "all squares are rectangles", a formal theory necessarily contains references to objects that are not tautological, but have external connections. That is, there is an ontological commitment to such external objects. In addition, the terms used to interpret the application of the theory are not simply descriptions of sensory input, but are statements in a context. That is, inversely, there is an ontological commitment of these observational objects to the formal theory. As Ryan puts it: "Rather than being divided between contingent synthetic claims and indubitable analytic propositions, our beliefs constitute a continuous range from a periphery of sense-reports to interior concepts that are comparatively theory-laden and general." [9] Thus we end up with Quine's 'flat' ontology that does not see a distinction between analytic and synthetic objects. [12] [13]

Quine further made a distinction between the ontological commitments of a theory (what the theory says exists) and the ideological commitments of a theory (those concepts, logical or non-logical, that are expressible within the theory). [14]

Ontological parsimony

Whatever process one uses to determine the ontological commitments of a theory, that does not prescribe what ontological commitments one should have. Quine regarded this as a matter of epistemology, which theory one should accept. "Appeal is made to [concerns of] explanatory power, parsimony, conservatism, precision, and so on". [15]

Ontological parsimony can be defined in various ways, and often is equated to versions of Occam's razor, a "rule of thumb, which obliges us to favor theories or hypotheses that make the fewest unwarranted, or ad hoc, assumptions about the data from which they are derived." [16] Glock regards 'ontological parsimony' as one of the 'five main points' of Quine's conception of ontology. [17]

Following Quine, [18] Baker states that a theory, T, is ontologically committed to items F if and only if T entails that F′s exist. If two theories, T1 and T2, have the same ontological commitments except that T2 is ontologically committed to F′s while T1 is not, then T1 is more parsimonious than T2. More generally, a sufficient condition for T1 being more parsimonious than T2 is for the ontological commitments of T1 to be a proper subset of those of T2. [19]

These ideas lead to the following particular formulation of Occam's razor: 'Other things being equal, if T1 is more ontologically parsimonious than T2 then it is rational to prefer T1 to T2.' While a common formulation stipulates only that entities should not be multiplied beyond necessity, this version by contrast, states that entities should not be multiplied other things being equal, and this is compatible with parsimony being a comparatively weak theoretical virtue. [19]

Recent controversies

The standard approach to ontological commitment has been that, once a theory has been regimented and/or "paraphrased" into an agreed "canonical" version, [20] which may indeed be in formal logical notation rather than the original language of the theory, ontological commitments can be read off straightforwardly from the presence of certain ontologically committing expressions (e.g. bound variables of existential quantification). Although there is substantial debate about which expressions are ontologically committing, [21] [22] parties to that debate generally agree that the expressions they prefer are reliable bearers of ontological commitment, imparting ontological commitment to all regimented sentences in which they occur. This assumption has been challenged.

Inwagen has taken issue with Quine's methodology, [23] claiming that this process did not lead to a unique set of fundamental objects, but to several possible sets, and one never could be certain that all the possible sets had been found. He also took issue with Quine's notion of a theory, which he felt was tantamount to suggesting a 'theory' was just a collection of sentences. Inwagen suggested that Quine's approach provided useful tools for discovering what entities were ontological commitments, but that he had not been successful. His attempts are comparable to an "attempt to reach the moon by climbing ever higher trees..." [24]

It has been suggested that the ontological commitments of a theory cannot be discerned by analysis of the syntax of sentences, looking for ontologically committing expressions, because the true ontological commitments of a sentence (or theory) are restricted to the entities needed to serve as truthmakers for that sentence, and the syntax of even a regimented or formalized sentence is not a reliable guide to what entities are needed to make it true. [25] However, this view has been attacked by Jonathan Schaffer, who has argued that truthmaking is not an adequate test for ontological commitment: at best, the search for the truthmakers of our theory will tell us what is "fundamental", but not what our theory is ontologically committed to, and hence will not serve as a good way of deciding what exists. [26]

It also has been argued that the syntax of sentences is not a reliable guide to their ontological commitments because English has no form of words which reliably functions to make an existence-claim in every context in which it is used. For example, Jody Azzouni suggests that "There is" does not make any kind of genuine existence-claim when it is used in a sentence such as "There are mice that talk". Since the meaning of the existential quantifier in formal notation is usually explained in terms of its equivalence to English expressions such as "there is" and "there exist", and since these English expressions are not reliably ontologically committing, it comes to seem that we cannot be sure of our theory's ontological commitments even after it has been regimented into a canonical formulation. [27] This argument has been attacked by Howard Peacock, [28] who suggests that Azzouni's strategy conflates two different kinds of ontological commitment – one which is intended as a measure of what a theory explicitly claims to exist, and one which is intended as a measure of what is required for the theory to be true; what the ontological costs of the theory are. If ontological commitment is thought of as a matter of the ontological costs of a theory, then it is possible that a sentence may be ontologically committed to an entity even though competent speakers of the language do not recognize the sentence as asserting the existence of that entity. Ontological commitment is not a matter of what commitments one explicitly recognizes, but rather a matter of what commitments are actually incurred.

See also

Related Research Articles

<span class="mw-page-title-main">Existence</span> State of being real

Existence is the state of being real or participating in reality. The terms "being", "reality", and "actuality" are often used as close synonyms. Existence contrasts with nonexistence, nothingness, and nonbeing. A common distinction is between the existence of an entity and its essence, which refers to the entity's nature or essential qualities.

Metaphysics is the branch of philosophy that studies the fundamental nature of reality. This includes the first principles of: being or existence, identity, change, space and time, cause and effect, necessity, actuality, and possibility.

<span class="mw-page-title-main">Ontology</span> Philosophical study of being and existence

In metaphysics, ontology is the philosophical study of being. It investigates what types of entities exist, how they are grouped into categories, and how they are related to one another on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses the classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs, and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how they are related to other entities.

<span class="mw-page-title-main">Willard Van Orman Quine</span> American philosopher and logician (1908–2000)

Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He served as the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.

In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory.

In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories.

A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.

A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.

The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book Word and Object, which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory. The indeterminacy of translation is also discussed at length in his Ontological Relativity. Crispin Wright suggests that this "has been among the most widely discussed and controversial theses in modern analytical philosophy". This view is endorsed by Hilary Putnam, who states that it is "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories".

Ramsey sentences are formal logical reconstructions of theoretical propositions attempting to draw a line between science and metaphysics. A Ramsey sentence aims at rendering propositions containing non-observable theoretical terms clear by substituting them with observational terms.

The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

Metaontology or meta-ontology is the study of the field of inquiry known as ontology. The goal of meta-ontology is to clarify what ontology is about and how to interpret the meaning of ontological claims. Different meta-ontological theories disagree on what the goal of ontology is and whether a given issue or theory lies within the scope of ontology. There is no universal agreement whether meta-ontology is a separate field of inquiry besides ontology or whether it is just one branch of ontology.

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

<i>Word and Object</i> 1960 book by Willard Van Orman Quine

Word and Object is a 1960 work by the philosopher Willard Van Orman Quine, in which the author expands upon the line of thought of his earlier writings in From a Logical Point of View (1953), and reformulates some of his earlier arguments, such as his attack in "Two Dogmas of Empiricism" on the analytic–synthetic distinction. The thought experiment of radical translation and the accompanying notion of indeterminacy of translation are original to Word and Object, which is Quine's most famous book.

The inscrutability or indeterminacy of reference is a thesis by 20th century analytic philosopher Willard Van Orman Quine in his book Word and Object. The main claim of this theory is that any given sentence can be changed into a variety of other sentences where the parts of the sentence will change in what they reference, but they will nonetheless maintain the meaning of the sentence as a whole. The referential relation is inscrutable, because it is subject to the background language and ontological commitments of the speaker.

Holophrastic indeterminacy, or indeterminacy of sentence translation, is one of two kinds of indeterminacy of translation to appear in the writings of philosopher W. V. O. Quine. According to Quine, "there is more than one correct method of translating sentences where the two translations differ not merely in the meanings attributed to the sub-sentential parts of speech but also in the net import of the whole sentence". It is holophrastic indeterminacy that underlies Quine's argument against synonymy, the basis of his objections to Rudolf Carnap's analytic/synthetic distinction. Another kind of indeterminacy introduced by Quine is the "inscrutability of reference", which refers to parts of a sentence or individual words.

The internal–external distinction is a distinction used in philosophy to divide an ontology into two parts: an internal part concerning observation related to philosophy, and an external part concerning question related to philosophy.

The term quantifier variance refers to claims that there is no uniquely best ontological language with which to describe the world. The term "quantifier variance" rests upon the philosophical term 'quantifier', more precisely existential quantifier. A 'quantifier' is an expression like "there exists at least one ‘such-and-such’". Quantifier variance then is the thesis that the meaning of quantifiers is ambiguous. This thesis can be used to explain how some disputes in ontology are only due to a failure of the disagreeing parties to agree on the meaning of the quantifiers used.

<span class="mw-page-title-main">Quine–Putnam indispensability argument</span> Argument in the philosophy of mathematics

The Quine–Putnam indispensability argument is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Quine and Hilary Putnam, and is one of the most important arguments in the philosophy of mathematics.

<i>Working from Within: The Nature and Development of Quines Naturalism</i> 2018 book on the philosophy of W. V. Quine

Working from Within: The Nature and Development of Quine's Naturalism is a 2018 book by Dutch philosopher and historian of analytic philosophy Sander Verhaegh. Released at a time in which there was increasing work done on Willard Van Orman Quine in the history of analytic philosophy, the book was the first to provide a full account of the historical development of his naturalism. It was also the first book to use the extensive archive materials on Quine at Harvard University's Houghton Library.

References

  1. ↑ Burkhard Schäfer (1998). "Invariance principles and the community of heirs". In N Guarino (ed.). Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy. IOS Press. pp. 108 ff. ISBN   9051993994.
  2. ↑ Nicola Guarino (1998). "Formal ontology and information systems". Formal Ontology in Information Systems: Proceedings of the First International Conference (FIOS'98), June 6–8, Trento, Italy. IOS Press. pp. 3 ff. ISBN   9051993994.
  3. ↑ Robert Audi, ed. (1999). "Ontological commitment". The Cambridge Dictionary of Philosophy (Paperback 2nd ed.). p.  631. ISBN   0521637228. A shortened version of that definition is as follows:
    The ontological commitments of a theory are those things which occur in all the ontologies of that theory. To explain further, the ontology of a theory consists of the objects the theory makes use of. A dependence of a theory upon an object is indicated if the theory fails when the object is omitted. However, the ontology of a theory is not necessarily unique. A theory is ontologically committed to an object only if that object occurs in all the ontologies of that theory. A theory also can be ontologically committed to a class of objects if that class is populated (not necessarily by the same objects) in all its ontologies.
  4. ↑ Quine, W. V. (1948). "On What There Is". Review of Metaphysics. 2: 21–38.. Reprinted in From a Logical Point of View: Nine Logico-philosophical Essays (2nd ed.). Harvard University Press. 1980. pp. 1–19. ISBN   0674323513. See Wikisource.
  5. ↑ Michael J. Loux; Dean W. Zimmerman (2005). "Introduction". In Michael J. Loux; Dean W. Zimmerman (eds.). The Oxford Handbook of Metaphysics. Oxford Handbooks Online. ISBN   0199284229.
  6. ↑ Willard Van Orman Quine (1983). "Chapter 22: Ontology and ideology revisited". Confessions of a Confirmed Extensionalist: And Other Essays. Harvard University Press. pp. 315 ff. ISBN   0674030842.
  7. ↑ Of course, this description is not understandable unless one knows what first-order existential quantifiers are and what is meant by saying they are bound. An approachable discussion of these matters is found in Jan Dejnožka (1996). "Chapter 1: Introduction". The Ontology of the Analytic Tradition and Its Origins: Realism, Possibility, and Identity in Frege, Russell, Wittgenstein, and Quine. Rowman & Littlefield. pp. 1 ff. ISBN   0822630532.
  8. ↑ Robert J Fogelin (2004). The Cambridge Companion to Quine. Cambridge University Press. p. 36. ISBN   0521639492.
  9. 1 2 Frank X Ryan (2004). "Analytic: Analytic/Synthetic". In John Lachs; Robert B. Talisse (eds.). American Philosophy: An Encyclopedia. Psychology Press. pp. 36–39. ISBN   020349279X.
  10. ↑ Quine, W. V. (1951). "On Carnap's views on ontology". Philosophical Studies. 2 (5): 65–72. doi:10.1007/bf02199422. S2CID   170241527. Reprinted in Willard Van Orman Quine (1976). "Chapter 9: On Carnap's views on ontology". The Ways of Paradox (2nd ed.). Harvard University Press. pp.  203–211. ISBN   0674948378.
  11. ↑ Willard Van Orman Quine (1980). "Chapter 2: Two dogmas of empiricism". From a Logical Point of View: Nine Logico-philosophical Essays (2nd ed.). Harvard University Press. pp. 20 'ff. ISBN   0674323513. See this
  12. ↑ Jonathan Schaffer (2009). "On What Grounds What Metametaphysics". In Chalmers; Manley; Wasserman (eds.). Metametaphysics (PDF). Oxford University Press. pp. 347–83. ISBN   978-0199546046. Reprinted by Philosopher’s Annual 29, eds. Grim, Charlow, Gallow, and Herold; also reprinted in Metaphysics: An Anthology, 2nd edition, eds. Kim, Korman, and Sosa (2011), 73-96: Blackwell.) Contains an analysis of Quine and proposes that questions of existence are not fundamental.
  13. ↑ See for example, Hilary Putnam (2001) [1962]. "The analytic and the synthetic". In Dagfinn Fllesdal (ed.). Philosophy of Quine: General, reviews, and analytic/synthetic, Volume 1. Taylor & Francis. pp. 252 ff. ISBN   0815337388.
  14. ↑ "Ontological Commitment". Stanford Encyclopedia of Philosophy .
  15. ↑ Alex Orenstein (1998). "Quine, Willard Van Orman". In Edward Craig (ed.). Routledge Encyclopedia of Philosophy. Vol. 8. pp. 8 ff. ISBN   0415073103. See also Choice of a theory.
  16. ↑ Kaila E Folinsbee; et al. (2007). "Quantitative approaches to phylogenetics; §5.2: Fount of stability and confusion: A synopsis of parsimony in systematics". In Winfried Henke (ed.). Handbook of Paleoanthropology: Primate evolution and human origins: Volume 2. Springer. p. 168. ISBN   978-3540324744.
  17. ↑ Hans-Johann Glock (2004). "§1: Ontological commitment and ontological parsimony". Quine and Davidson on Language, Thought, and Reality. Cambridge University Press. pp. 41–47. ISBN   1139436732.
  18. ↑ Willard Van Quine (1981). Theories and Things (3rd ed.). Harvard University Press. pp.  144 ff. ISBN   0674879260. Cited by Alan Baker.
  19. 1 2 This section is a slightly modified version of the discussion by Baker, Alan (Feb 25, 2010). "Simplicity". In Edward N. Zalta (ed.). The Stanford Encyclopedia of Philosophy (Summer 2011 Edition).
  20. ↑ Alex Ornstein (2008). "Quine vs. Quine: Canonical notation, paraphrase, and regimentation". In Chase B Wrenn (ed.). Naturalism, Reference and Ontology: Essays in Honor of Roger F. Gibson. Peter Lang Publishing, Inc. p. 171. ISBN   978-1433102295.
  21. ↑ Marion David (2008). "Quine's Ladder: Two and a half pages from the Philosophy of Logic". In Peter A. French; Howard Wettstein (eds.). Midwest Studies in Philosophy, Truth and its Deformities (Volume XXXII). Wiley-Blackwell. pp. 274 ff. ISBN   978-1405191456.
  22. ↑ Mark Colyvan (2001). "§4.2 What is it to be indispensable?". The Indispensability of Mathematics. Oxford University Press. pp. 76 ff. ISBN   0198031440.
  23. ↑ Peter Van Inwagen (1998). "Meta-ontology" (PDF). Erkenntnis. 48 (2/3): 233–250. doi:10.1023/a:1005323618026.
  24. ↑ Peter van Inwagen (2008). "Chapter 6: Quine's 1946 lecture on nominalism". In Dean Zimmerman (ed.). Oxford Studies in Metaphysics : Volume 4. Oxford University Press. pp. 125 ff. ISBN   978-0191562310. Quine has endorsed several closely related theses that I have referred to, collectively, as his "meta-ontology". These are...those of his theses that pertain to the topic "ontological commitment" or "ontic commitment".
  25. ↑ Heil, J. (2003). From an ontological point of view. Oxford: Oxford University Press.
  26. ↑ Shaffer, Jonathan. "Truthmaker Commitments" (PDF).
  27. ↑ Azzouni, Jody (2004). Deflating Existential Consequence: A Case for Nominalism. Oxford: Oxford University Press.
  28. ↑ Peacock, Howard (2011). "Two Kinds of Ontological Commitment". The Philosophical Quarterly. 61 (242): 79–104. doi:10.1111/j.1467-9213.2010.665.x.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.