UFR Linguistique Paris 7 : ECUE LG033

LG 033 : Sémantique (formelle)

Nous étudierons dans ce cours les mécanismes de signification des phrases ou des syntagmes (sémantique non lexicale). Nous nous placerons pour ce faire dans un cadre formel, celui qui nous est fourni par la logique (propositionnelle, prédicative, etc.).
L'objectif est d'aboutir à une bonne maîtrise des concepts et outils de la sémantique formelle, tels qu'ils sont utilisés dans le paradigme de Montague.
Selon le niveau des étudiants, nous consacrerons un volume plus ou moins important aux introductions à la logique (propositionnelle, prédicative). Des lectures seront conseillées dans ce domaine.

L'enseignement sera assuré principalement par Pascal Amsili, ainsi que par deux enseignants invités, Jean-Pierre Koenig, Assistant Professor à l'University at Buffalo (12 h au premier semestre), et Philippe Schlenker, Assistant Professor of Linguistics at the University of Southern California (2e semestre).

Emploi du temps

Horaires :	Vendredi, de 14:00 à 17:00
Salle :	4, bât. A (près du RU)
Rythme :	Semestriel (S1)
Premier cours	Jeudi 05 Octobre 2001

Conférences de Jean-Pierre Koenig

Cours & conférences de Philippe Schlenker

Calendrier indicatif du cours

05/10 et 12/10 : Le domaine empirique de la sémantique formelle
19/10 : Éléments de pragmatique
26/10 : Logique propositionnelle
02/11 : Calcul des prédicats (cours de J.-P. Koenig)
09/11 : Calcul des predicats et logique temporelle (cours de J.-P. Koenig)
16/11 : Sémantique événementielle I (cours de J.-P. Koenig)
23/11 : Contrôle continu
30/11 : Sémantique événementielle II (cours de J.-P. Koenig)
07/12 et 14/12 : Introduction à la DRT
21/12 : DRT « temporalisée »
07/01 : Lambda-calcul et compositionnalité
14/01 : Lambda-DRT

Lectures

Tous les textes sont disponibles dans le casier ``Amsili'' à la bibliothèque de l'UFRL (Tour Centrale, 9e étage).

Extrait de The Empirical Domain of Semantics de (Chierchia & McConnel-Ginet, 1990), chapitre 1, section 3. Ce chapitre fera l'objet des séances du 05/10 et 12/10
Premier chapitre Genèse de l'approche pragmatique, de (Armengaud, 85). Chapitre à lire pour le 19/10.
Chap. 2 à 7 de (Salem, 1987). Texte à lire pour le 26/10.
Article (Kamp, 81). Texte en rapport avec les cours des 07/12 et 14/12.
Article (Davidson 67). Texte à lire pour la séance du 21/12.
Si vous vous intéressez aux présuppositions et aux implicatures, vous pouvez aussi lire avec profit le chapitre 11 Présupposition and Implicature par Larry Horn dans (Lappin 1996).

Contrôles

Modalités

Contrôle continu : un devoir sur table (40%), et une épreuve écrite pendant la session d'examen de janvier (60%).
Contrôle final : une épreuve écrite pendant la session d'examen de janvier (100%).
Session de rattrapage : pour tous : une épreuve écrite pendant la session d'examen de septembre (100%).

Calendrier

DST n° 1 : vendredi 23 novembre 01.
Sur table, sans documents, salle habituelle.
Cette épreuve portera sur les enseignements de Jean-Pierre Koenig.
- Notes
Epreuve finale (pour tous les étudiants :
Jeudi 24 Janvier 2002, 9:00 à 12:00, salle RC2.
- Énoncé (PS ou PDF)
- Notes
Epreuve de rattrapage (septembre) :
Jeudi 12 septembre, 14:00 à 17:00, salle 105.
- Énoncé (PS ou PDF)
- Notes

Bibliographie

Pour une bibliographie plus complète, voir la page suivante.

Armengaud, Françoise. La pragmatique, Que-sais-je n° 2230, PUF, 1985.
Gennaro Chierchia et Sally McConnel-Ginet, Meaning and Grammar. An Introduction to Semantics, The MIT Press, 1990.
David Davidson, The logical form of Action Sentences, in The logic of decision and action, Nicholas Rescher éditeur, University of Pittsburgh Press, 1967.
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.
Hans Kamp, « A Theory of Truth and Semantic Representation », in Groenendijk, Janssen, et Stockhof, éditeurs, Formal methods in the study of Language, Mathematical Centre Tract, Amsterdam, 1981.
Shalom Lappin (éditeur), The Handbook of Contemporary Semantic Theory. Blackwell, 1996.
Jean-François Pabion, Logique mathématique. Hermann, Paris, 1976.
Jean Salem, Introduction à la logique formelle et symbolique. Nathan-Université, Paris, 1987.

http://www.linguist.jussieu.fr/~amsili/Ens02/LG033.html ven sep 13, 2002