Abstract
Think of a context as expressed in a language which an agent, at some time, is learning to apply by some finite means to some aspect of the world. Think of that aspect as one amongst indefinitely many others. Think of the language as having a model or set of models whose domain consists of components of that aspect. Thus the language has a set of local models, see Giunchiglia and Ghidini[3]. The context may be defined in terms of that set of local models. Think of a possibility (as opposed to a possible world) as something that is partial, as argued by Humberstone [6]. In contrast, many philosophers discuss semantics as if (in principle) there is some complete language of fundamental (base) description for the world and its associated set of scientifically possible worlds. The complete language for describing the base might be identified with the language of a final theory of physics. This papers offers a critique of the view that there is even in principle a final theory of physics. The argument is based on a proof in algorithmic information theory by Chaitin 1,2. The paper sketches a view, based on possibilities and local models semantics, of how to think of semantics in a world in which there is not, even in principle, a complete language of base description. It sketches an ontology for this world. If there is a supercontext, then it will not itself be a context. This is because it will not be completely describable using a finitely intelligible language. Each aspect of it will be describable in this way, but it itself will be ineffable.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G.J. Chaitin. Algorithmic Information Theory. Cambridge University Press, 1997.
G.J. Chaitin. The Limits of Mathematics, chapter Elegant Lisp Programs. 1997.
F. Giuinchiglia and C. Chidini. Local models semantics, or contextual reasoning = locality + compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, 1998.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logic (or: how we can do without modal logics). Artificial Intelligence, 65, 1994.
B. Hale and C.G Wright, editors. A Companion to the Philosophy of Language. Blackwell, 1997.
I.L. Humberstone. From worlds to possibilities. Journal of Philosophical Logic, 1981.
J McCarthy. Notes on formalizing context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.
C.G. Wright. Truth and Objectivity. Harvard University Press, 1992.
R.A. Young. The mentality of robots. Proceedings of the Aristotelian Society, Supp., 1994.
R.A. Young. Embodied agents as interactive agents. In AAAI Fall Symposium on Embodiment, 1996.
R.A. Young. Incompleteness and emergence. British Journal for the Philosophy of Science, forthcoming.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Young, R.A. (1999). Context and Supercontext. In: Bouquet, P., Benerecetti, M., Serafini, L., Brézillon, P., Castellani, F. (eds) Modeling and Using Context. CONTEXT 1999. Lecture Notes in Computer Science(), vol 1688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48315-2_32
Download citation
DOI: https://doi.org/10.1007/3-540-48315-2_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66432-1
Online ISBN: 978-3-540-48315-1
eBook Packages: Springer Book Archive