Ontological commitment
The ideas of a conceptualization are crystallized in a specific ontological commitment, leading to a model, the entities of which, with some of their relationships, form the model's ontology.[1]
The term ontological commitment is used as a general term in both philosophy and in information systems to refer to the essential elements of an ontology. Quine proposed that given some theory its ontological commitment could be found by what might be called a translation via techniques of symbolic logic and a search through this translation for statements involving there exists at least one ‘such-and-such’.[2] Such statements are called quantifier expressions and the formulation ‘there exists’ in symbolic logic is represented by the 'turned E' or ∃.[3] A list of the ‘such-and-such’ can then be examined to determine subsets that can serve as minimal sets in terms of which the others can be defined, and any such minimal set is an ontological commitment of the theory. This approach appears to involve only a list of ‘such-and-such’, but of course finding a minimal set of ‘such-and-such’ also involves at least some of the relations specified to hold between them.
The need to discuss and compare ontologies leads to the idea of a 'conceptualization', a higher level abstraction for which a given ontology is a very particular realization, possibly only one of many realizations of the 'conceptualization'. Each ontology based upon the same overarching conceptualization is then thought of as a particular 'ontological commitment' that maps the conceptualization into specific examples of ‘such-and-such’ and their relationships. The question then arises as to how to describe the 'conceptualization' in terms that can encompass multiple 'ontological commitments'. This issue has been called the 'Tower of Babel' problem, that is, how can persons used to one ontology talk with others using a different ontology?[4] This problem is easily understood, but a general resolution is not at hand.
An example of the problems is found in translation between human languages. Ostensibly as all humans live in the same world and have the same physical senses with which to see the world, one might expect to correlate human activity with language and thereby make rules for translation. However, that view is utopian because humans act upon cultural interpretation of their surroundings, and relating two cultures is an entirely different matter than understanding what both call a 'rabbit'.[5][6]
However, in more artificial situations, such as information systems, the idea of a 'conceptualization' and 'ontological commitment' to various ontologies that realize the 'conceptualization' is possible.[1][7]
Another example is mathematics, where a very general formulation (the analog of a conceptualization) is illustrated with 'applications' that are more specialized examples. For instance, aspects of a function space can be illustrated using a vector space or a topological space that introduce interpretations of the 'elements' of the conceptualization and additional relationships between them but preserve the connections required in the function space.
References
- ↑ 1.0 1.1 Nicola Guarino (1998). “Formal Ontology in Information Systems”, Nicola Guarino, ed: Formal Ontology in Information Systems (Proceedings of FOIS '98, Trento, Italy). IOS Press, pp. 3 ff. ISBN 978-90-5199-399-8.
- ↑ For a discussion and a critique see Peter van Inwagen (2008). “Chapter 6: Quine's 1946 lecture on nominalism”, Dean Zimmerman, ed: Oxford Studies in Metaphysics: Volume 4. Oxford University Press, pp. 125 ff. ISBN 0191562319.
- ↑ Dag Westerståhl (Apr 19, 2011). Edward N. Zalta, ed.):Generalized Quantifiers. The Stanford Encyclopedia of Philosophy (Summer 2011 Edition).
- ↑ Barry Smith (2003). “Chapter 11: Ontology”, Blackwell Guide to the Philosophy of Computing and Information. Blackwell, pp. 155-166. ISBN 0631229183.
- ↑ Willard v. O. Quine (2013). Word and Object, New. MIT Press. ISBN 9780262518314. Quine raised the issue of translation and 'holophrastic' indeterminacy of translation in a series of books and papers.
- ↑ Crispin Wright (1999). “Chapter 16: The indeterminacy of translation”, Bob Hale, Crispin Wright, eds: A Companion to the Philosophy of Language. Wiley-Blackwell. ISBN 0631213260. "Quine's contention that translation is indeterminate has been among the most widely discussed and controversial theses in modern analytical philosophy."
- ↑ Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta (1994). "Formalizing ontological commitments". AAAI 94: pp. 560-567.