Жоғары Ретті Грамматика: Логикалық Негіздер мен Құрылымдық Моделдеу
Higher order grammar
Жоғары реттік грамматика (HOG) – жоғары ретті логикаға негіделген тіл білімі теориясы. Текстограмматикалық & фенограмматикалық құрылымдарды қарастырады.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Жоғары реттік грамматика (ЖОГ) – жоғары реттік логикаға негізделген грамматикалық теория. Оны генеративтік-санаулық (категориялық грамматика және принциптер мен параметрлер сияқты) немесе модельдік-теориялық (басқаша айтқанда, баспен басқарылатын сөз тіркес құрылымы грамматикасы немесе лексикалық-функционалдық грамматика) тұрғысынан бірдей қарастыруға болады.
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, accusative есімдік фразалар типі, 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.