Ни одну из этих трудностей нельзя считать явным образом фатальной для свойственного здравому смыслу понятия о всеведении. К примеру, мы могли бы усомниться в том, что из утверждения «мы не можем вести речь о совокупности всех высказываний» вытекает, будто мы не способны осмысленно говорить о «каждом» высказывании; мы могли бы поставить под сомнение и то, что всеведение следует описывать в терминах, предполагающих возможность вести речь о «каждом» высказывании.
Можно усомниться также и в том, что аргументы в пользу диалетизма ставят перед нами какие–то проблемы. Ибо, сказали бы мы, убедительность диалетизма прямо зависит от способности диалетистов указать, какого рода противоречивые суждения могут быть истинными; а коль скоро подобное уточнение было бы сделано, то вместе с ним мы, очевидно, получили бы и ответ на вопрос, какого рода противоречиям может верить всеведущее существо. Впрочем, мы не станем здесь рассматривать, насколько удачными являются эти или иные решения.
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 было бы истинным и тысячу лет тому назад. Конечно, заботиться о спасении этернализма никто не обязан, но тех, кому его судьба небезразлична, такой вывод не обрадует.