Semantyka to dyscyplina badająca relacje pomiędzy znakami a przedmiotami, do których się one odnoszą. Semantyka zajmuje się badaniem znaczenia słów, czyli interpretacją znaków oraz interpretacją zdań i wyrażeń
języka.
Semantyka logiczna (nazywana też czasem
teorią modeli) bada
języki sztuczne, gdzie badany język nazywany językiem przedmiotowym jest interpretowany za pomocą
metajęzyka.
Semantykę nazywa się
teorią znaczenia lub
teorią oznaczania (
Quine) zależnie od określenia pojęcia
znaczenia.
Bibliografia
W
informatyce semantyka języka programowania określa zachowanie składowych systemu w zależności od jednostek programowych danego języka.