Grammatica di ordine superiore - Higher order grammar

La grammatica di ordine superiore (HOG) è una teoria grammaticale basata sulla logica di ordine superiore . Può essere visto simultaneamente come generativo- enumerativo (come la grammatica categoriale e principi e parametri ) o teorico del modello (come la grammatica della struttura della frase guidata dalla testa o la grammatica funzionale lessicale ).

Caratteristiche principali

  • Esiste una logica proposizionale dei tipi , che denota insiemi di entità linguistiche (fonologiche, sintattiche o semantiche). Ad esempio, il tipo NP denota la categoria sintattica (o classe di forma) delle frasi nominali .
  • HOG mantiene la distinzione di Haskell Curry tra struttura tettogrammatica ( sintassi astratta ) e struttura fenogrammatica (sintassi concreta).
  • Le entità sintattiche astratte sono identificate con forme libere (parole e frasi) strutturaliste ( Bloomfield - Hockett ). Ad esempio, il NP del tuo gatto è distinto dalla sua fonologia o dalla sua semantica .
  • La sintassi concreta è identificata con la fonologia , intesa in senso lato per includere l'ordine delle parole.
  • La modellazione dei sensi fregeani è sostanzialmente simile a quella di Montague , ma con le intenzioni sostituite da iperintenzioni a grana più fine .
  • Esiste un termine di prova ( Curry-Howard ) calcolo , i cui termini denotano entità linguistiche (fonologiche, sintattiche o semantiche).
  • Il termine calcolo è incorporato in una logica classica di ordine superiore (HOL).
  • Le interfacce sintassi-fonologia e sintassi-semantica sono espresse come teorie assiomatiche nell'HOL.
  • L'HOL ammette la sottotipizzazione (stile di separazione) , ad esempio NPacc, il tipo di frasi nominali accusative , è un sottotipo di NP e denota un sottoinsieme della categoria indicata da NP.

Riferimenti

link esterno