Deontic Logic and its Philosophical Morals