Gramática de orden superior

La gramática de orden superior (HOG) es una teoría gramatical basada en la lógica de orden superior . ^{[ 1 ] [ 2 ]} Puede verse simultáneamente como generativa -enumerativa (como la gramática categorial y los principios y parámetros ) o como teórica de modelos (como la gramática de estructura de frases dirigida por el núcleo o la gramática léxica funcional ).

• 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 los sintagmas nominales .
• HOG mantiene la distinción de Haskell Curry entre estructura tectogramatical ( sintaxis abstracta ) y estructura fenogramatical (sintaxis concreta).
• Las entidades sintácticas abstractas se identifican con formas libres estructuralistas ( Bloomfield - Hockett ) (palabras y frases). Por ejemplo, el sintagma nominal " tu gato" es distinto de su fonología o su semántica .
• La sintaxis concreta se identifica con la fonología , entendida en sentido amplio para incluir el orden de las palabras.
• La modelización de los sentidos fregeanos es, en líneas generales, similar a la de Montague , pero con las intensiones sustituidas por hiperintensiones más detalladas .
• 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).
• En el HOL, las interfaces sintaxis-fonología y sintaxis-semántica se expresan como teorías axiomáticas.
• La HOL admite subtipificación (de 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.

• Gramática de orden superior , Universidad Estatal de Ohio