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