Gramática de ordem superior
Origem: Wikipédia, a enciclopédia livre.
A gramática de ordem superior é uma teoria gramátical baseada na lógica de ordem superior. A gramática de ordem superior não força a escolher entre os tipos de gramática de prova teórica e modelos teóricos.
[editar] Características básicas:
• Na gramática de ordem superior, uma gramática é uma teoria axiomática escrita em um determinado tipo da lógica de primeira ordem.
• Os tipos da lógica de ordem superior fornecem uma lógica para os aspectos de prova teórica da análise gramatical. Um tipo denota a partir de entidades lingüísticas (sintático ou semântico); por exemplo, o tipo NP denota NPs.
• Os termos da lógica de ordem superior fornecem uma lógica para os aspectos de modelo teórico da análise gramatical. Um termo denota uma entidade lingüística (sintático ou semântico), e pode ser analisado como uma derivação da entidade que denota.
• Duas lógicas são ligadas uma na outra pelo isomorfismo de Curry-Howard.
• As entidades sintáticas, tais como verbos, são na integra as funções, e o que (geralmente metaforizamos) são chamadas de “argumentos gramaticais” (isto é o sujeito e os complementos) são de fato os argumentos da função.