Методология экономической науки

Блауг Марк

Проведенная таким образом граница между наукой и ненаукой, однако, не абсолютна: как опровержимость, так и верифицируемость имеют различные степени (Popper К., 1959, р. 113; 1972b, p. 257; 1976, р. 42). Иными словами, демаркационный критерий следует понимать как описывающий более или менее непрерывный спектр знания, на одном конце которого находятся некоторые из «твердых» естественных наук, такие как физика и химия (рядом с ними стоят более «мягкие» эволюционная биология, геология и космология), на другом — поэзия, искусство, литературная критика и т.п., а где–то в середине, хотелось бы верить, ближе к научному полюсу — общественные науки.

Логическая ошибка

Давайте проясним разницу между верифицируемостью и опровержимостью, сделав краткое отступление в захватывающую область логических ошибок. Рассмотрим гипотетический силлогизм: «Если А истинно, то Б истинно; А истинно, следовательно, Б истинно». Гипотетическое утверждение большой посылки разбивается на антецедент — «если А истинно» и кон–секвент — «то Б истинно». Чтобы прийти к выводу «Б истинно», мы должны быть способны сказать, что А действительно истинно, или говоря техническим языком логики, мы должны «подтвердить антецедент» большой посылки в нашем гипотетическом утверждении, чтобы с логической необходимостью прийти к выводу «Б

истинно». Заметим, что под термином «истинно» здесь подразумевается логическая, а не фактическая истина.

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

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

Выражая ту же мысль более житейским языком, modus ponens в формальной логике означает, что истинность предпосылок передается выводам, но ложность — нет; modus tollens, напротив, означает, что ложность выводов передается предпосылкам, но истинность — нет. Первый гласит, что когда предпосылки ложны, вопрос об истинности или ложности выводов остается открытым; последний гласит, что если выводы ложны, одна или несколько предпосылок должны также быть ложными, но даже если выводы верны, истинность предпосылок мы гарантировать не можем. Вот одна из причин, по которым Поппер опирается на идею асимметрии между верификацией и фальсификацией. Со строго логической точки зрения мы никогда не вправе утверждать, что гипотеза верна, поскольку она согласуется с фактами; выводя истинность гипотезы из истинности фактов, мы неявно совершаем логическую ошибку, «подтверждая консеквент». С другой стороны, основываясь на фактах, мы вполне можем отрицать истинность гипотезы, поскольку, выводя из отсутствия подтверждающих фактов ложность гипотезы, мы пользуемся логически корректной схемой рассуждения, называющейся «отрицанием консеквента», или modus tollens. Резюмируя все вышесказанное одной мнемонической формулой, можно было бы сказать: нет логики доказательства, но есть логика опровержения.

Проблема индукции

Если представить науку как череду бесконечных попыток опровергнуть существующие гипотезы и заменить их теми, что Успешно противостоят фальсификации, естественно будет спросить, откуда появляются эти гипотезы. Поппер (Popper К., 1959, р. 31—32) следует общепринятому взгляду, отвергая всякий интерес к так называемому «контексту открытия» (в противовес «контексту обоснования») — проблема происхождения научного знания остается в ведении психологии или социологии знания, — но тем не менее настаивает, что, каков бы ни был источник научных обобщений, это определенно не индукция от частных случаев. Для него индукция — это просто миф: индуктивные гипотезы не только неправомерны, как давно показал Юм, но и невозможны (Popper К., 1972а, р. 232—239; 1972b, р. 53). Мы не можем делать индуктивных обобщений, исходя из серии наблюдений, ибо в тот момент, когда мы выбрали наблюдения определенного рода из бесконечного множества возможных, мы уже встали на некоторую точку зрения, и эта точка зрения сама по себе является теорией, как бы проста и груба она ни была. Иными словами, «грубых фактов» не существует — все они уже имеют в подтексте некоторую теорию. Это — фундаментальная идея, к которой мы позднее еще вернемся. Поппер, как и Юм, не отрицает, что повседневная жизнь полна того, что на первый взгляд кажется примерами индукции, но в отличие от Юма он идет настолько далеко, что отрицает, будто эти вольные обобщения укрепляют наши интуитивные соображения. В обычной жизни, как и в самой науке, сказал бы Поппер, мы получаем знание и улучшаем его в ходе постоянного процесса выдвижения гипотез и опровержения их с помощью знакомого метода проб и ошибок. В этом смысле можно было бы сказать, что Поппер не столько разрешил проблему индукции, как он сам любил утверждать, а просто упразднил ее. Короче говоря, его утверждение о том, что он «разрешил» проблему индукции, — в некоторой степени игра слов [14] .

