Sémantique formelle

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. 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, 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. 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 . 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. La sémantique cognitive est alors apparue et s’est développée comme une réaction à la sémantique formelle. Théorie de représentation du discours Sémantique de la logique Représentation Sémantique Abstraite, un langage de représentation sémantique An very accessible overview of the main ideas in the field. Chapter 10, Formal semantics, contains the best chapter-level coverage of the main technical directions The most comprehensive reference in the area. One of the first textbooks. Accessible to undergraduates. Reinhard Muskens Type-logical Semantics to appear in the Routledge Encyclopedia of Philosophy Online. Barbara H. Partee: Reflections of a formal semanticist as of Feb 2005.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (64)

Cours associés (1)

Séances de cours associées (47)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

Explore la sémantique musicale, discute des inférences déclenchées par différents éléments musicaux et propose un cadre pour comprendre le sens de la musique.

Explore les opérations formelles du langage, y compris la concaténation, l'union, l'intersection et l'étoile Kleene pour la répétition du langage.

Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.

Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek.

La théorie des représentations du discours (sigle : DRT pour l'anglais discourse representation theory) est un modèle théorique offrant une représentation du langage par l'examen du contenu sémantique dépendant du contexte dans un discours. Il fut créé à l'origine par Hans Kamp, en 1981, pour résoudre le problème des pronoms donkey. Une théorie très similaire fut développée indépendamment par Irene Heim en 1982 sous le nom de File Change Semantics (« Théorie du changement du contexte »).