Статья 336

Заметим также, что, хотя формально вопросы не зависимы один от другого, ответив положительно на вопрос мы должны, исходя из содержательной интерпретации, ответить положительно на оба других вопроса. В самом деле, если уже использованное действие не может быть использовано повторно, то все действия в некотором смысле необратимы. Если все действия обратимы, то возможно и бездействие ответ на вопрос. Такая ситуация концептуальной зависимости, когда формально независимые утверждения на самом деле содержательно взаимосвязаны, все время возникает в логическом анализе понятий в первую очередь, понятий программирования. В последние годы появились средства формализовать и это понятие, и связанные с ним понятия концептуальной противоречивости и прагматического следствия когда, приняв, мы из практических соображений обязаны принять.