Semantyka (logika)

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ść.