Явления и события

Требование фальсифицируемости, которое вначале было несколько неопределенным, теперь разбивается на две части. Первую – методологический постулат (см. разд. 20) – едва ли можно сделать совершенно точной. Вторая – логический критерий – оказывается вполне определенной, как только нам становится ясным, какие высказывания называются “базисными” (см. разд. 28). До сих пор этот логический критерий был задан формальным образом, то есть как логическое отношение между высказываниями – теорией и базисными высказываниями. Быть может, суть дела станет яснее и интуитивно понятнее, если я опишу свой критерий в более “реалистическом” языке. Хотя такое описание и эквивалентно формальному способу речи, оно может оказаться более обычным и понятным.

В этом “реалистическом” языке мы можем сказать, что сингулярное (базисное) высказывание описывает явление. Вместо того чтобы говорить о базисных высказываниях, которые теория устраняет или запрещает, мы можем теперь говорить, что теория устраняет некоторые возможные явления и что теория фальсифицирована, если эти возможные явления действительно происходят.

Использование столь неопределенного термина, как “явление”, может вызвать критику. Иногда говорят, что такие понятия, как “явление” или “событие”, должны быть полностью устранены из эпистемологических дискуссий и что следует говорить не о “явлениях” или “отсутствии явлений” и не о “наступлении” “событий”, а об истинности или ложности высказываний. Однако я предпочитаю сохранить термин “явление”. Его употребление достаточно легко определить так, чтобы оно не вызывало возражений. Например, можно использовать этот термин таким образом, что всякий раз, когда мы говорим о некотором явлении, можно вместо этого говорить о сингулярном высказывании, соответствующем этому явлению.

Определяя понятие “явление”, естественно считать, что два сингулярных высказывания, которые логически эквивалентны (взаимовыводимы), описывают одно и то же явление. Это приводит нас к следующему определению: пусть pk – сингулярное высказывание (индекс k относится к индивидуальным именам или координатам, входящим в pk), класс всех высказываний, эквивалентных pk, будем называть явлением Pk. В соответствии с этим определением явлением мы будем, например, называть то, что здесь сейчас гремит гром. Это явление мы можем рассматривать как класс высказываний: “Здесь сейчас гремит гром”, “В 13-м районе Вены 10 июня 1933 года в 17 час. 15 мин. гремит гром” и всех других эквивалентных этим высказываний. Реалистическую формулировку “Высказывание pk представляет явление Pk можно тогда рассматривать как говорящую то же самое, что и тривиальное высказывание “Высказывание pk является элементом класса Pk всех эквивалентных ему высказываний”. Аналогичным образом высказывание “Явление Pk произошло” (или “происходит”) мы рассматриваем как означающее то же самое, что и “pk и все эквивалентные ему высказывания истинны”.

Цель введенных правил перевода состоит не в том, чтобы утверждать, что когда кто-нибудь использует слово “явление” в реалистическом языке, он подразумевает при этом некоторый класс высказываний. Указанные правила должны лишь интерпретировать реалистический способ речи и сделать понятным, что именно имеют в виду, когда говорят, например, что явление Pk противоречит теории t. Такое высказывание теперь будет просто означать, что каждое высказывание, эквивалентное pk, противоречит теории t и является, таким образом, ее потенциальным фальсификатором.

Введем еще один термин – “событие” – для обозначения того, что может быть типичного или универсального в явлениях и что в явлениях можно описать с помощью универсальных имен. (Отметим, что под событием мы не имеем в виду сложного или растянутого во времени явления, как может подсказать обыденное использование этого термина.) Дадим следующее определение: пусть Pk, Pl,... – элементы класса явлений, отличающихся друг от друга только входящими в них индивидами (пространственно-временными координатами или областями); этот класс будем называть “событием (Р) ”. В соответствии с этим определением мы будем, например, говорить о высказывании “Здесь только что опрокинулся стакан с водой”, что класс эквивалентных ему высказываний является элементом события “опрокидывание стакана с водой”.

О сингулярном высказывании pk, представляющем явление Pk, в реалистическом языке можно сказать, что это высказывание говорит о явлении события (Р) в пространственно-временной области k. Мы считаем, что это означает то же самое, что и высказывание “Класс Pk сингулярных высказываний, эквивалентных pk, является элементом события (Р)”.

Теперь применим введенную терминологию к нашей проблеме. Если некоторая теория фальсифицируема, то о ней можно сказать, что она устраняет или запрещает не только некоторое явление, но по крайней мере одно событие. Поэтому класс запрещаемых базисных высказываний, то есть потенциальных фальсификаторов теории, если он не пуст, всегда должен содержать неограниченное число базисных высказываний, так как теория не говорит об индивидах как таковых. Сингулярные базисные высказывания, принадлежащие одному событию, можно назвать “однотипными”, указывая тем самым на аналогию между эквивалентными высказываниями, описывающими одно явление, и однотипными высказываниями, описывающими одно (типичное) событие. Теперь мы можем сказать, что каждый непустой класс потенциальных фальсификаторов теории содержит по крайней мере один непустой класс однотипных базисных высказываний.

Представим класс всех возможных базисных высказываний в виде круга. Внутреннюю область этого круга можно рассматривать как изображение совокупности всех возможных миров опыта, или всех возможных эмпирических миров. Пусть, далее, каждое событие изображается одним из радиусов (или, точнее говоря, очень узкой областью или сектором, лежащим вдоль радиуса) и любые два явления с одинаковыми координатами (или индивидами) располагаются на одном и том же расстоянии от центра, то есть на одной концентрической окружности. Теперь мы можем проиллюстрировать постулат фальсифицируемости с помощью следующего требования: для каждой эмпирической теории на нашей диаграмме должен существовать по крайней мере один радиус (или очень узкий сектор), который запрещен этой теорией.

Эта иллюстрация может быть полезна при обсуждении многих наших проблем, в том числе, например, вопроса о метафизическом характере чисто экзистенциальных высказываний (о котором кратко говорилось разд. 15). Ясно, что для каждого такого высказывания будет существовать одно событие (или один радиус) такого рода, что различные базисные высказывания, принадлежащие этому событию, будут верифицировать данное чисто экзистенциальное высказывание. Тем не менее класс его потенциальных фальсификаторов пуст, так как из экзистенциального высказывания ничего не следует относительно возможного мира опыта (оно не исключает и не запрещает ни одного радиуса). Вместе с тем тот факт, что из каждого базисного высказывания следует чисто экзистенциальное высказывание, не может быть использован в качестве аргумента в защиту эмпирического характера последнего. Каждая тавтология тоже следует из любого базисного высказывания, но она вообще следует из любого высказывания.

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

В то время как тавтологии, чисто экзистенциальные и другие нефальсифицируемые высказывания говорят, так сказать, слишком мало о классе возможных базисных высказываний, противоречивые высказывания говорят о нем слишком много. Из противоречивого высказывания можно логически обоснованно вывести любое высказывание. Следовательно, класс его потенциальных фальсификаторов совпадает с классом всех возможных базисных высказываний: оно фальсифицируется любым высказыванием. (Можно сказать, что этот факт иллюстрирует преимущество нашего метода, то есть предложенный нами способ анализа возможных фальсификаторов, а не возможных верификаторов. Если бы можно было верифицировать некоторое высказывание или хотя бы сделать его вероятным посредством верификации его логических следствий, то следовало бы согласиться с тем, что принятие любого базисного высказывания делает любое противоречивое высказывание подтвержденным, верифицируемым или по крайней мере вероятным.)