Anaphora: representationalist and infernetialist treatment of semantic dynamism ; L’anaphore : traitement représentationnaliste et inférentialiste d’un phénomène de dynamisme sémantique

The following work takes the form of a research aiming at the definition of the different criteria required in order to treat the anaphora from a logical and linguistic point of view. Throughout the presentation of the Montague grammar, Discourse Representation Theory and Robert Brandom’s semantic inferentialism, as well as Aarne Ranta’s formulation of the Constructive Type Theory, I will argue in favour of a hybrid approach, involving both the theory of dependent quantification introduced by the Constructive Type Theory, and the philosophical framework introduced by Brandom in his study of meaning. ; Le présent travail se construit comme une recherche des critères que doit respecter le projet de résolution des problèmes que pose la désignation anaphorique en logique et en philosophie du langage. À travers la présentation et l’étude des solutions apportées au traitement de l'anaphore par la grammaire de Richard Montague, la Théorie de la Représentation du Discours, l’inférentialisme sémantique de Robert B. Brandom et la Théorie Constructive des Types d’Aarne Ranta, nous argumentons en faveur d’une hybridation entre la théorie de la quantification dépendante proposée par la Théorie Constructive des Types, et la cadre philosophique à travers lequel Brandom propose d’étudier la signification.