Глава 17

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

В «Значении и необходимости» (1947), третьей книге из серии «Исследований по семантике», Карнап еще раз возвращается к излюбленным темам Милля и Фреге 20. Согласно Карнапу, современные логики-философы обычно полагают, что любое выражение в правильно построенном языке является именем конкретной идеальной сущности, хотя на самом деле, утверждает он, выражения «обозначают» благодаря тому, что они обладают экстенсионалом и интенсионалом, или, говоря языком Фреге, обладают «предметным значением» и «смыслом». На основе этой теории обозначения, разработанной достаточно подробно, Карнап в общих чертах формулирует модальную логику, в которой модальные высказывания интерпретируются как утверждения о семантических свойствах предложений (например, «А есть необходимо В» утверждает, что «предложение "А есть Д" является необходимым»). Таким образом, и модальная логика оказывается разделом семантики. Фактически, если Карнап прав, семантика представляет собой дисциплину, имеющую фундаментальное значение для любого раздела логики.

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

В отличие от большинства логиков, взгляды которых мы только что рассмотрели, Куайн сохранил верность «логистике» Рассела и Уайтхеда. Хотя в своей работе «Новые основания математической логики»21 он отвергает теорию типов и использует меньшее число элементарных логических понятий, чем предлагает «Principia», его «новые основания» представляют собой не полный отказ от философии математики Уайтхеда и Рассела, а ее модификацию. Кроме того, Куайн остается верен идеалу экстенсиональной логики и скептически относится к возможности построения модальных логик, считая, что это нанесет значительный ущерб теории 22. Однако если в логике он проявляет консерватизм, то его философские исследования имеют совершенно новый, если не сказать — революционный, характер.

Две его небольшие статьи: «О том, что существует» (RM, 1948) и «Две догмы эмпиризма» (PR, 1951)23 — особенно изумили его современников в Англии. В статье «О том, что существует» ставится задача определить, к чему, с точки зрения онтологии, обязывает нас принятие определенной логической теории, — подобную задачу большинство британских философов отвергли бы a priori на том основании, что логика является онтологически нейтральной. Согласно Куайну, простое употребление имен еще не обязывает нас утверждать, что все используемые нами имена, скажем «Пегас», обозначают нечто существующее, а употребление предикатов не означает, что должны существовать универсалии. Тем не менее он считает, что использование «связанных переменных» накладывает на нас онтологические

Логика, семантика и методология

==313

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

По его мнению, это допущение имеет предварительный характер, поскольку логик может изобрести метод, аналогичный теории описаний Рассела, и с его помощью переформулировать эти предложения так, чтобы в них не упоминались виды. Переформулированное предложение также будет обязывать нас допустить существование — но уже не видов, а чего-то другого. Логик не может заставить нас принять его переформулировки; однако нам важно установить, можно ли сформулировать логику, не навязывающую существования видов, но тем не менее позволяющую формализовать предложения биологии. Если впоследствии по каким-то причинам, — например, по той причине, что это даст нам более простую и гибкую концептуальную схему, — мы решим принять онтологию без видов, то мы будем знать по крайней мере, что ничто в логике не заставит нас отвергнуть эту онтологию. Сам Куайн предпочел бы переформулировать предложения математики так, чтобы они не обязывали нас допускать существование универсалий; но он полностью согласен с тем, что это ни на кого не накладывает ни малейшего обязательства следовать его аскетизму 24. Он склонен настаивать только на том, что, приняв определенный способ формализации, мы вместе с тем вынуждены принять и связанную с ним онтологию. «Не подобает допускать абстрактные объекты, — подводит он итог, — и скрывать тот факт, что они допущены».

В «Двух догмах эмпиризма» Куайн обрушивается на две разные, но, как он считает, связанные между собой «догмы»: согласно первой из них, существует коренное различие между неподверженными пересмотру (аналитическими) и подверженными пересмотру (синтетическими) высказываниями; согласно второй, любое осмысленное предложение строится на основе непосредственного опыта. Куайн вслед за Дюгемом утверждает, что ученый подвергает проверке опытом не изолированное утверждение, а совокупность высказываний; с этой точки зрения высказывание представляет собой элемент научной системы, а не простое «обобщение опыта». Когда опыт поворачивается к нам неожиданной стороной, никто не может, утверждает Куайн, заранее сказать, какое высказывание из совокупности научных утверждений будет отброшено; в принципе любое из них может быть пересмотрено, а потому все они являются синтетическими. Безусловно, некоторые из них выглядят неопровержимыми; мы не можем представить себе ситуацию, в которой мы смогли бы отказаться от них. Но, указывает Куайн, открытие квантовых явлений, которое никто не мог предвидеть заранее, заставило многих ученых отказаться от таких внешне неуязвимых положений, как принцип причинности и закон исключенного третьего. Согласно Куайну, это должно предостеречь нас от предположения, что какое-то высказывание по сути своей не может быть изменено на основе опыта.

==314