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

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

вания g,если qвыводимо из (или символически

мости. Вполне возможно проинтерпретировать числен-

«р— >q»*7).Если имеет место взаимная выводимость

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

(символически «р·«-»·^»), то о и qможно сказать, что

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

они имеют равное содержание8. Если qвыводимо

из р,вероятности), для которой на основании оценок часто-

а рневыводимо из q,то класс следствий qдолжен быть

ты можно определить систему измерения.

собственным подмножеством класса следствий р;в

Высказанные соображения о сравнении степеней

этом случае робладает большим классом следствий и, фальсифицируемости относятся не только к универсаль-

следовательно, большим логическим содержанием (или

ным высказываниям или системам теорий. Их можно

логической силой)*9.

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

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

сингулярным высказываниям. Поэтому наши соображе-

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

ния верны, например, для теорий в конъюнкции с на-

пирического содержаний двух высказываний и qпри-

чальными условиями. В этом случае класс потенциаль-

водит к одному и тому же результату, если рассматри-

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

ваемые высказывания не содержат метафизических эле-

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

ментов. Поэтому мы выдвинем следующие требования: зываний, поскольку класс потенциальных фальсифика-

(а) два высказывания, имеющие равное логическое со-

торов представляет собой класс явлений. (Это замеча-

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

ние имеет некоторое отношение к связи между логиче-

жание; (Ь) высказывание р,логическое содержание ко-

ской « численной вероятностью, которая анализирует-

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

ся в [70, разд. 72].)

ния q,должно иметь также большее или по крайней

мере равное эмпирическое содержание; (с) если эмпи-

35. Эмпирическое содержание,

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

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

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

содержание ртакже должно быть больше или логиче-

В разд. 31-говорилось, что то, что я называю эмпи-

ское содержание этих высказываний несравнимо. Огра-

рическим содержаниемвысказывания, возрастает вме-

сте со степенью его фальсифицируемости: чем боль-

*7 «р— >q·»,согласно приведенной трактовке, означает, что ус-

ше высказывание запрещает, тем больше оно говорит

ловное высказывание с антецедентом ри консеквентом q тавтологич-

о мире опыта (ср. также с разд. 6). То, что я называю

но,или логически истинно. (Когда я писал текст этой книги, я еще

«эмпирическим содержанием», тесно связано с поня-

не вполне осознавал это обстоятельство; не понимал я и важности

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

тием «содержание», как оно определяется, например, утверждением, см. также прим. *19 к гл. III.) Таким образом, «р— >-q»

Карнапом [И, с. 458], однако не тождественно ему.

в данном контексте необходимо читать как «из рследует q·».

Для карнаповского понятия «содержание» я использую

8 Карнап говорит: «Металогический термин «равен по содержа-

термин «логическое содержание», чтобы отличить его

нию» определяется как «взаимно выводимый»» [11, с. 458]. Книги

от понятия «эмпирическоесодержание».

Карнапа [14 и 15] были опубликованы слишком поздно для того, чтобы я имел возможность рассмотреть их здесь.

Я определяю эмпирическое содержаниевысказыва-

*9 Если логическое содержание превосходит логическое содер-

ния pкак класс его потенциальных фальсификаторов

жание q,то мы также говорим, что р логически сильнее q,или что

(см. разд. 31). Логическое содержаниеопределяется

«го логическая силапревосходит логическую силу q.

159

168

ваниями, а не псевдовысказываниями. Однако мне ка-

ничение в пункте (Ь) «или по крайней мере равное эм-

жется, что такого рода рассуждение хотя и представ-