Язы́к — сложная знаковая система, естественно или искусственно созданная и соотносящая понятийное содержание и типовое звучание (написание).

Термин «язык», понимаемый в широком смысле, может применяться к произвольным знаковым системам, хотя чаще он используется для более узких классов знаковых систем[1].

Среди знаковых систем различают[2]:

человеческие языки (предмет изучения лингвистики):
этнические языки, то есть стихийно возникшие и развивающиеся естественные языки, служащие (или служившие) в первую очередь средством общения между представителями определённого этноса (иногда — субэтноса или группы этносов)[3][4];
контактные языки (в частности, пиджины), то есть стихийно возникшие в условиях межэтнических контактов естественные языки, не играющие роль родного языка ни для одного этноса[5][6];
плановые языки, то есть искусственные языки для общения людей (например, волапюк, эсперанто)[7];
жестовые языки глухих[8];
формальные языки:
компьютерные языки (например, Алгол, SQL, Python);
языки животных;
знаковые системы частного характера (например, система дорожных знаков или язык цветов)[1].
Языки изучает лингвистика (языкознание). Знаковые системы — предмет изучения семиотики. Влияние структуры языка на человеческое мышление и поведение изучается психолингвистикой.