Modal Subordination in Type Theoretic Dynamic Logic

Abstract : Classical theories of discourse semantics, such as Discourse Representation Theory (DRT), Dynamic Predicate Logic (DPL), predict that an indefinite noun phrase cannot serve as antecedent for an anaphor if the noun phrase is, but the anaphor is not, in the scope of a modal expression. However, this prediction meets with counterexamples. The phenomenon modal subordination is one of them. In general, modal subordination is concerned with more than two modalities, where the modality in subsequent sentences is interpreted in a context 'subordi-nate' to the one created by the first modal expression. In other words, subsequent sentences are interpreted as being conditional on the scenario introduced in the first sentence. One consequence is that the anaphoric potential of indefinites may extend beyond the standard limits of accessibility constraints. This paper aims to give a formal interpretation on modal subordi-nation. The theoretical backbone of the current work is Type Theo-retic Dynamic Logic (TTDL), which is a Montagovian account of discourse semantics. Different from other dynamic theories, TTDL was built on classical mathematical and logical tools, such as-calculus and Church's theory of types. Hence it is completely compositional and does not suffer from the destructive assignment problem. We will review the basic setup of TTDL and then present Kratzer's theory on natural language modality. After that, by integrating the notion of conversation background, in particular, the modal base usage, we offer an extension of TTDL (called Modal-TTDL, or M-TTDL in short) which properly deals with anaphora across modality. The formal relation between Modal-TTDL and TTDL will be discussed as well.
Type de document :
Article dans une revue
Linguistic Issues in Language Technology, 2016, Modes of Modality in NLP, 14, pp.54. 〈http://csli-lilt.stanford.edu/ojs/index.php/LiLT/issue/view/7〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01370557
Contributeur : Maxime Amblard <>
Soumis le : jeudi 22 septembre 2016 - 18:56:09
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Fichier

66-193-1-PB.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01370557, version 1

Collections

Citation

Sai Qian, Philippe De Groote, Maxime Amblard. Modal Subordination in Type Theoretic Dynamic Logic. Linguistic Issues in Language Technology, 2016, Modes of Modality in NLP, 14, pp.54. 〈http://csli-lilt.stanford.edu/ojs/index.php/LiLT/issue/view/7〉. 〈hal-01370557〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

64