Hallo.
"Semantik" ist, kurz gesagt, die "Wissensachft von der Bedeutung sprachlicher Zeichen". Steht auch so im Duden, jedenfalls in meinem. Das Pendant dazu ist "Semiotik" - die Wissenschaft von den Zeichen (bzw. Symbolen) überhaupt, also Zeichentheorie. Beides sind termini technici, die meines Erachtens von Stefan hervorragend in Schreibpraxis umgesetzt worden sind. Ansonst sind es Teilgebiete der formalen Logik und der Logiktheorie.
An dieser Stelle möchte ich nur kurz anmerken, dass auch die Semiotik unter anderem über ihre eigenen Syntaktik, Pragmatik und eben Semantik verfügt. Warum sollten Zeichen auch keine Träger von Bedeutungen sein?
Im Übrigen ist die Semiotik die Lehre von den Zeichen, nicht aber bloß von den Symbolen. Das hieße schließlich, mindestens Ikons und Indizes auszuschließen.
MfG, at