Основание аксиом естественнонаучных теорий

После сказанного, может быть, не стоило бы даже ставить вопрос об эмпирических основаниях третьей группы составляющих теорию высказываний - аксиом. И все же, как и прежде, когда речь шла о естественных законах, мы не будем опираться на предшествующие рассуждения и даже можем допустить, что они были неверны. Остановимся только на логической стороне дела как таковой, то есть признаем, что аксиомы - стержень теории - это предпосылки, из которых выводятся в качестве следствий базисные предложения. Если базисное предложение, предсказанное теорией, подтверждается измерением, то по правилам логики истинностное значение посылок (в данном случае аксиоматической системы теории) может быть и истинным, и ложным. Далее, очевидно, что одни и те же базисные предложения могут следовать из различных систем аксиом даже при условии, что эти базисные предложения по-разному интерпретируются в различных теориях. Здесь встает вопрос, аналогичный тому, что возникает у нас в ситуации, когда различные методы дают один и тот же результат: нельзя ли на основе сопоставления различных теорий получить нечто вроде эмпирических фактов. Раньше речь шла только о возможности эмпирического обоснования отдельной теории; теперь мы переходим к группам теорий. Перед нами следующие возможности сравнения теорий (подробнее этот вопрос еще будет рассмотрен в 5, 6, 11 и 12 главах):

1. Теории имеют одни и те же базисные предложения B - хотя последние могут по-разному интерпретироваться в различных понятийных рамках, - но одна из них проще другой или имеет некоторые добавочные базисные предложения B';

Дата добавления: 2015-09-04