Abstract
Leibniz’s intuition that necessity corresponds to truth in all possible worlds enabled Kripke to define a rigorous model theory for several axiomatizations of modal logic. Unfortunately, Kripke’s model structures lead to a combinatorial explosion when they are extended to all the varieties of modality and intentionality that people routinely use in ordinary language. As an alternative, any semantics based on possible worlds can be replaced by a simpler and more easily generalizable approach based on Dunn’s semantics of laws and facts and a theory of contexts based on the ideas of Peirce and McCarthy. To demonstrate consistency, this article defines a family of nested graph models, which can be specialized to a wide variety of model structures, including Kripke’s models, situation semantics, temporal models, and many variations of them. An important advantage of nested graph models is the option of partitioning the reasoning tasks into separate metalevel stages, each of which can be axiomatized in classical first-order logic. At each stage, all inferences can be carried out with well-understood theorem provers for FOL or some subset of FOL. To prove that nothing more than FOL is required, Section 6 shows how any nested graph model with a finite nesting depth can be flattened to a conventional Tarski-style model. For most purposes, however, the nested models are computationally more tractable and intuitively more understandable.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Jon Barwise and John Etchemendy. Tarski’s World. CSLI Publications, Stanford, CA, 1993.
Michael E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3):213–261, 1990.
J. Michael Dunn. A truth value semantics for modal logic. in H. Leblanc, ed., Truth, Syntax and Modality, North-Holland, Amsterdam, pp. 87–100, 1973.
Jeroen Groenendijk and Martin Stokhof. Dynamic Predicate Logic. Linguistics and Philosophy, 14(1):39–100, 1991.
Irene R. Heim. The Semantics of Definite and Indefinite Noun Phrases. PhD Dissertation, University of Massachusetts, Amherst. Published (1988) Garland, New York, 1982.
Risto Hilpinen. On C. S. Peirce’s theory of the proposition: Peirce as a precursor of game-theoretical semantics. The Monist, 65:182–88, 1982.
Jaakko Hintikka. The modes of modality. Acta Philosophica Fennica, Modal and Many-valued Logics, pages 65–81, 1963.
Jaakko Hintikka. Logic, Language Games, and Information. Clarendon Press, Oxford, 1973.
Jaakko Hintikka and Jack Kulas. The Game of Language: Studies in Game-Theoretical Semantics and its Applications. D. Reidel, Dordrecht, 1985.
G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, London, 1968.
Hans Kamp. Events, discourse representations, and temporal references. Langages, 64:39–64, 1981.
Hans Kamp and Uwe Reyle. From Discourse to Logic. Kluwer, Dordrecht, 1993.
Lauri Karttunen. Discourse referents. in J. McCawley, ed., Syntax and Semantics vol. 7, Academic Press, New York, pp. 363–385, 1976.
Saul A. Kripke. Semantical analysis of modal logic I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9:67–96, 1963.
Saul A. Kripke. Semantical analysis of modal logic II: Non-normal modal propositional calculi. In J. W. Addison, Leon Henkin, & Alfred Tarski, The Theory of Models, North-Holland Publishing Co., Amsterdam, pp. 206–220, 1965.
David K. Lewis. On the Plurality of Worlds. Basil Blackwell, Oxford, 1986.
John McCarthy. Epistemological problems of artificial intelligence. Proceedings of IJCAI-77, reprinted in J. McCarthy, Formalizing Common Sense, Ablex, Norwood, NJ, 1977.
John McCarthy. Notes on formalizing context. Proc. IJCAI-93, Chambéry, France, pp. 555–560, 1993.
Richard Montague. On the nature of certain philosophical entities. originally published in The Monist 53 (1960), revised version in Montague (1974) pp. 148–187, 1967.
Richard Montague. The proper treatment of quantification in ordinary english. reprinted in (226), pp. 247–270, 1970.
Richard Montague. Formal Philosophy. Yale University Press, New Haven, 1974.
William of Ockham. Summa Logicae. Johannes Higman, Paris, 1488. The edition owned by C. S. Peirce, 1323.
Charles Sanders Peirce. On the algebra of logic. American Journal of Mathematics, 3:15–57, 1880.
Charles Sanders Peirce. On the algebra of logic. American Journal of Mathematics, 7:180–202, 1885.
Charles Sanders Peirce. Logic, Considered as Semeiotic. MS L75, edited by Joseph Ransdell, http://members.door.net, 1902.
Charles Sanders Peirce. Manuscript 514. with commentary by J. F. Sowa, available at http://www.jfsowa.com/peirce/ms514.htm, 1909.
Arthur N. Prior. Papers on Time and Tense. revised edition ed. by P. Hasle, P. Øhrstrøm, T. Braüner, & B. J. Copeland, Oxford University Press, 2003, 1968.
Willard Van Orman Quine. Responding to saul kripke. reprinted in Quine, Theories and Things, Harvard University Press, 1972.
Don D. Roberts. The Existential Graphs of Charles S. Peirce. Mouton, The Hague, 1973.
Stuart C. Shapiro. The SNePS semantic network processing system. in N.V. Findler, ed., Associative Networks: Representation and Use of Knowledge by Computers, Academic Press, New York, pp. 263–315, 1979.
Stuart C. Shapiro and William J. Rapaport. The SNePS family. in F. Lehmann, ed., Semantic Networks in Artificial Intelligence, Pergamon Press, Oxford, 1992.
John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984.
John F. Sowa. Syntax, semantics, and pragmatics of contexts. in Ellis et al. (1995) Conceptual Structures: Applications, Implementation, and Theory, Lecture Notes in #AI 954, Springer-Verlag, Berlin, pp. 1–15, 1995.
John F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole Publishing Co., Pacific Grove, CA, 2000.
Alfred Tarski. Pojecie prawdy w jezykach nauk dedukcynych. German trans. as ”Der Wahrheitsbegriff in den formalisierten Sprachen,” English trans. as ”The concept of truth in formalized languages,” in Tarski, Logic, Semantics, Metamathematics, second edition, Hackett Publishing Co., Indianapolis, pp. 152–278, 1933.
Richmond H. Thomason. Review of Formal Aspects of Context edited by Bonzon et al. Computational Linguistics, 27(4):598–600, 2001.
Frank C. Veltman. Defaults in Update Semantics. Journal of Philosophical Logic, 25:221–261, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Sowa, J.F. (2003). Laws, Facts, and Contexts: Foundations for Multimodal Reasoning. In: Hendricks, V.F., Jørgensen, K.F., Pedersen, S.A. (eds) Knowledge Contributors. Synthese Library, vol 322. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1001-6_7
Download citation
DOI: https://doi.org/10.1007/978-94-007-1001-6_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-1748-3
Online ISBN: 978-94-007-1001-6
eBook Packages: Springer Book Archive