Здесь должно быть разъяснено следующее. Ученый не начинает c одного эмпирического закона, скажем c закона Бойля для газов, и затем ищет теорию о молекулах, из которой этот закон может быть выведен. Он пытается сформулировать значительно более общую теорию, из которой можно будет вывести множество разнообразных эмпирических законов. Чем больше будет таких законов, чем более разнообразными и неочевидно связанными друг c другом они будут, тем эффективнее теория, которая будет объяснять их. Некоторые из этих выводных законов могли быть известными раньше, но теория может также сделать возможным выведение новых эмпирических законов, которые могут быть подтверждены c помощью новых проверок. Если это имеет место, тогда можно будет сказать, что теория обеспечивает возможность предсказания новых эмпирических законов. Предсказание понимается в гипотетическом смысле. Если теория действительна, тогда будут действительными также определенные эмпирические законы. Предсказанный эмпирический закон говорит об отношениях между наблюдаемыми величинами, так что возникает новая возможность производить эксперименты и убедиться, что эмпирический закон соблюдается. Если эмпирический закон подтверждается, то он обеспечивает косвенное подтверждение закона, эмпирического или теоретического, является, конечно, только частным, но никогда не полным и абсолютным. Но в случае эмпирических законов такое подтверждение является более непосредственным. Подтверждение теоретического закона происходит косвенным образом, потому что оно имеет место только через подтверждение эмпирических законов, выведенных из теории.
Самое важное значение новой теории состоит в ее возможности предсказывать новые эмпирические законы. Верно также, что теория имеет значение и для объяснения известных эмпирических законов, но это представляет меньшую ценность. Если ученый выдвигает новую теоретическую систему, из которой не могут быть выведены новые законы, тогда она логически эквивалентна совокупности всех известных эмпирических законов. Теория может иметь известную элегантность и в известной степени упростить совокупность всех известных законов, хотя, вероятно, это не будет существенным упрощением. c другой стороны, каждая новая теория в физике, приводящая к значительному скачку вперед, будет теорией, из которой могут быть выведены новые эмпирические законы. Если бы Эйнштейн сделал не больше, чем выдвинул свою теорию относительности как изящную новую теорию в физике, которая охватила бы некоторые известные законы (возможно, также и упростила бы их до некоторой степени), тогда его теория не имела бы такого революционного воздействия.
Все было, конечно, совершенно иначе. Теория относительности привела к новым эмпирическим законам, которые впервые объяснили такие явления, как движение перигелия Меркурия и отклонение светового луча вблизи Солнца. Эти предсказания показали, что теория относительности представляет собой нечто большее, чем только новый способ выражения старых законов. Действительно, эта теория обладает огромной предсказательной силой. Следствия, которые могут быть выведены из теории Эйнштейна, еще далеко не исчерпаны. Существуют такие ее следствия, которые не могут быть выведены из прежних теорий. Обычно теория такой силы обладает изяществом и объединяющим воздействием на известные законы. Она проще, чем вся полная совокупность известных законов. Но громадное значение теории состоит в ее силе предлагать новые законы, которые можно будет подтвердить эмпирическими средствами.
Карнап Р. Философские основания физики Введение в философию науки М., 1971. C. 39 - 58, 84 - 93г 301 - 309
3. ПРОБЛЕМА ИСТИНЫ И ЕЕ РЕШЕНИЕ В ФИЛОСОФИИ
АРИСТОТЕЛЬ
Близко к изложенным здесь взглядам и сказанное Протаго-ром, а именно: он утверждал, что человек есть мера всех вещей, имея в виду лишь следующее: что каждому кажется, то и достоверно. Но если это так, то выходит, что одно и то же и существует и не существует, что оно и плохо и хорошо, что другие противолежащие друг другу высказывания также верны, ибо часто одним кажется прекрасным одно, а другим - противоположное, и что то, что кажется каждому, есть мера. Это затруднение можно было бы устранить, если рассмотреть, откуда такой взгляд берет свое начало. Некоторые стали придерживаться его, исходя, по-видимому, из мнения тех, кто размышлял о природе, другие исходя из того, что не все судят об одном и том же одинаково, а одним вот это кажется сладким, а другим - наоборот.
Что ничто не возникает из не-сущего, а все из сущего - это общее мнение почти всех рассуждающих о природе [44]. А так как предмет не становится белым, если он уже есть совершенно белый и ни в какой мере не есть не-белый, то белое, можно подумать, возникает из не-белого [45]; поэтому оно, по их мнению, возникало бы из не-сущего, если бы не-белое не было тем же самым, что и белое. Однако это затруднение устранить нетрудно: ведь в сочинениях о природе сказано, в каком смысле то, что возникает, возникает из не-сущего, и в каком - из сущего *
44 Поэтому, замечает Аристотель в другом месте, одни "фисиологи" говорят, что все было вместе, и возникновение предмета c такими-то свойствами есть только качественное изменение, а другие говорят о "соединении" и "разъединении".
45 Иначе говоря, "фисиологи" не могут также принять возникновение из сущего, ибо сущее не возникает - оно уже существует, ввиду чего эти мыслители должны вернуться к отвергаемому ими тезису о том, что сущее возникает из не-суще-го.
* Например, в "Физике" Аристотель излагает собственное решение этих трудностей, исходя из понятий материи, формы и лишенности. Ред.
С другой стороны, придавать одинаковое значение мнениям и представлениям спорящих друг c другом людей нелепо: ведь ясно, что одни из них должны быть ошибочными. А это явствует из того, что основывается на чувственном восприятии; ведь никогда одно и то же не кажется одним сладким, другим - наоборот, если у одних из них не разрушен или не поврежден орган чувства, т.е. способность различения вкусовых ощущений. А если это так, то одних надо считать мерилом, других - нет. И то же самое говорю я и о хорошем и о дурном, прекрасном и безобразном и обо всем остальном в этом роде. В самом деле, отстаивать мнение, [что противолежащие друг другу высказывания одинаково верны], - это все равно что утверждать, будто предмет, который кажется двойным тому, кто нажимает снизу пальцем на глаз и тем самым заставляет этот предмет казаться двойным вместо одного, не один, а два, потому что он кажется двойным, и затем снова один, так как для тех, кто не трогает глаз, одно и кажется одним.
И вообще не имеет смысла судить об истине на том основании, что окружающие нас вещи явно изменяются и никогда не остаются в одном и том же состоянии. Ибо в поисках истины необходимо отправляться от того, что всегда находится в одном и том же состоянии и не подвергается никакому изменению. А таковы небесные тела: они ведь не кажутся то такими, то иными, а всегда одними и теми же и не причастными никакому изменению.
Далее, если существует движение и нечто движущееся, а все движется от чего-то и к чему-то, то движущееся должно быть в том, от чего оно будет двигаться, и [затем] не быть в нем, двигаться к другому и оказываться в нем, а противоречащее этому не может быть (в то же время) истинным вопреки их мнению. - Кроме того, если в отношении количества все окружающее нас непрерывно течет и движется и кто-то полагал бы, что это так, хотя это и неверно, почему не считать все окружающее нас неизменным в отношении качества? Мнение о том, что об одном и том же можно высказывать противоречащие друг другу утверждения, основывается больше всего, по-видимому, на предположении, что количество у тел не остается неизменным, поскольку-де одно и то же имеет четыре локтя в длину и не имеет их. Однако сущность связана c качеством, а качество имеет определенную природу, тогда как количество - неопределенную.