The study of logic and language, including the system of linguistic signs, natural and artificial languages, and their interrelation. Understanding the semantic categories of language