Sémantique formelleEn 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é.
Complément d'objetvignette|Pour le complément d’objet direct on pose la question qui? Quoi? Mais en ceux qui concerne le complément d’objet indirect on pose la question À qui? À quoi? En grammaire, un complément d’objet est un syntagme qui vient donner une information sur le verbe. Il fait partie du prédicat et est qualifié d’essentiel. On distingue deux formes de compléments d’objet : le complément d'objet direct (COD), un groupe nominal ou son substitut ; le complément d'objet indirect (COI), un groupe prépositionnel ou son substitut, le complément d'objet second, un COI placé après un COD du même verbe.
Scrambling (linguistics)Scrambling is a syntactic phenomenon wherein sentences can be formulated using a variety of different word orders without any change in meaning. Scrambling often results in a discontinuity since the scrambled expression can end up at a distance from its head. Scrambling does not occur in English, but it is frequent in languages with freer word order, such as German, Russian, Persian and Turkic languages. The term was coined by Haj Ross in his 1967 dissertation and is widely used in present work, particularly with the generative tradition.
Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
Théorie Sens-TexteLa Théorie Sens-Texte (Meaning-Text Theory) est un cadre linguistique théorique pour la construction de modèles des langues naturelles. Cette théorie fournit une partition de la modélisation d’un énoncé en niveaux de représentation : Phonologique / phonétique Morphologique Syntaxique Sémantique Des transformations entre ces niveaux de représentation permettent de naviguer d'un texte vers son sens, et réciproquement. La théorie postule que les langues sont définies par la façon dont leurs éléments (les unités lexicales) sont combinés par des fonctions lexicales.
