Sémantique computationnelle

Ce cours est organisé autour de trois objectifs: D'une part, délimiter le domaine empirique de la sémantique formelle contemporaine (sémantique compositionnelle dans la continuité du programme de Montague), en particulier en relation avec le domaine emergent de la pragmatique formelle ; D'autre part, maîtriser les outils mathématiques utilisés dans la modélisation des phénomènes sémantiques (et à l'interface syntaxe-sémantique) : formalismes logiques, et théorie des modèles ; lambda-calcul ; quantificateurs généralisés...) ; Enfin, mettre en oeuvre de façon concrète le traitement informatique des problèmes de sémantique formelle, en particulier dans l'environnement nltk.

Plan du cours Domaine empirique de la sémantique compositionnelle Logique du premier ordre Compositionnalité et λ-calcul Théorie des quantificateurs généralisés Interface avec la pragmatique Intensionalité Mise en œuvre avec nltk

Organisation (indicative) des séances

sem.	Date	Type	Description	Liens
1	21/01/2011	CM, pA, 370F	Ch1. Domaine empirique   1. Introduction   2. Phénomènes sémantiques
	22/01/2011	TD, GW, 442C	Phénomènes sémantiques	Feuille d'exercices
2	27/01/2011	CM, pA, 370F	Ch1. Domaine empirique   2. Phénomènes sémantiques   3. Relations inférentielles
	28/01/2011	TD, GW, 442C	Phénomènes sémantiques (suite)	Feuille d'exercices
3	03/02/2011	CM, pA, 472F, 9h30	Ch2. Logique du premier ordre   1. Logique des propositions   2. Logique des prédicats	Poly: LogProp: syntaxe et sémantique
	04/02/2011	TD, GW, 442C	Logique des propositions	Feuille d'exercices
4	10/02/2011	CM, pA, 472F, 9h30	Ch2. Logique du premier ordre   2. Logique des prédicats	Polys: Syntaxe lpred, Sémantique lpred, Équivalences remarquables
	11/02/2011	TD, GW, 442C	Logique des prédicats: traductions	Feuille d'exercices
5	17/02/2011	CM, pA, 279F	----- séance supprimée : CM de Méthodes Probas -----
	18/02/2011	TD, GW, 442C	Logique des prédicats : modèles, égalité...	Feuille d'exercices
6	24/02/2011	CM, pA, 166E	Ch3. Compositionalité et λ-calcul   1. Principes   2. λ-calcul «pur»
	15/02/2011	TD, pA, 442C	Lambda-calcul
7	03/03/2011	CM, pA, RH02B	Ch3. Compositionalité et λ-calcul   3. Langage typé
	04/03/2011	TD, GW, 442C	Lambda-calcul et ingénierie grammaticale.	Feuille d'exercices Addendum/rectificatif: Montées de type et inversion de scope: poly
8	10/03/2011	CM, pA, 279F	Ch3. Compositionalité et λ-calcul   4. Ingénierie grammaticale
	11/03/2011	TD, pA, 442C	----- Devoir sur table -----
9	17/03/2011	CM, pA, 279F	Ch4. Quantificateurs généralisés
	18/03/2011	TD, GW, 442C	Qia,tificateurs généralisés	Feuille d'exercices
10	24/03/2011	CM, pA, 279F	Ch4. Quantificateurs généralisés
	25/03/2011	TD, GW, 442C	Pragmatique : implicatures scalaires	Feuille d'exercices
11	31/03/2011	CM, pA, 279F	Ch4. Interface sémantique pragmatique
	01/04/2011	TP, GW, 442C	Programmation nltk
12	07/04/2011	CM, pA, 279F	Ch4. Interface sémantique pragmatique Ch5. Intensionalité
	08/04/2011	TP, GW, 442C	TP: cooper storage	énoncé
15	28/04/2011	CM, pA, 279F	Ch5. Intensionalité (suite)	slides, exemplier logique modale Ces deux documents viennent des notes de cours de mon excellent collègue Laurent Roussarie.

Bibliographie

Le domaine empirique (ch. 1), et en particulier les notions d'implication et de présupposition, est présenté dans le 1er chapitre de (Chierchia & McConnel-Ginet, 90). On trouve aussi une bonne introduction au début de (Dowty, Wall and Peters 81). Une des meilleures introductions en français au programme montagovien se trouve dans (Galmiche, 91).
Les ouvrages de référence en logique pour la linguistique (ch. 2) sont (Gamut, 1991 ; Dowty, Wall and Peters 1981 ; Partee, ter Meulen & Wall, 1993). Une bonne introduction à la logique en français, qui demande peu de compétences en mathématiques se trouve dans (Salem, 1987).
Parmi les références les plus complètes (et les plus formelles) pour le lambda-calcul, on peut citer (Krivine, 1990) et (Hindley & Seldin 86) (ainsi que l'article original de Church). On trouve aussi des présentations plus orientées vers la grammaire de Montague (langage typé) dans (Gamut, 1991 ; vol 2, chap 4) ainsi que dans (Partee et al, 1993 ; partie D « English as a Formal Language »), où on trouve aussi une discussion sur le principe de compositionalité. Enfin, il y a sur le site de Chantal Berline (équipe PPS, Paris 7) de nombreuses notes de cours sur le lambda-calcul (point de vue formel).
La théorie des quantificateurs généralisés est formulée essentiellement dans (Barwise & Cooper 1981) (bien qu'elle aie une origine plus ancienne). On en trouve une formulation complète bien qu'assez technique dans (Westerståhl 1989). L'article (Keenan & Stavi 1986) propose une étude des déterminants dans ce cadre qui fait toujours référence. Pour des présentations moins techniques, on peut se tourner vers (de Swart, 1998, ch. 8) ou (Gamut, 1991 ; vol 2, pp. 223-257).
Pour un survol relativement accessible du domaine de la pragmatique, on peut consulter (Armengaud, 1985) (avec quelques imprécisions concernant les implicatures à la Grice, à propos desquelles il est bon de consulter l'article de Grice lui-même (Grice, 1967)). Le reader de (Davis, 1991) comprend ce dernier article et la plupart des autres articles importants en pragmatique. Enfin, toujours à propos des implicatures, on peut consulter l'article correspondant de l'Encyclopédie de Philosophie de Stanford.

On trouve sur le web un excellent cours de sémantique computationnelle, à consulter.

Enfin, il faut mentionner l'excellent manuel (Heim & Kratzer, 1998), qui couvre une bonne partie du programme de ce cours. Les quelques différences de notation sont mineures, et même si le plan choisi n'est pas le même que celui de ce cours, l'approche générale est la même dans les grandes lignes.

• Françoise Armengaud. La pragmatique, Que-sais-je n° 2230, PUF, 1985.
• Jon Barwise, Robin Cooper, « Generalised Quantifiers and Natural Language », Linguistics and Philosophy, 4(2), 1981.
• Gennaro Chierchia et Sally McConnel-Ginet, Meaning and Grammar. An Introduction to Semantics, The MIT Press, 1990.
• Stephen Davis, Pragmatics : a Reader, Oxford University Press, 1991. (Recueil d'articles fondamentaux en pragmatique).
• David Dowty, Robert Wall & Stanley Peters, Introduction to Montague Semantics, Dordrecht Reidel, 1981.
• H. Paul Grice, 1975, Logic and Conversation, in The Logic of Grammar, D. Davidson and G. Harman (eds), Encino, CA: Dickenson, 64-75. Réimprimé dans (Davis 1991) et dans "Study in the Way of Words", Harvard University Press, 1989 (ré-édition posthume de tous les grands articles de Grice).
• Irene Heim & Angelika Kratzer, Semantics in the Generative Grammar, Blackwell Publishers, 1998.
• J. R. Hindley et J. P. Seldin, Introduction to Combinators and λ-calculus. Cambridge University Press, 1986.
• Michel Galmiche, Sémantique linguistique et logique, PUF (Paris), 1991.
• L.T.E. Gamut, Logic, Language and Meaning. Vol. 1 (Introduction to Logic). The University of Chicago Press, 1991.
• L.T.E. Gamut, Logic, Language and Meaning. Vol. 2 (Intensional Logic and Logical Grammar). The University of Chicago Press, 1991.
• Ed Keenan & J. Stavi, A Semantic Characterization of Natural Language Determiners, Linguistics and Philosophy, vol. 9, pp. 253-326, 1986.
• J.-L. Krivine, Lambda-calcul, types et modèles. Masson, 1990.
• Barbara Partee, Alice ter Meulen & Robert E. Wall, Mathematical Methods in Linguistics, Kluwer Academic Publishers, 1993.
• Jean Salem, Introduction à la logique formelle et symbolique, 1987, Nathan.
• Henriëtte de Swart, Introduction to Natural Language Semantics, Csli Lecture Notes No 80, CSLI Publications, 1998.
• Dag Westerståhl, Quantifiers in Formal and Natural Languages, in Handbook of Philosophical Logic, vol. IV: Topics in the Philosophy of Language, Dov Gabbay et Franz Günthner, éditeurs. Reidel, 1989.