ГЛАВА 4. ЗНАНИЕ, ВЫХОДЯЩЕЕ ЗА ПРЕДЕЛЫ ОПЫТА.
.ГЛАВА 4. ЗНАНИЕ, ВЫХОДЯЩЕЕ ЗА ПРЕДЕЛЫ ОПЫТА.
Некоторые современные эмпиристы — в частности большинство логических позитивистов,— по моему мнению, неверно понимают отношение знания к опыту. Это произошло, если я не ошибаюсь, из-за двух ошибок: неправильного анализа понятия "опыт" и ошибки, содержащейся в вере, что некое приписываемое свойство принадлежит некоему (неопределенному) субъекту. Возникает два специальных вопроса: один — в отношении значения, другой — в отношении знания того, что называется "экзистенциальными высказываниями", то есть в отношении высказываний формы "нечто имеет это свойство". С одной стороны, считается, что утверждение не является "значащим", если нет какого-либо известного метода его проверки, а с другой — что мы не можем знать высказывания "нечто имеет это свойство", если мы не можем назвать того особого субъекта, который имеет это свойство. По традиции английское слово "verification" в данной книге переводится словами "верификация" и "проверка", употребляющимися как синонимы. Возможно, по отношению к логическому позитивизму точнее было бы употребление одного слова "верификация". В этой главе я приведу основания для отвержения обоих этих мнений.
Перед анализом абстрактной логики этих двух проблем рассмотрим их пока с точки зрения обыденного здравого смысла.
Начнем с проверки: имеются люди, которые считают, что если атомная война не будет запрещена, то она может привести к уничтожению жизни на нашей планете. Меня касается сейчас не то, что это мнение истинно, а то, что оно является только значащим. Однако оно не может быть проверено, ибо кто был бы в состоянии подтвердить его истинность, если бы жизнь на Земле исчезла? Разве только берклеанский бог, которого, как я уверен, логические позитивисты не захотели бы вмешивать в дело. Смотря назад, а не вперед, мы все верим, что было время и до того, как на Земле возникла жизнь. Те, кто рассматривает доступность проверке как необходимую для значения, не намереваются отрицать такую возможность, но для того, чтобы принять ее, они вынуждены определить "доступность проверке" несколько произвольно. Иногда предложение рассматривается как "доступное проверке", если имеется какое-либо эмпирическое свидетельство в его пользу. Это значит, что "все А суть В"— "доступно проверке", если м истинен в отношении В, и пусть А1 будет классом, состоящим из класса А вместе с Р. Тогда обобщение: "Все предикаты класса А истинны в отношении В", а значит, и обобщение: "Все предикаты класса А истинны в отношении В' доступны проверке.
Из этих двух процессов следует, что если известно, что что-либо имеет какой-то предикат, то все обобщения "доступны проверке". Это следствие не имелось в виду, но оно показывает, что вышеприведенное широкое определение "доступности проверке" бесполезно. Но если мы не примем какого-либо подобного широкого определения, то мы не сможем избежать парадоксов.
Рассмотрим предложения (высказывания) со словом "некоторые" или с эквивалентным ему словом, например: "некоторые люди черные" или "некоторые четвероногие не имеют хвоста". Как правило, такие предложения делаются известными через примеры. Если меня спрашивают: "Каким образом вы узнали, что некоторые четвероногие не имеют хвоста?" — то я могу ответить: "Потому что я имел однажды бесхвостую кошку". Согласно взгляду, против которого я собираюсь выступить, это единственный способ узнавать об истинности таких предложений. Этот взгляд поддерживался Брауэром в математике и поддерживается некоторыми философами в отношении эмпирических объектов.
Парадоксы, проистекающие из этого взгляда, очень гюхожи на парадоксы, проистекающие из вышеприведенной доктрины в отношении доступности проверке. Возьмем такое предложение: "Дождь иногда идет в таких местах, где нет никого, кто мог бы видеть его". Ни один здравомыслящей человек не будет этого отрицать, но невозможно говорить о дожде, которого никто не видел. Отрицать, что мы знаем; что происходят события никем не наблюдаемые, несовместимо с обыденным здравым смыслом, но вместе с тем необходимо, если мы никогда не познаем предложения типа "имеются A", за исключением случаев, когда мы можем упомянуть те A, которые мы наблюдали. Может ли кто-либо серьезно утверждать, что планета Нептун или Антарктический континент не существовали до того, как они были открыты? И в этом случае только берклеанский бог в состоянии избавить нас от парадоксов. Или еще: мы все верим, что в центре Земли имеется железо, но мы не можем дать примеров из области, находящейся за пределами глубины самой глубокой шахты.
Приверженцы доктрины, против которой я выступаю, интерпретируют эти факты гипотетически. Они говорят, что утверждение: "Имеется неоткрытое железо" является сокращением и что полное утверждение должно иметь форму:
"Если бы я совершил определенные действия, я открыл бы железо". Допустим, что ради точности мы берем утверждение.
"Имеется железо на глубине более 1000 миль от поверхности земли". Невероятно, чтобы кто-либо когда-нибудь нашел это железо, и во всяком случае как можно узнать, какой человек найдет его? Только через знание того, что должно быть найдено. Гипотетическое предложение, предположение которого, вероятно, всегда будет ложным, ничего нам не говорит. Или еще предложение: "Некогда мир был без жизни". Оно не может означать, что "Если бы я был жив тогда, то я увидел бы, что нет ничего живого".
Рассмотрим теперь вышеприведенные две доктрины более формально, со строго логической точки зрения.