Gramática de Montague - Montague grammar

A gramática Montague é uma abordagem da semântica da linguagem natural , em homenagem ao lógico americano Richard Montague . A gramática de Montague é baseada na lógica matemática , especialmente na lógica de predicados de ordem superior e cálculo lambda , e faz uso das noções de lógica intensional , via modelos de Kripke . Montague foi o pioneiro dessa abordagem na década de 1960 e no início da década de 1970.

Visão geral

A tese de Montague era que as linguagens naturais (como o inglês ) e as linguagens formais (como as linguagens de programação ) podem ser tratadas da mesma maneira:

Não há, em minha opinião, nenhuma diferença teórica importante entre as linguagens naturais e as linguagens artificiais dos lógicos; na verdade, considero possível compreender a sintaxe e a semântica de ambos os tipos de linguagem dentro de uma única teoria natural e matematicamente precisa. Nesse ponto, discordo de vários filósofos, mas concordo, creio eu, com Chomsky e seus associados. ("Gramática Universal" 1970)

Montague publicou o que logo ficou conhecido como gramática Montague em três artigos:

  • 1970: "Gramática universal" (= UG)
  • 1970: "Inglês como Língua Formal" (= EFL)
  • 1973: "O Tratamento Adequado da Quantificação no Inglês Comum" (= PTQ)

Ilustração

A gramática de Montague pode representar os significados de frases bastante complexas de forma compacta. Abaixo está uma gramática apresentada no livro de Eijck e Unger.

Os tipos de categorias sintáticas na gramática são os seguintes, com t denotando um termo (uma referência a uma entidade) ef denotando uma fórmula.

categoria símbolo modelo
Sentença S
Frase verbal VP
Frase nominal NP
Nome comum CN
Determinante DET
Verbo transitivo televisão

O significado de uma sentença obtido pela regra é obtido aplicando-se a função para NP à função para VP.

Os tipos de VP e NP podem parecer um pouco não intuitivos: por que o significado de um sintagma nominal não é simplesmente um termo? Isso ocorre porque os significados de muitos sintagmas nominais, como "o homem que assobia", não é apenas um termo na lógica de predicados, mas também inclui um predicado para a atividade, como "assobios", que não pode ser representado no termo (consistindo de símbolos de constantes e funções, mas não de predicados.) Portanto, precisamos de algum termo, por exemplo x , e uma fórmula assobia (x) para nos referirmos ao homem que assobia. O significado das frases verbais VP pode ser expresso com esse termo, por exemplo, afirmando que um determinado x satisfaz dorme (x) ronca (x) (expresso como uma função de x para aquela fórmula). Agora, a função associada a NP assume esse tipo de função e a combina com as fórmulas necessárias para expressar o significado do sintagma nominal. Observe que esta maneira particular de digitar NP e VP não é a única possível.

O importante aqui é que o significado de uma expressão seja obtido em função de seus componentes, seja pela aplicação da função, seja pela construção de uma nova função a partir das funções associadas ao componente. Essa composicionalidade torna possível atribuir significados de forma confiável a estruturas de sentenças arbitrariamente complexas, com orações auxiliares e muitas outras complicações.

Os significados de outras categorias de expressões são aplicativos de funções semelhantes ou funções de ordem superior . A seguir estão as regras da gramática, com a primeira coluna indicando um símbolo não terminal , a segunda coluna uma maneira possível de produzir aquele não terminal a partir de outros não terminais e terminais, e a terceira coluna indicando o significado correspondente.

significado
S NP VP
NP nome
NP DET CN
NP DET RCN
DET "algum"
DET "uma"
DET "cada"
DET "não"
VP intransverbo
VP TV NP
televisão transverbo
RCN CN "aquele" VP
RCN CN "aquele" NP TV
CN predicado

Aqui estão exemplos de expressões e seus significados associados de acordo com a gramática acima. Você pode ver como o significado de uma determinada frase é formado a partir de suas expressões constituintes, seja formando uma nova função de ordem superior ou aplicando uma função de ordem superior para uma expressão ao significado de outra.

expressão significado
uma
homem
um homem
dorme
um homem dorme
homem que sonha
um homem que sonha
um homem que sonha dorme

A seguir estão outros exemplos de sentenças traduzidas na lógica de predicados pela gramática.

sentença tradução para a lógica
Jill vê Jack
toda mulher vê um homem
toda mulher vê um homem que dorme
uma mulher que come vê um homem que dorme

Na cultura popular

No romance Infinite Jest de David Foster Wallace , o protagonista Hal Incandenza escreveu um ensaio intitulado Montague Grammar and the Semantics of Physical Modality . A gramática de Montague também é referenciada explícita e implicitamente várias vezes ao longo do livro.

Veja também

Referências

  1. ^ A lingüista Barbara Partee afirma ter inventado o termo em 1971 “para o sistema enunciado no“ UG, EFL e “especialmente em PTQ” de Montague. Veja seu ensaio "Reflections of a Formal Semanticist as of Fev 2005" , p. 14, nota de rodapé 36.
  2. ^ "Gramática universal". Theoria 36 (1970), 373–398. (reimpresso em Thomason, 1974)
  3. ^ "Inglês como língua formal". In: Bruno Visentini (ed.): Linguaggi nella società e nella tecnica . Mailand 1970, 189–223. (reimpresso em Thomason, 1974)
  4. ^ "O Tratamento Adequado da Quantificação no Inglês Comum ". In: Jaakko Hintikka , Julius Moravcsik , Patrick Suppes (eds.): Approaches to Natural Language . Dordrecht 1973, 221–242. (reimpresso em Thomason, 1974)
  5. ^ J. van Eijck e C. Unger. Semântica Computacional com Programação Funcional. Cambridge University Press, 2010.

Leitura adicional

  • Richmond Thomason (ed.): Formal Philosophy. Artigos selecionados por Richard Montague. New Haven, 1974, ISBN  0-300-02412-6
  • Paul Portner, Barbara H. Partee (eds.): Formal Semantics : The Essential Readings , Blackwell, 2002. ISBN  0-631-21542-5
  • DR Dowty , RE Wall e S. Peters: Introdução à Semântica de Montague. Kluwer Academic Publishers , 1981, ISBN  90-277-1142-9
  • Emmon Bach : Palestras Informais sobre Semântica Formal. SUNY Press , 1989, ISBN  0-88706-771-9
  • BH Partee , AGB ter Meulen e RE Wall: Métodos Matemáticos em Linguística. Kluwer Academic Publishers , 1990, ISBN  90-277-2245-5
  • BH Partee com Herman Hendriks: Montague Grammar. In: Handbook of Logic and Language , eds. JFAK van Benthem e AGB ter Meulen Elsevier / MIT Press , 1997, pp. 5-92. ISBN  0-262-22053-9
  • Reinhard Muskens Type-logical Semantics a aparecer na Routledge Encyclopedia of Philosophy Online (contém uma bibliografia comentada).

links externos