Джим Холт - Почему существует наш мир? Экзистенциальный детектив

Аргумент отрицания идет по другому пути, пытаясь достичь пустоты через серию логических ходов. Однако интутивно допустимое представление «если существует некое число объектов, то их могло бы быть меньше» нарушает фундаментальные законы физики – законы сохранения. И даже если бы эти законы можно было как-то временно обойти, то совершенно неясно, можно ли уменьшить число сущностей в мире постепенным удалением их по одной. Возможно, что отсутствие одного объекта (в воображении или в реальности) всегда приводит к присутствию какого-то другого. Уберите Джорджа Бейли из картины, и на свет появляется Поттерсвиль.

Очевидная мораль такова: не так-то просто перейти от Нечто к Ничто. Приближение выглядит в лучшем случае асимптотически, всегда немного не достигая предела, всегда оставляя что-то из сущего, каким бы крохотным оно ни было. Впрочем, что же здесь удивительного? Чтобы успешно перейти от Нечто к Ничто, нужно разгадать загадку бытия в обратную сторону: любой логический переход из одного в другое должен быть двусторонним. Если нам кажется, что легче вообразить переход от Нечто к Ничто, чем наоборот, то это потому, что начальная и конечная точки известны заранее. Допустим, вы сидите за компьютерным терминалом в читальном зале Нью-Йоркской публичной библиотеки на Сорок второй улице. На экране вы видите единственный символ – например, «$». Вы нажимаете на кнопку Delete, и экран становится чистым. А как вам теперь перейти от Ничто к Нечто? Нажав на Undelete! Однако в этом случае вы понятия не имеете, что появится на экране. В зависимости от того, чем занимался предыдущий пользователь, вы можете увидеть как набор бессмысленных символов, так и краткое сообщение. Переход от Ничто к Нечто выглядит таинственным, потому что никогда не знаешь, что получится в результате – что остается верным и на космическом уровне.

Большой взрыв – физический переход от Ничто к Нечто – происходит не только невообразимо быстро, но и без каких-либо присущих ему внутренних законов. Как говорит нам физика, в принципе невозможно предсказать, что может получиться из голой сингулярности. Этого не знает даже сам Господь Бог.

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

Однако определить абсолютную пустоту не так-то просто. Прежде всего можно начать со следующего предположения:

Ничто существует.

Или, в переводе на язык формальной логики:

Для любого x неверно, что x существует.

Тут мы уже сталкиваемся с проблемой: «существовать» не называет какое-то свойство, которым может обладать или не обладать объект. Высказывание «некоторые ручные тигры рычат, а другие не рычат» имеет смысл, а высказывание «некоторые ручные тигры существуют, а некоторые не существуют» смысла не имеет.

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

Для любого x неверно, что х есть А.

Или, в более сжатом виде:

Не существует никаких А.

Каждое утверждение из этого списка исключает существование всех объектов с определенным качеством: всех синих объектов, всех вонючих объектов, всех отрицательно заряженных объектов и так далее. Если наш список несуществующего содержит утверждение для каждого метафизически возможного свойства, то таким образом мы сможем успешно определить абсолютное Ничто через отрицание. Однако как нам убедиться, что мы составили исчерпывающий список? Одно пропущенное свойство приведет к провалу всей затеи, позволив существование некой категории объектов, которую мы или забыли, или не сумели себе вообразить. Например, если бы мы составляли список лет сто назад, то упустили бы утверждение для каждого x неверно, что x является черной дырой . Можно попытаться обойти эту проблему, разделив все возможные виды объектов на несколько основных категорий. Например, Декарт разделил мир сущего на два вида субстанции: духовную (мыслящую) и физическую (протяженную). Таким образом, мы можем попытаться определить абсолютную пустоту через пару утверждений: «не существует мыслящих объектов» и «не существует физических объектов». Эта стройная пара исключает существование сознания, душ, ангелов и божеств наряду с электронами, камнями, деревьями и галактиками. Но исключает ли она существование математических понятий, например чисел? Или абстрактных, типа справедливости? Подобные вещи не входят ни в категорию мыслящих, ни в категорию физических, тем не менее их существование наверняка испортит состояние абсолютной пустоты. Кроме того, может существовать целый ряд других возможных субстанций, о которых не в состоянии помыслить ни Декарт, ни мы с вами.

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

Для любого x, x=x.

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

Существует такое x, что x=x.

Чтобы поймать абсолютное Ничто в ловушку логики, нам всего лишь нужно выполнить отрицание этого утверждения:

Не существует такого x, для которого x=x.

Или, что то же самое:

Для каждого x неверно, что x=x.

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

(x) ~ (x = x).

Здесь символ (x) – это универсальный квантор, читающийся как «для каждого x », а знак «~» – это оператор отрицания, читающийся «неверно, что».