Key Features
- There is a propositional logic of types, which denote sets of linguistic (phonological, syntactic, or semantic) entities. For example, the type NP denotes the syntactic category (or form class) of noun phrases.
- HOG maintains Haskell Curry's distinction between tectogrammatical structure (abstract syntax) and phenogrammatical structure (concrete syntax).
- Abstract syntactic entities are identified with structuralist (Bloomfield-Hockett) free forms (words and phrases). For example, the NP your cat is distinct from its phonology or its semantics.
- Concrete syntax is identified with phonology, broadly construed to include word order.
- The modelling of Fregean senses is broadly similar to Montague's, but with intensions replaced by finer-grained hyperintensions.
- There is a (Curry-Howard) proof term calculus, whose terms denote linguistic (phonological, syntactic, or semantic) entities.
- The term calculus is embedded in a classical higher-order logic (HOL).
- The syntax-phonology and syntax-semantics interfaces are expressed as axiomatic theories in the HOL.
- The HOL admits (separation-style) subtyping, e.g. NPacc, the type of accusative noun phrases, is a subtype of NP, and denotes a subset of the category denoted by NP.
Read more about this topic: Higher Order Grammar
Famous quotes containing the words key and/or features:
“Sunshine of late afternoon—
On the glass tray
a glass pitcher, the tumbler
turned down, by which
a key is lying—And the
immaculate white bed”
—William Carlos Williams (1883–1963)
“The features of our face are hardly more than gestures which force of habit made permanent. Nature, like the destruction of Pompeii, like the metamorphosis of a nymph into a tree, has arrested us in an accustomed movement.”
—Marcel Proust (1871–1922)