formal semantics

1. 1.

   the branch of semantics that studies the logical aspects of meaning

   Broadersemantics

Questions about formal semantics

What does formal semantics mean?

formal semantics means "the branch of semantics that studies the logical aspects of meaning".

Is formal semantics a common word?

formal semantics is banded "Rare" — specialist or archaic — most readers will not have met it. The band comes from how often the word appears in a large corpus of everyday English, not from an editor's impression.