Ought implies can

Template:Short description Template:Use dmy dates "Ought implies can" is an ethical formula ascribed to Immanuel Kant that claims an agent, if morally obliged to perform a certain action, must logically be able to perform it: Template:Blockquote Template:Blockquote

Kant believed this principle was a categorical freedom, bound only by the free will as opposed to the Humean hypothetical freedom ("Free to do otherwise if I had so chosen"). There are several ways of deriving the formula—for example, the argument that it is wrong to blame people for things that they cannot control (essentially phrasing the formula as the contrapositive "'cannot' implies 'has no duty to'").

This ethical formula can be expressed in deontic logic with the multimodal axiom: $OA\to ◊A$, where the deontic operator $O$ means "It's obligatory that..." and the alethic operator $◊$ means "It's possible that...". However, in practical situations, obligations are usually assigned in anticipation of future events, in which case alethic possibilities can be hard to judge; Therefore, obligation assignments may be performed under the assumption of different conditions on different branches of timelines in the future, and past obligation assignments may be updated due to unforeseen developments that happened along the timeline.Template:Citation needed

"Ought implies can" is logically equivalent to the formula $◻\mathrm{\neg }A\to \mathrm{\neg }OA$, which means "impossible implies omissible".Template:Citation needed

References

Template:Philosophy-stub