Semiotyka czyli językoznawstwo zwana jest także ogólną teorią znaków. Ogólna, formalna czyli logiczna teoria języka rozumianego jako system znakowy, zajmująca się językiem w aspekcie jego racjonalności i sprawności w aktach poznania i komunikowania.