Indéfini et prédication

Ce livre est consacré à deux théories majeures pour les études sémantiques contemporaines : la Théorie des représentations du discours, et la Théorie des quantificateurs généralisés. La Théorie des représentations du discours introduit en sémantique une perspective dynamique sur l'interprétation, et étend le domaine de la sémantique formelle au discours. Depuis le travail fondateur de Hans Kamp en 1981, le point de vue et le langage de représentation de cette théorie sont largement utilisés en linguistique. La Théorie des quantificateurs généralisés (Barwise et Cooper, 1981 ; Keenan et Stavi, 1986) offre à l'analyse linguistique un concept de quantification beaucoup plus puissant et flexible que celui de la logique du premier ordre. Le premier objectif de cet ouvrage est de donner une introduction à ces deux théories. On a cherché à rendre cette introduction accessible aux non spécialistes, et à l'illustrer au moyen d'exemples empruntés au français. La seconde partie du livre traite de la contribution de ces travaux à l'analyse de données complexes du français dans le domaine de la détermination nominale et de l'anaphore. On reprend sur ces bases nouvelles la typologie des groupes nominaux, et particulièrement la nature des catégories linguistiques de l'indéfini et du défini, en précisant ce qui les distingue de la quantification proprement dite.

L'ouvrage présente les notions de base en sémantique (compositionalité, inférence, conséquence logique, présupposition, implicature, etc.) en les illustrant par des exemples simples empruntés au français. Il fournit les premiers outils pour une approche rationnelle du domaine, introduit leurs fondements logiques (logique des propositions et logique des prédicats), et montre comment les appliquer en insistant sur leur utilité et leurs limites.Les derniers chapitres initient à deux théories développées pour surmonter ces limites, la théorie des quantificateurs généralisés, et la théorie des représentations du discours. Chaque chapitre s'achève par une étude plus détaillée d'exemples pour vérifier l'acquisition et prolonger la réflexion.