Cours de Sémantique, Master Paris 8 / DEC-ENS, 2008-2009, lundi 13h - 16h (1er semestre) salle Lapie (29, rue d'Ulm), TD une semaine sur deux, le mardi de 14h à 16h, avec Marta Abrusan (salle de réunion du DEC)

Présentation:

Dans ce cours, nous traiterons du problème de la construction du sens des phrases et des discours à partir de leur analyse syntaxique et de leur représentation discursive. Notre approche sera formelle en ce que:
- seule est prise en compte la forme matérielle des phrases et des discours
- la signification des énoncés est représentée au moyen d'un langage formel (logique des prédicats, logique intensionnelle)
Quelques connaissances de logique sont conseillées.

Bibliographie :

- Heim et Kratzer, Semantics in Generative Grammar, 1998
- Chierchia et McConnell-Ginet, Meaning and Grammar, An Introduction to Semantics, 2000
- B. Partee : Noun Phrase interpretation and type-shifting principles (chapitre 10 de Compositionality in Formal Semantics, selected papers by Barbara Partee, 2004)
- J. Lambek : The Mathematics of Sentence Structure, 1958
- Gamut : Logic, Language, and Meaning, vol I et II, 1991
- A. Thayse : Approche logique de l'intelligence artificielle, vol. 2, chap. 2 et 3 ("Logique intensionnelle et langues naturelles" et "La sémantique de Montague", chapitres rédigés par Paul Gochet)
- C. Dobrovie-Sorin et C. Beyssade : Définir les indéfinis, CNRS Editions, 2004

Séances :

- 6 octobre 2008 : Cours d'introduction, Qu'est-ce que la sémantique formelle?
- 13 octobre 2008 : le langage de la logique des prédicats du premier ordre
- 20 octobre 2008 : de la grammaire à l'interprétation (construction directe de la valeur de vérité à partir d'un arbre syntaxique)
- 27 octobre 2008 : retour sur la notation lambda et problème des quantifieurs
Devoir n°1, à rendre le 10 novembre
- 3 novembre 2008 : grammaire de Montague
- 10 novembre : retour sur la quantification dans la grammaire de Montague
Attention: pas de cours le 17 novembre
- 24 novembre 2008 : grammaire de Montague, suite (traduction sémantique)
Devoir n°2, à rendre pour le 8 décembre
Devoir de rattrapage n°1
- 1er décembre 2008 : changement de type et règle quantificationnelle chez Montague
- 8 décembre 2008 : les différents types de NP (selon B. Partee) + introduction à l'intensionnalité: mondes possibles et modalités
Attention: le cours du 15 décembre est déplacé au 17 décembre, même salle, à 13h30
Devoir de rattrapage n°2
Devoir n°3, à rendre pour le 5 janvier
- 17 décembre 2008 : cours sur l'intensionnalité
- 5 janvier 2009 : rappels
Résumé Grammaire de Montague et Intensionnalite
L'examen a lieu le lundi 12 janvier (2 heures) de 13h à 15h, il portera sur les représentations en logique des prédicats, le lambda-calcul typé et la grammaire de Montague sans types intensionnels