A semantic for a [[Formal Language|formal language]] is a systematic specification of the meanings of all the sentences of that language.