Semantica (din limba greacă: σημαντικός, semantikós = semnificație, înțeles) este o ramură a lingvisticii care studiază sensul cuvintelor și propozițiunilor, având ca scop să clarifice în ce măsură sensul și semnificația noțiunilor complexe pot fi derivate din simbolurile cele mai simple ale limbajului, sprijinindu-se pe regulile sintaxei, fără a se identifica însă cu aceasta. Între semantică și sintaxă există același raport ca între fond și formă. Pentru teoria formală a semnificației în logică și informatică se folosesc termenii de "Semantică formală" sau "Semantica limbajului de programare".