Введение в логику и научный метод

Читая классиков аналитической философии и философии науки второй половины XX века, мы не всегда задумываемся о происхождении анализируемой ими проблематики, о том, откуда берутся те или иные подходы к анализу исследуемых проблем и иллюстрирующие их примеры. Поэтому мы зачастую автоматически приписываем и выбор исследовательской методологии, и отыскание нужных примеров самим этим авторам. Это не удивительно, ведь мы не всегда знакомы со всеми дискуссиями, в контексте которых развивались взгляды крупнейших мыслителей второй половины XX столетия.

Как уже отмечалось, «Введение в логику и научный метод» на протяжении десятилетий являлась в американских университетах основной книгой по своей дисциплине. Поэтому очевидно, что о ней не могли не знать американские философы, получившие известность через 30–40 лет после ее появления. В этом смысле ознакомление с ее содержанием позволяет пролить свет на многие вопросы относительно происхождения и авторства тех идей и примеров, которые мы зачастую склонны приписывать более поздним мыслителям.

Так, ознакомившись с этой книгой, можно отыскать предположительные ответы на такие вопросы, как почему, например, С. Крипке, исследуя в начале 70-х годов различия между аналитическими, априорными и необходимыми истинами, рассматривает их на примере металлического эталона метра, хранящегося в Международном бюро мер и весов в Париже: ведь к началу 70-х парижский эталон уже не считался таковым. Однако поскольку данное издание содержит целый ряд иллюстраций, в которых он фигурирует как пример, демонстрирующий неразделимость понятий аналитического, априорного и необходимого, то становится ясно, что причина, побудившая Крипке проводить установленные им различия именно на примере парижского эталона, связана скорее с его желанием противостоять мнению, распространенному на тот момент в среде логиков и философов, именно на тех примерах, которые считались лучшими подтверждениями этого мнения.

Более же важно, пожалуй, то, что, помимо подобных отдельных примеров, помогающих лучше понять дискуссии в логико-философской среде второй половины XX в., данная книга содержит целый набор аргументов, касающихся теории и методологии науки, которые разрабатывались М. Коэном и Э. Нагелем еще в начале 30-х годов (а еще раньше Ч. С. Пирсом и Дж. Дьюи), однако получили широкую известность в работах уже более поздних мыслителей, таких как У. Куайн, К. Поппер, Н. Хэнсон, И. Лакатос, Т. Кун, П. Фейерабенд и даже стали нередко ассоциироваться с их именами. Именно на этих аргументах и, как следствие, на вкладе Коэна и Нагеля в мировую философию науки хотелось бы остановиться более подробно.

Специфическая природа научной теории

Развивая идеи Дж. Дьюи, авторы предлагают анализ природы научной теории и относят к ее неотъемлемым свойствам такие характеристики, как гипотетичность, фальсифицируемость, недоопределенность данными опыта, или фактами; исследуют вопрос об обусловленности данных наблюдения и онтологий, подтверждающих теорию, самой теорией; предлагают критерий согласованности, простоты и систематичности как принцип выбора между двумя эквивалентными научными теориями. Рассмотрев суть предложенных Коэном и Нагелем аргументов, гораздо легче понять, в чем именно заключалась оригинальность и вклад в философию науки упомянутых более поздних авторов, а в чем они скорее лишь следовали традиции, уже ранее существовавшей в философском мире.

Исследуя природу научной гипотезы, Коэн и Нагель перечисляют четыре формальных условия, которым должна отвечать гипотеза для того, чтобы быть научной (гл. X, § 4). Они останавливаются на рассмотрении предсказывающей функции гипотезы и проводят различие между опровержимыми и неопровержимыми гипотезами. Здесь авторы пишут, что если в гипотезе не утверждается явного или скрытого, но, тем не менее, идентифицируемого порядка связи объясняемого положения дел, то такую гипотезу нельзя считать адекватной. Если же в гипотезе устанавливается определенный порядок связи, который предстоит верифицировать в опыте, проверив тем самым саму гипотезу, то это значит, что сама структура этой гипотезы допускает альтернативное объяснение исследуемого порядка. Именно в этом, согласно их позиции, и заключается выдвигаемое к научной гипотезе требование опровержимости, являющееся одним из ключевых ее отличий от каких-либо других гипотез (см. с. 295–296, 388–390).