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

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

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

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

В рамках этого же обсуждения Коэн и Нагель анализируют и те ситуации, в которых имеются две логически неэквивалентные теории с одинаковыми эмпирическими следствиями (или, по крайней мере, со следствиями, различия в которых нельзя установить экспериментальным образом). Принципом, которым мы должны руководствоваться при выборе между двумя такими теориями, они считают простоту: та теория, которая проще, и должна быть признана более предпочтительной (с. 298). При этом авторы поясняют требование простоты. Простая теория – это не та, которая более знакома, и не та, которую психологически проще усвоить. В таком случае геоцентрическая теория Птолемея оказалась бы проще и предпочтительнее гелиоцентрической теории Коперника. Принцип простоты научной теории заключается в систематической простоте, т. е. в возможности выводить утверждаемые теорией отношения между различными фактами из имеющихся в ней допущений.