Deontic logic allow us to translate:

AMC = Oa

The use of deontic logic allows a forceful restatement of Arrow’s difficulty in social choice:

Oa & ~a

Let us consider some more properties of morality and deontic logic.

The gap between Is and Ought (Sein und Sollen) means the rejection of

p p