Шон Кэрролл - Вселенная

Предельность жизни придаёт остроту и иным ситуациям. Каждый из нас когда-нибудь произнесёт последнее слово, прочитает последнюю книгу, в последний раз влюбится. Каждую секунду наше бытие и наши действия — результат выбора, который делаем мы сами. Вызовы реальны, а возможности невероятны.

Дэвид Юм, шотландский мыслитель XVIII века, с которым мы уже встречались выше как с основателем поэтического натурализма, широко признаётся в качестве одного из центральных деятелей Просвещения. Когда Юму было всего двадцать три, он начал работу над книгой, которая впоследствии оказала огромное влияние, — она называлась «Трактат о человеческой природе». Так распорядилась история; при жизни Юму не удалось сделать из книги бестселлер и он жаловался, что книга «вышла из типографии мертворождённой».

Дэвид Юм (картина Алана Рэмзи)

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

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

Основная мысль Юма ясна: говорить о «долженствовании» — совсем не то же самое, что говорить о «бытии». В первом случае мы судим, высказываясь, как должны обстоять дела, а во втором просто описываем, рассказывая о происходящем. Если вы собираетесь вытворить такой фокус и назвать это «философией», то должны хотя бы удосужиться рассказать нам, как это делается. Современные мыслители сформулировали соответствующую максиму: «Из одних только индикативных суждений нельзя вывести суждения императивные».

Здесь просматривается явная проблема натурализма: плохо, что нельзя вывести императивное из индикативного, поскольку на свете существует только бытие. Кроме естественного мира, нет ничего такого, к чему можно было бы обратиться за руководством к действию. Соблазн извлечь подобное руководство из естественного мира как такового невероятно силён.

Однако такие попытки будут тщетны. Естественный мир не содержит суждений; ему неизвестно, что должно происходить, и нет до того дела. Мы сами можем высказывать суждения, и мы — часть естественного мира, но суждения у разных людей тоже разные. Так тому и быть.

* * *

Для того чтобы понять, почему невозможно вывести императивное из индикативного, полезно подумать о том, как нам вообще удаётся выводить одно из другого. Это делается разнообразными способами, но давайте сосредоточимся на одном из самых простых: парадигме дедуктивных рассуждений, которая называется логический силлогизм . Силлогизмы выглядят следующим образом.

1. Сократ — живое существо.

2. Все живые существа подчиняются законам физики.

3. Следовательно, Сократ подчиняется законам физики.

Это всего лишь один пример общей формы, которая может быть выражена так.

1. X верно.

2. Если X верно, то и Y верно.

3. Следовательно, Y верно.

Силлогизмы — не единственная форма логических аргументов, но они довольно просты и при этом достаточны, чтобы проиллюстрировать данную проблему.

Первые два утверждения в силлогизме называются посылками, а третье — заключением. Аргумент называется валидным , если заключение логически следует из посылок. Напротив, аргумент называется разумным , если заключение следует из посылок, причём сами посылки истинны — это гораздо более высокий и труднодостижимый стандарт.

Рассмотрим силлогизм: «Все ананасы — рептилии. Все рептилии едят сыр. Следовательно, ананасы едят сыр». Любой логик вам скажет, что это совершенно валидный аргумент. Но он не слишком разумен. Аргумент может быть валидным и даже интересным, но практически не содержать правдивых фактов о реальном мире.

Если мы попытаемся выразить вывод императивного в форме силлогизма, то он может выглядеть так.

1. Я бы хотел съесть последний кусочек пиццы.

2. Если не подсуетиться, то кто-то может съесть его вместо меня.

3. Следовательно, нужно подсуетиться.

На первый взгляд, кажется, что это нормальный аргумент, но он не является логически валидным силлогизмом. Обе посылки — это индикативные утверждения: одно о моём желании съесть пиццу, а другое о том, что я упущу этот шанс, если промедлю. И то и другое — фактические заявления о мире, независимо от того, истинны они или нет. А вывод — бесспорно, императивное утверждение. Но если попытаться разглядеть за бытовым смыслом посылок их базовое логическое содержание, то чего-то не хватает. Посылки 1 и 2 на самом деле не подразумевают вывода 3; они подразумевают: «Следовательно, если мне не подсуетиться, то я не получу желаемого».

Для того чтобы заключение получилось валидным, мне потребуется добавить другую посылку примерно такого содержания:

2а. Я должен действовать так, чтобы получить желаемое.

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

Именно такова проблема, связанная с выводом императивного из индикативного: это просто логически невозможно. Если кто-то говорит вам, что вывел императивное из индикативного, то он словно утверждает, что сложил два чётных числа и у него получилось нечётное. Можете не проверять его расчётов, и так понятно, что он ошибся.