Sets,Sentences,and Some Logics about Imperatives

Abstract

Though deontic logic is regarded as the logic of normative reasoning, norms – as entities lacking truth values – are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.