Références et liens
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.