ложных представлений. Если предположить, что «знать что–либо» означает одно и то же для Бога и для человеческих существ, то из этой концепции здравого смысла следует, что Бог верит всем истинам и имеет основания верить всем истинам (где «иметь основание» подразумевает лишь то, что отличает истинное мнение от знания).
Важно, однако, отметить, что представлению здравого смысла о всеведении грозит опасность со стороны разного рода философских теорий, требующих внести в него изменения. Так, например, исходя из теории множеств, есть основания полагать, что говорить о «каждом высказывании» просто бессмысленно. К примеру, можно было бы заключить, что рассуждения о «каждом высказывании» получают смысл лишь при условии, что существует совокупность всех высказываний — есть, однако, веские причины думать, что такой совокупности не может быть. И вот почему. Пусть Р — совокупность всех высказываний. Теперь рассмотрим конъюнкцию, С, всех членов Р. С не будет членом Р, поскольку никакая конъюнкция не выступает в качестве связки. А значит, Р не может быть совокупностью всех высказываний. По нашему же предположению, оно являлось таковой, следовательно, перед нами противоречие. Отсюда, по–видимому, вытекает, что совокупности всех высказываний не существует, а потому мы, похоже, не вправе говорить вещи вроде «Бог верит каждому утверждению». Если этот аргумент основателен, то определение всеведения, данное здравым смыслом, нуждается в уточнении.
Некоторые философы полагают, что противоречия могут быть истинными. Рассмотрим, например, предложение о лжеце:
Понятно, что Лжец является истинным, если и только если оно ложно. Некоторые по тем или иным причинам утверждают, что Лжец вовсе не имеет истинностного значения. Однако другие доказывают — и довольно убедительно, — что наилучшим разрешением Парадокса Лжеца было бы допустить, что предложения типа Лжец одновременно истинны и ложны. Предположим, что это верное решение. Тогда Бог поверит в утверждение Лжец и в то же время будет верить утверждению, что Лжец — ложно. Таким образом, у Бога будут противоречащие одно другому мнения. Но может ли всеведущее существо иметь противоречивые мнения? Дефиниция от здравого смысла на этот вопрос не отвечает. Если же мы ответим «нет», то теизм войдет в коллизию с диалетизмом (представлением о том, что противоречия могут быть истинными). Было бы, однако, странно полагать, будто исключить диалетическое разрешение Парадокса Лжеца можно просто ссылкой на собственные теистические убеждения. Если же мы скажем «да», то, очевидно, оставим возможность допущения всеведущего существа, которое верит буквально любому утверждению (что, пожалуй, вряд ли нас обрадует). Чтобы эту возможность исключить, нам придется точно указать, какого рода противоречиям может верить всеведущее существо — задача, как представляется, не самая легкая.
Ни одну из этих трудностей нельзя считать явным образом фатальной для свойственного здравому смыслу понятия о всеведении. К примеру, мы могли бы усомниться в том, что из утверждения «мы не можем вести речь о совокупности всех высказываний» вытекает, будто мы не способны осмысленно говорить о «каждом» высказывании; мы могли бы поставить под сомнение и то, что всеведение следует описывать в терминах, предполагающих возможность вести речь о «каждом» высказывании.
Можно усомниться также и в том, что аргументы в пользу диалетизма ставят перед нами какие–то проблемы. Ибо, сказали бы мы, убедительность диалетизма прямо зависит от способности диалетистов указать, какого рода противоречивые суждения могут быть истинными; а коль скоро подобное уточнение было бы сделано, то вместе с ним мы, очевидно, получили бы и ответ на вопрос, какого рода противоречиям может верить всеведущее существо. Впрочем, мы не станем здесь рассматривать, насколько удачными являются эти или иные решения.
2.3.2. Проблема свободы и божественного предзнания
Самая, пожалуй, популярная из поправок, вносимых в понятие здравого смысла о всеведении, имеет своей целью согласовать его с представлением о том, что Бог не знает будущего. По причинам, речь о которых пойдет в следующем разделе, многие философы полагают, что для Бога невозможно знать, что Его создания свободно совершат в будущем. Однако многие из этих же философов считают, что будущие свободные деяния свободных созданий суть реальные факты. Если они правы, то существуют факты, которых Бог знать не может. Однако, доказывают они, неспособность Бога знать то, чего знать невозможно, нельзя считать доводом против Его всеведения. А потому они обычно предлагают внести следующее изменение в понятие о всеведении: существо является всеведущим, если и только если оно знает всё, что логически возможно знать.
Но в самом ли деле является логически невозможным знать факты, относящиеся к будущим свободным действиям? На первый взгляд кажется, что да. В начале этой главы мы кратко и в самом общем виде предложили аргумент в пользу несовместимости свободы и предзнания. Представим его теперь в более строгой форме.
Предположим, что сейчас Сэлли читает книгу. Пусть 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, и именно в этих пунктах было бы всего естественнее попытаться опровергнуть данное доказательство.
Но прежде чем искать наилучший метод контраргументации, стоит обратить внимание на еще один сходный довод против человеческой свободы. Только что рассмотренный нами тип аргументации часто называют теологическим фатализмом, поскольку в своем конечном выводе он отчасти зависит от допущений, касающихся Бога и Его мнений. Можно, однако, обойтись без теологических допущений и, исходя непосредственно из прошлой истинности Ps, доказывать, что читающая книгу Сэлли не свободна в своем действии. Подобного рода аргументацию обычно характеризуют как логический фатализм. Структура ее такова:
2.11. Ps было истинным в г*.
2.12. Из 2.11 следует, что Сэлли читает книгу в t. (Т.е. невозможно, чтобы посылка 2.11 была истинной, а Сэлли не читала книгу в t.)
2.13. Ни от кого из ныне живущих истинность посылки 2.11 не зависела, не зависит и никогда не будет зависеть.
2.14. Для любых утверждений р и q, если р истинно и если из р вытекает q, и если ни от кого из ныне живущих истинность р не зависела, не зависит и никогда не будет зависеть, то, следовательно, ни от кого из ныне живущих не зависела, не зависит и никогда не будет зависеть истинность q.
2.15. Ни от кого из ныне живущих — а значит, даже от Сэлли — не зависело, не зависит и никогда не будет зависеть, читает ли Сэлли книгу в t. [Из 2.12, 2.13, 2.14]
Заметьте, что единственное реальное различие между этой аргументацией и аргументацией теологического фатализма состоит в опущении посылок 2.2–2.4 и замене посылки 2.5 посылкой 2.12. Это наводит на мысль, что борьба с теологическим фатализмом через отрицание посылки 2.3 есть порочная стратегия. Некоторые теисты действительно полемизируют с теологическими фаталистами именно таким способом. Делают они это, отвергая понятие здравого смысла о всеведении в пользу представления о том, что всеведущему существу не требуется знать каждую отдельную истину, а лишь те истины, знать которые логически возможно. Но подобный шаг представляется неудачной стратегией по той причине, что даже если посылка 2.3 ложна, нам, коль скоро мы желаем верить в человеческую свободу, по–прежнему приходится искать способ противодействия логическому фаталисту; и, по всей видимости, какую бы стратегию мы ни применили в противостоянии логическому фаталисту, она с тем же успехом будет работать и против фаталиста теологического. А потому наиболее разумный метод полемики предполагает, на наш взгляд, отрицание либо посылки 2.1 (и посылки 2.11), либо посылки 2.6 (и посылки 2.13).
Отказываясь от посылки 2.1, приходится утверждать, что Ps было ложным либо не имело истинностного значения в t*. Но коль скоро дано, что Сэлли сейчас читает книгу, то трудно понять, каким образом Ps могло бы быть ложным. Вероятно, оно просто не имело истинностного значения — иными словами, никаких фактов, касающихся будущих свободных действий Сэлли, попросту не было до того, как Сэлли начала существовать и эти действия совершила. Если так, то неспособность Бога знать будущие свободные действия собственных созданий оказывается вполне совместимой с Его всеведением и с тем представлением о всеведении, которое присуще здравому смыслу, т.е. всеведением как знанием всех истинных утверждений. Как мы уже отмечали во вступлении к данной главе, многим философам не нравится подобного рода трактовка, ибо трудно понять, что такое утверждение, не являющееся ни истинным, ни ложным. Еще одной потенциальной платой за такую точку зрения является ее коллизия с этернализмом. Если этернализм истинен, то событие «Сэлли читает книгу сейчас» существовало всегда. Таким образом, Ps было бы истинным и тысячу лет тому назад. Конечно, заботиться о спасении этернализма никто не обязан,
