5.4. Экономическая теория и математика
Представить себе современную экономическую теорию без ее связи с математикой, особенно с математическим анализом, исследованием операций, различными типами математического программирования [35, 130, 213], едва ли возможно. Впрочем, этот союз не лишен многочисленных проблемных моментов. Для начала сконцентрируем свое внимание на двух часто обсуждаемых вопросах. Почему математика столь эффективна применительно к сфере экономики? Почему интенсивная математизация экономической теории сопряжена с многочисленными неудачами и издержками? В поисках ответов на оба эти вопроса обратимся прежде всего к предмету математики. Самое популярное его определение принадлежит Н. Бурбаки (коллективное имя группы французских математиков): «Математика представляется скоплением абстрактных форм — математических структур» [29, c. 258]. Абстрактное — это «усеченное» конкретное, взятое не во всем его изначальном многообразии свойств и отношений. Абстрактное является результатом отсечения от конкретного части его признаков. Получается, что абстрактное содержится в самой реальности, природной или социальной. Почему бы в таком случае не считать математику экспериментальной наукой? Разве нельзя в эксперименте сначала зафиксировать, а затем и измерить то, от чего не абстрагировались? Но хорошо известно, что математика не является экспериментальной наукой. Когда Н.Н. Лобачевский предположил, что в данной плоскости через точку, находящуюся вне рассматриваемой прямой, можно провести две прямые, параллельные ей, то он не исходил из каких-либо экспериментальных фактов и ни от чего не абстрагировался. Лобачевский рассуждал строго в рамках методологии аксиоматического метода: при таких-то аксиомах и правилах вывода получаемые в соответствии с их содержанием теоремы (формулы) истинны. Тот или иной отход от продекларированных аксиом и правил вывода неизбежно приводит к ложным теоремам. Таким образом, предметом математики являются не абстрактные, а формальные структуры. Эти структуры формальны в том смысле, что они выступают реализацией аксиоматического метода. Формальное и абстрактное — это далеко не одно и то же. Разумеется, не только математика имеет дело с формальными структурами, но и, например, логика. Уточнение предмета математики предполагает прямые указания на элементарные формы ее структур, например числа, функции, матрицы, группы, классы, поля.
2_0
На первый взгляд, проведенное нами уточнение предмета математики не сулит каких-либо выгод. Но это не так. В методологическом отношении оно чрезвычайно актуально. От него зависит понимание междисциплинарной связи экономической теории и математики. Если математика занимается абстрактными структурами, то она должна извлекаться из экономической реальности, что возможно, как многие считают, лишь при ее «огрублении». Такой ход мысли вызывает целый ряд недоуменных вопросов. Зачем откуда-то извлекать математику? Зачем «огрублять» экономическую действительность? Разве, например, маржиналисты, прославившиеся использованием математического анализа, извлекли его из экономики, а не заимствовали из арсенала математики как такового? Что такое математическое моделирование?
Все поставленные выше недоуменные вопросы разом исчезают в случае признания математики формальной, а не абстрактной дисциплиной. В таком случае, с одной стороны, есть математика, с другой — экономическая теория, а связывает их операция математического моделирования, выступающая как установление соответствия между элементами и операциями двух теорий.
Постановкой вопроса о математическом моделировании ныне никого не удивишь. Но его содержательное понимание не лишено трудностей. В весьма авторитетном издании математическая модель определяется как «приближенное описание какого-либо класса явлений внешнего мира, выраженное с помощью математической символики» [175, с. 343]. Но что это значит — «приближенное описание»? От чего-то абстрагировались? К чему-то приблизились или же от чего-то удалились? Или же имеется в виду, что одна модель неминуемо будет заменена другой?
Приведем еще одно показательное определение математической модели. На этот раз речь идет о модели именно экономической системы или же ее части. «Под моделью будем понимать некоторый математический образ исследуемой системы, адекватно отражающий ее структуру, существенные свойства и взаимосвязи» [213, c. 8]. Математическая модель соответствует ее оригиналу и в этом смысле она ему адекватна. Но тогда зачем приводится выражение «отражающий»? Что это значит — отражать? Почему исключается соотношение модели с несущественными свойствами и взаимосвязями? Разве непременно необходимо от них абстрагироваться? Конечно же нет.
На наш взгляд, весьма распространенное понимание математических моделей как известных «огрублений» оригиналов является
2_1
Рецидивом истолкования содержания математических теорий с позиции теории абстракции, в своих истоках восходящей к философии Дж. Локка. Но математические конструкты не являются абстракциями. Они изобретаются человеком благодаря его творческому воображению, а не извлекаются из действительности.
Математическая модель и ее оригинал, каковым в нашем случае является экономическая теория, связаны бинарным отношением, отношением соответствия. Это отношение выступает знаковым. Элементы и операции математической теории интерпретируются в качестве знаков элементов и операций экономической теории. Математическое моделирование связывает две теории, а не математическую теорию с экономической действительностью как таковой. Соответствие между моделью и оригиналом может быть полным и неполным (когда некоторые элементы и операции экономической теории не обладают своим математическим представителем), взаимно однозначным или же неоднозначным, но не приближенным.
Операция математического моделирования начинается с определения математической модели, но, как нам представляется, она ею не заканчивается. Дело в том, что две стороны моделирования неравнозначны друг другу, между ними всегда есть асимметрия; для исследователя первична не модель, а ее оригинал. Он в соответствии со своими интересами непременно включает определенным образом потенциал модели в содержание оригинала. Изобразим сказанное в символьном виде.
В начале анализа экономическая (ЭТ) и математическая (МТ) теории разобщены. Экономико-математическое моделирование выступает как установление соответствия между ними: ЭТ→ МТ, где стрелка показывает, что моделирование осуществляется в интересах экономиста. При доминации интересов математика реализуется соотношение МТ→ЭТ. Последнее соотношение резонно назвать не экономико-математическим, а математико-экономи-ческим моделированием.
При осуществлении моделирования экономист заинтересован в первую очередь не математической теорией и даже не соответствием ЭТ →> МТ, а экономической теорией как таковой. Иначе говоря, он не останавливается на полпути, т.е. На ЭТ →> МТ, а включает мтв ЭТ,в результате этприобретает новый статус — (ЭТ)МТ. Математическая теория перестает существовать в самостоятельном виде, в каковом она пребывала в составе ЭТ → МТ.
2_2
ЭТ→МТ~(ЭТ)МТ.
Здесь знак ~ означает «влечет». Подобно тому как съеденное яблоко перестает существовать в качестве яблока, математика, включенная в экономическую теорию, перестает быть математикой. Поясним этот вывод следующим примером.
Рассмотрим три формулы, соответственно из области математики, физики и экономической теории:
У=а-х; (5.1)
S = vt; (5.2)
C = k-Y. (5.3)
Формула (5.2) выражает связь между перемещением (S) тела и его скоростью (v). Формула (5.3) фиксирует связь величин личного потребления (С) и личного дохода (Y). Формулы (5.2) и (5.3) обладают не формально-математическим, а содержательным характером. Вы можете делать с ними все что угодно, но избавиться от их содержательной специфики не удастся. Их в принципе невозможно превратить в формулу (5.1), обладающую математическим статусом. Можно установить взаимно-однозначное соответствие, например, между формулами (5.1)и(5.3), но это не означает, что (5.1) содержится в (5.3). Между теориями существуют междисциплинарные связи, но неверно считать, что одна теория содержится, буквально «сидит» в другой. Последнее представление должно быть зачислено в разряд теоретического преформизма, согласно которому одни науки содержат в себе другие. Но наука развивается отнюдь не по нормам теоретического преформизма. Во всем она выделяет части и далее рассматривает отношения между ними. В науке междисциплинарные связи рассматриваются как отношения соответствия, а не как включенность одной теории в другую.
Выше уже отмечалось, что междисциплинарная связь имеет векторный характер, она направлена от оригинала к модели. Учет характера этой связи имеет важнейшее методологическое значение. Как правило, полагают, что смысл математического моделирования состоит в работе не с экономической теорией как таковой, а с ее математической моделью. В этом убеждении не учитывается, что экономист и математик действуют в принципиально различных манерах. Если математик обращается к экономической теории, то его интересует в конечном счете не она, а математика. Экономист же занимается экономическим оригиналом, т.е. Соответствующей
293
Экономической, а не математической теорией. Суть дела не меняется от того, что один и тот же человек может поочередно выступать в роли то математика, то экономиста. Плохо, когда экономист выдает себя за математика, а последний позиционирует себя в качестве экономиста.
В современной методологической литературе осуждаются множащиеся попытки неудачной математизации экономической теории. Весьма ярко высказывается на этот счет Е.В. Балацкий: «В настоящее время можно утверждать, что причина и одновременно следствие прогресса экономической науки заключается в ее широкой математизации» [18, с. 142]. «Можно констатировать не просто сильную, а, пожалуй, чрезмерную математизацию экономической науки» [Там же, с. 150]. «Зачем думать над содержательными проблемами, когда можно «поиграть» с математической моделью?» [Там же, с. 152]. Е.В. Балацкий выступает против «оголтелой» математизации экономической науки. Он резонно отмечает, что «математические модели имеют очень важное, но все же подчиненное положение — они как бы встроены в общую теорию. Однако хозяйственные механизмы, принципы и теории могут эволюционировать. Это означает, что отражающие их математические модели тоже должны перестраиваться и адаптироваться. В результате могут появиться новые эффекты, закономерности и законы» [Тамже, с. 151—152]. В основном, поддерживая приведенное выше утверждение Е.В. Балацкого, мы считаем, что он неправомерно ставит знак равенства между чрезмерной математизацией экономической теории и ее корректным математическим описанием. «Таким образом, — отмечает он, — наметившаяся чрезмерная математизация современной экономической теории как бы "подтачивает" науку изнутри. Стремление к максимально полному и корректному математическому описанию экономических явлений ведет в тупик» [Там же, с. 155]. Вышеупомянутое стремление, разумеется, не ведет в какой-либо тупик. Оно вполне состоятельно, ибо направлено на максимально полное исследование потенциала союза математики и экономической теории. Невозможно доказать, что этот потенциал лучше использовать, например, наполовину, чем максимально полновесно. Выражение «чрезмерная математизация экономической науки» нельзя отнести к числу ясных. Исследование потенциала математики не может быть чрезмерным. А вот подмена экономической теории ее математической моделью — это действительно неоправданная акция.
294
По мнению Е.В. Балацкого, стремление к корректному математическому описанию применительно к экономической науке несостоятельно в силу известной теоремы К. Гёделя о неполноте: «Любое формальное описание системы либо нечетко, либо противоречиво. При исследовании экономических систем это особенно актуально — мы должны придерживаться разумной степени общности описания и вовремя остановиться, чтобы дальнейшее обобщение не обернулось противоречием» [118, с. 155—156]. В приведенном пассаже содержится ряд неточностей. Во-первых, теорема Гёделя не относится к «любому формальному описанию». Так, она неприменима к арифметике в случае, если используется операция трансфинитной индукции. Во-вторых, теорема Гёделя вообще не ставит каких-либо пределов математике, она позволяет отмести чрезмерные, надуманные претензии в ее адрес. Она никак не противоречит максиме Канта: чем больше в науке математики — тем лучше. В-третьих, Е.В. Балацкий неоправданно поспешно переходит от теоремы Гёделя к экономическому аргументу о необходимости разумной степени общности описания.
«Не следует забывать,— отмечает он, — и принцип относительности А. Эйнштейна: восприятие явления зависит от точки зрения. Поэтому не следует стремиться к построению многоцелевых экономико-математических моделей — имеет смысл ограничиться простыми и ясными постановками задач» [Там же, с. 156]. Е.В. Балацкий весьма вольно истолковывает принцип относительности Эйнштейна, согласно которому законы электродинамики инвариантны во всех инерциальных системах отсчета. Относительность же восприятия — это положение из психологии, мало что разъясняющее в нашем контексте. По мнению Е.В. Балацкого, не следует стремиться к построению многоцелевых экономико-математических моделей. На наш взгляд, такое стремление вполне уместно, ибо содержит значительный эвристический потенциал. Когда в конце ХIХ в. Были разработаны экономико-математические модели на основе математического анализа, то они были многоцелевыми. От имени методологии несостоятелен акцент как на универсализации, так и на специализации экономико-математического моделирования. В известных случаях уместно и то и другое. Если рассматривается зависимость друг от друга переменных величин, то при этом часто уместно использование аппарата дифференциальных уравнений. Если же необходимо принять решение в условиях конфликта ценностей, то вполне возможно обращение к аппарату единичных матриц, как
295
Это имеет место, например, в аналитике иерархических систем Т. Саати.
Согласно Е.В. Балацкому, надо ограничиваться постановками «простых и ясных» задач. Но в науке идет гонка за концептуальной содержательностью, и уже в ее контексте можно при желании как-то комментировать требования «ясности» и «простоты». Эти требования имеют квазинаучный характер. Иногда их считают эстетическими, еще больше запутывая ситуацию с пониманием статуса теорий.
После всего вышеизложенного появилась возможность содержательной, как нам представляется, интерпретации двух вопросов, поставленных в начале параграфа, об эффективности союза математики и экономики и его неудачах.
В экономической науке рост научного знания идет по цепочке
(ЭТ0)МТ 0→ (ЭТ1)МТ 1→ (ЭТ2)МТ2 →…
Каждое последующее звено превосходит предыдущее за счет обогащения его более содержательной в формальном отношении математической теорией (в содержательном отношении МТ0 < <МТ1 < МТ2). На первый взгляд, прирост качественно-количественного потенциала экономической теории (Э Т) за счет математической теории (мтi) кажется чем-то непостижимым постольку, поскольку он привносится из чуждого экономической теории мира. Каким образом чуждое экономике может усилить ее потенциал? Вроде бы непонятно. Все становится на свои места, если учесть сложную историю взаимосвязи математики с многочисленными другими науками. При всей ее самостоятельности и специфике математика развивается не в автономном режиме. Математическое моделирование связывает математику с другими науками сотнями нитей. А это означает, что математика лишь относительно независима от других наук: она постоянно смотрит на себя в их зеркале. Потенциал математики отнюдь не чужд другим наукам, в том числе и экономической. Что же касается относительной самостоятельности математики, то она не только не вредит ей, а, наоборот, способствует ее быстрому развитию, которое не «тормозится» необязательными для математики содержательными факторами.
Но там, где есть две стороны, как, например, в случае союза математики и экономической теории, всегда в той или иной форме дает о себе знать опасность кризисного состояния их смычки. Математика порой перестает «работать». Почему? Пожалуй, прежде
2_6
Всего в силу следующих двух обстоятельств. Во-первых, неудачи сопровождают исследователей тогда, когда они подменяют экономические теории их математическими моделями, т.е. (ЭТ)мтподменяется (МТ)ЭТ. Оперирование математической теорией, взятой в свете экономической, может способствовать математике, а экономике лишь в отдаленной перспективе. Во-вторых, далеко не всегда достигается стадия (ЭТ)МТ. Если экономическая и математическая теории остаются разобщенными, то это неминуемо приводит к неудачам. И тогда раздаются жалобы: математика в силу ее формального характера, дескать, не способна выразить содержательные аспекты экономической теории. Но математика и не должна выражать или отображать какие-либо аспекты экономического дела. Достаточно того, что может существовать и существует соответствие между формальными структурами математики и содержательными структурами экономической теории. В установлении такого рода соответствия экономисты часто добивались и добиваются в высшей степени значительных успехов. Это позволяет им с оптимизмом оценивать дальнейшие перспективы экономической теории и математики. В наши дни представителям не только мэйнстрима, но и институционализма приходится убеждаться, что вне союза с математикой экономическая теория становится немощной и, следовательно, неэффективной.
Заканчивая параграф о взаимосвязи экономической теории и математики, резонно отметить особую роль так называемой вычислительной математики, занимающейся кругом вопросов, связанных с использованием компьютеров. Как правило, решение экономико-математической задачи предполагает: а) разработку алгоритма ее решения; б) создание соответствующей программы; в) ее реализацию на ЭВМ; г) интерпретацию полученного нового знания. Непрекращающийся рост быстродействия компьютеров сопровождается новыми волнами математизации и информатизации экономической науки. Несколько десятков лет тому назад казалось, что математизация и информатизация экономической науки в основном необходимы для придания формального вида ее законам. В последние три десятка лет ситуация кардинально изменилась: именно благодаря успехам вычислительной математики и информатики экспериментальный уровень экономической науки достиг ранее невиданных высот. Он во многом определяется успехами эконометрики и экономико-математической статистики, которые ныне поставлены на компьютерные рельсы.
297
Заметим также, что всемерная математизация и информатизация экономической науки сопровождаются лавинообразным ростом числа проблем, нуждающихся в философском осмыслении. Экономическое сообщество непременно когда-нибудь осознает, что оно должно создать целый комплекс философских дисциплин, таких, например, как философия эконометрики, философия экономической статистики, философия экономической синергетики, без которых осмысление фундаментальных проблем пребывает в интуитивной оболочке.
25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 Наверх ↑