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 that supports meaningful discourse the mathematical tools used are the confluence of formal logic and formal language theory especially typed lambda calculi