Ang pormal na semantika ay tumutukoy sa sangay ng linggwistika at pilosopiya na may kinalaman sa pormal na pagsusuri ng kahulugan sa wika. Ito ay isang matematikal at lohikal na diskarte sa pag-aaral ng kahulugan na sumusubok na magbigay ng tumpak at mahigpit na mga pamamaraan para sa pagsusuri ng kahulugan ng mga salita, parirala, pangungusap, at iba pang mga ekspresyong pangwika. Ang mga pormal na semantika ay kadalasang kinabibilangan ng paggamit ng mga pormal na wika, lohika, set theory, at iba pang mga kasangkapang pangmatematika upang huwaran ang kahulugan ng wika. Ang layunin nito ay magbigay ng sistematiko at pormal na pagsasalaysay ng kahulugan ng wika na independiyente sa konteksto, intensyon ng tagapagsalita, at iba pang extralinguistic na salik.