2.3.1. Характеристика всеведения. Предварительные замечания

2.3.1. Характеристика всеведения. Предварительные замечания

Согласно тому представлению о всеведении, которое свойственно здравому смыслу, всеведущее существо знает всё. Или, чуть точнее: всеведущему существу известны все истины, а кроме того, оно не имеет ложных представлений. Если предположить, что «знать что–либо» означает одно и то же для Бога и для человеческих существ, то из этой концепции здравого смысла следует, что Бог верит всем истинам и имеет основания верить всем истинам (где «иметь основание» подразумевает лишь то, что отличает истинное мнение от знания).

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

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

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

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

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

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