Логика и рост научного знания

званным условиям. В частности, имеются сингулярные

с помощью конвенционалистской уловки, мы должны

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

снова проверить ее и отвергнуть, если этого потребуют

обстоятельства.

надлежат к данной теоретической системе. Иногда их

также называют «вспомогательными гипотезами», и, Четыре основные конвенционалистские уловки были

хотя они вводятся для оказания помощи теории, такие

перечислены в конце предыдущего раздела. Этот спи-

гипотезы совершенно безвредны. (Примером может

сок, однако, не претендует на полноту. Исследовате-

служить предположение о том, что определенное на-

лям, особенно в области социологии и психологии (фи-

блюдение или измерение, которое нельзя повторить, яв-

зиков едва ли нужно предостерегать от этого), следует

ляется ошибочным — ср. прим. 26 в гл. I, а также

постоянно выступать против попыток использовать но-

разд. 27.)

вые конвенционалистские уловки — попыток, к которым

В разд. 17 я говорил о явных определениях,посред-

часто прибегают, например, специалисты по психо-

анализу.

ством которых понятиям аксиоматической системы при-

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

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

уровня универсальности. Изменения в этих определе-

лагаем принять следующее правило: допустимы лишь

ниях допустимы, если они полезны, но их следует рас-

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

сматривать как модификацию системы, которая после

только не уменьшает степени фальсифицируемости или

этого должна быть проверена заново — как новая си-

проверяемости данной системы, а, напротив, увеличи-

стема. Что касается неопределяемых универсальных

вает ее (как измерять степень фальсифицируемости, будет объяснено в разд. 31—40). Если степень фальси-

*

фицируемости возрастает, то введение новой гипотезы

3 Как показа л Грюнбаум (см. [31]), это утверждение ошибоч-

но.Тем не менее, поскольку гипотеза Фитцджеральда — Лоренца

действительно усиливает теорию: теперь система ис-

была менее проверяемой, чем специальная теория относительности, ключает и запрещает больше, чем раньше. То же самое

она может служить иллюстрацией понятия «степень подгонки»

можно сформулировать иначе. Введение вспомогатель-

(degree of adhocness).

но

I l l

имен, то следует различать две возможности. (1) Су-

я называю «базисными», а также вопрос об их фальси-

ществуют неопределяемые понятия, которые входят

фицируемости будут обсуждаться далее. Здесь мы пред-

только в высказывания самого высшего уровня универ-

полагаем, что фальсифицируемые базисные высказыва-

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

ния существуют. Следует иметь в виду, что, говоря о

мы знаем, в каком логическом отношении находятся к

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

ним другие понятия. В процессе дедукции их можно

системы принятыхвысказываний. В моем понимании

устранить (примером является понятие «энергия»)4.

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

(2) Существуют другие неопределяемые понятия, которые

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

входят также и в высказывания более низкого уровня

гической формы — все мыслимые сингулярные высказы-

универсальности и значение которых обосновано их

вания о фактах. Поэтому система всех базисных вы-

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

«точечная масса», «положение»). В отношении таких

стимых высказываний.

понятий мы будем запрещать неявные изменения их

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

употребления, а если это все-таки произойдет, будем

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

действовать в соответствии с нашими методологически-

случае, если из нее выводимы сингулярные высказыва-

ми решениями.

ния. Однако эта попытка не приносит успеха, так как

Относительно других конвенционалистских уловок, для выведения сингулярных высказываний из некоторой

касающихся компетентности экспериментатора или тео-

теории всегда нужны другие сингулярные высказыва-

ретика, мы принимаем аналогичные правила. Интер-

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

субъективно проверяемые эксперименты принимаются

дует подставлять на место переменных, входящих в эту

либо отвергаются на основе контрэкспериментов. Не-

теорию. Мы могли бы с большим правом попытаться

обоснованные ссылки на логические связи, которые об-

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

наружатся в будущем, можно не принимать во вни-

ные высказывания выводимы из нее с помощью других

мание.

сингулярных высказываний, являющихся начальными

условиями. Но и эта попытка оказывается неудачной, 21. Логическое исследование фальсифицируемости

так как даже неэмпирическая, например тавтологиче-

Потребность в защите от конвенционалистских уло-

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

вок возникает только в том случае, когда мы имеем

ные высказывания из других сингулярных высказыва-