Предположения и опровержения. Рост научного знания

Кроме того (как я обнаружил позже⁶), существуют степени проверяемости: одни теории подвергают себя опасности опровержения более смело, чем другие. Например, теория, из которой можно вывести точные количественные предсказания относительно поведения спектральных линий света, испускаемого атомами, находящимися в магнитных полях разной напряженности, в большей мере подвергается риску экспериментального опровержения, чем та теория, которая лишь предсказывает, что магнитное поле оказывает влияние на излучение света. Более точная и более рискованная теория будет также более интересной. Чем смелее теория, тем менее она вероятна. Однако она будет более проверяема, так как наши проверки мы можем сделать более точными и строгими. И если она выдерживает эти строгие проверки, то тем самым она лучше подтверждается такими проверками. Таким образом, подтверждав емость (или подкрепляемостъ) увеличивается вместе с ростом проверяемости.

Все это говорит о том, что критерий демаркации не может быть абсолютно четким, он сам будет иметь степени. Имеются хорошо проверяемые теории, с трудом проверяемые теории и вообще не проверяемые теории. Непроверяемые теории не представляют интереса для ученого. Их можно назвать метафизическими.

Здесь я вновь должен подчеркнуть одно обстоятельство, которое часто приводило к недоразумениям. Чтобы избежать этих недоразумений, я сформулирую свою идею следующим образом. Представьте себе квадрат, включающий в

429

себя все утверждения некоторого языка, в котором мы собираемся формулировать науку; проведем в нем горизонтальную линию, разделяющую квадрат на верхнюю и нижнюю части; в верхней половине напишем «наука» и «проверяемо», в нижней части — «метафизика» и «непроверяемо». Теперь, я надеюсь, вы поймете, что я не предлагаю проводить демаркационную линию таким образом, чтобы она совпадала с границами языка, оставляя науку внутри, а метафизику — вне класса осмысленных утверждений. Напротив, начиная с первой публикации на эту тему⁷, я постоянно подчеркивал, что демаркацию между наукой и метафизикой нельзя проводить таким образом, чтобы исключать метафизику как бессмысленную из осмысленного языка.

В качестве одной из причин я указывал на то, что мы не должны стремиться проводить эту линию слишком жестко. Это становится вполне ясным, если вспомнить о том, что большинство наших научных теорий имели своим источником миф. Например, создание коперниканской системы было стимулировано неоплатоновским культом Солнца, которое должно находится в «центре» вследствие своего благородства. Это показывает, каким образом мифы могут приобретать проверяемые компоненты. В процессе обсуждения они способны стать плодотворными и важными для науки. В «Логике научного открытия»⁸ я привел несколько примеров таких мифов, которые оказались чрезвычайно важными для науки, в частности, атомизм и корпускулярная теория света. Едва ли суть дела станет яснее, если мы скажем, что эти теории на одной стадии своего развития были бессмысленной тарабарщиной, а на другой — неожиданно приобрели смысл.

Другим моим аргументом является следующий. Иногда может оказаться так, что какое-то утверждение принадлежит науке, поскольку оно проверяемо, а его отрицание нельзя проверить, поэтому его следует опустить ниже линии демаркации. Такое в самом деле случается с наиболее важными и строго проверяемыми утверждениями — с универсальными законами науки. В своей «Логике научного открытия» я предлагал в

430

определенных случаях придавать им такую форму: «Не существует никакого вечного двигателя» (иногда это называют «планковской» формулировкой первого закона термодинамики), т.е. форму отрицания экзистенциального утверждения. Соответствующее экзистенциальное утверждение «Существует вечный двигатель» вместе с утверждением «Существует морской змей» будет лежать ниже линии демаркации в отличие от утверждения «Существует морской змей в экспозиции Британского музея», которое расположится выше этой линии, поскольку его легко проверить. Однако мы не знаем, каким образом можно было бы проверить изолированное чисто экзистенциальное утверждение.

Я не имею возможности обосновывать здесь ту точку зрения, что изолированные чисто экзистенциальные утверждения следует классифицировать как непроверяемые и лежащие вне сферы научных интересов⁹. Мне хотелось бы лишь подчеркнуть, что если принята эта точка зрения, то было бы странно метафизические утверждения называть бессмысленными¹⁰ или исключать их из нашего языка. Если отрицание некоторого экзистенциального утверждения мы признаем осмысленным, то мы также должны признать осмысленным и само экзистенциальное утверждение.