Предположения и опровержения. Рост научного знания

Она неразрешима. Допустим, с помощью «редукционного предложения» Карнапа, описывающего некоторую операциональную проверку, нам удалось «свести» предложение «х растворим в воде» к предложению «если х опущен в воду, то х растворим тогда и только тогда, когда он растворяется». Чего мы достигли? Нам нужно еще редуцировать термины «вода» и «растворяется». Ясно, что в число операциональных проверок, характеризующих воду, мы должны будем включить следующую: «если что-то, растворимое в воде, опущено в х, то если х есть вода, то это растворяется». Иными словами, при введении предиката «растворим» мы не только вынуждены обращаться к слову «вода», которое, по-видимому, является диспозицией даже более высокого уровня, но вдобавок мы

457

попадаем в порочный круг: мы вводим «растворим» с помощью термина («вода»), который, в свою очередь, сам не может быть введен без помощи предиката «растворим», и так далее до бесконечности.

Ситуация с предикатами «х растворяется» или «х растворился» весьма похожа. Мы говорим, что х растворился (а не просто исчез) только в том случае, если надеемся показать (скажем, посредством выпаривания), что можно обнаружить определенные следы этого процесса и что при необходимости мы способны отождествить выделенное вещество с х, показав, помимо всего прочего, что оно растворимо.

Существует очень хорошая причина, объясняющая, почему мы никогда не можем вырваться из этого круга, установив какой-то порядок редукции или введения. Она состоит в следующем: наши реальные проверки никогда не являются окончательными, они всегда носят временный характер. Мы никогда не можем закончить наши проверки в каком-то конкретном пункте, скажем, достигнув исходных предикатов. Для ученого все предикаты являются диспозиционными, т.е. открытыми для сомнений и проверок. В этом состоит одна из основных идей теории эмпирического базиса, изложенной в «Логике научного открытия»⁶⁰.

Достаточно ясно, что предикат «растворимый» нельзя «редуцировать» к чему-то, что менее диспозиционно. А к своему заявлению, что не стоит об этом сожалеть, я хочу лишь (вновь) добавить, что за пределами математики и логики проблемы определимости совершенно несущественны. Нам требуется много неопределенных терминов⁶¹, значение которых лишь приблизительно фиксируется их употреблением — тем способом, которым они используются в теориях и в лабораторных процедурах. Поэтому значение таких понятий изменчиво. Однако так обстоит дело со всеми понятиями, включая и те, которые получили определение, ибо определение лишь сводит значение определяемого термина к неопределяемым.

Что же тогда кроется за требованием определимости? — Старая традиция, восходящая к Локку и доходящая до аристо-

458

телевского эссенциализма. Ее выражением является убеждение в том, что если человек не может объяснить, что означает используемое им слово, то «он не наделяет его значением» (Витгенштейн), следовательно, произносит бессмыслицу. Однако бессмыслицей является это витгенштейнианское убеждение, ибо все определения в конечном итоге восходят к неопределяемым терминам. Но, поскольку я обсуждал это в других работах⁶², здесь я говорить об этом больше не буду.

В заключение этого раздела я хочу еще раз подчеркнуть, что проверяемость и подтверждаемость столь же неспособны служить в качестве критериев значения, как и прежний критерий верифицируемости. Вдобавок я должен сказать, что не могу принять карнаповского истолкования терминов «проверка», «проверяемый» и т.п. Причина, опять-таки, состоит в том, что у него эти термины служат заменителями слов «верификация», «верифицируемый» и т.п., причем несколько более слабыми заменителями, чтобы избежать упрека в том, что законы неверифицируемы. Однако этот компромисс ничего не дает, в чем мы убедимся в последнем разделе данной статьи. В науке приемлемость зависит не от каких-то суррогатов истины, а от строгости проверок⁶³.

6. Вероятность и индукция

Следствия истолкования подтверждения как разновидности ослабленной верификации вполне выявляются только в двух книгах Карнапа о вероятности — большой том под заглавием «Логические основания вероятности» (в дальнейшем «Основания вероятности») и небольшая работа «Континуум индуктивных методов» (в дальнейшем «Методы»)⁶⁴.

Содержание этих двух книг тесно связано с нашей проблемой. В них речь идет об индукции, а индукция всегда была одним из самых популярных критериев демаркации: считалось, как правило, что эмпирические науки отличаются своим методом, а этот метод обычно характеризовали как индуктивный⁶⁵.

459