Sémantique compositionnelle et formelle
La sémantique formelle offre une description précise et vérifonctionnelle du sens, dans laquelle le sens d'une expression complexe est construit de manière compositionnelle à partir du sens de ses parties.
Definition
La sémantique compositionnelle et formelle est l'étude du sens linguistique utilisant la logique formelle et la théorie des modèles, centrée sur l'interprétation compositionnelle et vérifonctionnelle des expressions.
Scope
Ce domaine couvre l'étude formelle et en termes de théorie des modèles du sens des langues naturelles. Il inclut le principe de compositionnalité, l'utilisation d'outils logiques et ensemblistes pour attribuer des dénotations aux expressions, le programme de Montague visant à traiter le langage naturel avec la rigueur de la logique formelle, l'analyse de la quantification et de la portée (scope), ainsi que la sémantique du temps, de l'aspect et de la modalité. L'idée directrice est que connaître le sens d'une phrase revient à connaître ses conditions de vérité, et que celles-ci sont calculées systématiquement à partir du sens et du mode de combinaison de ses constituants.
Sub-topics
Core questions
- Comment le sens d'une expression complexe est-il déterminé par le sens de ses parties et leur combinaison syntaxique ?
- Comment le sens des expressions des langues naturelles peut-il être représenté dans un système formel, en termes de théorie des modèles ?
- Comment les quantificateurs, la portée (scope) et la liaison (binding) doivent-ils être analysés ?
- Comment les phénomènes dépendants du contexte et intensionnels (temps, modalité) devraient-ils être modélisés ?
Key concepts
- principe de compositionnalité
- conditions de vérité
- dénotation et type sémantique
- calcul lambda
- modèle et fonction d'interprétation
- intension et extension
- application fonctionnelle
Key theories
- Sémantique vérifonctionnelle, en termes de théorie des modèles
- Le sens d'une phrase déclarative est identifié à ses conditions de vérité, calculées par rapport à un modèle qui interprète les expressions de base, suivant la tradition frégéenne et tarskienne.
- Grammaire de Montague
- Le langage naturel peut être traité comme un langage formel : une syntaxe associée à une sémantique en termes de théorie des modèles via un homomorphisme, utilisant le calcul lambda typé et la logique intensionnelle pour interpréter les expressions de manière compositionnelle.
- Interprétation compositionnelle basée sur les types
- Les expressions se voient attribuer des types sémantiques et sont combinées par des règles générales telles que l'application fonctionnelle, de sorte que l'interprétation est guidée par les types des constituants, comme systématisé dans le cadre de Heim et Kratzer.
History
La sémantique formelle découle des travaux de Frege sur le sens et la référence et de la définition de la vérité par Tarski pour les langages formels. L'étape décisive fut l'affirmation de Montague au début des années 1970 selon laquelle il n'existe pas de différence fondamentale entre les langues naturelles et formelles, et que l'anglais pouvait se voir attribuer une sémantique en termes de théorie des modèles. Barbara Partee a joué un rôle central dans la transmission du programme de Montague à la linguistique, et le manuel de Heim et Kratzer a par la suite rendu la sémantique compositionnelle basée sur les types (type-driven) standard en grammaire générative.
Debates
- Interprétation directe vs. indirecte (représentationnelle)
- La question de savoir si le langage naturel doit être interprété directement dans un modèle, comme dans le programme de Montague, ou via une traduction vers un niveau de forme logique / représentation mentale.
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- Que signifie dire que la sémantique est vérifonctionnelle ?
- Cela signifie que spécifier le sens d'une phrase déclarative revient à spécifier les conditions sous lesquelles elle serait vraie ; connaître le sens, c'est savoir à quoi le monde devrait ressembler pour que la phrase soit valide.