In
linguistics,
formal semantics seeks to understand
linguistic meaning by constructing precise mathematical models of the principles that speakers use to define relations between expressions in a
natural language and the world which supports meaningful discourse.