Sémantique des modèles et sémantique de Montague

La sémantique de Montague interprète le langage naturel de manière sémantique des modèles, en utilisant une logique intensionnelle typée pour attribuer des dénotations aux expressions de manière entièrement compositionnelle.

Definition

La sémantique des modèles interprète les expressions par rapport à un modèle formel ; la sémantique de Montague est le programme spécifique qui vise à le faire pour le langage naturel en utilisant une logique intensionnelle typée et une correspondance syntaxe-sémantique homomorphe.

Scope

Ce sujet couvre l'appareil formel de la sémantique des modèles pour le langage naturel : les modèles avec des domaines d'individus, des mondes possibles et des temps ; les types sémantiques et le calcul lambda typé ; et l'interprétation des expressions comme fonctions sur ces domaines. Il se concentre sur l'ouvrage de Montague 'The Proper Treatment of Quantification in Ordinary English' (PTQ) et le programme plus large de traitement de l'anglais avec la rigueur de la logique formelle, incluant l'intension et l'extension et l'analyse des syntagmes nominaux comme quantificateurs généralisés.

Core questions

• Comment les expressions d'une langue naturelle se voient-elles attribuer des dénotations dans un modèle formel ?
• Quels rôles les types sémantiques et le calcul lambda jouent-ils dans l'interprétation compositionnelle ?
• Comment l'intension et l'extension sont-elles distinguées, et pourquoi les mondes possibles sont-ils nécessaires ?
• Comment le traitement de Montague gère-t-il les syntagmes quantificateurs et la portée ?

Key concepts

• mondes possibles
• intension vs. extension
• type sémantique
• calcul lambda typé
• quantificateur généralisé
• correspondance syntaxe-sémantique homomorphe
• logique intensionnelle

Key theories

Le traitement approprié de la quantification (PTQ)

Le fragment d'anglais de Montague dans lequel les règles syntaxiques sont associées une à une aux règles d'interprétation sémantique, les syntagmes nominaux dénotent des quantificateurs généralisés, et la logique intensionnelle gère l'opacité et la modalité.

Théorie des types et logique intensionnelle

Les expressions se voient attribuer des types construits à partir de types de base (entités, valeurs de vérité) et éventuellement de mondes/temps ; les intensions sont des fonctions des mondes possibles vers les extensions, capturant le sens des contextes opaques et modaux.

History

S'appuyant sur Frege, la distinction intension/extension de Carnap et la théorie des modèles de Tarski, Montague a publié une série d'articles vers 1970, dont le plus célèbre est PTQ, soutenant que l'anglais peut être traité comme un langage formel avec une sémantique des modèles. Le manuel de Dowty, Wall et Peters a rendu l'appareil technique accessible aux linguistes, et ce cadre est devenu le fondement de la sémantique formelle moderne.

Debates

Les intensions des mondes possibles et le problème de la granularité

Traiter les significations comme des fonctions des mondes possibles vers les extensions assimile à tort toutes les expressions nécessairement équivalentes, ce qui a conduit à des propositions pour des notions de sens plus fines, structurées ou hyperintensionnelles.

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

Quelle est la différence entre l'intension et l'extension ?

L'extension d'une expression est sa dénotation dans un monde donné (par exemple, l'ensemble réel des chiens), tandis que son intension est la fonction qui produit une extension pour chaque monde possible (grossièrement, le concept), ce qui est nécessaire pour interpréter les contextes modaux et opaques.