Можно ли вывести 'должное' из 'сущего'? Гильотина Юма и разрыв между фактами и ценностями

Введение: Невидимый логический разрыв в повседневности

В повседневных дискуссиях, политических дебатах и научно-популярных публикациях мы постоянно сталкиваемся с подобными аргументами:

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

На первый взгляд эти утверждения кажутся вполне убедительными, опираясь на авторитет биологии, экономики, истории или нейрофизиологии. Однако под скальпелем формальной логики и метаэтики (Metaethics) немедленно обнажается критический изъян: нелегитимный логический прыжок от того, что ЕСТЬ (дескриптивный факт), к тому, что ДОЛЖНО БЫТЬ (прескриптивная норма).

Почему из биологической способности к размножению должна автоматически следовать моральная обязанность иметь детей? Смертоносные вирусы и бактерии объективно существуют в природе, но из этого не следует, что мы должны позволять эпидемиям убивать людей. То, каков мир эмпирически (Is), и то, как мы обязаны поступать (Ought), представляют собой принципиально разные измерения бытия.

  flowchart TD
    subgraph FactRealm ["【Царство СУЩЕГО (The Realm of IS)】\nДескриптивные и эмпирические утверждения"]
        Biology["Биологическая эволюция: естественный отбор и репликация генов"]
        Physics["Физические законы: гравитация, термодинамика, энтропия"]
        History["Исторические факты: многовековые культурные обычаи"]
        Neuroscience["Нейронаука: нейромедиаторы, окситоцин и зоны вознаграждения"]
    end

    subgraph HumeGuillotine ["Гильотина Юма (Hume's Guillotine)\n【Логическое лезвие】\nДедуктивный запрет вывода нормативных суждений из чисто фактологических посылок"]
        Blade["Острое лезвие логики\nОтсечение необоснованного перехода от факта к ценности"]
    end

    subgraph ValueRealm ["【Царство ДОЛЖНОГО (The Realm of OUGHT)】\nНормативные и оценочные суждения"]
        MoralDuty["Моральный долг: защита слабых / исполнение обещаний"]
        Justice["Справедливость: честное распределение общественных благ"]
        Ethics["Оценка добра и зла: жестокость и коварство порочны"]
        Ecology["Экологическая этика: сохранение биосферы"]
    end

    FactRealm == Попытка дедуктивного вывода ==> Blade
    Blade -.->|Вывод недействителен（Non-Sequitur）| ValueRealm

    style HumeGuillotine fill:#ffe6e6,stroke:#ff0000,stroke-width:2px
    style FactRealm fill:#e6f3ff,stroke:#0066cc,stroke-width:2px
    style ValueRealm fill:#fff0b3,stroke:#e6b800,stroke-width:2px

Этот глубокий разрыв был впервые сформулирован шотландским философом Дэвидом Юмом (1711–1776) в его «Трактате о человеческой природе» (1739). Названный Максом Блэком в XX веке «Гильотиной Юма», этот принцип сокрушил господствовавшую со времен Аристотеля телеологию. Позднее Дж. Э. Мур развил его в концепцию «натуралистической ошибки».

1. Знаменитый фрагмент Дэвида Юма из «Трактата»

В третьей книге «Трактата о человеческой природе» Юм записал классические строки:

«Я заметил, что в каждой этической теории автор в течение некоторого времени рассуждает обычным образом, доказывает бытие Бога или делает наблюдения о человеческих делах; и вдруг я с удивлением обнаруживаю, что вместо обычных связок «есть» или «не есть» каждое предложение связано со «следует» или «не следует».
Это изменение происходит незаметно, но влечет за собой важнейшие последствия. Ибо поскольку это следует или не следует выражает некоторое новое отношение или утверждение, необходимо, чтобы оно было объяснено; и одновременно должно быть дано основание тому, что кажется совершенно непостижимым: каким образом это новое отношение может быть выведено из других, совершенно отличных от него.»

Аргумент Юма опирается на принцип консервативности дедуктивной логики: в состоятельном силлогизме вывод не может содержать понятий или операторов, которых не было в посылках. Вывод долженствования («следует») из чисто эмпирических фактов представляет собой классическую ошибку non-sequitur. Чтобы сделать рассуждение валидным, необходимо добавить скрытую нормативную посылку («Обещания следует выполнять»), что неизбежно ведет к дурной бесконечности обоснований.

