formal semantics: the branch of semantics that studies the logical aspects of meaning
semantics: the study of language meaning
nadir: the point below the observer that is directly opposite the zenith on the imaginary sphere against which celestial bodies appear to be projected