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

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

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

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

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