« Должен подразумевать могу » [1] — этическая формула, приписываемая Иммануилу Канту , которая утверждает, что агент, если он морально обязан совершить определенное действие, должен логически иметь возможность совершить его:
Ибо если моральный закон предписывает нам быть лучшими людьми сейчас, то из этого неизбежно следует, что мы должны быть способны стать лучшими людьми. [2]
Действие, к которому относится «должное», действительно должно быть возможным в естественных условиях. [3]
Кант считал, что этот принцип является категорической свободой , ограниченной только свободной волей , в отличие от гипотетической свободы Юма («Свободен поступать иначе, если бы я так выбрал»). [4] Существует несколько способов вывести эту формулу — например, аргумент о том, что неправильно обвинять людей в вещах, которые они не могут контролировать (по сути, формулировка формулы в виде контрапозиции «„не может“ подразумевает „не обязан“»). [5]
Эта этическая формула может быть выражена в деонтической логике с помощью мультимодальной аксиомы: , где деонтический оператор означает «Обязательно, чтобы...», а алетический оператор означает «Возможно, что...». Однако в практических ситуациях обязательства обычно назначаются в ожидании будущих событий, и в этом случае алетические возможности может быть трудно оценить; Таким образом, назначения обязательств могут быть выполнены при предположении различных условий на различных ветвях временных линий в будущем, а прошлые назначения обязательств могут быть обновлены из-за непредвиденных событий, произошедших на временной линии. [ необходима цитата ]
«Должно быть, подразумевается, что может» логически эквивалентно формуле , которая означает « невозможное, подразумевает опущение ». [ требуется ссылка ]
