Текст книги "Язык, онтология и реализм"

Автор книги: Лолита Макеева

сообщить о нарушении

Текущая страница: 7 (всего у книги 23 страниц) [доступный отрывок для чтения: 9 страниц]

2.2. Референция и неопределенность перевода

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

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

Из сказанного можно заключить, что Куайн не отрицает наличия в языке выражений, имеющих референцию к миру, но он отрицает фундаментальный характер референции. Для него референция – это производное понятие, а фундаментальным, гарантирующим эмпирическую значимость языка, является отношение между предложениями наблюдения и обстоятельствами их произнесения, которые делают их истинными или ложными. Эти обстоятельства связаны с определенными сенсорными стимуляциями, под воздействием которых проявляются речевые диспозиции человека. Референция не устанавливается автоматически, а постепенно формируется, поэтому она оказывается зависимой от принятого способа анализа структуры предложения, а в конечном счете – от концептуальной схемы языка. Мы можем по-разному структурировать наши предложения и по-разному приписывать значение их составным частям. Поскольку эмпирические свидетельства, которыми мы располагаем, имеют отношение к целым предложениям, а не к способам их разбиения на составные части, они ничего не говорят в пользу того, какой из методов анализа является правильным. А это означает, что референция является «неопределенной» или «непостижимой».

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


[Закрыть] на основе использования так называемых прокси-функций[68]68
  От англ. proхy что означает «заместитель», «доверенное лицо». Подробнее см.: [Quine, 1992, p. 31–32].


[Закрыть]. Под прокси-функцией он понимает одно-однозначную функцию, определенную на множестве объектов, которые мы признаем существующими, и отображающую их на их пространственно-временные «дополнения». Пространственно-временным дополнением некоторого объекта является пространственно-временной континуум, получающийся после исключения из него данного объекта. Затем мы переинтерпретируем каждое предложение, говорящее о некотором объекте х, как предложение, говорящее о его пространственно-временном дополнении. Кроме того, каждый предикат нашего языка мы переистолковываем таким образом, что он выполняется относительно пространственно-временного дополнения x именно в тех случаях, когда исходный предикат выполняется относительно x. В результате любое переистолкованное предложение будет истинным именно в тех случаях, когда истинно исходное предложение. Поскольку истинностные значения предложений не изменились, то неизменными остались выводные отношения между предложениями и все логические связи между ними. Поэтому если принимать во внимание только истинностные значения предложений и их логические связи, то использование языка с прокси-функциями не будет отличаться от использования нашего обычного языка, однако на уровне составных частей предложения различие существенно.

Дальнейшее развитие и подкрепление идея неопределенности референции получила в теории радикального перевода в связи с обоснованием Куайном тезиса «неопределенности перевода»[69]69
  Следует отметить, что обсуждение Куайном темы радикального перевода вырастает не только из его интереса к проблеме референции, но прежде всего из его критики аналитико-синтетического различия. В статье «Две догмы эмпиризма» он показал, что у нас нет критериев тождества для значений, а потому синонимичность значений оказывается пустым понятием. Его оппоненты (Р. Карнап, П. Грайс и П. Стросон), отстаивающие правомерность аналитико-синтетического различия, в ответ указывали на существование такого общепризнанного систематического способа установления синонимии, как перевод с одного языка на другой. Поэтому в «Слове и объекте» Куайн вновь обращается к дискредитации синонимии, избрав для анализа ситуацию «радикального перевода». В отличие от установления синонимии внутри языка, как, например, в тезаурусе, радикальный перевод является чисто эмпирическим предприятием и не может опираться на интуиции компетентных носителей языка. Обосновывая неопределенность перевода, Куайн стремился показать, что не существует факта синонимичности двух выражений, относительно которого переводчик мог бы ошибаться или быть правым. Таким образом, неопределенность перевода была призвана «забить последний гвоздь в гроб интенсиональных понятий» вроде синонимии значения.


