ABSTRACT
With NDL semantics in place, I turn to the logic that falls out of that semantics. I shall first determine the formation rules for well-formed formulae in my new deontic logic (NDL). Then I shall state and argue for inference rules of NDL, while explaining why certain other possible inference rules are not part ofNDL. Next I shall state and argue for some important theorems asserted by NDL, and I shall show why certain other possible theorems are not asserted by NDL. As I go along, I shall be trying to show how NDL, both in the rules and theorems that it accepts and in the rules and theorems that it rejects, is far closer than Standard Deontic Logic (SDL) to our ordinary deontic thoughts and statements. I shall close this chapter with a brief review of how NDL deals with some of the problems we found in SDL.
