" Deber implica poder " [1] es una fórmula ética atribuida a Immanuel Kant que afirma que un agente, si está moralmente obligado a realizar una determinada acción, lógicamente debe poder realizarla:
Porque si la ley moral ordena que debemos ser mejores seres humanos ahora, de ello se desprende ineludiblemente que debemos ser capaces de ser mejores seres humanos. [2]
La acción a la que se aplica el "debería" debe ser posible en condiciones naturales. [3]
Kant creía que este principio era una libertad categórica , limitada únicamente por el libre albedrío en contraposición a la libertad hipotética de Hume ("Libre de hacer lo contrario si así lo hubiera elegido"). [4] Hay varias formas de derivar la fórmula; por ejemplo, el argumento de que está mal culpar a las personas por cosas que no pueden controlar (esencialmente redactar la fórmula como el contrapositivo "'no puede' implica 'no tiene el deber de'" ). [5]
Esta fórmula ética se puede expresar en lógica deóntica con el axioma multimodal: , donde el operador deóntico significa "Es obligatorio que..." y el operador alético significa "Es posible que...". Sin embargo, en situaciones prácticas, las obligaciones generalmente se asignan en anticipación de eventos futuros, en cuyo caso las posibilidades aléticas pueden ser difíciles de juzgar; Por lo tanto, las asignaciones de obligaciones pueden realizarse bajo el supuesto de diferentes condiciones en diferentes ramas de líneas de tiempo en el futuro, y las asignaciones de obligaciones pasadas pueden actualizarse debido a desarrollos imprevistos que ocurrieron a lo largo de la línea de tiempo. [ cita necesaria ]
"Deber implica poder" es lógicamente equivalente a la fórmula , que significa " imposible implica omisible ". [ cita necesaria ]
