Abstract

The chief aim of the paper is to extend the calculusDSC 1 (see [4]) in such a way as to satisfy all the requirements listed in [4] as well as a further stipulation — called the principle of uninvolvement — to the effect that neither deontic compatibility nor deontic incompatibility of codes (see [2]) should be presupposed in deontic logic.