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

Чтение книги онлайн.

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

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

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

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

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

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

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

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

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

      (x) ~ (x = x).

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

      Таким образом, мы получили изящное логическое выражение, утверждающее «абсолютное Ничто существует». Но лежит ли за ним некая реальность, делающая его истинным? Один из выдающихся американских философов, покойный Милтон Мюнитц, настаивал, что не лежит. В книге «Тайна бытия» Мюнитц рассуждал, что утверждение о существовании чего-либо (существует такой x, который тождественен самому себе) является логически истинным. В таком случае его отрицание (мое изящное логическое выражение выше) «определенно не имеет смысла»⁵¹.

      Мюнитц прав, хотя и в довольно тривиальном смысле. Чтобы упростить свои формальные системы, логики обычно исключают Ничто, предполагая, что всегда существует хотя бы один объект в обсуждаемой Вселенной. (Помимо прочих преимуществ, такой подход облегчает определение истины.) С использованием этого приема утверждение существует такой x, который тождественен самому себе становится логической истиной – правда, искусственной. Как указывал старейшина американской философии XX века Уллард Ван Орманд Куайн, постулирование непустой области является «чисто техническим удобством» и «не несет в себе никакой философской догмы о необходимости существования»⁵². Бертран Рассел пошел дальше и рассматривал общепринятое допущение существования как позор логики. Чтобы избавиться от этого позора, последователи Рассела создали альтернативную систему логики, позволяющую существование Ничто. Такая система называется «свободная логика», потому что она свободна от допущений о существовании Вселенной. В свободной логике пустая Вселенная позволена, и утверждения о существовании СКАЧАТЬ