Five Lectures on Formal Axiology