Логике научного исследования

253

Это не означает, конечно, что нам запрещено пользоваться понятиями «истинно» и «ложно» или

что их использование создает какие-либо трудности. Сам тот факт, что мы можем обойтись без них, показывает, что введение этих понятий не может породить каких-то новых фундаментальных про-

блем. Использование понятий «истинно» и «ложно» совершенно аналогично использованию таких

понятий, как «тавтология», «противоречие», «конъюнкция», «импликация»и т.п. Они являются не

эмпирическими, а логическими понятиями1. Они описывают или оценивают некоторое высказывание

безотносительно к каким-либо изменениям в эмпирическом мире. Хотя мы считаем, что свойства фи-

зических объектов («генетически тождественных» объектов в смысле Левина) с течением времени

изменяются, логические предикаты мы решаем использовать таким образом, что логические свойства

высказываний оказываются вневременными: если некоторое высказывание является тавтологией, оно

будет тавтологией всегда. Точно такую же вневременность мы — в соответствии с обычным упо-

треблением — придаем также понятиям «истинно» и «ложно». Говорить о некотором высказывании, что оно было вполне истинно вчера, но сегодня стало ложным, не соответствует общепринятому упо-

треблению. Если вчера мы считали истинным высказывание, которое сегодня оцениваем как ложное, то в этой оценке содержится неявное признание того, что вчера мы ошибались,что данное высказы-

вание было ложным уже вчера — ложным безотносительно ко времени, но мы ошибочно «принима-

ли его за истинное».

В этом пункте мы ясно можем видеть различие между истиной и подкреплением. Оценка некото-

рого высказывания как подкрепленного или неподкрепленного также является логической и, следо-

вательно, вневременной оценкой: она говорит о том, что между теоретической системой и некоторой

системой принятых базисных высказываний имеется определенное логическое отношение. Однако

мы никогда не можем просто сказать о некотором высказывании, что оно как таковое или само по се-

бе «подкреплено» (аналогично тому, как мы можем утверждать, что оно «истинно»). Можно лишь

сказать, что оно подкреплено относительно некоторой системы базисных высказываний,принимае-

мой в определенный момент времени. «Подкрепление, полученное теорией вчера», логически не

тождественно«подкреплению, полученному теорией сегодня». Поэтому каждой оценке подкрепле-

ния мы должны приписать, так сказать, определенный индекс, указывающий на ту систему базисных

высказываний, к которой относится данное подкрепление (например, отмечая дату их принятия)*2.

Таким образом, подкрепление не является «истинностной оценкой», то есть оно не может быть

поставлено в один ряд с понятиями «истинно» и «ложно» (у которых нет временных индексов). Одно

и то же высказывание может иметь любое число различных оценок подкрепления, кото-

1 (Добавлено в 1934 г. в верстке). Карнап, по-видимому, сказал бы «синтаксическими понятиями» (см.: Carnap R.Logische Syntax der Sprache. Wien, Springer, 1934; английский перевод: Carnap R.The Logical Syntax of Language. London, Paul Trench, 1937).

*2См. примечание *1 к разделу 81.

254

рые все могут быть «корректны» или «истинны» в одно и то же время, ибо эти оценки логически

выводимы из теории и различных множеств базисных высказываний, принимаемых в разные момен-

ты времени.

Высказанные соображения могут помочь нам также оценить различие между моим пониманием

истины и точкой зрения прагматистов, которые предлагают определять «истину» в терминах успеха

теории и, следовательно, в терминах ее полезности, ее подтверждения или подкрепления.Если они

при этом намереваются утверждать лишь то, что логическая оценка успеха теории может быть не бо-

лее чем оценкой ее подкрепления, то с этим я согласен. Однако, мне кажется, было бы далеко не «по-

лезно»отождествлять понятие подкрепления с понятием истины*3. Это противоречит также и обще-

принятому словоупотреблению. О теории вполне можно сказать, что она до сих пор вообще едва

подкреплена или что она все еще остается неподкрепленной, однако обычно мы не говорим, что тео-

рия до сих пор вообще едва истинна или что она все еще ложна.

85. Путь науки

В эволюции физики можно обнаружить нечто вроде общего направления — от теорий более низ-

48

кого уровня универсальности к теориям более высокого уровня универсальности. Это направление

обычно называют «индуктивным», и тот факт, что физика продвигается в этом «индуктивном»

направлении, казалось бы, можно использовать как аргумент в пользу индуктивного метода.

Однако продвижение в индуктивном направлении не обязательно складывается из последователь-

ности индуктивных выводов. Действительно, мы показали, что его можно объяснить совершенно

иным образом — в терминах степени проверяемости и подкрепляемости. Теория, которая была хо-

рошо подкреплена, может быть превзойдена только теорией более высокого уровня универсальности, то есть теорией, которая лучше проверяема и которая вдобавок содержитстарую, хорошо подкреп-

ленную теорию или, по крайней мере, хорошее приближение к ней. Поэтому, может быть, лучше

считать это развитие к теориям все более высокого уровня универсальности «квазииндуктивным».

Квазииндуктивный процесс можно описать следующим образом. Выдвигаются и дедуктивно про-

веряются теории некоторого уровня универсальности; затем предлагаются теории более высокого

уровня универсальности, которые, в свою очередь, подвергаются проверке с помощью ранее выдви-

нутых теорий меньшего уровня универсальности, и т.д. При этом методы проверки постоянно опи-