The aim of this article is to construct a deontic logic in which the free choice postulate allow (
Ross, 1941)
[11] would be consistent and all the implausible result mentioned in (
Hanson, in press)
[5] will be blocked. To achieve this we first developed a new theory of action. Then we build a new deontic logic in which the deontic action operator and the deontic proposition operator are explicitly distinguished.