Bör innebär kan
" Ought implies can " är en etisk formel som tillskrivs Immanuel Kant som hävdar att en agent, om den är moraliskt skyldig att utföra en viss handling, logiskt sett måste kunna utföra den:
För om morallagen befaller att vi borde vara bättre människor nu, följer det oundvikligen att vi måste kunna vara bättre människor.
Den handling som "borde" gäller måste verkligen vara möjlig under naturliga förhållanden.
Kant trodde att denna princip var en kategorisk frihet , endast bunden av den fria viljan i motsats till den humanistiska hypotetiska friheten ("Fri att göra annat om jag hade valt det"). Det finns flera sätt att härleda formeln – till exempel argumentet att det är fel att skylla på människor för saker som de inte kan kontrollera (att formulera formeln som kontrapositiven "'kan inte" antyder 'har ingen skyldighet att'").
Denna etiska formel kan uttryckas i deontisk logik med det multimodala axiomet: , där den deontiska operatorn betyder "Det är obligatoriskt att..." och den aletiska operatorn betyder "Det är möjligt att...". Men i praktiska situationer tilldelas skyldigheter vanligtvis i väntan på framtida händelser, i vilket fall aletiska möjligheter kan vara svåra att bedöma; Därför kan åtagandeuppdrag utföras under antagande om olika förhållanden på olika grenar av tidslinjer i framtiden, och tidigare åtagandeuppdrag kan uppdateras på grund av oförutsedd utveckling som hänt längs tidslinjen.
"Ought implies can" är logiskt ekvivalent med formeln , vilket betyder " omöjligt innebär utelämnande ".
