Против этой версии критерия значения, основанной на требовании возможности полной верификации, высказали ряд существенных возражений К.Г.Гемпель, А.Пап, В.Штегмюллер. Новую реформированную интерпретацию верификационного критерия значения попытался дать А.Д.Айер (см. § 6.3.). Другую такую попытку совершил Карнап («Проверяемость и значение», 1937). В этой работе принцип верифицируемости трактуется не как бессмыслица, а как рекомендация по построению языка науки. В качестве рекомендации он адресован эмпиристам, естественно предпочитающим строить язык науки таким образом, чтобы в нем были невыразимы метафизические высказывания. Согласно Карнапу, эмпиристы должны избегать таких утверждений, как «все знание является эмпирическим», которые якобы сообщают что-то о мире. Они должны разъяснять, что подобные утверждения формулируют лишь определенные ограничения на употребление языка — ограничения, отсутствующие в «естественных» языках вроде немецкого. Поэтому их цель состоит в создании «идеального языка», позволяющего выразить все, что желательно эмпиристу, т. е. любы e научные и логико-математические высказывания, но исключающего метафизические утверждения как лишенные значения. Понятно, что метафизик стремится к иному идеалу; и если метафизик попытается сформулировать альтернативный эмпиризму язык, то, при условии непротиворечивости этого языка, эмпирист может и не иметь против него возражений, хотя и не пожелает им воспользоваться.
Вместе с тем в рамках общей структуры эмпиристского языка можно использовать разнообразные варианты, отличающиеся по степени точности. Для эмпириста необходимо, чтобы все «исходные предикаты» научного языка, входящие в «базисные утверждения» или «протокольные предложения», были наблюдаемыми, но в то же время у него, считает Карнап, есть выбор — включить ли в свой язык только предикаты «вещного языка» (состоящего из предикатов повседневного языка: например, «теплый», «голубой» и т. д., используемых для описания материальных объектов; согласно Карнапу, именно этот язык он имел в виду, когда утверждал, что фундаментальным языком является «язык физики») — или добавить к ним «психологические» предикаты. Во втором варианте тоже возможны альтернативы: психологические предикаты могут иметь менталистскую форму, обозначая индивидуальные состояния сознания, или они могут быть «физикалистскими» предикатами, обозначающими психологические акты (например, быть сердитым или видеть собаку ), которые может наблюдать только тот, кто их испытывает, но наличие или отсутствие которых может быть подтверждено независимыми наблюдателями. Сам Карнап вслед за Поппером отдает предпочтение «вещному языку», отказываясь от своих прежних феноменалистских и физикалистских протоколов на том основании, что никакой другой язык, кроме «вещного», не может обеспечить абсолютную объективность науки. Как и следовало ожидать, некоторые позитивисты встретили его выбор с негодованием, видя в нем отход от позитивизма к реализму.
Позитивисты обычно были согласны — и это в явном виде сформулировано в ранних произведениях Шлика, — что все неисходные предикаты должны быть определены через исходные предикаты; Карнап придерживался именно этой точки зрения, когда утверждал в «Единстве науки», что все эмпирические предложения можно «перевести» в предложения, сформулированные на языке физики. В «Проверяемости и значении» он отходит и от этого строгого требования: по его мнению, эмпирист должен требовать не переводимости предложений, а лишь их сводимости с помощью «редукционных пар». К этому выводу он пришел главным образом потому, что считал невозможным определить «диспозиционные предикаты» (т.е. предикаты типа «растворимый», «видимый», «слышимый») в виде конъюнкции исходных предикатов. В то же время он считал, что эмпирист может «ввести» в свой язык предикат «растворимый» с помощью следующей пары высказываний: «если х поместить в воду в момент времени t , то если х растворим в воде, то х растворится в момент времени t » и «если х поместить в воду в момент времени t , то если х не растворим в воде, то х не растворится в момент времени t ». Таким образом, мы располагаем тестом растворимости, хотя у нас нет метода перевода высказываний вида «х растворим» в высказывания, содержащие характеризующие предикаты наблюдения — х, ибо х может быть растворимым, даже если никто и никогда не помещал его в воду.
Итак, модификация верификационного критерия значения, предложенная Карнапом, имеет две характерные черты:
(1) Прежде всего в принципе отбрасывается требование полной верификации и вводятся «более умеренные» и вместе тем, конечно, нестрогие средства проверки семантической характеристики предложения: под верификацией понималось конечное и однозначно определенное установление истинности или ложности синтетического предложения. Поскольку речь идет о предложении, которое можно было бы записать с использованием квантора общности, очевидно, что полная верификация в указанном смысле часто неосуществима. Поэтому Карнап в противовес верификации и требованию полной верификации выдвигает понятие «подтверждение». Под подтверждением понимается ступенчатый процесс, который последовательно уточняет наше знание семантической характеристики. Под тестированием ( testability , проверяемостью) понимается использование вполне определенного метода для установления этой характеристики.
(2) О всех этих средствах допустимо говорить только тогда, когда определенный язык имеет точную синтаксическую и семантическую конструкцию. В качестве примера языка с такими свойствами, в котором можно использовать указанные средства, Р. Карнап набросал схему эмпиристского языка ( Ding - Sprache ). Словарь этого языка содержит в качестве примитивных нелогических выражений имена пространственно-временных точек и предикаты наблюдения ( Beobachtungspredikate , observation predicates ). Образование остальных нелогических выражений осуществлено при помощи так называемых редукционных предложений. Эти предложения, в сущности, уточняют семантически значимые отношения нелогических выражений данного языка и играют, таким образом, роль постулатов значения.
Такая модификация, конечно, бросает в целом новый свет на усилия по созданию универсальной концепции верификационного критерия значения. В системе языка, с которым Р. Карнап рекомендует работать, понятие «осмысленное предложение», собственно, предполагается, поскольку заданы также семантические правила и постулаты значения. Это означает, что роль верификационного критерия в его первоначальном виде здесь, собственно говоря, устранена.
Модификация верификационного критерия, проведенная Р. Карнапом, позволяет сделать следующее заключение: так называемые метафизические предложения, которые с помощью верификационного критерия должны были быть элиминированы и объявлены предложениями, которые «не имеют значения», вряд ли можно найти в языковых системах, которые имеют точную синтаксическую и семантическую конструкцию. Поэтому понятно также, что первоначальные цели не были и не могли быть достигнуты. Если принять во внимание, что верификационный критерий смысла первоначально понимался как универсальный критерий, связанный с попыткой создания того, что мы охарактеризовали как унитарную теорию смысла, то модификация, произведенная Р. Карнапом в " Testability and Meaning " является, собственно, первым шагом к отбрасыванию универсального критерия.
Дальнейшая критика верификационного критерия значения (выдвинутая, например, Л.Тондлом[5] ) также связана с приписываемой ему характеристикой универсальности. Метаязыковой предикат «иметь значение», согласно концепции верификационного критерия, связан со значением предиката «верифицируемый». В этой связи встает вопрос, какой характер имеет установление того, что «все осмысленные предложения верифицируемы». Если «верифицируемость» является общим свойством того множества предложений, которые правильно образованы и которые, кроме того, являются осмысленными, то это установление — результат индуктивного обобщения, как, допустим, предложение «все предметы с меньшим удельным весом, чем у воды, в состоянии плавать по воде». Это, несомненно, находится в противоречии с принципом, который вытекает из последовательного применения требования верификационного критерия, согласно которому термины «верифицируемый» и «осмысленный» — синонимы. Равным образом также выражения «иметь меньший удельный вес, чем вода» и «способность плавать на воде» не являются синонимами.
Следовательно, если предложение, которое формулирует верификационный критерий смысла, мы считаем индуктивным обобщением, т.е., синтетическим предложением, мы должны признать, что предикаты «иметь значение» и «верифицируемый» не являются синонимами.
Еще более затруднительная ситуация возникает, если мы считаем предложение, которое формулирует верификационный критерий смысла, аналитическим. В этом случае, конечно, не остается ничего, как признать, что это предложение неверифицируемо и, следовательно, не имеет значения. Формулировка верификационного критерия значения, конечно, не является явно аналитическим предложением. Если речь идет .о синтетическом предложении, то нельзя избежать вопроса, имеет ли само это предложение значения. Иначе говоря, речь идет о том, можно ли критерий значения применить к нему самому. Если да, то можно ли доказать, что из истинности критерия значения следует, что этот критерий сам не имеет значения? Можно, конечно, возразить, что этот подход означает смешение предложений объектного языка и метаязыка (или же метаязыка и метаметаязыка и т. д.). Если мы хотим этого избежать, нам ничего иного не остается, как предположить бесконечный ряд верификационных критериев разных ступеней и, следовательно, бесконечный регресс.