Без сомнения, отдельный интерес представляет глава, посвященная статистическим методам (гл. XVI), и глава, в которой исследуется применимость логики к анализу оценочных суждений, не обладающих истинностным значением (гл. XVIII). В большинстве современных учебников по логике данные темы, как правило, лишь упоминаются, и мало где можно отыскать их адекватный систематический анализ. Авторы знакомят читателя с основными приемами, использующимися в статистике, а также, как и в случае с экспериментальными методами, предлагают критический взгляд на эти методы, устанавливая на конкретных примерах как их преимущества, так и их ограниченность. Глава о логике оценочных суждений подробно исследует проблемы, связанные с оценкой тех или иных исторических событий, без которой невозможно никакое историческое изложение, вопросы о критериях, по которым оцениваются или могут оцениваться литературные и художественные произведения, трудности с логической интерпретацией этических суждений и, наконец, то, что называется «логикой вымысла» и включает в себя проблематику эмотивного использования языка, метафоры, абстракций и т. д.
Как уже упоминалось, материал в данном учебнике преподносится в простой и понятной форме. В качестве иллюстраций авторы приводят большое количество цитат из классических работ философов, историков, ученых и литераторов, объясняют значимость излагаемых тем на примерах реальных событий из социальной и политической истории, а также из истории науки. Весьма часто подчеркивается контраст между обыденными рассуждениями и мышлением, опирающимся на законы логики, что наглядно демонстрирует преимущества последнего. Все это делает данную книгу не просто полезным методическим материалом для преподавателей курсов по логическим дисциплинам, но также и текстом, вполне доступным для самостоятельного осваивания теми, кто только начинает знакомиться с наукой логикой.
Особенности книги как произведения по философии науки
Читая классиков аналитической философии и философии науки второй половины XX века, мы не всегда задумываемся о происхождении анализируемой ими проблематики, о том, откуда берутся те или иные подходы к анализу исследуемых проблем и иллюстрирующие их примеры. Поэтому мы зачастую автоматически приписываем и выбор исследовательской методологии, и отыскание нужных примеров самим этим авторам. Это не удивительно, ведь мы не всегда знакомы со всеми дискуссиями, в контексте которых развивались взгляды крупнейших мыслителей второй половины XX столетия.
Как уже отмечалось, «Введение в логику и научный метод» на протяжении десятилетий являлась в американских университетах основной книгой по своей дисциплине. Поэтому очевидно, что о ней не могли не знать американские философы, получившие известность через 30–40 лет после ее появления. В этом смысле ознакомление с ее содержанием позволяет пролить свет на многие вопросы относительно происхождения и авторства тех идей и примеров, которые мы зачастую склонны приписывать более поздним мыслителям.
Так, ознакомившись с этой книгой, можно отыскать предположительные ответы на такие вопросы, как почему, например, С. Крипке, исследуя в начале 70-х годов различия между аналитическими, априорными и необходимыми истинами, рассматривает их на примере металлического эталона метра, хранящегося в Международном бюро мер и весов в Париже: ведь к началу 70-х парижский эталон уже не считался таковым. Однако поскольку данное издание содержит целый ряд иллюстраций, в которых он фигурирует как пример, демонстрирующий неразделимость понятий аналитического, априорного и необходимого, то становится ясно, что причина, побудившая Крипке проводить установленные им различия именно на примере парижского эталона, связана скорее с его желанием противостоять мнению, распространенному на тот момент в среде логиков и философов, именно на тех примерах, которые считались лучшими подтверждениями этого мнения.
Более же важно, пожалуй, то, что, помимо подобных отдельных примеров, помогающих лучше понять дискуссии в логико-философской среде второй половины XX в., данная книга содержит целый набор аргументов, касающихся теории и методологии науки, которые разрабатывались М. Коэном и Э. Нагелем еще в начале 30-х годов (а еще раньше Ч. С. Пирсом и Дж. Дьюи), однако получили широкую известность в работах уже более поздних мыслителей, таких как У. Куайн, К. Поппер, Н. Хэнсон, И. Лакатос, Т. Кун, П. Фейерабенд и даже стали нередко ассоциироваться с их именами. Именно на этих аргументах и, как следствие, на вкладе Коэна и Нагеля в мировую философию науки хотелось бы остановиться более подробно.
Специфическая природа научной теории
Развивая идеи Дж. Дьюи, авторы предлагают анализ природы научной теории и относят к ее неотъемлемым свойствам такие характеристики, как гипотетичность, фальсифицируемость, недоопределенность данными опыта, или фактами; исследуют вопрос об обусловленности данных наблюдения и онтологий, подтверждающих теорию, самой теорией; предлагают критерий согласованности, простоты и систематичности как принцип выбора между двумя эквивалентными научными теориями. Рассмотрев суть предложенных Коэном и Нагелем аргументов, гораздо легче понять, в чем именно заключалась оригинальность и вклад в философию науки упомянутых более поздних авторов, а в чем они скорее лишь следовали традиции, уже ранее существовавшей в философском мире.
Исследуя природу научной гипотезы, Коэн и Нагель перечисляют четыре формальных условия, которым должна отвечать гипотеза для того, чтобы быть научной (гл. X, § 4). Они останавливаются на рассмотрении предсказывающей функции гипотезы и проводят различие между опровержимыми и неопровержимыми гипотезами. Здесь авторы пишут, что если в гипотезе не утверждается явного или скрытого, но, тем не менее, идентифицируемого порядка связи объясняемого положения дел, то такую гипотезу нельзя считать адекватной. Если же в гипотезе устанавливается определенный порядок связи, который предстоит верифицировать в опыте, проверив тем самым саму гипотезу, то это значит, что сама структура этой гипотезы допускает альтернативное объяснение исследуемого порядка. Именно в этом, согласно их позиции, и заключается выдвигаемое к научной гипотезе требование опровержимости, являющееся одним из ключевых ее отличий от каких-либо других гипотез (см. с. 295–296, 388–390).
В рамках этого же обсуждения Коэн и Нагель анализируют и те ситуации, в которых имеются две логически неэквивалентные теории с одинаковыми эмпирическими следствиями (или, по крайней мере, со следствиями, различия в которых нельзя установить экспериментальным образом). Принципом, которым мы должны руководствоваться при выборе между двумя такими теориями, они считают простоту: та теория, которая проще, и должна быть признана более предпочтительной (с. 298). При этом авторы поясняют требование простоты. Простая теория – это не та, которая более знакома, и не та, которую психологически проще усвоить. В таком случае геоцентрическая теория Птолемея оказалась бы проще и предпочтительнее гелиоцентрической теории Коперника. Принцип простоты научной теории заключается в систематической простоте, т. е. в возможности выводить утверждаемые теорией отношения между различными фактами из имеющихся в ней допущений.
Развивая свою мысль о том, что знакомство с большим количеством фактов само по себе не дает знания и что многие древние цивилизации, обладавшие большим количеством фактической информации, все же, в отличие от греков, не обладали наукой, Коэн и Нагель исследуют вопрос о том, насколько вообще корректно говорить о возможности подтверждения или опровержения научной теории эмпирическими фактами (гл. X, § 5). И здесь авторы отстаивают идею о том, что само по себе наблюдение не способно быть содержательным без соответствующей интерпретации данных воспринимаемого опыта. Они пишут, что, когда мы говорим, что «видим», что Земля затмевает Луну, нам следует не забывать о том, что все эти якобы видимые нами вещи «получили такое свое объяснение сравнительно недавно» (с. 301). Поэтому использование гипотез необходимо даже для интерпретации тех данных, которые, в свою очередь, призваны подтвердить или опровергнуть проверяемую научную теорию.
Данные утверждения, однако, не призваны преуменьшить значимость научного метода. В главе XIX, посвященной логическим ошибкам, авторы рассматривают стандартную ошибку кругового аргумента и проводят четкое различие между таким аргументом и тем кругом, который имеет место в соотношении корпуса научного знания и того опыта, который как бы, с одной стороны, этим корпусом задается, а с другой стороны, служит для подтверждения самого этого корпуса (с. 513, 535–536). По мнению Коэна и Нагеля, обычный круговой аргумент состоит из небольшого числа суждений, и его можно избежать. Однако круг, в рамках которого взаимосвязаны наблюдения человека и вся теоретическая наука, имеет иную природу. Он является столь обширным, что, в отличие от обычного круга в аргументации, ему нельзя предложить какой-либо альтернативы.
Перечисленные соображения относительно природы научной гипотезы вкупе с рядом более распространенных и стандартных требований (формулировка гипотезы должна позволять выводить из нее следствия, гипотеза должна давать ответ на поставленную проблему и др.) приводят авторов к идее о неразделимости теоретической и эмпирической составляющей в общем корпусе научного знания. Данное утверждение делается Коэном и Нагелем как раз в тот период, когда в Европе логические позитивисты резко противопоставляют две эти составляющие научной теории. Более того, основываясь на этих идеях, авторы книги делают целый ряд ключевых утверждений относительно природы научного метода. Последняя по счету глава, просто именуемая «Заключение», является совершенно не последней по своей философской значимости, т. к. в ней не просто подытоживаются и суммируются все сделанные в других главах утверждения относительно характерных особенностей научного метода, но и предлагается общее представление о его целостной природе.
Коэн и Нагель пишут о систематичности как идеале науки. Реализация данного идеала в науке происходит не сразу, а прогрессивно. Экспериментальные данные всегда оставляют возможность для модификации любого утверждения или даже теории в целом. В результате этого происходит отказ от одной теории и принятие другой (с. 533–536). В данном наблюдении четко прослеживаются восходящее к прагматистской философии утверждение о недоопределенности теории эмпирическими данными.
Что же касается существующей в науке множественности объяснений, которые сменяют друг друга, то это, по мнению авторов, не говорит о том, что наука неспособна обнаружить структуру исследуемой области, а, напротив, лишь демонстрирует «самокорректирующую природу научного метода», порождаемую его абстрактным логическим характером.
Научный реализм и критика псевдонаучной методологии
Онтологическая позиция Коэна и Нагеля, несмотря на их холистский подход к обоснованию научного знания, может быть охарактеризована как разновидность научного реализма. Причем данная позиция представляется авторами не столько как исходная философская посылка, порождающая все их последующие взгляды на логику и природу научного метода. Скорее наоборот: на страницах данной книги позиция научного реализма предстает как неизбежное следствие компетентности в логике и строгого ее применения в науке. Иными словами, научный реализм становится тем выводом, который авторы делают в результате разработки и изложения основ логической науки и теории научного метода. Именно эта разработка приводит их к утверждению о том, что даже такие абстрактные объекты, как числа, законы и совершенно прямые линии, должны являться реально существующими составными элементами природы. При этом их существование не в виде отдельных вещей, а в виде отношений между такими вещами не опровергает их объективного онтологического статуса (с. 502–506). Что же касается всевозможных обвинений науки в том, что она якобы имеет дело не с реальными вещами, а с создаваемыми ею самой абстрактными фикциями, они, согласно Коэну и Нагелю, происходят из логически некорректных рассуждений, вызванных неправильным пониманием научной процедуры и ее результатов (с. 517–518).
Данную установку Коэн и Нагель применяют и для критики ряда философских подходов к экспликации природы научного знания и методологии науки: сначала они демонстрируют, что ключевые утверждения сторонников оппонирующих концепций содержат те или иные логические ошибки и, следовательно, не удовлетворяют законам логики, а затем делают из этого вывод о том, что, во-первых, такие оппонирующие подходы являются ненаучными, а во-вторых, что они, в силу своей нелогичности, вообще не могут рассматриваться как серьезные альтернативы научному реализму. Подобным нормативистским методом в первой части книги критикуется неокантианское понимание логики как науки о законах правильного мышления, этим же методом во второй части критикуется методология релятивизма, историцизма, марксизма, психоанализа, а также эволюционизм в антропологии и истории и ряд других гуманитарных дисциплин. При этом авторы книги делают еще один более радикальный шаг и вставляют цитаты из критикуемых ими мыслителей в качестве упражнений на выработку навыков отыскания логических ошибок. Приведем здесь лишь некоторые примеры.
Релятивистские подходы критикуются Коэном и Нагелем в едином корпусе со всеми утверждениями о том, что научные онтологии представляют собой фикции, а наука в целом не изучает реальность. Подобные утверждения рассматриваются авторами как примеры совершения логической ошибки псевдоупрощенности и ложной строгой дизъюнкции (с. 519, 522). Философия витализма критикуется через обнаружение логической ошибки в аргументе о неспособности механики объяснить некоторые явления природы, который служит исходной посылкой для всей подобной философии (с. 630). Радикальный эмпиризм Милля критикуется на примере его анализа силлогистического метода: авторы показывают, что миллевский аргумент о том, что общие суждения, как таковые, излишни, сам строится по законам силлогизма, и содержит общую посылку (с. 254–260). Монистическая позиция представителей британского идеализма и их критические аргументы против аксиоматического метода приводятся в качестве иллюстраций некорректно построенных умозаключений (с. 631–632). Та же участь постигает субъективный идеализм на примере цитат из Беркли, сильную программу социологизма на примере цитат из Спенсера и исторический материализм на примере цитат из Бухарина (там же).
Предлагают авторы и критику историцизма и эволюционизма. В их понимании подобные подходы основываются на спутывании логического и временного порядков (с. 523–528). Фрейдовский психоанализ критикуется как дисциплина, включающая в себя целый ряд нарушений законов логики. Так, Коэн и Нагель утверждают, что метод психоаналитической интерпретации не является доказательством, ибо не отвечает соответствующим требованиям, выдвигаемым к доказательству (с. 355–356, 488), и не позволяет идентифицировать причину интерпретируемого события или литературного произведения, т. к. опирается на ошибочный аргумент ad hominem (с. 513). Наконец, они предлагают цитату из Фрейда, как явную демонстрацию того, что психоанализ не может рассматриваться в качестве научной гипотезы (с. 603).
Изложенная таким образом аргументация может представлять интерес, как минимум, в двух смыслах. Во-первых, сама по себе она является интересным и не всегда использующимся способом критики перечисленных концепций. Во-вторых, она является показательным примером того, как именно изложение основ традиционной и символической логики может с успехом увязываться с изложением основных принципов методологии науки в рамках единого университетского курса.
Издержки времени
Будучи написанной более 75 лет назад, данная книга не может не иметь определенной специфики, требующей в одних случаях некоторых пояснений, а в других простого упоминания. Некоторые аспекты в изложении материала, используемая символика, а также ряд утверждений, общепринятых в начале 30-х годов прошлого столетия и казавшихся авторам очевидными, сегодня уже таковыми не считаются. Поэтому книга Коэна и Нагеля имеет и известную историческую ценность. В отдельных ее пассажах авторы демонстрируют свои взгляды на общественно-политическую жизнь и даже предлагают решения актуальных для своего времени проблем. Эти особенности следует учитывать современному читателю, с тем чтобы, во-первых, по достоинству оценить данную книгу, а во-вторых, иметь возможность максимально использовать ее преимущества. Мне бы хотелось перечислить лишь наиболее заметные из них.
Многие из логических символов, используемых Коэном и Нагелем в этом учебнике, на сегодняшний день являются редко употребимыми. Это главным образом касается логических операторов, обозначающих отрицание и конъюнкцию (см. соответствующие примечания переводчика в тексте). Также в книге вводится отношение строгой дизъюнкции, однако для него не предлагается, как это принято в большинстве современных учебников, отдельного значка. Строгая дизъюнкция эксплицируется просто как отрицание конъюнкции. Данное определение отличается от принятого в большинстве современных учебников определения строгой дизъюнкции: строгая дизъюнкция, как правило, эксплицируется как логическая операция, позволяющая из двух суждений построить новое составное суждение, являющееся истинным лишь в случае, когда истинно одно и только одно из составляющих его суждений (см. с. 85).
Употребление кавычек в тексте учебника также не всегда соответствует современному. Термин без кавычек употребляется для обозначения соответствующего денотата; употребление термина с кавычками говорит о том, что речь идет о самом термине, а не о том, что им обозначается. Важность четкого соблюдения такого различия между объектным языком и метаязыком начала осознаваться именно в 30-е годы, поэтому неудивительно, что в самом их начале не все авторы строго его проводили.