Questions tagged [deontic]

Deontic logic often contains the axiom □(p → q) → (□p → □q) where □ is being used for "it is obligatory that". This axiom strikes me as odd. It reads "If it is obligatory that p implies q, then if it is obligatory that p, then it is obligatory that…

Standard deontic logics are agentless. That is, obligations in the logic are not assigned to agents; instead, they are made sort of general and ephemeral. This strikes me as rather fraught with all sorts of potential problems in any proposition…