Термін походить відгрец.σημαντικός (семантікос), «значимий», утвореного зσημαίνω (семаіно) — «значити, вказувати» та також відσήμα (сема) — «знак», «позначка»,«символ».
Слова за звуковою формою і взаємопов'язанням значеннєвих полів поділяються наполісемні (наприклад,ручка, гатити) ймоносемні (наприклад,кисень — в узагальненому чи словниковому й конкретному вживанні); виділяютьсягомоніми (омоніми) (пара),пароніми (рибалка,рибак),антоніми (білий, чорний) йсиноніми (блакитний, голубий), за емоційним забарвленням на чуттєвонейтральні з номінативно-комунікативною функцією (назви конкретних речей:побутовізми,технічніпрофесіоналізми йнауковітермінологізми таабстрактизми —димар,шило,вуглець,доброта) й чуттєво-забарвлені, що виявляють ще й ставлення мовця до називаної речі чи дії (пейоративізми, в тому числіарґотизми йсленґізми — ножище, ходуля,куля, каліка 'нога',пестливі — ніж(еч)ка,евфемізми йтабуїзми — нічний метелик, дівчина легких звичаїв 'повія', лихий 'чорт'урочисті йпоетизми — правиця, десниця, рам'я 'рука', що за походженням можуть бути спершу історичними —архаїзми йнеологізми — чи географічнимиалотопізмами —етранжизми,діалектизми). Їхнє функційне застосування вивчаєстилістика. Систематичного викладу української семантики нема.
Семантикамов програмування та інших мов є важливою проблемою і областю досліджень у комп'ютерних науках. Як і синтаксис мови, її семантику можна точно визначити.
Наприклад, наступні вирази використовують різні синтакси, але спричинюють виконання однієї і тієї ж інструкції, а саме обчислити суму x та y і записати результат у змінну x:
Розроблено різні способи формального опису семантики мов програмування на основіматематичної логіки:[3]
Операційна семантика: Значення конструкції мови визначається обчисленнями, які вона провокує під час виконання на машині. Фокусом цієї семантики єяк отримується результат обчислень.
Денотаційна семантика: Значення моделюються математичними об'єктами, які представляють ефекти обчислення конструкцій. Таким чином, у фокусі є лише результат, а не те, як його було отримано.
Аксіоматична семантика: Задає властивості ефекту виконання конструкцій у форматі припущень. Таким чином, деякими аспектами виконання може бути знехтувано.
