Sémantique formelle
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Phonetik.svg/45px-Phonetik.svg.png)
Cet article est une ébauche concernant la linguistique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens[1].
Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé. Avant que Richard Montague montre comment l’anglais (ou n’importe quel autre langage naturel) pouvait être traité comme un langage formel[2], les linguistes n’utilisaient que rarement la sémantique formelle. Sa contribution à la sémantique linguistique, appelée grammaire de Montague, fut par la suite, la base de plusieurs approfondissements, comme la grammaire catégorielle de Bar-Hillel et de ses confrères, et plus récemment la sémantique logique basée sur le Calcul de Lambek[3].
Un autre domaine de recherche, utilisant la logique linéaire, est la sémantique « glue » fondée sur le principe de « l'interprétation comme déduction », en relation étroite avec le paradigme
d’ « analyse syntaxique comme déduction » de la grammaire catégorielle [4].
En 1992, Margaret King déclare que peu d’hypothèses sur la sémantique formelle ont été testées dans une démarche empirique, à l’inverse de celles en linguistique informatique[5].
La sémantique cognitive est alors apparue et s’est développée comme une réaction à la sémantique formelle.
Voir aussi
- Théorie de représentation du discours
- Sémantique de la logique
- Représentation Sémantique Abstraite, un langage de représentation sémantique
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Formal semantics (linguistics) » (voir la liste des auteurs).
- ↑ (en) Mark Aronoff et Janie Rees-Miller, The handbook of linguistics, Wiley-Blackwell, , 840 p. (ISBN 978-1-4051-0252-0, lire en ligne), chapter 15: An Introduction to Formal semantics.
- ↑ For a very readable and succinct overview of how formal semantics found its way into linguistics, please refer to The formal approach to meaning: Formal semantics and its recent developments by Barbara Abbott. In: Journal of Foreign Languages (Shanghai), 119:1 (January 1999), 2–20.
- ↑ (en) Michael Moortgat, Categorial investigations : logical and linguistic aspects of the Lambek calculus, Walter de Gruyter, , 285 p. (ISBN 978-90-6765-387-9, lire en ligne)
- ↑ (en) Harry Bunt, Computing Meaning, vol. 3, Springer, , 477 p. (ISBN 978-1-4020-5957-5, lire en ligne), p. 458
- ↑ (en) Margaret King, Computational Linguistics and Formal Semantics, Cambridge University Press, , 283 p. (ISBN 978-0-521-42988-7, lire en ligne), « Epilogue: on the relation between computational linguistics and formal semantics »
Bibliographie
- (en) Max Cresswell, The Blackwell guide to the philosophy of language, Wiley-Blackwell, (ISBN 978-0-631-23142-4), « Formal semantics » An very accessible overview of the main ideas in the field.
- (en) John I. Saeed, Semantics, Wiley-Blackwell, coll. « Introducing linguistics », , 3e éd., 456 p. (ISBN 978-1-4051-5639-4) Chapter 10, Formal semantics, contains the best chapter-level coverage of the main technical directions
- (en) Johan van Benthem et Alice Ter Meulen, Handbook of Logic and Language, Amsterdam/Boston, Elsevier, , 2e éd., 1146 p. (ISBN 978-0-444-53726-3) The most comprehensive reference in the area.
- (en) Emmon W. Bach, Informal lectures on formal semantics, SUNY Press, , 150 p. (ISBN 978-0-88706-772-3, lire en ligne) One of the first textbooks. Accessible to undergraduates.
- (en) Ronnie Cann, Formal semantics : an introduction, Cambridge University Press, (ISBN 978-0-521-37610-5)
- (en) Irene Heim et Angelika Kratzer, Semantics in generative grammar, Wiley-Blackwell, , 336 p. (ISBN 978-0-631-19713-3)
- (en) Gennaro Chierchia et Sally McConnell-Ginet, Meaning and grammar : an introduction to semantics, MIT Press, , 2e éd., 573 p. (ISBN 978-0-262-53164-1, lire en ligne)
- (en) Sean A. Fulop, On the Logic and Learning of Language, Trafford Publishing, , 242 p. (ISBN 978-1-4120-2381-8, lire en ligne)
- (en) Glyn V. Morrill, Type logical grammar : categorial logic of signs, Springer, (ISBN 978-0-7923-3095-0)
- Reinhard Muskens Type-logical Semantics to appear in the Routledge Encyclopedia of Philosophy Online.
- (en) Bob Carpenter, Type-logical semantics, MIT Press, , 575 p. (ISBN 978-0-262-53149-8, lire en ligne)
- (en) Johan van Benthem, Language in action : categories, lambdas, and dynamic logic, MIT Press, , 365 p. (ISBN 978-0-262-72024-3, lire en ligne)
- Laurent Roussarie, Sémantique formelle : Volume 1 : Introduction à la grammaire de Montague, Berlin, Language Science Press, , 498 p. (ISBN 978-3-96110-017-0, lire en ligne)
- Barbara H. Partee: Reflections of a formal semanticist as of Feb 2005. Ample historical information. (an extended version of the introductory essay in Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)
Portail de la linguistique
Portail de la logique