Gramática de ordem superior

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 nos força a escolher entre os tipos de gramática associados à teoria da demonstração ou à teoria dos modelos.

Características básicas

• Na gramática de ordem superior, uma gramática é uma teoria axiomática escrita em um determinado tipo de lógica de ordem superior.
• Os tipos da lógica de ordem superior fornecem uma lógica para os aspectos da análise gramatical relacionados à teoria da demonstração. Um tipo denota um conjunto de entidades lingüísticas (fonológicas, sintáticas ou semânticas); 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.

Ver também

• Lógica de primeira ordem
• Lógica de segunda ordem
• Lógica de ordem superior

Ligações externas

• Ohio State