Words: formal semantics
Part of speech: n
Definition: the branch of semantics that studies the logical aspects of meaning