Майкл Мюррей - Введение в философию религии

Важно, однако, отметить, что представлению здравого смысла о всеведении грозит опасность со стороны разного рода философских теорий, требующих внести в него изменения. Так, например, исходя из теории множеств, есть основания полагать, что говорить о «каждом высказывании» просто бессмысленно. К примеру, можно было бы заключить, что рассуждения о «каждом высказывании» получают смысл лишь при условии, что существует совокупность всех высказываний — есть, однако, веские причины думать, что такой совокупности не может быть. И вот почему. Пусть Р — совокупность всех высказываний. Теперь рассмотрим конъюнкцию, С, всех членов Р. С не будет членом Р, поскольку никакая конъюнкция не выступает в качестве связки. А значит, Р не может быть совокупностью всех высказываний. По нашему же предположению, оно являлось таковой, следовательно, перед нами противоречие. Отсюда, по–видимому, вытекает, что совокупности всех высказываний не существует, а потому мы, похоже, не вправе говорить вещи вроде «Бог верит каждому утверждению». Если этот аргумент основателен, то определение всеведения, данное здравым смыслом, нуждается в уточнении.

Некоторые философы полагают, что противоречия могут быть истинными. Рассмотрим, например, предложение о лжеце:

(Лжец) Лжец — ложно.

Понятно, что Лжец является истинным, если и только если оно ложно. Некоторые по тем или иным причинам утверждают, что Лжец вовсе не имеет истинностного значения. Однако другие доказывают — и довольно убедительно, — что наилучшим разрешением Парадокса Лжеца было бы допустить, что предложения типа Лжец одновременно истинны и ложны. Предположим, что это верное решение. Тогда Бог поверит в утверждение Лжец и в то же время будет верить утверждению, что Лжец — ложно. Таким образом, у Бога будут противоречащие одно другому мнения. Но может ли всеведущее существо иметь противоречивые мнения? Дефиниция от здравого смысла на этот вопрос не отвечает. Если же мы ответим «нет», то теизм войдет в коллизию с диалетизмом (представлением о том, что противоречия могут быть истинными). Было бы, однако, странно полагать, будто исключить диалетическое разрешение Парадокса Лжеца можно просто ссылкой на собственные теистические убеждения. Если же мы скажем «да», то, очевидно, оставим возможность допущения всеведущего существа, которое верит буквально любому утверждению (что, пожалуй, вряд ли нас обрадует). Чтобы эту возможность исключить, нам придется точно указать, какого рода противоречиям может верить всеведущее существо — задача, как представляется, не самая легкая.

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

Можно усомниться также и в том, что аргументы в пользу диалетизма ставят перед нами какие–то проблемы. Ибо, сказали бы мы, убедительность диалетизма прямо зависит от способности диалетистов указать, какого рода противоречивые суждения могут быть истинными; а коль скоро подобное уточнение было бы сделано, то вместе с ним мы, очевидно, получили бы и ответ на вопрос, какого рода противоречиям может верить всеведущее существо. Впрочем, мы не станем здесь рассматривать, насколько удачными являются эти или иные решения.

Самая, пожалуй, популярная из поправок, вносимых в понятие здравого смысла о всеведении, имеет своей целью согласовать его с представлением о том, что Бог не знает будущего. По причинам, речь о которых пойдет в следующем разделе, многие философы полагают, что для Бога невозможно знать, что Его создания свободно совершат в будущем. Однако многие из этих же философов считают, что будущие свободные деяния свободных созданий суть реальные факты. Если они правы, то существуют факты, которых Бог знать не может. Однако, доказывают они, неспособность Бога знать то, чего знать невозможно, нельзя считать доводом против Его всеведения. А потому они обычно предлагают внести следующее изменение в понятие о всеведении: существо является всеведущим, если и только если оно знает всё, что логически возможно знать.

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

Предположим, что сейчас Сэлли читает книгу. Пусть t — настоящее время; t* — момент тысячу лет тому назад, a Ps — утверждение о том, что Сэлли будет читать книгу через тысячу лет после t*. Кроме того, допустим (как это представляется вполне очевидным), что свободным по отношению к действию существо является лишь в том случае, если в его власти совершать его или не совершать. Тогда, по–видимому, мы вправе рассуждать следующим образом.

2.1. Ps было истинным в t*.

2.2. Бог всеведущ.

2.3. Всеведущее существо верит каждому истинному утверждению и не имеет ложных мнений.

2.4. Следовательно, в t* Бог верил, что Ps истинно. [Из 2.1, 2.2, 2.3]

2.5. Из 2.4 вытекает, что Сэлли читает книгу в t. (Иначе говоря, невозможно, чтобы 2.4 было истинным, а Сэлли не читала книгу в t.) [Из 2.2, 2.3, 2.4]

2.6. Истинность 2.4 никогда не зависела от какого–либо человеческого существа.

2.7. Для любых утверждений р и q, если р истинно и если q следует из р, а истинность р никогда не зависела от какого–либо человеческого существа, то и истинность q никогда не зависела от какого–либо человеческого существа.

2.8. Ни от одного человеческого существа — а значит, даже от Сэлли — никогда не зависело, будет ли Сэлли читать книгу в t или нет. [Из 2.5, 2.6, 2.7]

2.9. Лицо свободно по отношению к действию лишь в том случае, если в его власти совершать его или не совершать.

2.10. Следовательно, хотя Сэлли читает книгу в t, она делает это не свободно. [Из 2.8, 2.9]

Данный аргумент относится к конкретному действию Сэлли; однако должно быть ясно, что его можно обобщить, применив к любому действию любого сотворенного существа. А значит, если этот довод убедителен, то ни одно по–настоящему свободное действие не может быть известно Богу заранее.

Посылки 2.4, 2.5 и 2.8 представляют собой подвыводы, логически вытекающие из посылок, приведенных в скобках в конце каждой из них, а значит, эти звенья в цепи аргументов неопровержимы. Посылка 2.7 не является совершенно бесспорной, и все же трудно понять, каким образом она могла бы оказаться ложной. Даже после самого тщательного исследования никаких противоречащих ей примеров не обнаруживается. Кроме того, большинство теистов не склонно жертвовать посылкой 2.2. Остаются, следовательно, посылки 2.1, 2.3 и 2.6, и именно в этих пунктах было бы всего естественнее попытаться опровергнуть данное доказательство.