Турчин Фёдорович - Феномен науки. Кибернетический подход к эволюции

Прежде всего, заметим, что ясное осознание научных теорий как языковых моделей действительности значительно снижает остроту конкуренции между научными теориями по сравнению с наивной точкой зрения (родственной платонизму), согласно которой языковые объекты теории лишь выражают какую-то реальность и поэтому каждая теория либо «на самом деле» истинна, если эта реальность «на самом деле» существует, либо «на самом деле» ложна, если эта реальность вымышленная. Эта точка зрения порождена перенесением положения, которое имеет место для языка конкретных фактов, на язык понятий-конструктов. Когда мы сравниваем два конкурирующих утверждения: «в этом стакане — чистый спирт» и «в этом стакане — чистая вода», мы знаем, что эти утверждения допускают опытную проверку и то из них, которое не подтвердилось, теряет всякий модельный смысл, всякую долю истинности; оно на самом деле ложное и только ложное. Совсем иначе обстоит дело с утверждениями, выражающими общие принципы научных теорий. Из них выводится множество проверяемых следствий, и если некоторые из них оказываются ложными, то обычно говорят, что к данной сфере опыта исходные принципы (или способы вывода следствий) неприменимы; обычно удается установить и формальные критерии применимости. Поэтому общие принципы в некотором смысле «всегда истинны», точное понятие истинности и ложности неприменимы к ним, а применимо лишь понятие о большей или меньшей их полезности для описания действительных фактов. Подобно аксиомам математики, общие принципы физики — это абстрактные формы, в которые мы стремимся втиснуть природные явления. Конкурирующие принципы отличаются тем, насколько хорошо они это позволяют сделать.

Но что значит хорошо?

Если теория — это модель действительности, то, очевидно, она тем лучше, чем шире область ее применимости и чем больше предсказаний она может сделать. Это и есть первый критерий для сравнения теорий — критерий общности и предсказательной силы теории.

Далее, поскольку теории — это модели, рассчитанные на использование людьми, они, очевидно, тем лучше, чем проще в употреблении. Это второй критерий — критерий простоты теории.

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

Если мы посмотрим, какие теории действительно предпочитались из-за их простоты, то найдем, что решающим основанием для признания той или иной теории было не экономическое и не эстетическое, а скорее то, которое часто называлось динамическим. Это значит, что предпочиталась та теория, которая делала науку более динамичной, т. е. более пригодной для экспансии в область неизвестного. Это можно уяснить с помощью примера, к которому мы часто обращались в этой книге: борьба между коперниковской и птолемеевской системами. В период между Коперником и Ньютоном очень много оснований приводилось в пользу как одной, так и другой системы. В конце концов, однако, Ньютон выдвинул теорию движения, которая блестяще объясняла все движения небесных тел (например, комет), в то время как Коперник, так же как и Птолемей, объяснял только движения в нашей планетной системе... Однако законы Ньютона основывались на обобщении коперниковской теории, и мы вряд ли можем представить себе, как они могли бы быть сформулированы, если бы он исходил из птолемеевской системы. В этом, как и во многих других отношениях, теория Коперника была более «динамичной», т. е. имела большее эвристическое значение. Можно сказать, что теория Коперника была математически более «простой» и более динамичной, чем теория Птолемея 4 .

Эстетический критерий, или критерий красоты теории, о котором упоминает Франк, трудно защищать как самостоятельный, независимый от других критериев. Однако он приобретает большое значение как интуитивный синтез всех указанных критериев. Теория представляется ученому красивой, если она достаточно обща и проста и он предчувствует, что она окажется динамичной. Конечно, он может при этом и ошибиться.

В физике, как и в чистой математике, по мере возрастания абстрактности теорий укоренялось понимание их языкового характера. Решающий толчок этот процесс получил после того, как в начале XX в. физика вторглась в пределы мира атомов и элементарных частиц и были созданы теория относительности и квантовая механика. Особенно большую роль сыграла квантовая механика. Эту теорию вообще невозможно понять, если не напоминать себе постоянно, что она представляет собой лишь языковую модель микромира, а не изображение того, как он выглядел бы «на самом деле», если бы можно было бы увидеть в микроскоп с чудовищным увеличением, и что такого изображения нет и быть не может. Поэтому представление о теории как о языковой модели действительности стало составной частью современной физики, стало необходимым физикам для успешной работы. В результате среди физиков стало меняться и внутреннее отношение к характеру своей деятельности. Если раньше физик-теоретик ощущал себя открывателем чего-то существовавшего до него и независимо от него, подобно мореплавателю, открывающему новые земли, то сейчас он ощущает себя, скорее, создателем чего-то нового, подобно мастеру, искусно владеющему своей профессией и создающему новые здания, машины, инструменты. Это изменение проявилось даже в оборотах речи. О Ньютоне говорят по традиции, что он «открыл» исчисление бесконечно малых и небесную механику; о современном ученом скажут, что он «создал», или «предложил», или «разработал» новую теорию; выражение «открыл» прозвучит архаично. Это, конечно, нисколько не ущемляет достоинства теоретиков, ибо созидание – занятие не менее почетное и вдохновляющее, чем открытие.

Почему же квантовая механика потребовала осознания «языковости» теорий?

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