Должен подразумевает может

« Должно подразумевает можно » — это этическая формула, приписываемая Иммануилу Канту , которая утверждает, что агент, если он морально обязан совершить определенное действие, логически должен быть способен его выполнить:

Ибо если моральный закон требует, чтобы мы уже сейчас стали лучшими людьми, из этого неизбежно следует, что мы должны быть способны стать лучшими людьми.

Действие, к которому применимо «должное», действительно должно быть возможным в естественных условиях.

Кант считал, что этот принцип представляет собой категорическую свободу , связанную только свободной волей , в отличие от гипотетической свободы Юма («Свободен поступать иначе, если я так решил»). Есть несколько способов вывода этой формулы - например, аргумент о том, что неправильно обвинять людей в вещах, которые они не могут контролировать (по сути, формулируя формулу так, что противоположное «не может» подразумевает «не обязан»»).

Эту этическую формулу можно выразить в деонтической логике с помощью мультимодальной аксиомы: $OA\to \Diamond A$, где деонтический оператор $O$ означает «Обязательно, чтобы...» и алетический оператор $\Diamond$ означает «Возможно, что...». Однако в практических ситуациях обязательства обычно назначаются в ожидании будущих событий, и в этом случае трудно судить об алетических возможностях; Таким образом, перераспределение обязательств может выполняться при допущении различных условий на разных временных отрезках в будущем, а прошлые перераспределения обязательств могут быть обновлены из-за непредвиденных событий, произошедших на временной шкале.

«Должно подразумевается» логически эквивалентно формуле $\Box \neg A\to \neg OA$, что означает « невозможное подразумевает опущение ».