[Закрыть], поэтому вернемся к изложению этой теории, начатому в предыдущем параграфе.

Опираясь на поведенческие данные и речевые диспозиции туземцев к согласию или несогласию, лингвист, согласно Куайну, может построить индуктивные гипотезы относительно перевода предложений наблюдения туземного языка и истинностно-функциональных связок («не», «и», «или» и т. п.), а также он может индуктивно установить, является ли туземное предложение «стимул-аналитическим», т. е. принимаемым при любых обстоятельствах независимо от имеющихся стимуляций, и являются ли два туземных предложения «стимул-синонимичными», т. е. получающими согласие или несогласие туземцев при одних и тех же обстоятельствах. Чтобы продвинуться дальше в составлении «руководства по переводу» с туземного языка, лингвист приступает к «сегментированию» предложений наблюдения на короткие повторяющиеся части и таким образом составляет список туземных слов. Здесь он уже выходит за границы поведенческих реакций и стимул-значений, поэтому формулируемые им гипотезы являются уже не фактуальными и индуктивными, а «аналитическими». Эти аналитические гипотезы, позволяющие соотнести туземные слова со словами языка, на котором говорит лингвист[70]70
  Куайн, естественно, имеет в виду английский язык и предлагает описание того, как лингвист мог бы осуществлять поиск корреляций между особенностями английского языка и структурой туземного языка.


[Закрыть], касаются прежде всего «аппарата референции», и на их основе осуществляется перевод «теоретических» предложений, т. е. предложений, не имеющих собственного стимул-значения и получающих «эмпирическое содержание» благодаря их связям с предложениями наблюдения. Говоря об аппарате референции, Куайн подразумевает присущие языку приемы «индивидуации» объектов, включающие применение артиклей, способы образования множественного числа, использование местоимений, числительных, а также таких выражений, как «тот же самый, что и» и «другой». Направляет лингвиста при формулировке аналитических гипотез опять же эмпатия и принцип доверия, согласно которому руководства по переводу должны минимизировать приписывание туземцам ложных верований-убеждений, ибо, утверждает Куайн, менее вероятно, что те, чей язык мы пытаемся понять, придерживаются, очевидно, глупых верований, чем то, что наш перевод является неправильным [Quine, 1960, p. 59].

Однако, даже соблюдая принцип доверия и формулируя аналитические гипотезы, согласующиеся с поведенческими данными, лингвист, убежден Куайн, не может не опираться на некую общую теорию, навеянную ему его собственным языком. Только прямым проецированием своих собственных лингвистических привычек на туземный язык он может осуществить его сегментирование и вычленить в нем, скажем, общие термины, ибо знания стимул-значения туземных предложений наблюдения недостаточно даже для того, чтобы определить, «какие слова являются терминами, если таковые вообще имеются, а еще менее, какие термины являются коэкстенсивными» [Quine, 1960, p. 70]. Поэтому разные лингвисты могут сформулировать различные наборы аналитических гипотез, построив тем самым разные руководства по переводу. И хотя все эти руководства не будут идти вразрез с имеющимися данными наблюдения (поведенческими реакциями туземцев), они могут быть принципиально разными. Так, возможными переводами для «гавагай» могут быть «кролик», «неотъемлемая часть кролика», «кроликовость» и т. п.[71]71
  Мы не можем среди этих возможных переводов выделить какой-то один в качестве правильного, поскольку поведенческие реакции туземцев не позволяют различить, указывает ли он на кролика, неотъемлемую часть кролика или проявление кроликовости. Не помогут здесь ни указывающие жесты, ни дополнительные вопросы. Если же мы будем последовательно показывать на части кролика и спрашивать, является ли первый гавагай тем же самым, что и второй гавагай, то у нас, считает Куайн, нет никакой возможности установить, не имеет ли туземное выражение, которое мы интерпретировали как «тот же самый, что и», другое значение, а именно «неотъемлемая часть того же самого, что и».


