Человеческое познание его сферы и границы - Рассел Бертран Артур Уильям (читать книги онлайн без регистрации .txt) 📗
Рассмотрим теперь обобщение другого рода, какое мы хотели бы сделать в связи с учением о естественных видах. Обобщения, которые я имею в виду, имеют форму: «Все предикаты класса А истинны и в отношении объекта В'. Согласно тому же определению «доступности проверке», это обобщение «доступно проверке», если некоторые, или по крайней мере один из предикатов класса А эмпирически известен как истинный в отношении В. Если этого нет, пусть Р будет каким-либо предикатом, о котором известно, что он истинен в отношении В, и пусть А1 будет классом, состоящим из класса А вместе с Р. Тогда обобщение: «Все предикаты класса А истинны в отношении В», а значит, и обобщение: «Все предикаты класса А истинны в отношении В' доступны проверке.
Из этих двух процессов следует, что если известно, что что-либо имеет какой-то предикат, то все обобщения «доступны проверке». Это следствие не имелось в виду, но оно показывает, что вышеприведенное широкое определение «доступности проверке» бесполезно. Но если мы не примем какого-либо подобного широкого определения, то мы не сможем избежать парадоксов.
Рассмотрим предложения (высказывания) со словом «некоторые» или с эквивалентным ему словом, например: «некоторые люди черные» или «некоторые четвероногие не имеют хвоста». Как правило, такие предложения делаются известными через примеры. Если меня спрашивают: «Каким образом вы узнали, что некоторые четвероногие не имеют хвоста?» — то я могу ответить: «Потому что я имел однажды бесхвостую кошку». Согласно взгляду, против которого я собираюсь выступить, это единственный способ узнавать об истинности таких предложений. Этот взгляд поддерживался Брауэром в математике и поддерживается некоторыми философами в отношении эмпирических объектов.
Парадоксы, проистекающие из этого взгляда, очень гюхожи на парадоксы, проистекающие из вышеприведенной доктрины в отношении доступности проверке. Возьмем такое предложение: «Дождь иногда идет в таких местах, где нет никого, кто мог бы видеть его». Ни один здравомыслящей человек не будет этого отрицать, но невозможно говорить о дожде, которого никто не видел. Отрицать, что мы знаем; что происходят события никем не наблюдаемые, несовместимо с обыденным здравым смыслом, но вместе с тем необходимо, если мы никогда не познаем предложения типа «имеются A», за исключением случаев, когда мы можем упомянуть те A, которые мы наблюдали. Может ли кто-либо серьезно утверждать, что планета Нептун или Антарктический континент не существовали до того, как они были открыты? И в этом случае только берклеанский бог в состоянии избавить нас от парадоксов. Или еще: мы все верим, что в центре Земли имеется железо, но мы не можем дать примеров из области, находящейся за пределами глубины самой глубокой шахты.
Приверженцы доктрины, против которой я выступаю, интерпретируют эти факты гипотетически. Они говорят, что утверждение: «Имеется неоткрытое железо» является сокращением и что полное утверждение должно иметь форму: «Если бы я совершил определенные действия, я открыл бы железо». Допустим, что ради точности мы берем утверждение: «Имеется железо на глубине более 1000 миль от поверхности земли». Невероятно, чтобы кто-либо когда-нибудь нашел это железо, и во всяком случае как можно узнать, какой человек найдет его? Только через знание того, что должно быть найдено. Гипотетическое предложение, предположение которого, вероятно, всегда будет ложным, ничего нам не говорит. Или еще предложение: «Некогда мир был без жизни». Оно не может означать, что «Если бы я был жив тогда, то я увидел бы, что нет ничего живого».
Рассмотрим теперь вышеприведенные две доктрины более формально, со строго логической точки зрения.
А. Значение и верификация.
Существует теория, согласно которой значение предложения состоит в методе его верификации. Из этого следует (а), что то, что не может быть подтверждено или опровергнуто, является бессмысленным, (б) что два предложения, подтвержденные одним и тем же событием, имеют одно и то же значение.
Я отвергаю и то и другое и не думаю, что те, кто защищает эти положения, полностью осознали их следствия.
Во-первых, практически все защитники вышеприведенного взгляда рассматривают верификацию как дело социальное. Это значит, что они берут проблему в ее последней стадии и не осознают ее более ранних стадий. Наблюдения других людей не являются данными для меня. Предположение, что ничто не существует кроме того, что я воспринимаю и вспоминаю, для меня идентично во всех его доступных проверке следствиях с предположением, что существуют другие люди, которые также воспринимают и вспоминают. Если нам приходится верить в существование этих других людей — что мы должны делать, если вынуждены признавать свидетельства, — то мы должны отбросить отождествление значения с верификацией.
«Верификация» часто определяется весьма произвольно. Единственно строгий смысл ее следующий: предложение, утверждающее конечное число событий, «верифицируется», когда все эти события происходят и в какой-то момент воспринимаются или вспоминаются каким-либо человеком. Но это не тот смысл, в котором это слово обычно употребляется. Принято говорить, что общее предложение «верифицируется», когда все те его следствия, которые можно было использовать, оказываются истинными. Всегда признается, что в этом случае те следствия, которые не были исследованы, вероятно, тоже истинны. Но не это меня сейчас интересует. Я хочу сейчас рассмотреть теорию о том, что два предложения, проверенные следствия которых идентичны, имеют одно и то же значение. Я говорю «проверенные», а не «доступные проверке», потому что пока не исчезнет последний человек, мы не можем узнать, являются ли «доступные проверке» следствия идентичными. Возьмем пример: «Все люди смертны». Может случиться, что 9 февраля 1991 года родится бессмертный человек. Доступные в настоящее время проверке следствия на предложения «Все люди смертны» — те же самые, что и следствия предложения «Все люди, родившиеся до времени t, смертны, но это не касается всех тех, которые родились позже», где t есть любое время, но не более чем сто лет назад.
Если мы настаиваем на употреблении скорее слова «доступный проверке», чем «проверенный», то мы не можем узнать, доступно ли предложение проверке, потому что это предполагало бы знание бесконечно большого будущего. Действительно, утверждение того, что предложение доступно проверке, само оказывается недоступным проверке. Это происходит потому, что утверждение, что все будущие следствия общего предложения истинны, само есть общее предложение, примеры которого не могут быть перечислены, а ни одно общее предложение не может быть основано на чисто эмпирическом свидетельстве, кроме такого, которое применяется к списку частных случаев, которые все полностью наблюдались. Например, я могу сказать «Жителями такой-то деревни являются, г-н и г-жа А., г-н и г-жа Б. и так далее, их семьи, все члены которых известны мне лично, и все они — уэльсцы». Но, как мы видели в главе X части второй, такие общие перечисляющие утверждения связаны со множеством трудностей. Но, когда я не могу перечислить члены класса, я по эмпирическим основаниям не могу подтвердить никакого обобщения о его членах, кроме того, что аналитически вытекает из его определения.
Все же, однако, следует указать один пункт в пользу сторонников верификации предложений. Они утверждают, что есть различие между двумя видами случаев. В одном случае мы имеем два предложения, следствия которых до сего времени не были доступны различению, но будущие следствия которых могут различаться, например: «Все люди смертны» и «Все люди, родившиеся до 2000 года новой эры, смертны». В другом случае мы имеем два предложения, наблюдаемые следствия которых никогда не могут различаться; это особенно часто происходит с метафизическими гипотезами. Гипотеза, что звездное небо существовало во все времена, и гипотеза, что оно существует только тогда, когда я его вижу, совершенно тождественны во всех тех их следствиях, которые я могу проверить. Именно в таких случаях значение и является идентичным с верификацией, и, следовательно, об этих двух гипотезах можно сказать, что они имеют одно и то же значение. А именно это я и собираюсь решительно отвергнуть.