2. Натуралистическая ошибка и аргумент открытого вопроса Дж. Э. Мура

В 1903 году в работе Principia Ethica британский философ Дж. Э. Мур доказал, что свойство «добро» является простым, неделимым и ненатуральным свойством — аналогично зрительному восприятию желтого цвета. Попытка отождествить благо с естественными свойствами (удовольствием, эволюционным приспособлением или волей высших сил) получила название натуралистической ошибки (Naturalistic Fallacy).

Мур предложил знаменитый Аргумент открытого вопроса (Open Question Argument):

Закрытый вопрос: «Иван — холостяк, но женат ли он?» (Ответ очевиден и тривиален по определению).
Открытый вопрос: «Поступок X максимизирует всеобщее удовольствие, но является ли поступок X действительно благим?»

Этот вопрос всегда остается содержательным и открытым. Если бы «добро» означало в точности «удовольствие», вопрос был бы бессмысленной тавтологией. Следовательно, понятие блага несводимо к физическим или психологическим фактам.

3. Математическое доказательство в стандартной деонтической логике (SDL)

В 1997 году австрийский логик Герхард Шурц (Gerhard Schurz) математически строго доказал теорему Юма в рамках стандартной деонтической логики (SDL). В семантике возможных миров Крипке истинностное означивание фактов в действительном мире и отношение достижимости деонтически идеальных миров строго ортогональны. Для любого непротиворечивого множества чисто фактологических посылок $\Gamma$ и нетривиальной нормативной формулы $\mathbf{O}\phi$:

$$\Gamma \nvdash_{\text{SDL}} \mathbf{O}\phi$$

4. Исторические катастрофы и проблема выравнивания ИИ

  flowchart TD
    subgraph History ["Историческая трагедия: иллюзорный прыжок"]
        Darwin["Эволюция Дарвина\nЕстественный отбор и изменчивость (Дескриптивная наука)"]
        SocialDarwin["Социал-дарвинизм (Спенсер)\n'Выживание сильнейших — закон природы' (Факт)\n　　↓ Неправомерный прыжок\n'Слабые должны быть уничтожены' (Долг)"]
        Eugenics["Евгеника и нацистский геноцид\nПринудительная стерилизация, программа Т-4"]
        Darwin --> SocialDarwin --> Eugenics
    end

    subgraph AI ["Современный рубеж: выравнивание ИИ (AI Alignment)"]
        Data["Обучающие тексты больших языковых моделей\nТриллионы токенов = 'Как люди реально пишут и ведут себя' (Сущее)"]
        Gap["Разрыв Юма в ИИ\nСтатистическая имитация не создает этику;\nона лишь воспроизводит человеческие пороки"]
        SafeAI["Безопасный согласованный ИИ\nТребует внешнего задания конституционных ценностей (Должное)"]
        Data --> Gap --> SafeAI
    end

    style History fill:#fff2f0,stroke:#d9534f,stroke-width:2px
    style AI fill:#f0f7ff,stroke:#0275d8,stroke-width:2px

Пренебрежение гильотиной Юма привело в XIX–XX веках к возникновению социал-дарвинизма и евгеники, оправдывавших уничтожение слабых тем, что в дикой природе побеждает сильнейший. Мыслители забыли: то, что природа беспощадна (факт), не означает, что люди должны быть жестокими; напротив, суровость природы — причина создавать институты милосердия и солидарности (долг).

Сегодня эта проблема встает в полный рост при решении проблемы выравнивания искусственного интеллекта (AI Alignment). Обучение больших языковых моделей на текстах из Интернета охватывает лишь мир Сущего со всеми его предрассудками. Вывести отсюда то, как сверхразум должен поступать, логически невозможно без явного внедрения ценностных рамок.

5. Заключение: Маяк ценностей в океане фактов

Гильотина Юма не лишает нас нравственности — она защищает человеческую свободу. Если бы должное выводилось из сущего, мы были бы безвольными шестеренками природных законов. Именно потому, что между фактами и ценностями пролегает бездна, человек может смотреть на холодную вселенную и заявлять:

«Таков мир сегодня (Сущее). Но он не должен оставаться таким (Должное). Мы обладаем свободой и разумом, чтобы сделать его справедливее.»