Gramatika vyšších řádů - Higher order grammar

Gramatika vyšších řádů (HOG) je a gramatická teorie na základě logika vyššího řádu.[1][2] Lze jej zobrazit současně jako generativní -číselný (jako kategoriální gramatika a principy a parametry ) nebo teoretický model (jako gramatika struktury fráze řízené hlavou nebo lexikální funkční gramatika ).

Klíčové vlastnosti

  • Tady je výroková logika z typy, které označují množiny jazykových (fonologických, syntaktických nebo sémantických) entit. Například typ NP označuje syntaktickou kategorii (nebo třídu formuláře) podstatné jméno fráze.
  • HOG tvrdí Haskell Curry Rozdíl mezi tektogramatická struktura (abstraktní syntax ) a fenogrammatická struktura (konkrétní syntax).
  • Abstraktní syntaktické entity jsou identifikovány pomocí strukturalista (Bloomfield -Hockett ) volné formy (slova a fráze). Například NP tvoje kočka je odlišný od jeho fonologie nebo jeho sémantika.
  • Konkrétní syntaxe je identifikována pomocí fonologie, široce vykládáno tak, že zahrnuje slovosled.
  • Modelování Fregeanské smysly je zhruba podobný Montague, ale s intenzitou nahrazenou jemnějšími zrny hyperintenze.
  • Tady je (Curry-Howard ) počet důkazů, jejichž termíny označují lingvistické (fonologické, syntaktické nebo sémantické) entity.
  • Termín kalkul je zakotven v klasice logika vyššího řádu (HOL).
  • Rozhraní syntaxe-fonologie a syntaxe-sémantiky jsou v HOL vyjádřena jako axiomatické teorie.
  • HOL připouští (styl separace) podtypování, např. NPacc, typ akuzativ podstatné jméno fráze, je podtyp NP, a označuje podmnožinu kategorie označené NP.

Reference

  1. ^ Pollard, Carl. "Vyšší kategorie kategoriální gramatiky "Mezinárodní konference o kategoriálních gramatikách, Montpellier, Francie. 2004.
  2. ^ Hana, Jiří. Czech Clitics in Higher Order Grammar. Diss. Ohio State University, 2007.

externí odkazy