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

Поппер Карл Раймунд

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

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

стенциального высказывания. Так, например, элемент с

атомным числом 72 (гафний) был открыт не только

на основе изолированного чисто экзистенциального вы-

(например, «хродился на Корсике»; поскольку не указано, что

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

сказывания.

Напротив, все попытки обнаружить его

ни истинной, ни ложной). Знак «—>-» представляет собой выраже-

оставались тщетными — до тех пор, пока Бору не уда-

ние «если верно, что... то верно, что...». Пропозициональная функ-

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

ция ', стоящая перед знаком «—>-», называется антецецедентной

их из своей теории. При этом теория Бора и те ее

или обусловливающей пропозициональной функциейа функция fx—

консеквентной пропозициональной функцией. Общая импликация

следствия, которые имели отношение к этому элементу

(— >fx)утверждает, что все значения х,выполняющие , и помогли открыть его, отнюдь не представляют собой

выполняют также f.

изолированных чисто экзистенциальных высказыва-

94

95

ний*15. Они являются строго универсальными высказы-

ваниями. То, что мое решение считать строго экзистен-

Универсальные и экзистенциальные высказывания фор-

циальные высказывания неэмпирическими — поскольку

мулируются симметрично. Асимметрия возникает толь-

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

ко*16 благодаря нашему критерию демаркации.

обычной практике, станет видно из его последующего

приложения к вероятностным высказываниям и к про-

16. Теоретические системы

блеме их эмпирической проверки (см. [70, разд. 66—

68]).

Научные теории постоянно изменяются. Согласно на-

Строгие, или чистые, высказывания — универсальные

шей характеристике эмпирической науки, это вполне

и экзистенциальные — не имеют пространственных и

естественно и не вызвано простой случайностью.

временных ограничений. Они не относятся к индиви-

Может быть, именно этот факт объясняет, почему, дуальной, ограниченной пространственно-временной об-

как правило, лишь отдельные ветвинауки — и то только

ласти. Именно поэтому строго экзистенциальные выска-

временно — приобретают форму развитых и логически

зывания нефальсифицируемы. Мы не можем исследо-

разработанных систем теорий. Тем не менее такие вре-

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

менно принимаемые системы можно тщательно изучать

ществует, никогда не существовало и никогда не будет

в целом, со всеми их важнейшими следствиями. Это —

существовать. По той же самой причине строго универ-

весьма существенный пункт: строгая проверка системы

сальные высказывания неверифицируемы. Опять-таки

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

мы не можем исследовать весь мир для того, чтобы

статочно определена и завершена по форме для того, убедиться в несуществовании всего того, что запре-

чтобы в нее нельзя было включить новых допущений.

щается законом. Тем не менее оба вида строгих вы-

Другими словами, система должна быть сформулирова-

сказываний в принципе эмпирически разрешимы, хотя

на достаточно ясно и определенно для того, чтобы о

только одним способом:они односторонне разрешимы.

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

Если обнаруживается, что нечто существует здесь и те-

ляется ли оно модификацией и, следовательно, пере-

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

смотромэтой системы или нет.

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

Я полагаю, что именно в этом кроется причина

версальное— фальсифицировано.

стремления ученых к построению строгой научной си-

Указанная асимметрия вместе с ее следствием — од-

стемы. Такой системой является так называемая «ак-

носторонней фальсифицируемостью универсальных вы-

сиоматизированная система»—· та форма, которую Гиль-

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

покажется менее подозрительной, чем прежде (см.

ретической физики. При этом стремятся выделить все

разд. 6). Мы видим, что она не связана ни с каким

(но не более) предположения, которые необходимы для

чисто логическим– отношением. Напротив, соответствую-

формирования оснований такой системы. Обычно их

щие логические отношения являются симметричными.