Study of theoretical aspects of language and logic, focusing on the relationship between language and logical thinking. Topics include grammar, syntax, semantics, and formal models