[Закрыть] Соответственно одному и тому же предложению туземцев разные руководства по переводу могут поставить в соответствие разные английские предложения, которые не находятся друг с другом ни в каком отношении эквивалентности, даже очень широко трактуемом. Если переводимое предложение является предложением наблюдения, то его английские переводы должны иметь с ним одно и то же истинностное значение, но если предложение является теоретическим, то его переводы могут различаться даже по истинностному значению [Quine, 1960, p. 73–74]. Таким образом, все имеющиеся факты о лингвистическом поведении туземцев «недоопределяют» аналитические гипотезы лингвиста и не могут их верифицировать. Поскольку выбор между разными совокупностями аналитических гипотез эмпирически не детерминирован, возможны альтернативные схемы перевода, не совместимые друг с другом, но в равной мере совместимые с вербальным поведением туземцев, а потому равно приемлемые. Все в целом это означает «неопределенность перевода». Важно понимать, что Куайн отрицает не возможность перевода вообще, а то, что какой-то конкретный перевод является единственно правильным: «критика значения, предполагаемая моим тезисом неопределенности, призвана устранить неправильные представления, но она ни в коем случае не ведет к нигилизму… Неопределенность означает не то, что не существует приемлемого перевода, а то, что таких переводов много» [Quine, 1987а, p. 9]. Для Куайна невозможность единственно правильного перевода означает, что просто не существует «фактического положения дел», относительно которого переводчик мог бы быть прав или не прав, или о котором он мог бы не знать, поэтому «даже полное понимание неврологии никоим образом не разрешило бы неопределенность перевода» [Quine, 1986b, p. 365]. Принципиальная неразрешимость вопроса о том, какой перевод является правильным, является поэтому существенной чертой эпистемического отношения между человеком и миром.

Согласно Куайну, неопределенность перевода имеет место не только на интенсиональном, но и на экстенсиональном уровне: она «затрагивает одинаково экстенсионал и интенсионал… Референция сама оказывается поведенчески непостижимой» [Quine, 1969, p. 35]. Поэтому неопределенность перевода одновременно означает и неопределенность референции. Каждому слову соответствует не какой-то один аспект реальности, а целое множество («кролик», «неотъемлемая часть кролика» и т. п.), что обусловлено использованием этого слова в рамках разных концептуальных схем. Таким образом, лингвистическое значение и референция в понимании Куайна являются функцией целой системы, а не ее частей. Это еще одно проявление его холистского взгляда на язык.

Как правило, при переводе с других языков мы навязываем тому, что объективно неопределенно, свою концептуальную схему, проистекающую из нашей склонности воспринимать мир состоящим из целостных и устойчивых образований – объектов: «Мы упорно стремимся раздробить реальность на множество поддающихся отождествлению и различению объектов, на которые можно указывать посредством сингулярных и общих терминов. Мы настолько привыкли говорить об объектах, что кажется, будто, говоря о них, мы ничего не сообщаем, поскольку как же еще можно говорить? Трудно судить, как еще можно говорить, не потому, что наша объектофицирующая модель является неизменной чертой человеческой природы, но потому, что мы вынуждены приспособлять любую чужую модель к нашей собственной, когда мы пытаемся понять или перевести предложения чужого языка» [Quine, 1969, p. 1]. Мы воспринимаем объекты как нечто фундаментальное; мы склонны считать, что они существуют объективно и обладают собственной внутренней природой. Урок, извлекаемый из непостижимости референции, по мнению Куайна, состоит в том, что роль объектов и референции вторична, тогда как первичной является истинность предложений и их связи друг с другом. «Референция и онтология опускаются таким образом до статуса простых вспомогательных средств. Истинные предложения, как предложения наблюдения, так и теоретические предложения, являются альфой и омегой научного предприятия. Они связаны между собой структурой, а объекты фигурируют как простые узлы этой структуры. Какие конкретно объекты включены в структуру, безразлично для истинности предложений наблюдения, безразлично для поддержки, которую они предоставляют теоретическим предложениям, безразлично для успеха теории в ее предсказаниях» [Quine, 1992, p. 31]. Для объекта важно лишь то, какую роль он выполняет в нашей теории мира.

