The Is-Ought Problem: An Investigation in Philosophical Logic