Истина мифа

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

групп, обладающие высокой степенью общности; почему они в схеме сокращенного объяснения обозначаются через "Т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 и т. д. Но и тогда лишь реальность покажет нам, получится ли в результате вновь ?? или Ег, Ез и т. д.