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

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

образом, ее потенциальным фальсификатором.

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

Введем еще один термин — «событие» ·—· для обозна-

щем этому явлению.

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

Определяя понятие «явление», естественно считать, ногов явлениях и что в явлениях можно описать с по-

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

мощью универсальных имен. (Отметим, что под собы-

эквивалентны(взаимовыводимы), описывают одно и то

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

же явление. Это приводит нас к следующему определе-

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

нию: пусть pk— сингулярное высказывание (индекс kпользование этого термина.) Дадим следующее опреде-

относится к индивидуальным именам или координатам, ление: пусть Pk. Pi,...— элементы класса явлений, от-

входящим в ρ/ι); класс всех высказываний, эквивалент-

личающихся друг от друга тольковходящими в них

ных pk,будем называть явлением Pk.В соответствии с

индивидами (пространственно-временными координата-

этим определением явлением мы будем, например, на-

ми или областями) ; этот класс будем называть «собы-

зывать то, что здесь сейчас гремит гром.Это явление

тием (Р)». В соответствии с этим определением мы бу-

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

«Здесь сейчас гремит гром», «В 13-м районе Вены

ко что опрокинулся стакан с водой», что класс эквива-

10 июня 1933 года в 17 час. 15 мин. гремит гром» и

лентных ему высказываний является элементом собы-

всех других эквивалентных этим высказываний. Реали-

тия «опрокидывание стакана с водой».

стическую формулировку «Высказывание Pkпредстав-

О сингулярном высказывании pk,представляющем

ляет явление Pk»можно тогда рассматривать как

явление Pk<в реалистическом языке можно сказать, говорящую то же самое, что и тривиальное высказыва-

что это высказывание говорит о явлении события (Р)ние «Высказывание рьявляется элементом класса PP.

в пространственно-временной области k.Мы считаем, что это означает то же самое, что и высказывание

9 В частности, некоторые представители теории вероятностей

«Класс P

(см. [44, с. 5]). Кейнс ссылается на Энкиллона как первого автора, kсингулярных высказываний, эквивалентных

предложившего «формальный способ выражения», а также на Буля, Pk,является элементом события (Р)»·

Зубера и Штумпфа. *Хотя я все еще считаю мои («синтаксические») Теперь применим введенную терминологию18 к нашей

определения понятий «явление» и «событие», приведенные в этом

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

также интуитивно адекватны, то есть адекватно представляют наш

обычный способ их употребления или наши интенции. Тарский ука-

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

зал мне (в Париже в 1935 году) на то, что здесь требуется «семан-

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

тическое», а.не «синтаксическое» определение.

119

118

то о ней можно сказать, что она устраняет или запре-

щает не только некоторое явление, но по крайней мере

циальных высказываний (о котором кратко говорилось

одно событие.Поэтому класс запрещаемых базисных

в разд. 15). Ясно, что для каждого такого высказыва-

ния будет существовать одно событие (или один ра-

высказываний, то есть потенциальных фальсификато-

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

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

ния, принадлежащие этому событию, будут верифици-

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

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

теория не говорит об индивидах как таковых. Сингу-

Тем не менее класс его потенциальных фальсификато-

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

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

мусобытию, можно назвать «однотипными», указывая

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

тем самым на аналогию между эквивалентнымивыска-

(оно не исключает и не запрещает ни одного радиуса).

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

Вместе с тем тот факт, что из каждого базисного вы-

мивысказываниями, описывающими одно (типичное) сказывания следует чисто экзистенциальное высказы-

событие. Теперь мы можем сказать, что каждый непу-

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

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

та в защиту эмпирического характера последнего.

держит по крайней мере один непустой класс однотип-

Каждая тавтология тоже следует из любого базисного

ных базисных высказываний.

высказывания, но она вообще следует из любого выска-

Представим класс всех возможных базисных выска-

зывания.

зываний в виде круга. Внутреннюю область этого круга

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

можно рассматривать как изображение совокупности