Higher order grammar

Higher Order grammar (HOG) is a grammar theory based on higher-order logic. It can be viewed simultaneously as generative-enumerative (like Categorial Grammar and Principles & Parameters) or model theoretic (like Head-Driven Phrase Structure Grammar or Lexical Functional Grammar).

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.

External links

* [http://www.ling.ohio-state.edu/~hana/hog/ Higher Order Grammar] , Ohio State


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Higher-order logic — In mathematics, higher order logic is distinguished from first order logic in a number of ways.One of these is the type of variables appearing in quantifications; in first order logic, roughly speaking, it is forbidden to quantify over predicates …   Wikipedia

  • Grammar — is the field of linguistics that covers the rules governing the use of any given natural language. It includes morphology and syntax, often complemented by phonetics, phonology, semantics, and pragmatics. Each language has its own distinct… …   Wikipedia

  • Grammar Explorer — is a language learning resource that was co funded by the European Commission as part of its [http://ec.europa.eu/education/programmes/socrates/lingua/index en.html Lingua programme] within the SOCRATES programme. The grammar is based on the… …   Wikipedia

  • Higher education in Ontario — includes postsecondary education and skills training regulated by the Ministry of Training, Colleges, and Universities and provided by universities, colleges of applied arts and technology, and private career colleges.Ministry of Training,… …   Wikipedia

  • Grammar school — A grammar school is one of several different types of school in the history of education in the United Kingdom and other English speaking countries.In the modern United States, the term is synonymous with elementary school.The original purpose of …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Montague grammar — is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on formal logic, especially higher order predicate logic and lambda calculus, and makes use of the notions of intensional… …   Wikipedia

  • Generalised phrase structure grammar — (GPSG) is a framework for describing the syntax and semantics of natural languages. GPSG was initially developed in the late 1970s by Gerald Gazdar. Other contributors include Ewan Klein, Ivan Sag, and Geoffrey Pullum. Their book Generalized… …   Wikipedia

  • English grammar — is a body of rules (grammar) specifying how phrases and sentences are constructed in the English language. Accounts of English grammar tend to fall into two groups: the descriptivist , which describes the grammatical system of English; and the… …   Wikipedia

  • Dutch grammar — series Dutch grammar Dutch verbs Dutch conjugation t kofschip T rules Dutch nouns Dutch declension Gender in Dutch grammar Dutch orthography Dutch dictionary IJ Dutch phonology …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.