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

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

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

• человеческие языки (предмет изучения лингвистики):
  • этнические языки, то есть стихийно возникшие и развивающиеся естественные языки, служащие (или служившие) в первую очередь средством общения между представителями определённого этноса (иногда — субэтноса или группы этносов);
  • контактные языки (в частности, пиджины), то есть стихийно возникшие в условиях межэтнических контактов естественные языки, не играющие роль родного языка ни для одного этноса;
  • плановые языки, то есть искусственные языки для общения людей (например, волапюк, эсперанто);
  • жестовые языки глухих;
• формальные языки:
  • компьютерные языки (например, Алгол, SQL, Python);
• языки животных;
• знаковые системы частного характера (например, система дорожных знаков или язык цветов).

Языки изучает лингвистика (языкознание). Знаковые системы — предмет изучения семиотики. Влияние структуры языка на человеческое мышление и поведение изучается психолингвистикой. Философия языка занимается общечеловеческими теоретическими проблемами, связанными с языком и с понятием языка.