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