Высшепорядковая грамматика: Логические основы и структура языка
Higher order grammar
Высокопорядковая грамматика (HOG): теория, основанная на логике высшего порядка. Объединяет генеративные и моделирующие подходы к синтаксису и семантике.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Грамматика высшего порядка (HOG) — это грамматическая теория, основанная на логике высшего порядка. Её можно рассматривать одновременно как генеративно-перечислительную (как, например, категориальная грамматика и принципы и параметры) или как теоретико-модельную (как, например, грамматика структуры фраз с управлением по головной единице или лексико-функциональная грамматика).
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 and parameters) or model theoretic (like head driven phrase structure grammar or lexical functional grammar).
Основные особенности
Существует пропозициональная логика типов, которые обозначают множества лингвистических (фонологических, синтаксических или семантических) единиц. Например, тип NP обозначает синтаксическую категорию (или класс форм) именных фраз. HOG сохраняет различие, введенное Хаскеллом Карри, между тектограмматической структурой (абстрактный синтаксис) и фенограмматической структурой (конкретный синтаксис). Абстрактные синтаксические единицы отождествляются со структурными (Блумфилд-Хокетт) свободными формами (словами и фразами). Например, NP "ваша кошка" отличается от ее фонологии или семантики. Конкретный синтаксис отождествляется с фонологией, понимаемой в широком смысле, включая порядок слов. Моделирование фрегеанских смыслов в целом аналогично монтегювскому, но с интенсионами, замененными более детализированными гиперинтенсионами. Существует исчисление доказательств (Карри-Говарда), чьи термы обозначают лингвистические (фонологические, синтаксические или семантические) единицы. Это исчисление термов встроено в классическую логику высшего порядка (HOL). Интерфейсы синтаксической фонологии и синтаксической семантики выражены в виде аксиоматических теорий в HOL. HOL допускает подтипирование (в стиле разделения), например, NPacc, тип аккузативных именных фраз, является подтипом NP и обозначает подмножество категории, обозначаемой NP.
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.