Рациональность и выбор теории

 

Эта статья была представлена в виде доклада на симпозиуме, посвященном философии КГ. Гемпеля, организованном Американской философской ассоциацией в декабре 1983 г. Материалы симпозиума были опубликованы в The Journal of Philosophy 80(1983). Перепечатано с разрешения журнала [180].

 

Следующие ниже заметки представляют собой краткое изложение одного из результатов моего длительного общения с К.Г. Гемпелем. Это общение началось двадцать лет назад, когда я достиг среднего возраста и прибыл в его университет.

Если в этом возрасте можно найти нового учителя, то для меня им стал Гемпель. У него я научился осознавать философские тонкости, важные для моей деятельности. В нем я увидел человека, для которого философские дистинкции служили продвижению к истине, а не были средством одержать победу в споре. Участие в симпозиуме, организованном в его честь, доставляет мне большое удовольствие.

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

Я начинаю с утверждения, впервые высказанного мной в комментариях по поводу статьи Гемпеля в Чапел‑Хилле в 1976 г. И он, и я предполагали, что оценка критериев выбора теории требует предварительного уточнения целей, достигаемых посредством этого выбора. Теперь допустим (ниже я покажу, что это упрощающее допущение необязательно), что цель ученого при выборе теории состоит в увеличении эффективности «решения головоломок», как я выражался. С этой точки зрения теории следует оценивать по их эффективности в производстве предсказаний, согласующихся с результатами эксперимента и наблюдения. Число таких соответствий и их точность рассматриваются как свидетельства в пользу теории.

Ясно, что ученый, преследующий такую цель, повел бы себя иррационально, если бы честно сказал: «Замена традиционной теории X новой теорией Y снижает точность решения головоломок, однако не затрагивает других критериев, посредством которых я оцениваю теории; тем не менее я выбираю теорию 7 и отбрасываю X». При данной цели такой выбор будет очевидно самоубийственным.

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

С момента нашей встречи в Чапел‑Хилле Геми ель внушал мне, что я должен найти более глубокий вариант собственной точки зрения. В предпоследнем абзаце статьи, опубликованной в 1981 г., он указал на то, что некоторых затруднений моей концепции выбора теории можно было бы избежать, если бы желаемые свойства, скажем, точность и расширение области исследований, включаемые в оценку теорий, рассматривались не просто как средства решения головоломок, а как цели, к достижению которых стремится научное исследование[182]. Несколько позже он писал:

 

«Обычно считают, что наука стремится сформулировать все более широкое и систематизированное мировоззрение, дающее объяснения и предсказания. Мне представляется, что критерии (desiderata) (детерминирующие приемлемость теории) лучше всего рассматривать как попытки более полно и точно выразить это понимание. И если цели чисто научного исследования указаны посредством критериев, то при выборе между двумя конкурирующими теориями рационально отдавать предпочтение той, которая лучше удовлетворяет этим критериям… (Эти рассуждения) можно рассматривать как почти тривиальное оправдание выбора теорий в соответствии с ограничениями, налагаемыми признанными критериями»[183].

 

Поскольку это ослабляет обязательства в отношении любой конкретной цели, скажем, решения головоломок, формулировка Гемпеля предпочтительнее моей, а в других отношениях наши позиции совпадают. Но если я правильно его понял, Гемпель в меньшей степени, чем я, удовлетворен этим подходом к проблеме рациональности выбора теории. В процитированном отрывке он называет его «почти тривиальным», поскольку в основе предложенного выбора лежит нечто, очень похожее на тавтологию, и обнаруживает отсутствие в нем философского элемента, который должен быть присущ удовлетворительному оправданию норм рационального выбора теории. В частности, он подчеркивает два аспекта, в которых почти тривиальное оправдание не достигает цели. «Проблему формулирования норм для критической оценки теорий, – отмечает он, – можно рассматривать как современный отросток классической проблемы индукции» – проблемы, к которой почти тривиальное оправдание «не имеет отношения» (92). В другом месте он говорит о том, что если нормы выведены из описания существенных особенностей науки (моей «деятельности по решению головоломок» или его «все более исчерпывающего, систематизированного мировоззрения»), то выбор описания, выступающего в качестве предпосылки почти тривиального подхода, сам нуждается в обосновании, которого ни один из нас не дает (86 и далее, 93). Виды активности, наблюдаемые охранителями науки, можно описывать разными способами, каждый из которых порождает свои критерии. Чем можно оправдать выбор одного из этих описаний и отбрасывание других?

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

