Formal semantics

This is the study of meaning in language using formal logic and mathematical models.