the study of Meaning.
Hofstadter argues that meaning is a Morphism (often Isomorphisms) between a language (produced by a Formal system) and another space. See Formal systems and semantics for more.
The mapping itself is known as an interpretation.
Inferring semantics, is like deciphering a code or an old language. See page 50 of GEB.