1 janvier 2015
Ce document est lié à :
info:eu-repo/semantics/reference/issn/0765-4944
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2111-5044
https://creativecommons.org/licenses/by-nc-nd/4.0/ , info:eu-repo/semantics/openAccess
Mychel Eytan, « Anaphore associative : une tentative de formalisation via la DRT. », Cahiers de praxématique, ID : 10.4000/praxematique.3038
On se propose de formaliser la notion d’anaphore associative en étendant le formalisme de la DRT (Discourse Representation Theory) de H. Kamp. A cet effet on introduit un nouvel opérateur logique CK sur les discours, dont l’interprétation est “il est de notoriété publique que…” et qui est du type ’modalité’. L’article examinera les propriétés formelles de cet opérateur logique et son intégration dans le formalisme des ’boîtes’ de Kamp, ainsi que ses rapports avec le calcul des prédicats modal S5. La motivation intuitive de cette approche est que dans la plupart des situations où apparaît l’anaphore associative, il y a un opérateur implicite du genre CK.