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.

Emploi du temps

Horaires :	Vendredi, de 14:00 à 17:00
Salle :	RC4
Premier cours	Vendredi 18 Octobre 2002

Calendrier indicatif du cours

18/10 : Le domaine empirique de la sémantique formelle (1)
- Poly : exercices (PS ou PDF)
25/10 : Le domaine empirique de la sémantique formelle (2)
01/11 : Férié
08/11 : Le domaine empirique de la sémantique formelle (3)
15/11 : Cours supprimé
22/11 : Logique des propositions (1)
- Polys : définition et exercices (PS ou PDF) ; exercices (PS ou PDF)
29/11 : Logique des propositions (2)
06/12 : Logique des propositions (fin)
Logique des prédicats (1)
- Polys : phrases atomiques et quantificateurs (PS ou PDF) ; exercices (PS ou PDF)
13/12 : Logique des prédicat (2)
20/12 : Logique des prédicat (3)
- Poly : Interprétation dans les modèles (PS ou PDF)
Pragmatique
10/01 :
17/01 :
24/01 : (cours supplémentaire)

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 deux ou trois premières séances

Contrôles

Modalités

Contrôle continu : un devoir non surveillé 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

Devoir non surveillé, à rendre le vendredi 31 janvier, à 14h.
- Sujet (formats PS ou PDF)
- Notes
Epreuve finale (pour tous les étudiants)
vendredi 31 janvier, 08h30 à 11h30, amphi X3, 1 rue Guy de la Brosse
- Sujet (formats PS ou PDF)
- Corrigé (formats PS ou PDF)
- Notes

Bibliographie

Pour une bibliographie plus complète, voir la page suivante (merci à Claire Beyssade).

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.
Francis Corblin, Représentation du discours et sémantique formelle, PUF, 2002.
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/Ens03/LG033.html lun fév 24, 2003