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
- Grammatica di ordine superiore , Ohio State