LI3341 : Sémantique computationnelle

CM: Jeudi 16h30-17h30, salle RC2 ; TD: Vendredi 12h30-14h30, Salle J7.
Premier cours : 30 septembre 2004
Pas de séance le 11 novembre 04.

Objectif : maîtriser le domaine empirique et les outils de la sémantique formelle (formalismes logiques, théorie des modèles, lambda-calcul...), ainsi que les langages et problèmes liés à l'implémentation des modèles sémantiques.


 

Plan indicatif

  • Ch 1 : Domaine empirique
    • Introduction
    • Quelques phénomènes d'ordre sémantique
      • Montée de la négation
      • Polarité (négative)
      • Indéfinis spécifiques
      • Lecture de re vs. de dicto
    • Relations inférentielles
  • Ch 2 : Logique du premier ordre
  • Ch 3 : Compositionalité et lambda-calcul
    • Principe de compositionalité
    • Lambda-calcul (Poly)
    • Grammaire de Montague (simplifiée) (TD)
  • Ch 4 : Quantificateurs généralisés
  • Ch 5 : PTQ
 

Contrôles

Modalités
  • Contrôle continu : un devoir sur table (mi-semestre, 40%) et une épreuve écrite (session d'examen de janvier, 60%).
  • Contrôle final : une épreuve écrite pendant la session d'examen de janvier-février (100%). 
  • Session de rattrapage (sept.) : pour tous : une épreuve écrite pendant la session d'examen de septembre (100%). 
  • Aucune note n'est conservée entre février et septembre
Calendrier
  • Devoir sur table n° 1 : vendredi 26 novembre horaire et salle habituels (2h d'épreuve, sans documents)
  • Examen final (pour tous les étudiants) :
    Vendredi 28 janvier, 14:00 à 17:00, salle 105 IJ .
  • Session de septembre :
    Lundi 12 septembre, de 09h00 à 12h00, salle J5 patio 14/25.
Annales : voir ma page d'archives 		 


 

Bibliographie

Le domaine empirique, 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 sont (Gamut, 91 ; Dowty, Wall and Peters 81 ; Partee, ter Meulen & Wall, 93). Une bonne introduction à la logique en français, qui demande peu de compétences en mathématiques se trouve dans (Salem, 87).
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, 91 ; vol 2, chap 4) ainsi que dans (Partee et al, 93 ; partie D « English as a Formal Language »), où on trouve aussi une discussion sur le principe de compositionalité.
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).

Je viens de le trouver, il y a sur le web un excellent cours de sémantique computationnelle que je vous invite à consulter.

  • 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.
  • David Dowty, Robert Wall & Stanley Peters, Introduction to Montague Semantics, Dordrecht Reidel, 1981.
  • J. R. Hindley et J. P. Seldin, Introduction to Combinators and $\lambda$-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.
  Mon Sep 5, 2005 Ma maison-page