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

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

четливо сформулировать в точных логических терми-

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

«ах при помощи теоретико-множественного понятия

элементы , которые не принадлежат а. В последнем

размерности. Это понятие различает классы или мно-

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

жества точек по богатству «отношений соседства» меж-

зуют «класс разности», или дополнение,a по отноше-

ду их элементами. Множества большей размерности

нию

к , а a является собственным подклассом. Отно-

имеют более богатые отношения соседства. Понятие

шение включения классов очень хорошо соответствует

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

интуитивному смыслу слов «больше» или меньше», од-

«большей» или «меньшей» размерности, будет исполь-

нако оно имеет один существенный недостаток. Это от-

зоваться нами для рассмотрения проблемы сравнения

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

степеней проверяемости. Это возможно потому, что ба-

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

зисные высказывания, соединенные конъюнктивно с

в себя другой. Следовательно, если два класса потен-

другими базисными высказываниями, снова дают базис-

циальных фальсификаторов пересекаются, но не вклю-

ные высказывания, которые, однако, являются «более

. чаются один в другой или если они не имеют общих

неэлементарными», чем их компоненты. И именно сте-

элементов, то степень фальсифицируемости соответ-

пень неэлементарности базисных высказываний может

ствующих теорий нельзя сравнивать с помощью отно-

быть связана с понятием размерности. Однако нами

шения включения классов. На основе этого отношения

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

они несравнимы.

прещаемых событий, а понятие неэлементарности до-

пускаемых событий. Причина этого состоит в том, что

33. Степени фальсифицируемости,

– запрещаемые теорией события могут быть произволь-

сравниваемые посредством отношения

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

включения классов

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

Следующие определения вводятся в предваритель-

рией только на основании их формы, или, точнее гово-

ном порядке с целью их улучшения в ходе дальнейше-

ря, на том основании, что их степень неэлементарности

го обсуждения размерности теорий (см. разд. 38, а так-

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

же [70, прил. I, *VII, *VIII]).

речить рассматриваемой теории. Этот факт можно ис-

(1) Будем говорить, что высказывание «в большей

пользовать для сравнения размерностей*3.

степени фальсифицируемо», или «лучше проверяемо», (3) Отношение включения классов.Пусть каждый

чем высказывание у(в символической форме: Fsb(x)>элемент класса будет также элементом класса , так,

^>Fsb(y)),если, и только если, класс потенциальных

фальсификаторов включает класс потенциальных

*

фальсификаторов ув качестве собственного подкласса.

3 Немецкий терми н «Komplex» переведен здесь и в других ана -

логичных местах как «неэлементарный» («composite»), a не как

(2) Если классы потенциальных фальсификаторов

«сложный» («complex»). Причиной этого послужило то обстоятельст-

двух высказываний и усовпадают, то эти высказы-

во, что указанный термин неявляется, как это имеет место в случае

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

стой» («simple»). Противоположность термина «простой» («einfach») то есть Fsb(x)=Fsb(y).

выражается немецким «kompliziert» (ср. первый абзац разд. 41, где

(3) Если ни один из классов потенциальных фаль-

«kompliziert» переводится как «сложный»). Принимая во внимание

сификаторов двух высказываний не включает другой

тот факт, что степень простотыявляется одной из основных тем это»

как собственный подкласс, то два эти высказывания

книги, было бы неправильно говорить здесь (и в разд. 38) о степени

сложности. Поэтому я и решил использовать термин «степень неэле-

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

ментарности» («degree of composition»), который, думается, очень хо-

(Fsb(x)\\Fsb(y)).

рошо подходит к данному контексту.

Если выполняется (1), то всегда существует непу-

152

153

стос дополнение. В случае универсальных высказыва-

включения классов. При этом на понятие «степень фаль-

ний это дополнение является бесконечным. Следо-

сифицируемости» переносятся все структурные свой-

вательно, две (строго универсальные) теории не могут