Higher order grammar

<h2 id="key-features">Key features</h2>
<ul><li>There is a <a href="/facts/Propositional_calculus/MNt5v31V">propositional logic</a> 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 <a href="/facts/Noun_phrase/mmz3tJt9">noun phrases</a>.</li>
<li>HOG maintains <a href="/facts/Haskell_Curry/PsNUI4Gn">Haskell Curry</a>'s distinction between tectogrammatical structure (abstract <a href="/facts/Syntax/6PxSV98p">syntax</a>) and phenogrammatical structure (concrete syntax).</li>
<li>Abstract syntactic entities are identified with <a href="/facts/Structuralism/qWLvWtfb">structuralist</a> (<a href="/facts/Leonard_Bloomfield/TBtTxGP2">Bloomfield</a>-<a href="/facts/Charles_F._Hockett/mcWEr8P4">Hockett</a>) free forms (words and phrases). For example, the NP <i>your cat</i> is distinct from its <a href="/facts/Phonology/qWAsvnok">phonology</a> or its <a href="/facts/Semantics/1L4WwLAP">semantics</a>.</li>
<li>Concrete syntax is identified with <a href="/facts/Phonology/qWAsvnok">phonology</a>, broadly construed to include word order.</li>
<li>The modelling of <a href="/facts/Sense_and_reference/Je4PEFQJ">Fregean senses</a> is broadly similar to <a href="/facts/Montague_grammar/6jFRwH5E">Montague</a>'s, but with intensions replaced by finer-grained hyperintensions.</li>
<li>There is a (<a href="/facts/Curry-Howard/Q3eVu60u">Curry-Howard</a>) proof term calculus, whose terms denote linguistic (phonological, syntactic, or semantic) entities.</li>
<li>The term calculus is embedded in a classical <a href="/facts/Higher-order_logic/hdUhry6m">higher-order logic</a> (HOL).</li>
<li>The syntax-phonology and <a href="/facts/Syntax%25E2%2580%2590semantics_interface/PR2fd3c7">syntax-semantics interfaces</a> are expressed as axiomatic theories in the HOL.</li>
<li>The HOL admits (separation-style) <a href="/facts/Subtyping/0L9t8twv">subtyping</a>, e.g. NPacc, the type of <a href="/facts/Accusative_case/HA1Q81qd">accusative</a> noun phrases, is a subtype of NP, and denotes a subset of the category denoted by NP.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://archive.today/20121214202355/http://www.ling.ohio-state.edu/~hana/hog/">Higher Order Grammar</a>, Ohio State</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Pollard, Carl. "Higher-order categorial grammar." International Conference on Categorial Grammars, Montpellier, France. 2004. <a href="/wiki/Carl_Pollard" target="_blank">/wiki/Carl_Pollard</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Hana, Jiri. Czech Clitics in Higher Order Grammar. Diss. The Ohio State University, 2007. <a href="https://etd.ohiolink.edu/!etd.send_file?accession=osu1188232919&disposition=inline" target="_blank">https://etd.ohiolink.edu/!etd.send_file?accession=osu1188232919&disposition=inline</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

Higher order grammar open-in-new

Higher order grammar