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

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

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

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

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

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

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

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

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

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

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

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

Форма аргумента Куайна такова: