Gramática de ordem superior - Higher order grammar
Gramática de ordem superior (HOG) é uma teoria gramatical baseada na lógica de ordem superior . Pode ser visto simultaneamente como generativo -enumerativo (como gramática categorial e princípios e parâmetros ) ou teórico de modelo (como gramática de estrutura de frase baseada em cabeça ou gramática funcional lexical ).
Características principais
- Existe uma lógica proposicional de tipos , que denotam conjuntos de entidades linguísticas (fonológicas, sintáticas ou semânticas). Por exemplo, o tipo NP denota a categoria sintática (ou classe de forma) de sintagmas nominais .
- HOG mantém a distinção de Haskell Curry entre estrutura tectogramática ( sintaxe abstrata ) e estrutura fenogramática (sintaxe concreta).
- As entidades sintáticas abstratas são identificadas com formas livres estruturalistas ( Bloomfield - Hockett ) (palavras e frases). Por exemplo, o NP seu gato é diferente de sua fonologia ou semântica .
- A sintaxe concreta é identificada com a fonologia , amplamente interpretada para incluir a ordem das palavras.
- A modelagem dos sentidos fregeanos é amplamente semelhante à de Montague , mas com intenções substituídas por hiperintensões mais refinadas .
- Existe um cálculo de termo de prova ( Curry-Howard ) , cujos termos denotam entidades linguísticas (fonológicas, sintáticas ou semânticas).
- O termo cálculo está embutido em uma lógica clássica de ordem superior (HOL).
- As interfaces sintaxe-fonologia e sintaxe-semântica são expressas como teorias axiomáticas no HOL.
- O HOL admite subtipagem (estilo de separação) , por exemplo, NPacc, o tipo de sintagmas nominais acusativos , é um subtipo de NP e denota um subconjunto da categoria denotada por NP.
Referências
links externos
- Gramática de ordem superior , estado de Ohio