formalizovaný jazyk

Matematika / Informatika / Jazykověda

Aparát odvozování, dokazování a teorie vědních oborů, zejména deduktivních věd, který se cestou formalizace na základě metod moderní logiky vyhýbá nevýhodám běžného jazyka a stává se důslednou formalizací těchto oborů. Význam formalizovaného jazyka je potvrzován zejména praxí i vývojem současné kybernetiky a informatiky. Formalizovaný jazyk v širším pojetí tvoří kalkul spojený s interpretací. Kalkul tvořený souborem základních symbolů, souborem axiómů a souborem formačních (tvoření výrazů) a transformačních (odvozování) pravidel se stane formalizovaným jazykem, doplníme-li jej sémantickými pravidly, připisujícími správně utvořeným výrazům kalkulu významy. Formalizovaný jazyk může v souboru axiómů obsahovat i tvrzení mimologické (zákony příslušné vědecké disciplíny) a pak může popisovat příslušnou obsahovou oblast. V užším smyslu je formalizovaný jazyk symbolický jazyk tvořený výchozími symboly, pravidly tvoření výrazů a interpretací, tzn. proti širšímu pojetí nejsou axiómy a pravidla trasformace pokládány za součást formalizovaného jazyk, ale za jeho logiku.

Vytvořeno: 14. 3. 2000
Aktualizováno: 6. 4. 2024
Autor: -red-