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
- Gramática categorial
- Estilo de passagem de continuação
- Semântica de Kripke
- Semântica de situação
- Paradoxo de temperatura
Referências
- ^ 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.
- ^ "Gramática universal". Theoria 36 (1970), 373–398. (reimpresso em Thomason, 1974)
- ^ "Inglês como língua formal". In: Bruno Visentini (ed.): Linguaggi nella società e nella tecnica . Mailand 1970, 189–223. (reimpresso em Thomason, 1974)
- ^ "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)
- ^ 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).