14

История философии полна неудачных попыток разрешить «проблему индукции». Даже экономисты не устояли перед соблазном попробовать опровергнуть Юма. Например, Рой Харрод (Harrod R.F., 1956) написал целую книгу, пытаясь обосновать законность индукции как разновидности рассуждения в терминах вероятностей, где вероятность рассматривается как логическое отношение, а не как объективная характеристика событий. При рассмотрении этого вопроса возникает несколько сложных головоломок, связанных с самой концепцией вероятности, которые здесь мы рассматривать не можем (но с ними можно ознакомиться в: Ayer A.J., 1970).

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

за собой истинность выводов. Но в науке и, очевидно, в повседневной жизни мы постоянно встречаемся с так называемыми «индуктивными» аргументами, имеющими целью показать, что конкретные гипотезы поддерживаются конкретными фактами. Такие аргументы можно называть «неубедительными» в том смысле, что выводы, хотя в некотором смысле и «поддерживаются» предпосылками, не следуют из них с необходимостью (Barker S.F., 1957, р. 3—4). Даже если предпосылки верны, неубедительная, индуктивная гипотеза не может логически исключить возможности того, что выводы ложны. Так, утверждение: «Я видел много белых лебедей; я никогда не видел черного лебедя; следовательно, все лебеди — белые» является примером неубедительной, индуктивной гипотезы, которая не следует с необходимостью из большой и малой посылок — обе они могут быть совершенно верны и тем не менее из этого логически не следует, что верен и вывод. Короче говоря, неубедительная аргументация может в лучшем случае убедить разумного человека, в то время как убедительная аргументация должна убедить даже упрямца. Утверждение Поппера о том, что «индукция — это миф», относится к индукции в качестве логически убедительного способа аргументации, а не к индукции в качестве неубедительной попытки подтвердить некоторую гипотезу, часто имеющую статистический характер [15] . О неубедительной индукции или о том, что иногда называют логикой подтверждения (confirmation), Поп–перу как раз есть что сказать. Все сказанное нами сводится к тому, что нет большего заблуждения, чем общепринятое мнение, будто индукция и дедукция являются взаимно обратными мыслительными операциями: мол, дедукция ведет нас от общего к частному, а индукция — от частного к общему. Противопоставление индукции и дедукции не существенно, в отличие от противопоставления убедительных, надежных гипотез и неубедительных, необоснованных (см. Cohen M.R., 1931, р. 76–82; Cohen M.R. and Nagel E., 1934, p. 273–284).

15

Именно тенденции терять из виду двойное значение термина «индук–ОДя» Поппер обязан несколькими атаками на свою критику индуктивизма (см., например, Grunbaum A., 1976). Данный вопрос хорошо освещен у Бар–кеРа (Barker S.F., 1957), хотя его обсуждение Поппера оставляет желать лучшего. См. также: Braithwaite R.B. (1960, ch. 8).

