Most philosophical debate degenerates to a recursive discourse on norms.
That’s because human beings really enjoy the ease of introspection, and the self reinforcing reward of moral intuitionism.
But if Propertarianism is correct, and I am pretty certain that it is, then moral truths can be expressed as purely rational arguments, and introspection merely tells you about your own reproductive strategy, class strategy, culture strategy, and cognitive biases.
That means an end to moral intuitionism.
Propertarianism allows us to produce a formal logic of ethics and morality, that denies us our cognitive biases and rational limitations.
And that is why we need formal logics.