Согласно Куайну, философ, занимающийся онтологическими изысканиями, должен прежде всего разъяснить, на каких основаниях принимается решение о существовании или несуществовании тех или иных видов объектов или сущностей, т. е. он должен сформулировать критерий существования. Как хорошо известно, сам Куайн в качестве такого критерия предложил идею «онтологических обязательств».
Мы видели, что референция в представлении Куайна не является фундаментальным отношением между миром и языком; она не является тем средством, с помощью которого язык приобретает свое эмпирическое содержание. Фундаментальным является отношение, устанавливаемое на уровне предложений наблюдения и сенсорных стимуляций, определяющих истинность этих предложений. Поэтому принятие предложений как истинных предшествует установлению референции слов, из которых эти предложения состоят: мы начинаем с совокупности истинных предложений (теории) и только потом ставим вопрос о существовании. В этом смысле истина предшествует существованию. Отсюда вытекает идея онтологического обязательства: мы обязаны признать существующими те объекты, которые должны существовать, чтобы принимаемая нами теория была истинной [Quine, 1969, p. 93]. Это означает, что существующее — это не что-то такое, в чем мы можем непосредственно удостовериться; это нечто постулируемое нами в целях получения концептуальной схемы, согласующейся с эмпирическими данными. «Наши рассуждения о внешних вещах, само наше понятие вещи есть лишь концептуальное средство, которое помогает нам предвидеть и контролировать возбуждение наших сенсорных рецепторов в свете их предыдущих возбуждений» [Quine, 1981, 229]. Вместе с тем для Куайна с его натуралистической философией только выявлением онтологических обязательств, принимаемых в наших лучших научных теориях, мы сможем ответить на вопрос, какие виды объектов действительно существуют.
Так как же можно установить онтологические обязательства, принимаемые в той или иной теории? Для этого, утверждает Куайн, необходимо точно определить, какие виды языковых выражений, встречающиеся в теории, являются референциальными и поэтому обязывают нас принять обозначаемые ими объекты и сущности в качестве существующих. Однако онтологические обязательства не могут быть просто считаны из свободно сформулированной теории; их выявление, согласно Куайну, требует использования искусственного формального языка. Наилучшим образом для этих целей подходит, по его мнению, экстенсиональный язык первопорядковой логики предикатов с равенством, который он называет «канонической нотацией». Перевод теории на такой язык будет включать переструктурирование ее предложений, которое позволит выявить и минимизировать принимаемые в ней онтологические обязательства. Согласно Куайну, переструктурирование служит цели «понимания референциальной работы языка и разъяснения нашей концептуальной схемы» [Quine, 1960, p. 158].
Идея Куайна состоит в том, что, когда мы переформулируем теорию с помощью канонической нотации, ее онтологические обязательства станут очевидными. Это связано с тем, что можно будет сразу выделить предложения с квантором существования, которые содержатся в теории или выводятся из нее. Для того чтобы такое предложение было истинным (а мы, как было указано, исходим из того, что теория в целом истинна, а стало быть, истинны и предложения, из которых она состоит), должен существовать по крайней мере один объект, который является значением связанной (или квантифицированной) переменной в этом предложении. Например, чтобы предложение ‘? x(Fх&Gх)’ было истинным, область, на которой определена переменная x, должна содержать по крайней мере один объект, который одновременно есть F и G. Отсюда Куайн заключает, что онтологические обязательства теории имеют отношение исключительно к связанным переменным. Этот вывод был суммирован Куайном в лозунге: «существовать значит быть значением связанной переменной», а в более развернутом виде: «теория обязана признавать те и только те сущности, к которым должны быть способны отсылать связанные переменные теории с тем, чтобы утверждения, выдвигаемые теорией, были истинными» [Quine, 1980, p. 14–15]. Это значит, мы обязаны принимать существование только тех сущностей, постулируемых теорией, которые при переформулировке предложений теории с помощью аппарата современной математической логики составляют область значений связанных переменных в истинных квантифицированных предложениях.
Таким образом, Куайн вслед за Фреге и Расселом полагает, что понятие существования можно эксплицировать, только обращаясь к идее квантификации. По его словам, «существование — это то, что выражает экзистенциальная квантификация. …неразумно требовать экспликации существования в более простых терминах» (Quine, 1969, p. 97]. Или в другом месте: «Экзистенциальный квантор ‘? х ’ — это квинтэссенция того, что говорят о существовании. Все приписываемые существованию значения можно выразить как экзистенциальные квантификации» [Quine, 1970 а , p. 90]. Но если для Фреге и Рассела существование представляет собой свойство понятий или пропозициональных функций, имеющее прямое отношение к их «инстанциации», то для Куайна существование — это вопрос онтологических обязательств в отношении определенных объектов или областей значений для связанных переменных. В связи с этим он уточняет, что понимает квантификацию в «объектном» или «референциальном» смысле, и противопоставляет эту свою интерпретацию так называемой подстановочной интерпретации. Объектная интерпретация квантификации означает, что переменные, связываемые кванторами, считаются имеющими референцию к объектам из заданной области рассмотрения, тогда как при подстановочной интерпретации значениями переменных выступают имена объектов, а не сами объекты. В первом случае условием истинности для, скажем, «? x (x есть красный)» является то, что «x есть красный» выполняется хотя бы одним объектом, в то время как при подстановочной квантификации, чтобы указанное предложение с квантором существования было истинно, должно быть истинным хотя бы одно предложение формы «x есть красный», когда в него вместо x подставляется имя объекта.
Трудность для подстановочной квантификации заключается в том, что не все объекты, которые мы принимаем, могут иметь имена, однако для Куайна главный ее недостаток состоит в том, что она не имеет отношения к онтологии. С его же точки зрения, связь между онтологией и референциальной квантификацией носит тривиальный характер, ибо она «тривиально удостоверяется самим объяснением референциальной квантификации» [Quine, 1981, p. 174]. Вместе с тем объектная интерпретация квантификации сама сталкивается с немалыми трудностями. Возьмем, к примеру, предложение «Пегас есть летающая лошадь», которое считается истинным. При переводе его на язык канонической нотации мы получим (? x)(x есть Пегас и x есть летающая лошадь). Этот перевод является ложным предложением в силу того, что его первая часть, говорящая о существовании Пегаса, ложна. Однако этого расхождения с обычным истолкованием предложения «Пегас есть летающая лошадь» как истинного легко избежать при подстановочной интерпретации, ибо в этом случае условия истинности указанного предложения определяются следующим образом: существует термин x, такой, что «x есть летающая лошадь» истинно. На это возражение Куайн указывает, что когда мы заменяем, скажем, «Пегас есть летающая лошадь» на (? x)(x есть Пегас и x есть летающая лошадь), мы не осуществляем перевода, поскольку это предложение и его переформулировка на языке логики предикатов не являются синонимами; тем не менее такая замена важна в целях разъяснения, поскольку она позволяет сохранить всё философски существенное, а всё вводящее в заблуждение устранить [Quine, 1960, p. 258–259].
Однако вернемся к критерию онтологических обязательств. Согласно Куайну, если в научной теории осуществляется квантификация по физическим вещам, то теория имеет в качестве своих онтологических обязательств физические вещи. С этим довольно трудно не согласиться, однако данный критерий вызывает ряд вопросов. Во-первых, Куайн возлагает экзистенциальную нагрузку на квантифицированные переменные теории, но разве не более естественным решением было бы выдвинуть на эту роль индивидные константы, иначе говоря — имена собственные, определенные дескрипции и индексикальные выражения. Ведь именно их можно считать парадигмальными носителями онтологических обязательств, поскольку их цель — денотация объектов. Если, к примеру, истинная теория содержит предложение «Солнце есть звезда», то почему мы не можем принять, что Солнце — носитель имени «Солнце» — существует? По мнению Куайна, такой критерий существования наталкивается на ряд непреодолимых трудностей, среди которых наиболее известной является «платоновская загадка небытия». Если мы признаем имена носителями онтологических обязательств, то все истинные единичные отрицательные экзистенциальные высказывания («Пегаса не существует») становятся самоопровергающимися. Кроме того, имеется множество пустых имен (мифические и литературные персонажи, имя «Вулкан», введенное для предполагаемой десятой планеты Солнечной системы, которая так и не была обнаружена, и т. п.). Поэтому простое присутствие имени в теории или использование его в истинных предложениях (например «Либо Вулкан — это планета среднего размера, либо Юпитер — это очень большая планета») еще не означает, что теория обязана признать существование носителя этого имени. Более того, утверждает Куайн, если можно продемонстрировать, как определенный вид выражений элиминируется из канонической нотации без утраты ею выразительных возможностей, то это означает, что этот вид выражений не может иметь экзистенциальной нагрузки. В статье «О том, что есть» и в книге «Слово и объект» (§ 37–38) Куайн показывает, как можно элиминировать имена собственные. Сначала они преобразуются в определенные дескрипции (например, «Пегас» в «вещь, которая пегасит»), а затем устраняются с помощью расселовской теории дескрипций: «Не существует того, что пегасит». Отметим, что если Рассел применял теорию дескрипций для элиминации только тех имен («скрытых дескрипций»), которые отсылают к объектам, не вступающих с нами в отношение знакомства, то Куайн использует ее, чтобы показать возможность элиминации всех без исключения имен.
