a subfield of linguistics that employs mathematical and logical tools to study the precise meaning and interpretation of language, focusing on the formal representation of meaning using formal languages, logic, and computational methods