Избранные работы
жүктеу/скачать 3,46 Mb. Pdf көрінісі
|
logic of scientific discovery
разделе, адекватными моим целям, я больше не убежден, что они также интуитивно адекватны, то есть адекватно представляют наш обычный способ их употребления или наши интенции. Тарский ука- зал мне (в Париже в 1935 году) на то, что здесь требуется «семан- тическое», а. не «синтаксическое» определение. 118 всех эквивалентных ему высказываний». Аналогичным образом высказывание «Явление Pk произошло» (или «происходит») мы рассматриваем как означающее то же самое, что и «pk и все эквивалентные ему высказы- вания истинны». Цель введенных правил перевода состоит не в том, чтобы утверждать, что когда кто-нибудь использует слово «явление» в реалистическом языке, он подразуме- вает при этом некоторый класс высказываний. Указан- ные правила должны лишь интерпретировать реалисти- ческий способ речи и сделать понятным, что именно имеют в виду, когда говорят, например, что явление Pk противоречит теории t. Такое высказывание теперь будет просто означать, что каждое высказывание, экви- валентное pk, противоречит теории t и является, таким образом, ее потенциальным фальсификатором. Введем еще один термин — «событие» ·—· для обозна- чения того, что может быть типичного или универсаль- ного в явлениях и что в явлениях можно описать с по- мощью универсальных имен. (Отметим, что под собы- тием мы не имеем в виду сложного или растянутого во времени явления, как может подсказать обыденное ис- пользование этого термина.) Дадим следующее опреде- ление: пусть Pk. Pi, ...— элементы класса явлений, от- личающихся друг от друга только входящими в них индивидами (пространственно-временными координата- ми или областями) ; этот класс будем называть «собы- тием (Р)». В соответствии с этим определением мы бу- дем, например, говорить о высказывании «Здесь толь- ко что опрокинулся стакан с водой», что класс эквива- лентных ему высказываний является элементом собы- тия «опрокидывание стакана с водой». О сингулярном высказывании pk, представляющем явление P k< в реалистическом языке можно сказать, что это высказывание говорит о явлении события (Р) в пространственно-временной области k. Мы считаем, что это означает то же самое, что и высказывание «Класс P k сингулярных высказываний, эквивалентных Pk, является элементом события (Р)»· Теперь применим введенную терминологию 18 к нашей проблеме. Если некоторая теория фальсифицируема, 10 Следует отметить, что, хотя сингулярные высказывания опи- сывают события, универсальные высказывания не описывают со- 119 то о ней можно сказать, что она устраняет или запре- щает не только некоторое явление, но по крайней мере одно событие. Поэтому класс запрещаемых базисных высказываний, то есть потенциальных фальсификато- ров теор-ии, если он не пуст, всегда должен содержать неограниченное число базисных высказываний, так как теория не говорит об индивидах как таковых. Сингу- лярные базисные высказывания, принадлежащие одно- му событию, можно назвать «однотипными», указывая тем самым на аналогию между эквивалентными выска- зываниями, описывающими одно явление, и однотипны- ми высказываниями, описывающими одно (типичное) событие. Теперь мы можем сказать, что каждый непу- стой класс потенциальных фальсификаторов теории со- держит по крайней мере один непустой класс однотип- ных базисных высказываний. Представим класс всех возможных базисных выска- зываний в виде круга. Внутреннюю область этого круга можно рассматривать как изображение совокупности всех возможных миров опыта, или всех возможных эм- пирических миров. Пусть, далее, каждое событие изоб- ражается одним из радиусов (или, точнее говоря, очень узкой областью или сектором, лежащим вдоль радиуса) и любые два явления с одинаковыми координатами (или индивидами) располагаются на одном и том же расстоянии от центра, то есть на одной концентрической окружности. Теперь мы можем проиллюстрировать по- стулат фальсифицируемости с помощью следующего требования: для каждой эмпирической теории на нашей диаграмме должен существовать по крайней мере один радиус (или очень узкий сектор), который запрещен этой теорией. Эта иллюстрация может быть полезна при обсужде- нии многих наших проблем* 11 , в том числе, например, вопроса о метафизическом характере чисто экзистен- бытий: они исключают их. Аналогично понятию «явление» понятие «единообразие», или «регулярность», можно определить, указав на то, что универсальные высказывания представляют единообразие. Однако здесь нам этих понятий не требуется, потому что нас ин- тересует лишь то, что исключается универсальными высказывания- ми. Поэтому мы совершенно не касаемся вопроса о существовании регулярностей (универсальных «положений дел» и т. п.). *Эти во- просы обсуждаются в разд. 79, а также в [70, прилож. *10]. *" Она будет использоваться, в частности, в разд. 31 и сле- дующих. 120 циальных высказываний (о котором кратко говорилось в разд. 15). Ясно, что для каждого такого высказыва- ния будет существовать одно событие (или один ра- диус) такого рода, что различные базисные высказыва- ния, принадлежащие этому событию, будут верифици- ровать данное чисто экзистенциальное высказывание. Тем не менее класс его потенциальных фальсификато- ров пуст, так как из экзистенциального высказывания ничего не следует относительно возможного мира опыта (оно не исключает и не запрещает ни одного радиуса). Вместе с тем тот факт, что из каждого базисного вы- сказывания следует чисто экзистенциальное высказы- вание, не может быть использован в качестве аргумен- та в защиту эмпирического характера последнего. Каждая тавтология тоже следует из любого базисного высказывания, но она вообще следует из любого выска- зывания. Теперь стоит, по-видимому, сказать несколько слов относительно противоречивых высказываний. В то время как тавтологии, чисто экзистенциальные и другие нефальсифицируемые высказывания говорят, так сказать, слишком мало о классе возможных базис- ных высказываний, противоречивые высказывания гово- рят о нем слишком много. Из противоречивого выска- зывания можно логически обоснованно вывести любое высказывание* 1 2 . Следовательно, класс его потенциаль- * 12 Этот факт даже спустя десять лет после выхода в свет этой моей книги не был вполне осознан. Коротко суть дела можно изло- жить следующим образом. Из фактуалыю ложного высказывания «материально следует» (но не логически следует) любое высказыва- ние. Из логически ложного высказывания логически следует, или вы- водимо, любое высказывание. Поэтому, конечно, существенно важно четко различать просто фактуально ложные (синтетические) выска- зывания и логически ложные, или противоречивые, высказывания, то есть высказывания, из которых можно вывести высказывание фор- жүктеу/скачать 3,46 Mb. Достарыңызбен бөлісу:
|