98
6.2 Kategoriální gramatika Principy kategoriální gramatiky přebíráme z monografie prof. Peregrina (2003), ale provedeme některá zjednodušení. Základní představou kategoriální gramatiky je idea, kterou formuloval izraelský logik a lingvista Bar-Hillel (1953): každá věta, která není elementární, je považována za výsledek operace jedné části věty na zbytek věty, který může být od ní bezprostředně vpravo, bezprostředně vlevo nebo na obou stranách. Ta část, která je nahlížena jako operující na ostatních částech věty, bude nazývána operátorem, ostatní části věty budou nazývány argumenty. Tuto myšlenku můžeme použít nejen na každou větu (daného jazyka), ale vůbec na každý složený výraz. Např. nejjednodušší větu Petr usnul můžeme chápat jako aplikaci výrazu usnout na výraz Petr. Je jasné, že výrazy Petr a usnout jsou zásadně odlišné – např. není možné si představit, že bychom aplikovali výraz Petr na výraz Petr nebo výraz usnout na výraz usnout. Z elementární nauky o větném rozboru víme, že nejjednodušší věta má tvar podmět + přísudek, neboli jmennou frázi (podmět) a slovesnou frázi (přísudek) a tyto části nelze zaměňovat. Z toho můžeme učinit závěr, že ne všechny výrazy ve větě jsou stejného druhu. Jednotlivé části věty můžeme zařadit do různých kategorií a věta vzniká jako kombinace částí, které jsou z různých kategorií (přitom se předpokládá, že jednotlivé části věty mají samostatný význam – ale o významu budeme mluvit až v následující části, zde uvažujeme pouze syntaxi). Kategoriální gramatiku zde nebudeme popisovat obecně, ale v konkrétním
případě, který je ovšem nejdůležitější. Kategoriální gramatiku vybudujeme pomocí induktivní (rekurentní) definice podobně jako jsme definovali množinu dobře utvořených výrazů, ale v tomto případě nebudeme postupně definovat jednotlivé prvky, ale postupně budeme definovat jednotlivé kategorie, tj. množiny výrazů stejného druhu. Zavedeme nejdříve elementární kategorie výrazů – a to kategorii výroků a kategorii termů a potom zavedeme pravidla jak postupně vytvářet další kategorie (výsledkem je nekonečná soustava kategorií, ale praktické uplatnění má jenom konečná množina kategorií).
Ukázka elektronické knihy, UID: KOS245003