Невообразимой путаницы можно было бы избежать, если бы мы могли принудительно ввести в лингвистический оборот термин «аддукция» (adduction) для тех неубедительных стилей аргументации, которые вульгарно называют «индукцией» (Black M., 1970, р. 137). Например, мы часто встречаемся с утверждениями типа: вся наука основана на индукции; дедукция есть лишь способ логически мыслить, непригодный в качестве инструмента для получения нового знания, это — своего рода «колбасная машина», лишь перерабатывающая то, чем мы ее загружаем; только с помощью индукции мы можем узнать о мире что–то новое, а в накоплении нового знания о мире в конце концов и состоит функция науки. Эта точка зрения, практически перефразирующая то, что сказано в «Логике» Джона Стюарта Милля, — не более чем ужасающая словесная путаница. Здесь предполагается, что индукция есть нечто обратное дедукции и что это — два легитимных метода логического рассуждения. Но такого явления, как логически убедительная индукция, не существует, а аддукция ни в коем случае не является методом, обратным дедукции, в действительности представляя собой мыслительную операцию совершенно иного рода. Аддукция есть нелогическая операция перехода от царящего в реальном мире хаоса к интуитивной догадке или пробной гипотезе о фактической взаимосвязи, существующей между набором релевантных переменных. То, каким образом делается этот переход, относится к контексту открытия. Возможно и не стоит так высокомерно пренебрегать изучением этого контекста, как велит обычай позитивистов и даже попперианцев, но факт остается фактом: философия науки всецело озабочена не им, а следующим за ним этапом процесса — тем, как первоначальные гипотезы превращают в научные теории, сплетая из них более или менее прочную дедуктивную структуру, и как затем эти теории проверяют на наблюдениях. Короче говоря, давайте не будем утверждать, что наука основана на индукции, — она основана на аддукции с последующей дедукцией.

Иммунизирующие стратагемы

Вернемся к Попперу. Он, особенно в своих ранних работах, часто ссылается на модель научного объяснения через покрывающие законы, но наряду с этим можно заметить изначальное и постоянно растущее недоверие к тезису симметрии. Прогнозы для него имеют доминирующее значение при проверке объясняющих теорий, но это не означает, что он рассматривает explanans теории исключительно как аппарат для генерирования прогнозов: «Я рассматриваю интерес теоретика к объяснению, то есть нахождению объясняющих теорий, как несводимый к практическому технологическому интересу к выводу предсказаний» (Popper К., 1959, р. 61п; см. также 1972а, р. 191–195; Popper К. and Eccles J., 1977, p. 554–555 и сноску 1 выше). Ученые стремятся объяснить, и они выводят логические прогнозы, являющиеся частью предлагаемого объяснения, чтобы проверить свои теории; все «истинные» теории верны лишь условно, постольку поскольку на данный момент успешно сопротивляются опровержению; иными словами, вся доступная нам истина заключена в тех теориях, которые пока не были опровергнуты.

Таким образом, все зависит от того, способны ли мы опровергнуть теории, и если да, то способны ли мы делать это однозначно. Давным–давно Пьер Дюгем утверждал, что ни одну научную гипотезу нельзя отвергнуть с определенностью, так как мы всегда проверяем весь explanans, то есть гипотезу в совокупности со вспомогательными утверждениями, и, таким образом, никогда не можем быть уверены, что подтвердили или опровергли именно саму гипотезу. Отсюда, любая гипотеза может сохраняться даже когда у нас есть свидетельства, опровергающие ее, и, следовательно, принятие или отвержение гипотезы являются в некоторой степени условными. Приведем пример. Если мы хотим проверить закон падения тел Галилея, нам в конечном счете придется проверять этот закон вместе со вспомогательной гипотезой о влиянии сопротивления воздуха, так как закон Галилея распространяется на тела, падающие в абсолютном вакууме, а такую среду на деле практически невозможно получить; и ничто не помешает нам отказаться от опровержения закона Галилея на том основании, что с помо–Щью наших измерительных инструментов нам не удалось сделать поправку на эффект сопротивления воздуха. Одним словом, заключал Дюгем, не существует такой вещи, как «решающий эксперимент» (см. Harding S.G., 1976). О Герберте Спенсере говорили, что истинной трагедией для него была красивая теория, погибшая из–за одного выбивающегося из общей линии факта. На самом деле ему нечего было беспокоиться: такие трагедии не происходят никогда!