Semântica Modelo-Teórica e de Montague

A semântica de Montague interpreta a linguagem natural de forma modelo-teórica, utilizando lógica intensional tipada para atribuir denotações a expressões de maneira totalmente composicional.

Definition

A semântica modelo-teórica interpreta expressões em relação a um modelo formal; a semântica de Montague é o programa específico de fazer isso para a linguagem natural usando lógica intensional tipada e um mapeamento homomórfico sintaxe-semântica.

Scope

Este tópico abrange o aparato formal da semântica modelo-teórica para a linguagem natural: modelos com domínios de indivíduos, mundos possíveis e tempos; tipos semânticos e o cálculo lambda tipado; e a interpretação de expressões como funções sobre esses domínios. Centra-se em 'The Proper Treatment of Quantification in Ordinary English' (PTQ) de Montague e no programa mais amplo de tratar o inglês com o rigor da lógica formal, incluindo intensão e extensão e a análise de sintagmas nominais como quantificadores generalizados.

Core questions

• Como as expressões de uma linguagem natural recebem denotações em um modelo formal?
• Que papéis os tipos semânticos e o cálculo lambda desempenham na interpretação composicional?
• Como a intensão e a extensão são distinguidas, e por que mundos possíveis são necessários?
• Como o tratamento de Montague lida com sintagmas quantificadores e escopo?

Key concepts

• mundos possíveis
• intensão vs. extensão
• tipo semântico
• cálculo lambda tipado
• quantificador generalizado
• mapeamento homomórfico sintaxe-semântica
• lógica intensional

Key theories

O Tratamento Adequado da Quantificação (PTQ)

O fragmento de inglês de Montague em que as regras sintáticas são pareadas um a um com as regras de interpretação semântica, os sintagmas nominais denotam quantificadores generalizados, e a lógica intensional lida com opacidade e modalidade.

Teoria de tipos e lógica intensional

As expressões recebem tipos construídos a partir de tipos básicos (entidades, valores de verdade) e possivelmente mundos/tempos; as intensões são funções de mundos possíveis para extensões, capturando o significado de contextos opacos e modais.

History

Baseando-se em Frege, na distinção intensão/extensão de Carnap e na teoria de modelos tarskiana, Montague publicou uma série de artigos por volta de 1970, sendo o mais famoso o PTQ, argumentando que o inglês pode ser tratado como uma linguagem formal com uma semântica modelo-teórica. O livro didático de Dowty, Wall e Peters tornou o aparato técnico acessível aos linguistas, e a estrutura tornou-se a base da semântica formal moderna.

Debates

Intensões de mundos possíveis e o problema da granularidade

Tratar significados como funções de mundos possíveis para extensões equipara erroneamente todas as expressões necessariamente equivalentes, o que leva a propostas para noções de significado mais refinadas, estruturadas ou hiperintensionais.

Key figures

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

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

Qual é a diferença entre intensão e extensão?

A extensão de uma expressão é sua denotação em um dado mundo (por exemplo, o conjunto real de cães), enquanto sua intensão é a função que produz uma extensão para cada mundo possível (grosseiramente, o conceito), que é o que é necessário para interpretar contextos modais e opacos.