Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.

L'approche formelle de Montague.
English Title : The mathematics of language. Montague's formal approach.

Résumé

Dans cet article, l’auteur présente une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée « sémantique formelle », a été initiée par le linguiste américain Richard Merett Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du premier ordre et la théorie de types.

Abstract

We present a natural language modeling method which is strongly relying on mathematics. This method, called formal semantics, has been initated by the American linguist Richard M. Montague in the seventies. It uses mathematical tools such as formal languages and formal grammars, first-order logic and lambda-calculus. It is our goal to present to the reader both Montague’s formal semantics and the inherent mathematical tools. (ZDM/Mathdi)

Notes

Quadrature est un magazine de mathématiques pures et appliquées. Il s’adresse aux enseignants, étudiants, ingénieurs et amateurs de mathématiques.
Tout internaute peut acheter le numéro en cours et les anciens numéros sur la site de la revue quadrature.info (ISSN de l’édition électronique : 1760-4826).

Données de publication

Éditeur Quadrature Revigny-sur-Ornain , 2015 Format A4, p. 9-19 Index Bibliogr. p. 19-19
ISSN 1142-2785

Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20

Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier