групп, обладающие высокой степенью общности; почему они в схеме сокращенного объяснения обозначаются через "Т4". Эти аксиомы определяют общий способ, каким в науке рассматривается действительность. Они представляют собой те рамки, в которых существует любое научное утверждение и эмпирическая проверка, они — система отсчета, в которой все действительное постигается, истолковывается и обрабатывается; они определяют вопросы, задаваемые реальности, и эти вопросы поэтому в определенном смысле также определяют ответы, даваемые реальностью; этими рамками мы, так сказать, организуем научный опыт. Хотя на этом основании как раз с помощью схемы объяснения теории эмпирически проверяются как частные случаи этих аксиом, но сами эти аксиомы при этом всегда полагаются a priori. Если же они когда-нибудь, при условии, что это вообще возможно, были бы представлены на суд опыта, то изменилось бы не только определение того, что следует рассматривать в качестве науки, но снова были бы выдвинуты a priori уже иные онтологические аксиомы, которые теперь, перефразируя выражение Лакатоса, стали бы чем-то вроде нового "жесткого ядра" научной самоочевидности. Поэтому я называю эти априорные предпосылки онтологическими постулатами6.
4. Что такое научный опыт и эмпирическая истина или ложность
После того как стало ясно, какую важную роль при образовании и эмпирическом обосновании научных положений играют априорные предпосылки и постулаты, мы должны спросить себя, что в таком случае вообще означает опыт. К этому, завершая разъяснение модели объяснения, следует еще добавить, что здесь показывает сочетание "Su". Оно обозначает множество всех теоретических предположений и предпосылок от Т до I4.
Теперь мы можем установить, что явление, в общем называемое научным опытом, постоянно выражается через связь условий: если определенные восприятия, наблюдения и пр. понимаются и интерпретируются при определенных априори сделанных аксиоматических и нормативных предпосылках ??, ?2 и ?4, тогда в итоге мы имеем/не имеем описанные в базисных предложениях факты Fa и Ga; если Fa и Ga имеют место, тогда при оценочных постулатах Тз мы получаем/не получаем подтверждение общего предложения "всегда, если F, то G". Если же имеет место Fa, но нет Ga, то при прочих равных условиях мы получаем опровержение предложения "всегда, если F, то G".
Следовательно, в противоположность широко распространенному мнению, ни одно из выступающих в схеме объяснения положений не представляет само по себе нечто эмпирическое. Напротив, чисто эмпирическим само по себе является то, что при
определенных априорных предпосылках получает определенное множество результатов Е. Тогда то, что мы должны установить при ??, ?2, и ?4 существование или не-существование Fa и Ga, что, далее, с Тз мы получаем подтверждение или опровержение ? — все это нам способен показать только опыт. Ни один из самых прекрасных априорных постулатов или предпосылок не сможет нам заранее дать знать, действительно ли Fa или Ga имеют место в данном случае, действительно ли наша теория может быть подтверждена. Этим a priori мы установили лишь правила игры, по которым мы желаем играть. Что же при этом случается в конкретном случае, проиграем ли мы или выиграем, заранее мы знать не можем. Короче говоря, можно выразиться так: чисто эмпирическим яляется только то, что ранее обозначенное итоговое множество ?? случается при условии Su. Никто не может в этом что-либо изменить. Свободно делаем мы первый шаг, говорит Гете, второй — в раба нас превращает. Изменить мы можем лишь Su тем, что вместо него мы поставим Su, St3 и т. д. Но и тогда лишь реальность покажет нам, получится ли в результате вновь ?? или Ег, Ез и т. д.
Выражение "чисто эмпирическое" указывает, таким образом, на то, что обычно называют "эмпирическим", собственно — случаи типа Fa, Ga и др., но это не есть эмпирическое в строгом смысле. И все-таки такое употребление слова "эмпирический", если при этом не теряется из виду различие с "чисто эмпирическим", является полезным. Ведь между базисными предложениями, которые покоятся также и на наблюдениях, восприятиях и т. п., и общими положениями, которые, как, например, онтологические высказывания, имеют чисто теоретическое содержание, может быть проведено ясное различение.
Предшествующие рассуждения показали также и то, что обычные утверждения об истине и ложности научных высказываний являются неточными и сбивающими с толку. Хотя и признается, что подтверждение общих высказываний о по меньшей мере практически бесконечной области при помощи единичных и разнородных фактов не может доказать истинности этих высказываний, но то обстоятельство, что факты по причине своей зависимости от теорий также не доказывают с необходимостью и ложность общих положений, признано в значительно меньшей степени. Так, сегодня ученые часто избегают употреблять выражения "истинность" или "верификация" и говорят охотнее о "предварительном подтверждении", слово же "фальсификация", напротив, в силу влияния попперианства пользуется сегодня большей популярностью, хотя и здесь следовало бы лучше говорить о "предварительном опровержении".
Безусловно верно, что степень зависимости научных базисных предложений от теорий является различной, хотя нигде и не отсутствует полностью. Что под этим имеется в виду, сразу же становится ясным, когда противопоставляют, например,
следующие утверждения: "Наполеон вступил в Москву в 1812 г." (малая зависимость от теории) и "В момент Т электронное облако находилось в месте О" (высокая зависимость от теории). Но то, что этим установлением вряд ли что-то приобретается для истинности научной теории, каковая вообще только и делает науку наукой (первое утверждение о Наполеоне могло бы встречаться и в простой хронике, которая не имеет ничего общего с исторической наукой), показывает следующее размышление. Как мы видели, проверка теории необходимым образом осуществляется при помощи базисных предложений, которые в модели объяснения представляют вывод умозаключения. Однако если считают этот вывод в данном случае истинным, то по правилам логики из этого не следует истинность тех посылок умозаключения, к которым принадлежат общие положения теорий. Они могут быть как истинными, так и ложными. Это можно без труда показать. Если мы не знаем, как работают часы, мы, вероятно, можем развить теорию о них, согласно которой они приводятся в действие по механическим законам с помощью колесной передачи. Эта теория, несомненно, была бы вполне подтверждаемой. Однако речь могла идти об электронных часах. Тогда все подобные теоретические утверждения о них были бы ложны, несмотря на весь их успех. Конечно, мы могли бы открыть часы и заглянуть внутрь, но действительность мы не можем так просто открыть, напротив, при обосновании теории о ней мы постоянно сталкиваемся с отсылкой к сомнительным выводам от базисных предложений к общим положениям. Этот пример одновременно показывает нам, как на деле при различных теоретических предположениях можно прийти к одним и тем же результатам.
Как бы тяжело ни было нам признать это, мы должны все-таки констатировать следующее: даже величайшие успехи теории не говорят ни слова в пользу их истинности. Эмпирически истинным может быть лишь ранее разъясненное условное предложение: если имеется некоторое множество S теоретических предположений и априорных предпосылок, то мы получаем определенное множество E результатов.
Таким образом, постигаемая некоторой наукой действительность не есть действительность сама по себе, она всегда является определенным образом истолкованной. Ответы, которые она нам дает, зависят от наших вопросов. Но то, что она дает, на наши вопросы эти, а не другие ответы, что она нам является так, а не иначе, это и в самом деле есть чисто эмпирический, ни от какой теории не зависящий факт. Как мы выяснили, можно осуществить подтверждение или опровержение теорий, ставя под вопрос те предпосылки, с помощью которых они сформированы. Но то, что это подтверждение или опровержение произошло при этих предпосылках, оспорить не может никто. Поэтому я называю это чистым опытом.