Semantyka (
semantyka logiczna) – obok
syntaktyki i
pragmatyki jeden z trzech działów
semiotyki logicznej (taki podział semiotyki wprowadził Charles W. Morris), zajmujący się funkcjami semantycznymi, tj. relacjami między
znakami (w tym zwłaszcza
wyrażeniami) a rzeczywistością, do której znaki te się odnoszą. Tak rozumianą semantykę należy odróżnić od
semantyki językoznawczej jako nauki o znaczeniu wyrazów (sam termin "semantyka" upowszechnił zresztą językoznawca,
Michel Bréal) i
semantyki ogólnej, nurtu filozofii języka; terminem "semantyka" określa się też niekiedy
semiotykę logiczną jako całość.