In
logic,
formal semantics OR
logical semantics, is the study of the
semantics, or
interpretations, of
formal and (idealizations of)
natural languages usually trying to capture the pre-theoretic notion of
entailment. (Although both
linguistics and logic lay claim to providing theories of natural language, according to
Geach, logic generally ignores the "idiotism of idiom", and sees natural languages as cluttered with
idioms of no logical interest.)