Jazyk je znakový informačný systém, ktorý spĺňa funkciu formovania, zachovávania a prenosu informácií. Jazykom sa zaoberá veda semiotika, ktorý skúma jazyk v 3 aspektoch: syntaktickom, sémantickom a pragmatickom. Syntaktika je súčasť semiotiky, skúma štruktúru jazyka, spôsoby tvorby a spájania znakov. Sémantika sa zaoberá problémom významu, čiže vzťahov medzi znakmi a označenými objektami. Pragmatika sa týka komunikatívnej funkcie jazyka, estetických, ekonomických a iných vzťahov nositeľa jazyka k jazyku samotnému. Jazyky delíme na prirodzené a umelé. Prirodzený je jazyk každodenného života, ktorý ľudia používajú ako formu vyjadrenia svojich myšlienok a vzájomného styku. Umelý je jazyk vytvorený ľuďmi na nejaké špeciálne účely /jazyk matematickej symboliky, jazyk pomocou ktorého komunikuje s počítačom,.../ Znaky, ktoré tvoria každý druh jazyka delíme na 2 skupiny: podľa zakladateľa semiotiky Charlesa Perceho sa znaky delia na ikony a symboly.