Здесь я вторгаюсь в область, новую для меня, и сначала хочу пояснить свой аргумент, сославшись на его связь с позицией, которую я подробно разрабатывал ранее. Если я прав, дескриптивная предпосылка почти тривиального подхода в языке, используемом для описания человеческих действий, проявляет две тесно связанные особенности, которые ранее я считал существенными свойствами языка, служащего для описания природных явлений[184].

Прежде чем вернуться к проблеме рационального оправдания, позвольте кратко описать проявления этих характеристик в той области, где я впервые с ними столкнулся.

Первую особенность я недавно назвал «локальным холизмом». Многие из обозначающих терминов, по крайней мере научных языков, не могут быть усвоены или определены изолированно, их следует усваивать вместе с другими терминами. Кроме того, в процессе обучения существенную роль играют явные или неявные обобщения относительно членов таксономических категорий, на которые эти термины разделяют мир. Один из наиболее простых примеров – ньютоновские термины «сила» и «масса». Нельзя научиться употреблять один из них, не усваивая одновременно, как используется другой. И этой частью языка нельзя овладеть вполне, не обращаясь ко второму закону движения Ньютона. Только с его помощью можно научиться выделять ньютоновские силы и массы и соотносить эти термины с природой.

Из этого холистского истолкования процедуры обучения следует вторая особенность научных языков. Если термины взаимосвязанного множества терминов усвоены, то их можно использовать для формулировки бесконечного множества новых случайных обобщений. Однако некоторые из обобщений, причем не только первоначальных, считаются необходимыми.

Вернемся к силе и массе Ньютона. Сила гравитации может быть обратно пропорциональной кубу, а не квадрату расстояния; Гук мог бы обнаружить, что сила упругости пропорциональна квадрату перемещения. Эти законы были бы совершенно случайны. Однако никакой мыслимый эксперимент не смог бы изменить форму второго закона Ньютона. Если бы второй закон был заменен другим, это повлекло бы за собой локальное изменение языка, в котором были сформулированы законы Ньютона. И обратно: ньютоновские термины «сила» и «масса» могут успешно функционировать только в том мире, где справедлив второй закон.

Я назвал второй закон необходимым, однако смысл, в котором он необходим, требует уточнения. Этот закон не является тавтологией. Во‑первых, ни термин «сила», ни термин «масса» нельзя использовать для определения друг друга. Во‑вторых, в отличие от тавтологии второй закон можно проверить. Можно измерить ньютоновские силу и массу, вставить результаты во второй закон и обнаружить, что закон неверен. Тем не менее я считаю второй закон необходимым в следующем относительном смысле: если этот закон рушится, то ньютоновские термины в его утверждениях становятся необозначающими. Никакая замена второго закона не будет совместима с языком Ньютона. Важные части этого языка можно использовать без затруднений только в той мере, в какой принимается этот закон. Возможно, в такой ситуации термин «необходим» не вполне подходящий, но у меня нет лучшего. Термин «аналитический» не подходит.

Вернемся теперь к почти тривиальному оправданию норм или критериев выбора теории и начнем задавать вопросы людям, придерживающимся этих норм. Что значит быть ученым? Кого обозначает термин «ученый»?

Само это слово было введено Уильямом Уэвеллом приблизительно в 1840 г. Его распространение было обусловлено тем, что в конце предыдущего столетия термин «наука» начинает использоваться в его современном смысле – для обозначения постепенно формирующегося множества конкретных дисциплин, отличного от таких множеств, как «чистое искусство», «медицина», «право», «инженерное дело», «философия» или «теология».

Похоже, ни один из этих наборов дисциплин нельзя охарактеризовать посредством множества необходимых и достаточных условий, выполняемых их членами. Признание деятельности некоторой группы в качестве научной (художественной или медицинской) отчасти определяется знакомством с другими областями того же самого набора, а отчасти ее отличием от видов деятельности, принадлежащих к другим наборам дисциплин.

