Введение в философию религии
Шрифт:
5.1.* Бог — величайшее из возможных существ.
С самого начала мы видели в этой посылке определение термина «Бог». А значит, ради большей ясности и понятности нам, вероятно, стоит переформулировать ее следующим образом:
5.1.** Чтобы нечто могло считаться Богом, оно должно быть величайшим из мыслимых существ.
Раз уж мы видоизменили данную посылку, то потребуется привести в соответствие с ней и ряд других.
5.9. Величайшее из возможных существ обладает всеми
5.10. Существование — это совершенство, делающее существо великим.
5.11. * Чтобы нечто могло считаться Богом, оно должно обладать существованием.
5.12. * Всё, обладающее существованием, существует.
5.13. * Следовательно, всё, что считается Богом, существует.
Вывод, так сказать, «отразимый». Каким же образом могли бы мы получить искомый вывод? Посылку 5.1* можно истолковать не так, как это было сделано нами в 5.1**, а по–другому:
5.1.*** Существует Бог, который является величайшим из возможных существ.
Конечно, из такой посылки совсем нетрудно вывести положение о том, что Бог существует; ясно, однако, что подобный образ действий был бы жульничеством: данная посылка просто–напросто утверждает то, что мы пытаемся доказать. Следовательно, вся аргументация рушится — либо потому, что она не доказывает существование Бога, либо потому, что она исходит из положения, которое само нуждается в доказательстве.
5.1.4. Модальная версия
В течение веков эти три возражения считались самыми убедительными доводами против Ансельмовой и Декартовой версий Онтологического доказательства. Однако недавние открытия в философской дисциплине, известной как модальная логика, представляют нам, по мнению некоторых, ряд новых средств для обоснования оригинальной его версии. Модальная логика — это логика возможности и необходимости, а возможность и необходимость — это две «модальности» истинности и ложности, два способа, которыми суждение может быть истинным или ложным. Общая логика учит нас тому, какие заключения являются обоснованными, а какие — нет. Модальная же логика трактует об обоснованных и необоснованных выводах применительно к специфической области — утверждениям о возможном и необходимом. Эта новая версия онтологического доказательства, известная как Модальное Онтологическое Доказательство, требует усвоения нескольких ключевых понятий, связанных с нашей интерпретацией логики возможности и необходимости. А потому, прежде чем приступать к анализу Модальной версии, нам придется сделать краткое отступление и познакомиться с этими понятиями.
Первое ключевое понятие — концепция «возможного мира». Возможный мир можно мыслить как исчерпывающее описание того, что могла бы представлять собой вселенная [20] . Одно из подобных описаний — это описание действительного состояния универсума. Оно содержит сведения обо всем, что уже произошло, происходит сейчас или когда–либо произойдет в будущем на Земле и на всех остальных планетах (как, впрочем, и за пределами всех остальных планет). Такое описание является максимально исчерпывающим.
20
Это не единственное и даже не самое популярное толкование возможных миров. Большинство философов не соглашается считать миры «описаниями», предпочитая взгляд, согласно которому миры представляют собой суждения или положения дел или что–нибудь еще в подобном роде. Мы не намерены присоединяться здесь к какой–либо из этих позиций, а характеристику миров как «исчерпывающих описаний» мы принимаем единственно
Максимально исчерпывающее описание нашей вселенной называется действительным миром. Заметьте, однако, что события могли бы развиваться иначе, нежели это имело место в действительном мире. Например, вместо того, чтобы взять и читать сегодня эту книгу, вы могли бы позвать друзей и отправиться с ними на прогулку в горы. Конечно, этого не произошло, но могло бы произойти. Описание мира, в котором вы поступили бы именно так, представляет собой другой мир, возможный, но не действительный. Как вы понимаете, возможных миров много, даже бесконечно много.
В разных мирах имеют силу разные истины. «Атомы железа существуют» справедливо в действительном мире, но ложно в таком мире, где вселенная расширялась бы слишком быстро и звезды не смогли бы возникнуть (поскольку атомы железа образовались в ядре звезд, взрывающихся в конце своей «жизни»). А потому, рассматривая любое суждение, мы должны оценивать его истинность по отношению к определенному миру. Заметьте, что можно говорить не только о суждениях, истинных в определенном мире, но и о вещах, существующих (или не существующих) в определенном мире. Ведя речь подобным образом, мы можем сказать, что атомы существуют в одних мирах, но не существуют в других.
Хотя верно, что некоторые объекты (атомы железа, например) существуют в одних мирах и не существуют в других, столь же верно и то, что некоторые объекты могут существовать более чем в одном возможном мире. Я существую, по крайней мере, в одном мире — в том, где являюсь философом (т.е. в действительном мире). Но я существую также в тех мирах, где являюсь водопроводчиком. Однако я существую не во всех мирах, например я не существую в быстро расширяющейся вселенной. Если бы нечто существовало во всех возможных мирах, то оно существовало бы совершенно независимо от того, как развиваются события или к каким результатам приводит ход вещей, — такое существо было бы необходимым существом. С понятием необходимого существа мы встретились еще в главе 1, когда узнали, что, согласно классическому представлению о Боге, Он считается необходимым существом. Те же существа, которые существуют в некоторых, но не во всех мирах, — вроде нас с вами — являются случайными существами.
Последняя концепция, которую следует разъяснить, прежде чем обращаться к изложению самого доказательства, это понятие необходимого или случайного обладания свойствами. Независимо от того, является ли некое существо необходимым или случайным, есть ряд свойств, которые оно будет иметь в любом мире, в котором существует. Я — человек, мой рост — чуть менее 6 футов. Первое свойство — принадлежность к человеческому роду — я имею во всех мирах, где я существую. На это стоит обратить внимание, ибо мы, похоже, впадаем в логическое противоречие всякий раз, когда пытаемся вообразить, что случилось бы, если бы мы были мячиком для пинг–понга или кубиком желе «Джелло». Мы не способны себе это представить просто потому, что подобное невозможно.
С другой стороны, рост чуть менее б футов есть свойство, которое я имею в одних мирах и не имею в других. В том мире, где единственной моей пищей были бы мякоть кокоса и горная роса, такое питание, очевидно, не позволило бы мне дорасти до нынешних моих размеров и рост мой составлял бы, пожалуй, не более 4–5 футов. А значит, я обладаю этим свойством лишь случайным образом.
Используя эти понятия, мы можем теперь сформулировать Модальное Онтологическое Доказательство.