Аналитическая философия

(1) Прежде всего в принципе отбрасывается требование полной верификации и вводятся «более умеренные» и вместе тем, конечно, нестрогие средства проверки семантической характеристики предложения: под верификацией понималось конечное и однозначно определенное установление истинности или ложности синтетического предложения. Поскольку речь идет о предложении, которое можно было бы записать с использованием квантора общности, очевидно, что полная верификация в указанном смысле часто неосуществима. Поэтому Карнап в противовес верификации и требованию полной верификации выдвигает понятие «подтверждение». Под подтверждением понимается ступенчатый процесс, который последовательно уточняет наше знание семантической характеристики. Под тестированием (testability, проверяемостью) понимается использование вполне определенного метода для установления этой характеристики.

(2) О всех этих средствах допустимо говорить только тогда, когда определенный язык имеет точную синтаксическую и семантическую конструкцию. В качестве примера языка с такими свойствами, в котором можно использовать указанные средства, Р. Карнап набросал схему эмпиристского языка (Ding-Sprache). Словарь этого языка содержит в качестве примитивных нелогических выражений имена пространственно-временных точек и предикаты наблюдения (Beobachtungspredikate, observation predicates). Образование остальных нелогических выражений осуществлено при помощи так называемых редукционных предложений. Эти предложения, в сущности, уточняют семантически значимые отношения нелогических выражений данного языка и играют, таким образом, роль постулатов значения.

Такая модификация (см. подробнее § 3.3.1.3.2), конечно, бросает в целом новый свет на усилия по созданию универсальной концепции верификационного критерия значения. В системе языка, с которым Р. Карнап рекомендует работать, понятие «осмысленное предложение», собственно, предполагается, поскольку заданы также семантические правила и постулаты значения. Это означает, что роль верификационного критерия в его первоначальном виде здесь, собственно говоря, устранена.

Модификация верификационного критерия, проведенная Р. Карнапом, позволяет сделать следующее заключение: так называемые метафизические предложения, которые с помощью верификационного критерия должны были быть элиминированы и объявлены предложениями, которые «не имеют значения», вряд ли можно найти в языковых системах, которые имеют точную синтаксическую и семантическую конструкцию. Поэтому понятно также, что первоначальные цели не были и не могли быть достигнуты. Если принять во внимание, что верификационный критерий смысла первоначально понимался как универсальный критерий, связанный с попыткой создания того, что мы охарактеризовали как унитарную теорию смысла, то модификация, произведенная Р. Карнапом в «Testability and Meaning» является, собственно, первым шагом к отбрасыванию универсального критерия.

Дальнейшая критика верификационного критерия значения (выдвинутая, например, Л.Тондлом172) также связана с приписываемой ему характеристикой универсальности. Метаязыковой предикат «иметь значение», согласно концепции верификационного критерия, связан со значением предиката «верифицируемый». В этой связи встает вопрос, какой характер имеет установление того, что «все осмысленные предложения верифицируемы». Если «верифицируемость» является общим свойством того множества предложений, которые правильно образованы и которые, кроме того, являются осмысленными, то это установление – результат индуктивного обобщения, как, допустим, предложение «все предметы с меньшим удельным весом, чем у воды, в состоянии плавать по воде». Это, несомненно, находится в противоречии с принципом, который вытекает из последовательного применения требования верификационного критерия, согласно которому термины «верифицируемый» и «осмысленный» – синонимы. Равным образом также выражения «иметь меньший удельный вес, чем вода» и «способность плавать на воде» не являются синонимами.

Следовательно, если предложение, которое формулирует верификационный критерий смысла, мы считаем индуктивным обобщением, т.е., синтетическим предложением, мы должны признать, что предикаты «иметь значение» и «верифицируемый» не являются синонимами.