formal semantics: the branch of semantics that studies the logical aspects of meaning
semantics: the study of language meaning
actinometer: an instrument for measuring the intensity of electromagnetic radiation (usually by the photochemical effect)