21. storočie - doba, keď je držba informácií najdôležitejšou konkurenčnou výhodou v akejkoľvek oblasti. Nebude však prinášať žiadnu výhodu, pokiaľ nie je vyjadrená v jazyku, ktorému rozumejú tí, ktorí sú priradení alebo ktorí nemajú tlmočníka schopný odovzdať svoj význam adresátovi. V súčasnosti žije na zemi okolo 2000 ľudí. Ich charakteristickou črtou je predovšetkým jazyk. Spolu s hovoreným (prirodzeným) ľudstvom vytvorili veľa umelých jazykov. Každý z nich je určený na riešenie konkrétnych úloh. Medzi takéto signalizačné systémy patria formálne jazyky, ktorých príklady sú uvedené nižšie.

Definícia

Predovšetkým budeme uviesť, aký jazyk je. Pod týmto slovom sa rozumie znakový systém používaný na vytvorenie komunikácie medzi ľuďmi a vedomosťami. Základom väčšiny umelých aj prirodzených jazykov je abeceda. Je to súbor znakov používaný na zostavovanie slov a fráz. Jazyk sa vyznačuje:

používanou sériou znakov;

pravidlá ich zostavovania "slová", "frázy" a "texty";

súbor pravidiel (syntaktický, pragmatický a sémantický) o použití komplexných konštrukcií.

Charakteristika prirodzených jazykov

Ako už bolo uvedené, všetky jazyky sú bežne rozdelené na umelé a prirodzené. Medzi nimi existuje veľa nezrovnalostí.


Ovládané jazyky sú prirodzené. Medzi ich charakteristiky spolu s ostatnými patria:

nejednoznačnosť väčšiny slov;

existencia synoným a homonym;

prítomnosť viacerých mien v rovnakom predmete;

Existencia výnimiek z prakticky všetkých pravidiel.

Všetky tieto charakteristiky sú hlavné rozdiely medzi systémami prírodných znakov z formálnych jazykov. Príklady slov a nejednoznačnosť reči sú známe všetkým. Takže slovo "éter", v závislosti od kontextu, môže znamenať záležitosť aj rádio - alebo vysielanie.


Hlavnými funkciami hovorených jazykov sú:

komunikácia;

kognitívna aktivita;

vyjadrenie emócií;

vplyv na partnera (korešpondent, pokiaľ ide o korešpondenciu).

Charakteristika umelých jazykov

Umelé jazyky vytvárajú ľudia na špeciálne účely alebo pre špecifické skupiny ľudí. Jednou z hlavných charakteristík umelých jazykov je jednoznačná definícia ich slovnej zásoby, ako aj pravidlá, ktoré im dávajú hodnoty a prejavy.

Formálne jazyky a gramatika

Jazyk, či už prirodzený alebo umelý, môže existovať len vtedy, ak existuje súbor špecifických pravidiel. V tomto prípade by sa malo zabezpečiť konzistentné, kompaktné a presné odhalenie vzťahov a vlastností predmetnej oblasti. Ak sú jasne formulované, hovoria, že ide o formálny jazyk. Príklady takýchto signovacích systémov sú programovacie jazyky, aj keď, striktne povedané, radšej zaujímajú určitú medziľahlú pozíciu (pozri nižšie). Schéma vytvárania formálneho systému znakov nasleduje:

vybraná abeceda (súbor zdrojových symbolov);

určujú pravidlá pre vytváranie výrazov(syntax) jazyka.

Rozsah pôsobnosti

V procese vedeckého výskumu sa používajú formálne jazyky (príklady: logické jazyky, programovanie atď.). Majú lepšie ako prirodzené reprezentovať vedomosti a sú prostriedkami objektívnejšej a presnejšej výmeny informácií.
Formálne jazyky zahŕňajú všetky známe systémy matematických a chemických symbolov, Morseov kód, hudobný nástroj atď. Okrem toho sa bežne používajú formálne programovacie jazyky. Ich rýchly vývoj začal v polovici 20. storočia v súvislosti s príchodom počítačovej technológie.

Jazyk formálnej logiky

Základom každého programovacieho jazyka je matematický. Na druhej strane spolieha na systém signalizácie formálnej logiky. Ako veda bola logika vytvorená Aristotelom. Vyvinul však pravidlá na transformáciu vyhlásení, ktoré zachovávajú svoj skutočný význam bez ohľadu na obsah týchto výrazov. Formálna logika zápasí s "nevýhodami" prírodných jazykov spojených s nejednoznačnosťou niektorých vyhlásení atď. Na tento účel sú operácie s myšlienkami nahradené akciou s označením formálneho jazyka. To eliminuje akúkoľvek neistotu a umožňuje presne určiť pravdivosť vyhlásenia.