Úvod do logiky

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.