Skip to main content Accessibility help
  • Online publication date: March 2017

Representation theorem for models of dynamic intensional logic


Abstract. In this paper the representation theorem for the class of models of dynamic intensional logic is established. It relies on a particular universal construction resulting from a new axiomatization of the class of models considered.

Introduction. The motivation for the present paper has arisen from a talk given by M. Stokhof on Dynamic Montague Grammar. In the early nineties this has become a hot topic dealing with a dynamic interpretation of natural language, yielding among others an adequate interpretation of anaphoric relations between quantificational expressions and pronouns ([5], [6]). However, we have been not exploring the subject as a whole. We have primarily been interested in the logical setting used to accomplish their linguistic task. The logical setting itself consists of:

(I) a formal language, called dynamic intensional logic (DIL), including a distinguished non-empty set of discourse markers;

(II) a class of DIL models;

(III) an interpretation of DIL terms with respect to a given DIL model, state and assignment of values to variables.

(I), (II) and (III) represent a dynamic extension of the respective static counterparts of intensional logic IL as formulated by Gallin [4] (see appendix A). This introductory part is basically aimed at pointing out the additional dynamic components (see [5]). Nevertheless, a full definition of the class of IL models will be given since it is also a building stone for our equivalent axiomatization of the class of DIL models in Section 2. It will also be seen that the latter enables a natural universal construction of a DIL model that finally results in the representation theorem for the class of DIL models.

[1] H., Barendregt, The lambda calculus: its syntax and semantics, North-Holland, Amsterdam, 1984.
[2] J., van Benthem, A manual of intensional logic, CSLI LectureNotes, CSLI, Stanford, 1988.
[3] A., Church, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol. 5 (1940), pp. 56–68.
[4] D., Gallin, Intensional and higher-order modal logic, North-Holland, Amsterdam, 1975.
[5] J., Groenendijk and M., Stokhof, Dynamic montague grammar, Papers from the second symposium on logic and language (L., Kalman and L., Polos, editors),AkademiaiKiado, Budapest, 1990, pp. 3–48.
[6] J., Groenendijk and M., Stokhof, Dynamic predicate logic, Linguistics and Philosophy, vol. 14 (1991), pp. 39–100.
[7] R., Montague, Formal philosophy, Yale University Press, New Haven, 1974, Edited by R., Thomason.
[8] A., Prijatelj, Existence theorems for models of dynamic intensional logic, IMFM Preprint Series, no. 28, University of Ljubljana, 1990.
[9] A. S., Troelstra and D., van Dalen, Constructivism in mathematics. An introduction, vol. I and II, North Holland, Amsterdam, 1988.