Особенности построения развитых, математизированных теорий в современной науке
С развитием науки меняется стратегия теоретического поиска. В частности, в современной физике теория создается иными путями, чем в классической. Построение современных физических теорий осуществляется методом математической гипотезы. Этот путь построения теории может быть охарактеризован как четвертая ситуация развития теоретического знания. В отличие от классических образцов, в современной физике построение теории начинается с формирования ее математического аппарата, а адекватная теоретическая схема, обеспечивающая его интерпретацию, создается уже после построения этого аппарата. Новый метод выдвигает ряд специфических проблем, связанных с процессом формирования математических гипотез и процедурами их обоснования.
Применение метода математической гипотезы
Первый аспект этих проблем связан с поиском исходных оснований для выдвижения гипотезы. В классической физике основную роль в процессе выдвижения гипотезы играла картина мира. По мере формирования развитых теорий она получала опытное обоснование не только через непосредственное взаимодействие с экспериментом, но и косвенно, через аккумуляцию экспериментальных фактов в теории. И когда физические картины мира представали в форме развитых и обоснованных опытом построений, они задавали такое видение исследуемой реальности, которое вводилось коррелятивно к определенному типу экспериментально-измерительной деятельности. Эта деятельность всегда была основана на определенных допущениях, в которых неявно выражались как особенности исследуемого объекта, так и предельно обобщенная схема деятельности, посредством которой осваивается объект.
В физике эта схема деятельности выражалась в представлениях о том, что следует учитывать в измерениях и какими взаимодействиями измеряемых объектов с приборами можно пренебречь. Указанные допущения лежат в основании абстрактной схемы измерения, которая соответствует идеалам научного исследования и коррелятивно которой вводятся развитые формы физической картины мира.
Например, когда последователи Ньютона рассматривали природу как систему тел (материальных корпускул) в абсолютном пространстве, где мгновенно распространяющиеся воздействия от одного тела к другому меняют состояние каждого тела во времени и где каждое состояние строго детерминировано (в лапласовском смысле) предшествующим состоянием, то в этой картине природы неявно присутствовала следующая абстрактная схема измерения. Во-первых, предполагалось, что в измерениях любой объект может быть выделен как себетождественное тело, координаты и импульсы которого можно строго определить в любой заданный момент времени (идея детерминированного в лапласовском смысле движения тел). Во-вторых, постулировалось, что пространство и время не зависят от состояния движения материальных тел (идея абсолютного пространства и времени). Такая концепция основывалась на идеализирующем допущении, что при измерениях, посредством которых выявляются пространственно-временные характеристики тел, свойства часов и линеек (жестких стержней) физической лаборатории не меняются от присутствия самих тел (масс) и не зависят от относительного движения лаборатории (системы отсчета).
Только та реальность, которая соответствовала описанной схеме измерений (а ей соответствовали простые динамические системы), принималась в ньютоновской картине мира за природу "саму по себе".
Показательно, что в современной физике приняты более сложные схемы измерения. Например, в квантовой механике элиминируется первое требование ньютоновской схемы, а в теории относительности - второе. В связи с этим вводятся и более сложные предметы научных теорий.
При столкновении с новым типом объектов, структура которых не учтена в сложившейся картине мира, познание меняло эту картину. В классической физике такие изменения осуществлялись в форме введения новых онтологических представлений. Однако последние не сопровождались анализом абстрактной схемы измерения, которая составляет операциональную основу вводимых онтологических структур. Поэтому каждая новая картина физической реальности проходила длительное обоснование опытом и конкретными теориями, прежде чем получала статус картины мира. Современная физика дала образцы иного пути построения знаний. Она строит картину физической реальности, эксплицируя схему измерения, в рамках которой будут описываться новые объекты. Эта экспликация осуществляется в форме выдвижения принципов, фиксирующих особенности метода исследования объектов (принцип относительности, принцип дополнительности).
Сама картина на первых порах может не иметь законченной формы, но вместе с принципами, фиксирующими "операциональную сторону" видения реальности, она определяет поиск математических гипотез. Новая стратегия теоретического поиска сместила акценты и в философской регуляции процесса научного открытия. В отличие от классических ситуаций, где выдвижение физической картины мира прежде всего было ориентировано "философской онтологией", в квантово-релятивистской физике центр тяжести был перенесен на гносеологическую проблематику. Поэтому в регулятивных принципах, целенаправляющих поиск математических гипотез, явно представлены (в конкретизированной применительно к физическому исследованию форме) положения теоретико-познавательного характера (принцип соответствия, простоты и т.д.).
В ходе математической экстраполяции исследователь создает новый аппарат путем перестройки некоторых уже известных уравнений. Физические величины, входящие в такие уравнения, переносятся в новый аппарат, где получают новые связи, а значит, и новые определения. Соответственно этому заимствуются из уже сложившихся областей знания абстрактные объекты, признаки которых были представлены физическими величинами. Абстрактные объекты погружаются в новые отношения, благодаря чему наделяются новыми признаками. Из этих объектов создается гипотетическая модель, которая неявно вводится вместе с новым математическим аппаратом в качестве его интерпретации.
Такая модель, как правило, содержит неконструктивные элементы, а это может привести к противоречиям в теории и к рассогласованию с опытом даже перспективных математических аппаратов.
Таким образом, специфика современных исследований состоит не в том, что математический аппарат сначала вводится без интерпретации (неинтерпретированный аппарат есть исчисление, математический формализм, который принадлежит математике, но не является аппаратом физики). Специфика заключается в том, что математическая гипотеза чаще всего неявно формирует неадекватную интерпретацию создаваемого аппарата, а это значительно усложняет процедуру эмпирической проверки выдвинутой гипотезы. Сопоставление следствий из уравнений с опытом всегда предполагает интерпретацию величин, которые фигурируют в уравнениях. Поэтому опытом проверяются не уравнения сами по себе, а система: уравнения плюс интерпретация. И если последняя неадекватна, то опыт может выбраковывать вместе с интерпретацией весьма продуктивные математические структуры, соответствующие особенностям исследуемых объектов.
Чтобы обосновать математическую гипотезу опытом, недостаточно просто сравнивать следствия из уравнений с опытными данными. Необходимо каждый раз эксплицировать гипотетические модели, которые были введены на стадии математической экстраполяции, отделяя их от уравнений, обосновывать эти модели конструктивно, вновь сверять с созданным математическим формализмом и только после этого проверять следствия из уравнений опытом.
Длинная серия математических гипотез порождает опасность накопления в теории неконструктивных элементов и утраты эмпирического смысла величин, фигурирующих в уравнениях. Поэтому в современной физике на определенном этапе развития теории становятся необходимыми промежуточные интерпретации, обеспечивающие операциональный контроль за создаваемой теоретической конструкцией. В системе таких промежуточных интерпретаций как раз и создается конструктивнообоснованная теоретическая схема, обеспечивающая адекватную семантику аппарата и его связь с опытом.
Все описанные особенности формирования современной теории можно проиллюстрировать, обратившись к материалу истории квантовой физики.
Квантовая электродинамика является убедительным свидетельством эвристичности метода математической гипотезы. Ее история началась с построения формализма, позволяющего описать "микроструктуру" электромагнитных взаимодействий.
Создание указанного формализма довольно отчетливо расчленяется на четыре этапа. Вначале был введен аппарат квантованного электромагнитного поля излучения (поле, не взаимодействующее с источником). Затем на втором этапе, была построена математическая теория квантованного электронно-позитронного поля (было осуществлено квантование источников поля). На третьем этапе было описано взаимодействие указанных полей в рамках теории возмущений в первом приближении. Наконец, на заключительном, четвертом этапе был создан аппарат, характеризующий взаимодействие квантованных электромагнитного и электронно-позитронного полей с учетом последующих приближений теории возмущений (этот аппарат был связан с методом перенормировок, позволяющим осуществить описание взаимодействующих полей в высших порядках теории возмущений).
В период, когда уже был пройден первый и второй этапы построения математического формализма теории и начал успешно создаваться аппарат, описывающий взаимодействие свободных квантованных полей методами теории возмущений, в самом фундаменте квантовой электродинамики были обнаружены парадоксы, которые поставили под сомнение ценность построенного математического аппарата. Это были так называемые парадоксы измеримости полей. В работах П. Иордана, В. А. Фока и особенно в совместном исследовании Л. Д. Ландау и Р. Пайерлса было показано, что основные величины, которые фигурировали в аппарате новой теории, в частности, компоненты электрической и магнитной напряженности в точке, не имеют физического смысла. Поля в точке перестают быть эмпирически оправданными объектами, как только исследователь начинает учитывать квантовые эффекты.
Источником парадоксов измеримости была неадекватная интерпретация построенного формализма. Такая интерпретация была неявно введена в самом процессе построения аппарата методом математической гипотезы.
Синтез квантово-механического формализма с уравнениями классической электродинамики сопровождался заимствованием абстрактных объектов из квантовой механики и электродинамики и их объединением в рамках новой гипотетической конструкции. В ней поле характеризовалось как система с переменным числом частиц (фотонов), возникающих с определенной вероятностью в каждом из возможных квантовых состояний. Среди набора классических наблюдаемых, которые необходимы были для описания поля как квантовой системы, важнейшее место занимали напряженности полей в точке. Они появились в теоретической модели квантованного электромагнитного поля благодаря переносу абстрактных объектов из классической электродинамики.
Такой перенос классических идеализаций (абстрактных объектов электродинамики Максвелла-Лоренца) в новую теоретическую модель как раз и породил решающие трудности при отображении ее на эмпирические ситуации по исследованию квантовых процессов в релятивистской области. Оказалось, что нельзя отыскать рецепты связи компонентов поля в точке с реальными особенностями экспериментов и измерений, в которых обнаруживаются квантово-релятивистские эффекты. Классические рецепты предполагали, например, что величина электрической напряженности в точке определяется через отдачу точечного пробного заряда (приобретенный им импульс служит мерой напряженности поля в данной точке). Но если речь идет о квантовых эффектах, то в силу соотношения неопределенностей локализация пробного заряда (точная координата) приводит к возрастающей неопределенности его импульса, а значит, к невозможности определить напряженность поля в точке. Далее, как показали Ландау и Пайерлс, к этому добавлялись неопределенности, возникающие при передаче импульса от пробного заряда прибору-регистратору. Тем самым было показано, что гипотетически введенная модель квантованного электромагнитного поля утрачивала физический смысл, а значит, терял такой смысл и связанный с ней аппарат.
Особенности интерпретации математического аппарата
Математические гипотезы весьма часто формируют вначале неадекватную интерпретацию математического аппарата. Они "тянут за собой" старые физические образы, которые "подкладываются" под новые уравнения, что может привести к рассогласованию теории с опытом. Поэтому уже на промежуточных этапах математического синтеза вводимые уравнения должны быть подкреплены анализом теоретических моделей и их конструктивным обоснованием. С этой точки зрения работы Фока, Иордана и Ландау-Пайерлса могут рассматриваться в качестве проверки "на конструктивность" таких абстрактных объектов теоретической модели квантованного поля, как "напряженности поля в точке".
Выявление неконструктивных элементов в предварительной теоретической модели обнаруживает ее наиболее слабые звенья и создает необходимую базу для ее перестройки.
В плане логики исторического развития квантовой электродинамики работы Ландау и Пайерлса подготовили вывод о неприменимости идеализаций поля в точке в квантово-релятивистской области и тем самым указывали пути перестройки первоначальной теоретической модели квантованного электромагнитного поля. Решающий шаг в построении адекватной интерпретации аппарата новой теории был сделан Бором. Он был связан с отказом от применения классических компонентов поля в точке в качестве наблюдаемых, характеризующих поле как квантовую систему, и заменой их новыми наблюдаемыми - компонентами поля, усредненными по конечным пространственно-временным областям. Показательно, что эта идея возникла при активной роли философско-методологических размышлений Бора о принципиальной макроскопичности приборов, посредством которых наблюдатель как макроскопическое существо получает информацию о микрообъектах. Как следствие этих размышлений возникла идея о том, что пробные тела, поскольку они являются частью приборных устройств, должны быть классическими макротелами. Отсюда следовало, что в квантовой теории абстракция точечного пробного заряда должна быть заменена другой абстракцией - заряженного пробного тела, локализованного в конечной пространственно-временной области. В свою очередь это приводило к идее компонент квантованного поля, усредненных по соответствующей пространственно-временной области. Такая интеграция философско-методологических рассуждений в структуру конкретно физического поиска не случайна. Она характерна для этапов формирования представлений о принципиально новых типах объектов науки и методах их познания.
В результате всех этих процедур в квантовой электродинамике возникла новая теоретическая модель, которая призвана была обеспечить интерпретацию уже созданного математического аппарата.
Отмеченный ход исследования, при котором аппарат отчленяется от неадекватной модели, а затем соединяется с новой теоретической моделью, характерен для современного теоретического поиска. Заново перестроенная модель сразу же сверяется с особенностями аппарата (в истории квантовой электродинамики эта операция была проведена Бором; он показал, что в аппарате классические величины полей в точке имеют только формальный смысл, тогда как однозначным физическим смыслом обладают лишь классические величины полей, усредненных по конечной пространственно-временной области). Согласованность новой модели с математическим аппаратом является сигналом, свидетельствующим о ее продуктивности, но тем не менее не выводит новую теоретическую конструкцию из ранга гипотезы. Для этого нужно еще эмпирическое обоснование модели, которое производится путем конструктивного введения ее абстрактных объектов. Средством, обеспечивающим такое введение, являются процедуры идеализированного эксперимента и измерения, в которых учитываются особенности реальных экспериментов и измерений, обобщаемых новой теорией. В истории квантовой электродинамики указанные процедуры были проделаны Н. Бором и Л. Розенфельдом.
В процессе их осуществления была получена эмпирическая интерпретация уравнений теории и вместе с тем были открыты новые аспекты "микроструктуры" электромагнитных взаимодействий. Так, например, одним из важнейших следствий процедур Бора-Розенфельда было обоснование неразрывной связи между квантованным полем излучения и вакуумом. Известно, что идея вакуума возникла благодаря применению метода квантования к электромагнитному полю (из аппарата теории следовало, что квантованное поле обладает энергией в нулевом состоянии, при отсутствии фотонов).
Но все дело в том, что до обоснования измеримости поля было совершенно неясно, можно ли придать вакууму реальный физический смысл или же его следует принимать только как вспомогательный теоретический конструкт. Энергия квантованного поля в нулевом состоянии оказывалась бесконечной, и это склоняло физиков ко второму выводу. Считалось, что для непротиворечивой интерпретации квантовой электродинамики вообще следует как-то исключить "нулевое поле" из "тела" теории (такая задача вывигалась, хотя и было неясно, как это сделать, не разрушая созданного аппарата). Кроме того, Ландау и Пайерлс связали идею вакуума с парадоксами измеримости, и в их анализе вакуумные состояния уже фигурировали как одно из свидетельств принципиальной неприменимости квантовых методов к описанию электромагнитного поля. Но Бор и Розенфельд в процессе анализа измеримости поля показали, что определение точного значения компонентов поля может быть осуществлено лишь тогда, когда в такие значения включаются как флуктуации, связанные с рождением и уничтожением фотонов, так и неотделимые от них нулевые флуктуации поля, возникающие при отсутствии фотонов и связанные с нулевым энергетическим уровнем поля. Отсюда следовало, что если убрать вакуум, то само представление о квантованном электромагнитном поле не будет иметь эмпирического смысла, поскольку его усредненные компоненты не будут измеримы. Тем самым вакуумным состояниям поля был придан реальный физический смысл.
Если рассмотреть все основные вехи развертывания процедур Бора-Розенфельда, то обнаруживается, что интерпретация аппарата квантованного электромагнитного поля была лишь первым этапом таких процедур. Затем Бор и Розенфельд проанализировали возможность построения идеализированных измерений для источников (распределений заряда-тока), взаимодействующих с квантованным полем излучения.
Чрезвычайно характерно, что такой путь построения интерпретации воспроизводил на уровне содержательного анализа основные вехи исторического развития математического аппарата квантовой электродинамики. При этом не была опущена ни одна существенная промежуточная стадия его развития (логика построения интерпретации совпадала в основных чертах с логикой исторического развития математического аппарата теории).
Если в классической физике каждый шаг в развитии аппарата теории подкреплялся построением и конструктивным обоснованием адекватной ему теоретической модели, то в современной физике стратегия теоретического поиска изменилась. Здесь математический аппарат достаточно продолжительное время может строиться без эмпирической интерпретации. Тем не менее при осуществлении такой интерпретации исследование как бы заново в сжатом виде проходит все основные этапы становления аппарата теории. В процессе построения квантовой электродинамики оно шаг за шагом перестраивало сложившиеся гипотетические модели и, осуществляя их конструктивное обоснование, вводило промежуточные интерпретации, соответствующие наиболее значительным вехам развития аппарата. Итогом этого пути было прояснение физического смысла обобщающей системы уравнений квантовой электродинамики.
Таким образом, метод математической гипотезы отнюдь не отменяет необходимости содержательно-физического анализа, соответствующего промежуточным этапам формирования математического аппарата теории.
Если построение классической теории происходило по схеме: уравнение 1 (r) промежуточная интерпретация 1, уравнение 2 (r) промежуточная интерпретация 2 ѕ обобщающая система уравнений (r) обобщающая интерпретация, то в современной физике построение теории осуществляется иным образом: вначале уравнение 1 (r) уравнение 2 и т.п., а затем интерпретация 1 (r) интерпретация 2 и т.д. (но не уравнение 1 (r) уравнение 2 (r) обобщающая система уравнений и сразу завершающая интерпретация!). Конечно, сама смена промежуточных интерпретаций в современной физике полностью не воспроизводит аналогичных процессов классического периода. Не следует представлять дело так, что речь идет только о замене дискретного перехода от одной промежуточной интерпретации к другой непрерывным переходом. Меняется само количество промежуточных интерпретаций. В современной физике они как бы уплотняются, благодаря чему процесс построения интерпретации и развития понятийного аппарата теории протекает здесь в кумулятивной форме.
Таким образом, эволюция физики сохраняет на современном этапе некоторые основные операции построения теории, присущие ее прошлым формам (классической физике). Но наука развивает эти операции, частично видоизменяя их, а частично воспроизводя в новых условиях некоторые черты построения математического аппарата и теоретических моделей, свойственные классическим образцам.
Процесс формирования теоретического знания осуществляется на различных стадиях эволюции науки различными способами и методами, но каждая новая ситуация теоретического поиска не просто устраняет ранее сложившиеся приемы и операции формирования теории, а включает их в более сложную систему приемов и методов.