Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory, and social choice theory. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms.