Kategorisk grammatik

Kategorisk grammatik ( K-grammatik , CG ) är en formell grammatik av en igenkännande typ [1] , som uppstod tack vare aktiviteterna av K. Aidukevich , I. Bar-Hillel och Joachim Lambek .

Typsystemet

Inom CG tilldelas varje syntaktisk enhet en kategorisk betydelse, eller typ [2] :666 . Två enkla (primitiva) typer introduceras: namn ( ) och mening ( ), från vilka, enligt rekursiva regler , komplexa typer kan erhållas med hjälp av vänster och höger divisionsoperationer (de betecknas som , ). Beteckningen på en enhet av komplex typ innehåller beteckning av någon enklare typ, samt en angivelse av vilken typ av enhet som bör kompletteras med denna enhet för att få en enhet av typ . Så, i CG för det engelska språket, får ett intransitivt verb i personlig form, uppfattat som ett förhållande mellan ett namn och en mening, en komplex typ , vilket betyder att för att få en mening, bör den kompletteras med en ämne - en substantivfras ( Engelsk substantivfras , NP ) [2] :667 ; det transitiva verbet tilldelas typen , eftersom dess tillägg till meningen kräver att man först fäster det direkta objektet till det och sedan subjektet [2] :669 . I det här fallet återspeglar parenteserna ordningen för addition och snedstreckets riktning - elementens linjära ordning: om elementet med den lägsta positionen i den syntaktiska strukturen föregår det element som upptar den högsta positionen, är linjen lutad till vänster, om den följer den - till höger. $N$ $S$ $\backslash$ $/$ $S$ $S\backslash NP$ $(S\backslash NP)/NP$

Operationer på typer

I den av I. Lambek föreslagna CG-varianten finns flera operationer som är tillåtna att utföra med typer. De inkluderar [2] :668, 673-674 :

tillämpning ( ) — ersättning av en kombination av två sida vid sida med en typ, tillåtet om en typ är en relation och den andra motsvarar det högra elementet i den första: , ; $A$ $Y~X\backslash Y\to X$ $X/Y~Y\to X$
sammansättning ( ) - att tilldela en enda komplex typ till en kedja av två komplexa typer: , , , ; $C$ $A/B~B/C\to A/C$ $A/B~B\backslash C\to A\backslash C$ $B/C~A\backslash B\to A/C$ $B\backslash C~A\backslash B\to A\backslash C$
typhöjning ( engelsk typhöjning , ) - tilldelning till enheten, bredvid vilken det finns ett uttryck som kan fästa det, av en typ som gör att den kan fästa det namngivna uttrycket själv: , [3] . $T$ ${\color {OliveGreen}A/B}~B\to {\color {OliveGreen}A/B}~A\backslash (A/B)$ ${\displaystyle B~{\color {OliveGreen}A\backslash B}\to A/(A\backslash B)~{\color {OliveGreen}A\backslash B))$

Att erhålla en meningssymbol som ett resultat av att tillämpa giltiga operationer innebär att den analyserade meningen är grammatiskt korrekt . Således kan tolkningen av den grammatiska meningen John kom 'John kom', som ser ut som , slutar med att få , och den ogrammatiska meningen *John kom Bill 'John kom Bill' kan inte analyseras framgångsrikt: [2] :668-669 . $S$ ${\frac {NP~S\backslash NP}{\mathbf {S} }}\mathrm {A}$ $S$ ${\frac {NP~S\backslash NP}{\mathbf {S} }}\mathrm {A} ~{\begin{matrix}NP\\\mathbf {NP} \end{matrix}}$

Anteckningar

↑ Melchuk I. A. Formell grammatik // Great Soviet Encyclopedia : [i 30 volymer] / kap. ed. A. M. Prokhorov . - 3:e uppl. - M . : Soviet Encyclopedia, 1969-1978.
↑ 1 2 3 4 5 Kazenin K. I. Kategorisk grammatik // Introduktion till allmän syntax / Testelets Ya. G. . - M. : RGGU, 2001. - S. 664-692. — 800 s. - 5000 exemplar. — ISBN 5-7281-0343-X . Arkiverad kopia (inte tillgänglig länk) . Datum för åtkomst: 8 maj 2010. Arkiverad från originalet den 7 december 2009. (obestämd)
↑ En enhet som inte är föremål för konvertering, men som krävs för dess implementering, är markerad i färg.

Syntax
Grundläggande koncept	Förslag : enkel , komplicerad , komplex sammansatt , sammansatt , icke- förening Ledamot av förslaget Homogena medlemmar av en mening klausul Grunden fras Missbruk Syntaktisk koppling : koordinerande , underordnade samordning , kontroll , knutpunkt Valens Nexus och Junction Aktant Sirkonstant Beroende grammatik Grammatik av beståndsdelar Ytstruktur Djup struktur Omvandling
Personligheter	A. M. Peshkovsky L. Tenier N. Chomsky C. Fillmore I. A. Melchuk J. Hawkins Ya. G. Testelets
Syntaktiska teorier	Kategorisk grammatik Teori "Mening - Text" Generativ grammatik : standardteori, principer och parameterteori , minimalistiskt program
Relaterade begrepp	Språknivåer Grammatik Morfologi Grammatisk semantik Semantisk roll Transitivitet Kongruens
Fonetik och fonologi Morfologi Portal: Språkvetenskap