The study of the meaning of words and sentences in a language, including the relationship between form and meaning.