Význam metajazyka

Čo je to metajazyk:

Metajazyk je jazyk používaný na opis, vyjadrenie alebo analýzu jazyka.

V logike a lingvistike sa metajazyk používa na analýzu a štruktúrovanie logických problémov spôsobených sémantickými paradoxmi v jazyku používanom na opis predmetov.

Metajazyk je tiež definovaný ako špecializovaný jazyk na opis prirodzeného jazykového systému alebo iný jazyk považovaný za predmet analýzy. To platí najmä pri učení sa nového jazyka, napríklad „slova“ Jazyk v angličtine znamená „jazyk“.

Výrazy v metajazyku sa zvyčajne odlišujú od objektu jazyka pomocou kurzívy, úvodzoviek alebo samostatného riadka, aj keď to tak nie je vždy.

Britský autor Bertrand Russell (1872-1970) definoval teóriu hierarchie jazykov na dvoch úrovniach:

  • Úroveň objektu a jazyka: používa sa na označenie predmetov, ako napríklad „sú to ľudia“.
  • Metalinguistická alebo metajazyková úroveň: je to jazyk používaný na definovanie predchádzajúcej úrovne, napríklad vo fráze „prisťahovalci sú ľudia“, „prisťahovalci“ sú na úrovni metajazyka.

Na druhej strane poľský autor Alfred Tarski (1901-1983) definuje metajazyk ako riešenie sémantických paradoxov a uvádza, že „je potrebné hovoriť pravdu o jazyku z iného jazyka, ktorý sa nazýva metajazyk“.

Niektoré príklady metajazyka sú okrem iného gramatický jazyk, lexikografický jazyk, logický jazyk, detský jazyk, technický jazyk, počítačový jazyk.

Pozri tiež Jazyk.

V lingvistike sa v jazyku rozlišuje šesť použití alebo funkcií, jedným z nich je metalingvistická funkcia, ktorá pomocou metajazyka hovorí o jazyku samotnom. Príklad: „metajazyk je jazyk.“

Pozrite si aj jazykové funkcie.

Charakteristika metajazyka

Metajazyk má špecifické vlastnosti, ktoré pomáhajú lepšie porozumieť správe kvôli logickej zložitosti, ktorú udržiava. Alfred Tarski definuje niektoré základné charakteristiky jazyka, ktorý sa má považovať za metajazyk:

  • Metajazyk definuje jazyk pomocou iného jazyka.
  • Metajazyk musí byť bohatší ako objektový jazyk, pretože popisuje jeho vety a syntax.
  • Metajazyk je chápaný v rámci teórie množín a binárnej logiky.
  • Metajazyk musí byť kópiou objektového jazyka, aby to, čo sa s ním dá povedať, bolo možné vyjadriť aj metajazykom.

Metajazyk vo výpočtovej technike

Metajazyk vo výpočtovej technike sa používa na presný opis reťazcov programu. V roku 1950 existovali v oblasti výpočtovej techniky dva druhy problémov so skladaním počítačových programov:

  1. Absencia návrhu matematického jazyka na vyjadrenie algoritmu.
  2. Neschopnosť preložiť programy do počítačového kódu.

Pozri tiež Algoritmus.

Prvý problém bol vyriešený vytvorením disciplíny navrhovania počítačových programov a druhá otázka bola vyriešená vďaka generovaniu kompilátorov, ktoré sú definované ako metajazyk, čo je program, ktorý číta program.

Počítačové kompilátory sú založené na programovacích jazykoch. Jednou z najpoužívanejších je BNF (Backus-Naur Form), ktorú vytvorili John Backus a Peter Naur a ktorú nezávisle vyvinul Noam Chomsky, známy tiež ako Chomského modelová hierarchia TYPE2.

Kompilátory generujú syntaktickú analýzu, ktorá detekuje väčšinu chýb v zdrojovom kóde, a preložia ju do ekvivalentného programu v inom jazyku (objektový kód).

Značky:  Výrazy-In-Angl Veda Všeobecný