Ernst Mally's "Deontik"
The paper describes the first formal system of deontic logic by the Austrian philosopher Ernst Mally who called it “Deontik”. Mally distinguished agent-dependent duty and unconditional commitment and based his deontic calculus on five principal propositions of necessity and thirty five theorems deduced from these propositions. He calls some of the theorems “strange”. Ernst Mally made a valuable contribution to the development of deontic logics and was the first to build deontic calculus.