Во-вторых, избрав в качестве канонической нотации язык первопорядковой логики предикатов, Куайн тем самым допустил только квантификацию по индивидным объектам и множествам, однако научные и повседневные рассуждения содержат квантификацию и по другим сущностям: свойствам, отношениям, числам, фактам, действиям, мнениям, возможностям и т. п. Но почему только первый вид квантификации связан с онтологическими обязательствами? Решение Куайна вызвано рядом соображений. С одной стороны, следует отметить, что, по его мнению, только индивидные переменные имеет смысл – и в логическом, и в онтологическом плане – связывать кванторами, поскольку предикатные переменные, как и предикаты вообще, ничего не обозначают. Вместе с тем Куайн допускает, что в качестве значений индивидных переменных в принципе могут выступать индивидуальные объекты любых видов, будь то физические вещи, абстрактные объекты и т. п., и наша онтология зависит от того, по какого рода индивидуальным объектам мы готовы квантифицировать. В том, что в онтологии Куайна допускаются только индивидуальные сущности, безусловно, нашла выражение общая номиналистическая тенденция его философского мировоззрения.
Как известно, вначале Куайн вместе с Гудменом (см.: [Goodmen, Quine, 1947, p. 97–122]) стоял на позициях бескомпромиссного номинализма, отвергая абстрактные объекты на основе неустранимой «философской интуиции», однако позже он отказался от такого ригоризма, сохранив тем не менее склонность уменьшать онтологические обязательства благодаря как можно большему устранению квантификации по абстрактным объектам. Поэтому свою задачу он видел в том, чтобы вычищать онтологические «трущобы»: мы должны признавать существование как можно меньшего числа сущностей, мы должны «затянуть наши онтологические ремни» там, где это возможно [Quine, 1969, p. 17]. В какой-то мере номиналистические предпочтения Куайна объясняются тем, что для него слово «существовать» или «быть» имеет один-единственный смысл. Некоторые философы, допуская в свою онтологию универсалии, приписывают им иной онтологический статус по сравнению с объектами, для обозначения которого используют термин «идеальное» или «логическое» существование (subsistence). Куайн отвергает это полностью. Он не признает никаких «уровней бытия» или модусов существования, а только единственный онтологический статус всего существующего.
С другой стороны, Куайн выдвигает еще одно важное требование в отношении объектов и сущностей, которому они должны удовлетворять, чтобы быть признанными существующими. Постулирование сущностей любого вида требует указания принципов их «индивидуации». Это нашло отражение в известном тезисе Куайна «нет неотождествляемых сущностей» («No entity without identity») [Quine, 1969, p. 23]. Например, физические объекты являются тождественными, если и только если они занимают один и тот же пространственно-временной регион. Можно сформулировать условия тождественности и для таких экстенсиональных абстрактных объектов, как множества: они тождественны, если и только если имеют одни и те же элементы. В отличие от них интенсиональные абстрактные объекты лишены таких критериев. Предикаты «существо с сердцем» и «существо с почками» имеют один и тот же экстенсионал (применяются к одним и тем же индивидам), но не выражают один и тот же интенсионал, однако попытка определить, что отличает эти интенсионалы и в чем состоит их самотождественность, считает Куайн, обречена на неудачу. Поэтому его отказ от интенсиональных сущностей является абсолютным. Кроме того, по его мнению, постулирование подобных сущностей ничего не объясняет, ибо они не существуют в пространстве и времени и не вступают в каузальное взаимодействие с нами. И, наконец, утверждает Куайн, мы вполне можем элиминировать выражения для этих сущностей из нашей канонической нотации. Например, мы можем сформулировать «Красный есть цвет» как «Для всех x, если x есть красный, то x есть цветной» [73] , что позволит нам избежать признания существования свойств. Мы видим, что выдвинутая Куайном программа «онтологической экономии» сочетает в себе ограниченный, или умеренный, номинализм с неограниченным экстенсионализмом.
Таким образом, в поисках оптимальной онтологии мы должны принимать «онтические решения», а именно: допускать сущности определенного типа в нашу вселенную или отвергнуть их, избегая квантификации над подобными entia non grata. При таких решениях мы руководствуемся прагматическими соображениями, основанными на компромиссе между эффективностью системы (способностью объяснения), достигаемой при принятии определенного типа объектов, и онтологической экономностью, достигаемой при его исключении [Quine, 1960, p. 238, 264]. Вопрос лишь в том, «насколько экономичную онтологию мы можем достичь, имея при этом язык, адекватный всем целям науки» [Quine, 1960, p. 201]. Если референция к некоторому типу сущностей является неотъемлемой частью наших лучших научных теорий и ее нельзя устранить с помощью логической переформулировки, то это доказывает, что сущности этого типа существуют. В соответствии с этим Куайн сделал вывод, что у нас «нет больших надежд получить приемлемую систему мира, не допустив некоторые универсалии, а именно классы, среди значений переменных» [Quine, 1970 а , p. 91].
По существу, онтология Куайна является физикалистской, ибо, строго говоря, для него существуют только те вещи, которые фигурируют в объяснениях наиболее фундаментальной науки – физики. В то же время физикализм Куайна не является редукционистским; он не утверждает, что обычные высказывания, которые prima facie выглядят как высказывания о нефизических явлениях, семантически эквивалентны логическим конструкциям, полученным из терминов, имеющих референцию исключительно к физическим явлениям. Он отвергает этот вид редукционизма как «догму эмпиризма». Скорее, Куайн склонен к элиминативному физикализму: высказывания, содержащие интенсиональные понятия, не переводятся путем анализа в высказывания приемлемого вида, они просто заменяются этими высказываниями.
Куайн и сегодня считается ведущим представителем «ревизующей метафизики» в смысле Стросона, ибо он преследует цель не разъяснить нашу действительную концептуальную схему, но заменить ее новым способом описания мира. Это связано с тем, что он отрицает наличие в обыденном мировоззрении какой-либо четкой онтологии. «Онтология здравого смысла является неопределенной и хаотичной в двух отношениях. Она включает в себя множество подразумеваемых объектов, которые определены неясно и неадекватно. Однако еще более важно то, что она не имеет определенной сферы; в общем мы не можем даже сказать, какие из этих неопределенных вещей включены в нее, какие вещи принимаются нами. Следует ли рассматривать грамматику как отвечающую на этот вопрос? Требует ли каждое имя существительное некоторого множества денотатов? Конечно, нет, субстантивация глаголов часто является не более чем стилистическим приемом. Но можем ли мы установить границу? Вопрос ошибочен: здесь нет никакой границы. …Я не хочу сказать, что обыденный язык порочен и несет в себе неряшливую мысль. Мы должны принять эту неопределенность как факт и понять, что в обыденном языке не содержится четкой онтологии. Мысль о существовании границы между бытием и небытием является философской идеей, идеей технической науки в широком смысле слова» [Куайн, 1998, с. 329–330].
Онтология, таким образом, является для Куайна чем-то искусственным, она зависит от переструктурирования теории и от языка, с помощью которого это переструктурирование осуществляется. Куайн настаивает на том, что, приняв определенный способ формализации, мы вместе с тем вынуждены принять и связанную с ним онтологию. Поскольку в нашем распоряжении имеется множество искусственных языков и от их выбора зависит получаемый результат, мы опять приходим к идее онтологической относительности.
2.4. Теория онтологической относительности и реализм
Из тезиса о неопределенности перевода и идеи онтологических обязательств вытекает онтологическая относительность, которая прежде всего означает, что референция является непостижимой, что мы не можем знать, к чему действительно имеют референцию наши слова.
Для того чтобы лучше понять теорию онтологической относительности Куайна, имеет смысл для начала сопоставить ее с взглядами Карнапа, который также признает относительный характер онтологии [74] . Как мы видели, в его представлении онтология зависит от выбора языкового каркаса. Однако есть важное различие в трактовке относительности онтологии у Карнапа и Куайна, и оно прежде всего основано на том, что один принимает, а другой отвергает аналитико-синтетическое различие. Но прежде чем говорить об этом различии, отметим то, в чем подходы этих двух философов к онтологическим вопросам совпадают. Во-первых, и тот и другой признают, что существование является вторичным по отношению к истине в том смысле, что нам нужно сначала иметь некоторую истинную совокупность знания, представленную в том или ином языке, и только после этого мы можем ставить вопрос о том, существование каких объектов постулируется этим языком и этой совокупностью знания. Во-вторых, оба считают, что для определения онтологии нужно опираться не на обыденный язык, а использовать специальные формальные языки. В-третьих, и Карнап, и Куайн являются приверженцами эмпиризма; для них основная цель познания состоит в разработке научных теорий, которые позволяют наилучшим образом объяснять и предсказывать эмпирические данные. Для обоих «наилучшим» в этом контексте означает наиболее простым и согласующимся с наблюдениями образом. Расхождение между ними начинается, когда встает вопрос о том, как происходит выбор языка или языкового каркаса.