LG 033 : Sémantique (formelle)

Bibliographie étendue

Ouvrages généraux et livres de cours

• Emon Bach, Informal lectures on formal semantics, New-York Press, 1987.
• Gennaro Chierchia et Sally McConnel-Ginet, Meaning and Grammar. An Introduction to Semantics, The MIT Press, 1990.
• David Dowty, X. Wall & Stanley Peters, Introduction to Montague Semantics, Dordrecht Reidel, 1981.
• 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.
• Henriëtte de Swart, Introduction ta Natural Language Semantics, Csli Lecture Notes No 80, CSLI Publications ; ISBN: 1575861380, 1998.
• Ed Keenan (ed), Formal Semantics of natural Language, Cambridge University Press, 1975.
• Shalom Lappin (ed), The Handbook of Contemporary Semantic Theory, Blackwell, 1996.

En français sur la sémantique montagovienne

• Michel Chambreuil & Jean-Claude Pariente, Langue naturelle et logique : la sémantique intensionnelle de Richard Montague, Peter Lang, Berne, 1990.
• Michel Chambreuil et alii, Sémantiques, Hermès, Paris, 1998.
• Michel Galmiche, Sémantique linguistique et logique, 1991, Paris, PUF.
• Fréderic Nef, Logique et langage: essai de sémantique intensionnelle, Hermès, Paris, 1988.

Pragmatique

• J. L. Austin, Quand dire, c'est faire, Seuil, Paris, 1970 (édition originale anglaise 1962).
• Benoît de Cornulier, Effets de sens, Les éditions de Minuit, collection Propositions, Paris, 1985.
• Ducrot, Oswald, Dire et ne pas dire, Herman, Paris, 1972.
• Searle, J. R., Les actes de langage, Herman, Paris 1972 (édition originale anglaise 1969).
• Armengaud, Françoise. La pragmatique, Que-sais-je n° 2230, PUF, 1985.
• La plupart des articles fondamentaux en pragmatique (Grice, etc.) se trouvent dans le recueil suivant :
  Steven Davis, Pragmatics : A Reader, Oxford University Press, ISBN:0195058984, 1991.

La référence

• Pascal Engel, Identité et référence, la théorie des noms propres chez Frege et Kripke, Presses de l'Ecole Normale Supérieure, Paris, 1985.
• Gottlob Frege, Ecrits logiques et philosophiques, traduction C. Imbert, Seuil, 1971.
• Saül Kripke, La logique des noms propres, traduction de F. Récanati et P. Jacob, Minuit, Paris, 1981

Les évenements

• Donald Davidson, Actions et événements, Paris, PUF, ISBN 2130451829, 1993.
• Pascal Engel, Davidson et la philosophie du langage, PUF, Paris, 1994.

Logique et inférences

• Etchemendy, John, The Concept of Logical Consequence, CSLI Publication, Stanford, ISBN 1575861941.
• Jayez, Jacques, L'inférence en langue naturelle, Hermes, 1988.
• Martin, Robert, Pour une logique du sens, PUF, Paris, 1983.
• Nef, Fréderic, Logique, langage et réalité, Editions Universitaires, Paris, 1991.
• Quine, W.V.O., La logique élémentaire, Armand Colin, collection U2.
• Quine, W.V.O., Le mot et la chose, Traduction P.Gochet,Flammarion, Paris, 1979.
• Quine, W.V.O., Méthode de logique, Armand Colin, collection U.
• Jean-François Pabion, Logique mathématique. Hermann, Paris, 1976.
• Gochet, P. Logique (??). Hermes, Paris.

DRT et SDRT

• Hans Kamp, Uwe Reyle, From Discourse to Logic, Kluwer, Dordrecht, 1993.
• Hans Kamp, « DRT : What it is and where it ought to go », in Blaser A, éditeur : Natural Language at the computer, Lecture Notes in Computer Science, 320, Springer Verlag, 1988.
• Hans Kamp, Christian Rohrer, « Tenses in Texts », in Bauerle, Schwarze, von Stechow, éditeurs, Meaning, Use and Interpretation of Language, Berlin, De Gruyter.
• Hans Kamp, « Événements, représentations discursives et référence temporelle », Langages, 64:34-64, 1981.
• 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.
• Hans Kamp, « Events, Instants, and Temporal Reference », in Bauerle, Egli, von Stechow, éditeurs, Semantics from different points of view, pp. 376-417, Berlin, Springer Verlag, 1979.
• Nicholas Asher, Reference to Abstract Objets in Discourse, Dordrecht, Kluwer, 1993.

Représentation des connaissances

• Kayser, Daniel, La représentation des connaissances, Hermès, Paris, 1999.
• Sabah, Gérard, L'intelligence artificielle et le langage, représentations des connaissances, Hermès,1988.
• Sabah, Gérard, L'intelligence artificielle et le langage, processus de compréhension, Hermès, 1989.

Fri Jan 11, 2002