" 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 ser capaz de realizarla:
Porque si la ley moral manda que seamos mejores seres humanos ahora, se sigue ineludiblemente que debemos ser capaces de ser mejores seres humanos. [2]
La acción a la que se aplica el «debería» debe ser, de hecho, posible en condiciones naturales. [3]
Kant creía que este principio era una libertad categórica , limitada únicamente por el libre albedrío en oposición a la libertad hipotética humeana ("Libre de hacer otra cosa 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, redactando la fórmula como el contrapositivo "'no puede' implica 'no tiene el deber de'"). [5]
Esta fórmula ética puede expresarse 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 suelen asignarse en previsión de acontecimientos 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 sucedieron a lo largo de la línea de tiempo. [ cita requerida ]
"Deber implica poder" es lógicamente equivalente a la fórmula , que significa " imposible implica omisible ". [ cita requerida ]