Итак, чтобы научиться использовать термин «наука», нужно научиться использовать также другие дисциплинарные термины – например, «искусство», «инженерное дело», «медицина», «философия» и даже, может быть, «теология». Возможность идентифицировать определенную деятельность как науку (искусство или медицину) дает ее положение в известном семантическом поле, содержащем и другие дисциплины. Знать положение науки среди других дисциплинарных видов деятельности – значит знать, что означает термин «наука» или, иначе говоря, что такое наука.

Таким образом, имена дисциплин отмечают таксономические категории, которые, подобно терминам «масса» и «сила», нужно изучать в совокупности. Этот локальный лингвистический холизм был первой особенностью, отмеченной выше. Вторая особенность следует вместе с ним.

Термины, обозначающие конкретные дисциплины, эффективно функционируют только в мире, где существуют дисциплины, полностью похожие на наши собственные. Сказать, например, что в античности наука и философия представляли собой одно и то же, значит сказать, что в античной Греции до кончины Аристотеля не было занятия, которое можно было бы классифицировать как философию или как науку. Конечно, современные научные дисциплины возникли из древних, но не одна из одной, не из древней предшественницы, которую можно считать (более примитивной) формой современной дисциплины.

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

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

Хотя некоторая конкретная деятельность допускает различные описания, только черты, закрепленные в словаре дисциплинарных особенностей, позволяют идентифицировать эту деятельность в качестве, скажем, научной. Только этот словарь может поместить деятельность в число научных дисциплин и отделить ее от иных видов деятельности. Это необходимое свойство всех референтов современного термина «наука».

Конечно, отдельная наука не обязательно обладает всеми характеристиками (положительными или отрицательными), которые считаются полезными при отождествлении дисциплин как научных: не все науки делают предсказания, не все науки пользуются экспериментом. И не обязательно всегда должна существовать возможность решить, опираясь на эти характеристики, является данная деятельность научной или нет. Однако человек, владеющий соответствующим дисциплинарным языком, не может, не впадая в противоречие, произнести такое, например, утверждение: «Наука X является менее точной, чем не‑наука К; иначе они находились бы в одном положении относительно всех дисциплинарных характеристик». Человек, высказывающий такие утверждения, оказывается вне своего языкового сообщества. Упорное их повторение приводит к нарушению коммуникации и к обвинениям в иррациональности. Человек уже не может решить, что означает термин «наука» и что такое наука.

Теперь я возвращаюсь к тому, с чего начал. Человек, называющий Хнаукой, a Y– не‑наукой, поступает так же, как человек, о котором шла речь выше, предпочитающий теорию Х теории Y. Они оба нарушают семантические правила, позволяющие языку описывать мир. Собеседник, предполагающий, что они правильно пользуются языком, обвинил бы их в противоречивости. Признав их употребление языка ошибочным, он вряд ли смог бы понять, что именно они пытаются сказать.

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

Этот словарь можно исправлять, но, как я пытался показать, не за счет замены одного термина другим. Исправление должно включать в себя одновременное изменение значительных частей дисциплинарного словаря. А до тех пор, пока такого изменения не произошло, человек, предпочитающий теорию Х теории У, просто выбывает из игры в научный язык. В этом я вижу пользу почти тривиального подхода к оправданию норм для выбора теории.

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

Другое требование подразумевает соответствие ограничений опыта, если нет хороших оснований для их нарушения. Оба требования выражают часть того, что считается рациональным.

Неизвестно, что пытается сказать человек, отрицающий рациональность обучения на опыте (или отрицающий, что опирающиеся на опыт выводы оправданны). Однако все, что составляет базис проблемы индукции, есть признание того, что у нас нет рациональной альтернативы обучению на опыте, и вопрос заключается в том, почему это так. Речь идет не об оправдании обучения на опыте, а об объяснении жизнеспособности всей языковой игры, включающей в себя «индукцию» и подкрепляющей форму жизни, в которой мы участвуем.

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

 

Глава 10