Вместе с тем Куайн указывает, что непостижимость референции никоим образом не вмешивается в наше привычное использование языка и не имеет для него силы. «В рамках родного языка референцию лучше всего… рассматривать как непроблематичную, но тривиальную наравне с моделью определения истины у Тарского. Так, „Лондон“ обозначает Лондон (чем бы он ни был), а „кролик“ обозначает кроликов (чем бы они ни были). Непостижимость референции возникает только при переводе» [Quine, 1986а, p. 460]. Она не несет в себе никакой угрозы для нашей лингвистической практики: «сказать, о каких именно объектах кто-то говорит, значит сказать лишь, как мы предлагаем переводить его термины на наш язык… Дело не в том, что мы сами лавируем, тщетно пытаясь пришвартоваться. Оставаясь на борту нашего собственного языка и не раскачивая лодку, мы спокойно плывем в ней и все хорошо; „кролик“ обозначает кроликов; и без толку спрашивать: „Кролики в каком смысле слова „кролик“?“ Референция становится непостижимой, если мы раскачиваем лодку, задумываясь о взаимозаменяемом отображении нашего языка на самого себя, или если мы предпринимаем перевод» [Quine, 1981, p. 243].

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

2.3. Онтология и критерий существования

Куайн возродил использование слова «онтология» в неуничижительном смысле, что среди прочего свидетельствует о его принципиальном расхождении с логическими позитивистами в трактовке природы философии. Для логических позитивистов философия, по сути, была второпорядковой дисциплиной, которая исследует концептуальную схему, лежащую в основании науки и здравого смысла и применяемую в эмпирических описаниях и объяснениях. Более того, они признавали качественное различие между наукой, которая занимается фактическими вопросами и потому является апостериорной и эмпирической, и философией, или логикой, которая занимается концептуальными вопросами и потому является априорной и аналитической. Куайн полностью изменил эту картину, отрицая существенное различие между философией и наукой. По словам Пола Черчленда, Куайн преодолел априорный «кресельный» стиль философствования, продемонстрировав, что «философия, если ее надлежащим образом понять, есть продолжение эмпирических наук» [Churchland, 1986, p. 2–3]. Отвергнув аналитико-синтетическое различие, американский философ поставил под сомнение саму идею существования чисто аналитических дисциплин[72]72
  С его точки зрения, даже математика не является аналитической дисциплиной в силу того, что она применяется в естественных науках и разделяет с ними их эмпирическое содержание. «Математика не впитывает свое эмпирическое содержание индуктивным путем, как полагал Джон Стюарт Милль, но впитывает его гипотетико-дедуктивным способом, характерным для теоретической науки» [Quine, 1985, p. 333]. Необходимый характер математических истин объясняется тем, что в случае конфликта между гипотезами, при формулировке которых используется математика, и экспериментальными данными математические предложения отбрасываются в крайне редких случаях.


[Закрыть]. Философия является продолжением или частью науки, поскольку иначе она не могла бы быть познавательной дисциплиной, претендующей на статус знания. Куайн убежден, что вне науки нет знания, ибо только наука дает подлинное объяснение мира. В результате философы и ученые оказываются «в одной лодке». В некоторых местах, правда, он характеризует философию как «служанку науки», задачи которой – связывать между собой «свободные концы», такие как парадоксы, вопросы оснований, т. е. все те проблемы, которые ученые склонны игнорировать. В других местах он больше склонен видеть в ней царицу наук: она имеет дело с «общими базовыми понятиями науки», такими как истина, существование и необходимость. Иногда он говорит, что философия занимается «описанием наиболее общих черт реальности». Она исследует фундаментальное «строение нашей вселенной» и отличается от науки только количественно – общностью и широтой вопросов и категорий. В любом случае в понимании Куайна философия не может стоять отдельно от науки.

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

