Kategorinen kielioppi

Kategorinen kielioppi ( K-grammar , CG ) on tunnistavan tyypin [1] muodollinen kielioppi , joka syntyi K. Aidukevichin , I. Bar-Hillelin ja Joachim Lambekin toiminnan ansiosta .

Tyyppijärjestelmä

CG:n sisällä jokaiselle syntaktiselle yksikölle on määritetty kategorinen merkitys tai tyyppi [2] :666 . Esitetään kaksi yksinkertaista (primitiivistä) tyyppiä: nimi ( ) ja lause ( ), joista rekursiivisten sääntöjen mukaan voidaan saada monimutkaisia tyyppejä käyttämällä vasemman ja oikean jakooperaatioita (niitä merkitään , ). Monimutkaisen tyypin yksikön nimitys sisältää jonkin yksinkertaisemman tyypin merkinnän sekä merkinnän siitä, minkä tyyppistä yksikköä tulisi täydentää tällä yksiköllä tyypin yksikön saamiseksi . Joten englannin kielen CG:ssä persoonallisessa muodossa oleva intransitiivinen verbi, joka ymmärretään suhteena nimen ja lauseen välillä, saa monimutkaisen tyypin , mikä tarkoittaa, että lauseen saamiseksi sitä on täydennettävä subjekti - substantiivilause ( englanninkielinen substantiivilause , NP ) [2] :667 ; transitiiviverbille annetaan tyyppi , koska sen lisääminen lauseeseen edellyttää ensin suoran objektin liittämistä siihen ja sitten subjektin [2] :669 . Tässä tapauksessa hakasulkeet heijastavat lisäysjärjestystä ja kauttaviivan suunta - elementtien lineaarista järjestystä: jos elementti, jolla on alin sijainti syntaktisessa rakenteessa, edeltää korkeimman sijainnin olevaa elementtiä, viiva on vino. vasemmalle, jos se seuraa sitä - oikealle. $N$ $S$ $\backslash$ ${\näyttötyyli /}$ $S$ $S\backslash NP$ $(S\backslash NP)/NP$

Toiminnot tyypeillä

I. Lambekin ehdottamassa CG-versiossa on useita operaatioita, jotka sallitaan suorittaa tyypeillä. Niihin kuuluvat [2] :668, 673-674 :

sovellus ( ) — kahden rinnakkaisen tyypin yhdistelmän korvaaminen yhdellä tyypillä, sallittu, jos toinen tyyppi on relaatio, ja toinen vastaa ensimmäisen oikeaa elementtiä: , ; $A$ $Y~X\backslash Y\to X$ $X/Y~Y\to X$
koostumus ( ) - yhden kompleksityypin määrittäminen kahden kompleksityypin ketjuun: , , , ; $C$ $A/B~B/C\to A/C$ $A/B~B\backslash C\to A\backslash C$ $B/C~A\kenoviiva B\to A/C$ $B\backslash C~A\backslash B\to A\backslash C$
type raising ( englanniksi type raising , ) - osoitus yksikölle, jonka vieressä on sen liittämiseen kykenevä lauseke, jonka tyyppi sallii sen liittää itse nimetyn lausekkeen: , [3] . $T$ ${\color {OliveGreen}A/B}~B\to {\color {OliveGreen}A/B}~A\backslash (A/B)$ ${\displaystyle B~{\color {OliveGreen}A\kenoviiva B}\to A/(A\kenoviiva B)~{\color {OliveGreen}A\kenoviiva B))$

Lausesymbolin saaminen kelvollisten operaatioiden soveltamisen tuloksena tarkoittaa, että analysoitava lause on kieliopillisesti oikein . Siten kielioppilauseen John tuli 'John tuli' jäsennys, joka näyttää tältä , päättyy saamiseen , ja kielioppitonta lausetta *John tuli Bill 'John tuli Bill' ei voida jäsentää onnistuneesti: [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}}$

Muistiinpanot

↑ Melchuk I. A. Muodollinen kielioppi // Suuri Neuvostoliiton Encyclopedia : [30 nidettä] / ch. toim. A. M. Prokhorov . - 3. painos - M . : Neuvostoliiton tietosanakirja, 1969-1978.
↑ 1 2 3 4 5 Kazenin K. I. Kategorinen kielioppi // Johdatus yleiseen syntaksiin / Testelets Ya. G. . - M .: RGGU, 2001. - S. 664-692. – 800 s. -5000 kappaletta. — ISBN 5-7281-0343-X . Arkistoitu kopio (linkki ei saatavilla) . Käyttöpäivä: 8. toukokuuta 2010. Arkistoitu alkuperäisestä 7. joulukuuta 2009. (määrätön)
↑ Yksikkö, jota ei muutettava, mutta joka tarvitaan sen toteuttamiseen, on korostettu värillä.

Syntaksi
Peruskonseptit	Ehdotus : yksinkertainen , monimutkainen , monimutkainen yhdiste , yhdiste , ei -liitto Ehdotuksen jäsen Homogeeniset lauseen jäsenet lauseke Säätiö lause Riippuvuus Syntaktinen yhteys : koordinoiva , alistava koordinointi , ohjaus , risteys Valenssi Nexus ja Junction Actant Sirconstant Riippuvuus kielioppi Aineosien kielioppi Pintarakenne Syvä rakenne Muutos
Persoonallisuudet	A. M. Peshkovsky L. Tenier N. Chomsky C. Fillmore I. A. Melchuk J. Hawkins Ja. G. Testelets
Syntaktiset teoriat	Kategorinen kielioppi Teoria "Merkitys - Teksti" Generatiivinen kielioppi : standardi teoria, periaatteet ja parametriteoria , minimalistinen ohjelma
Liittyvät käsitteet	Kielitasot Kielioppi Morfologia Kieliopillinen semantiikka Semanttinen rooli Transitiivisuus Congruence
Fonetiikka ja fonologia Morfologia Portaali: Kielitiede