Gramática de orden superior

Características clave

Existe una lógica proposicional de tipos , que denotan conjuntos de entidades lingüísticas (fonológicas, sintácticas o semánticas). Por ejemplo, el tipo NP denota la categoría sintáctica (o clase de forma) de sintagmas nominales .
HOG mantiene la distinción de Haskell Curry entre estructura tectogramática ( sintaxis abstracta ) y estructura fenogramática (sintaxis concreta).
Las entidades sintácticas abstractas se identifican con formas libres (palabras y frases) estructuralistas ( Bloomfield - Hockett ). Por ejemplo, el NP de tu gato es distinto de su fonología o de su semántica .
La sintaxis concreta se identifica con la fonología , interpretada de manera amplia para incluir el orden de las palabras.
El modelado de los sentidos fregeanos es muy similar al de Montague , pero con las intensiones reemplazadas por hiperintensiones más finas .
Existe un cálculo de términos de prueba ( Curry-Howard ) , cuyos términos denotan entidades lingüísticas (fonológicas, sintácticas o semánticas).
El término cálculo está integrado en una lógica clásica de orden superior (HOL).
Las interfaces sintaxis-fonología y sintaxis-semántica se expresan como teorías axiomáticas en la HOL.
La HOL admite subtipos (estilo de separación) , por ejemplo, NPacc, el tipo de frases nominales acusativas , es un subtipo de NP y denota un subconjunto de la categoría denotada por NP.

^ Pollard, Carl . "Gramática categorial de orden superior". Congreso Internacional sobre Gramáticas Categoriales, Montpellier, Francia. 2004.
^ Hana, Jiri. Clíticos checos en gramática de orden superior. Disentimiento. La Universidad Estatal de Ohio, 2007.