Вместе с тем философы способны внести важный вклад в решение онтологических вопросов, стоящих перед наукой, если, конечно, они откажутся от претензии на постижение сущности Бытия с помощью априорных философских размышлений. Куайн едко высмеивает идею о том, что философы способны обнаруживать скрытые от науки сущности сквозь «перекрестия» своих интеллектуальных «перископов». Тем не менее он признает, что онтология, как философская дисциплина, может устанавливать, какие виды вещей существуют, хотя и делает это не напрямую и не в изоляции от науки. Поскольку наука воплощает все человеческое знание, именно она является лучшим руководством в вопросах существования. Поэтому главная цель философов – помочь ученым выявлять содержание мира. Онтология не занимается существованием отдельных вещей в конкретном пространстве и времени, она занимается вопросом о том, какие виды вещей существуют, т. е. ее первичной задачей является не установление, существуют ли, к примеру, единороги или черные дыры, а установление, существуют ли очень общие категории вещей вроде материальных объектов, психических феноменов или абстрактных сущностей. При этом Куайн отрицает наличие качественной разницы между вопросами существования, обсуждаемыми в науке (имеются ли простые числа больше 1000, существуют ли кварки), и вопросами существования, которые ставят философы (существуют ли числа, существуют ли материальные тела). Философские вопросы являются лишь более общими по характеру.

На первый взгляд можно усмотреть значительное методологическое различие между философскими и научными вопросами существования, состоящее в том, что при обсуждении философских вопросов рассуждения об объектах, как правило, переводятся в рассуждения о словах. По мнению Куайна, подобное «семантическое восхождение» характерно не только для философии, но и для науки в целом. Подобно вопросу о существовании дронтов или тахионов, вопрос о существовании, скажем, психических феноменов также связан с изменением концептуальной схемы, и его решение в такой же мере, считает Куайн, подчинено эмпирическим ограничениям. Пересмотр концептуальной схемы, вызванный определенным решением онтологического вопроса, равносилен согласованию научных теорий с новыми эмпирическими данными. «Каждый такой пересмотр есть приспособление научной схемы, сопоставимое с введением или отвержением некоторой категории физических элементарных частиц» [Quine, 1960, p. 123]. Соответственно тот факт, что онтологи часто говорят о словах, еще не доказывает, что в конечном счете их вопросы касаются языка, а не реальности.

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

Мы видели, что референция в представлении Куайна не является фундаментальным отношением между миром и языком; она не является тем средством, с помощью которого язык приобретает свое эмпирическое содержание. Фундаментальным является отношение, устанавливаемое на уровне предложений наблюдения и сенсорных стимуляций, определяющих истинность этих предложений. Поэтому принятие предложений как истинных предшествует установлению референции слов, из которых эти предложения состоят: мы начинаем с совокупности истинных предложений (теории) и только потом ставим вопрос о существовании. В этом смысле истина предшествует существованию. Отсюда вытекает идея онтологического обязательства: мы обязаны признать существующими те объекты, которые должны существовать, чтобы принимаемая нами теория была истинной [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) Куайн показывает, как можно элиминировать имена собственные. Сначала они преобразуются в определенные дескрипции (например, «Пегас» в «вещь, которая пегасит»), а затем устраняются с помощью расселовской теории дескрипций: «Не существует того, что пегасит». Отметим, что если Рассел применял теорию дескрипций для элиминации только тех имен («скрытых дескрипций»), которые отсылают к объектам, не вступающих с нами в отношение знакомства, то Куайн использует ее, чтобы показать возможность элиминации всех без исключения имен.