Языковые каркасы Карнапа указывают на более строгую, чем в традиционной метафизике (основанной на перечислении свойств существующего) трактовку идеи существования, делающую ее производной от более ясной идеи истины. Существовать, по Карнапу, значит быть значением квантифицированной (связанной квантором общности или квантором существования) переменной. Формулы, начинающиеся с кванторов, т.е. формулы типа для всякого х... или существует такой х, что..., в отличие от формул типа а обладает свойством А, могут быть либо эмпирически проверены, либо теоретически доказаны, либо и то и другое.

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

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

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

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

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

2. Сводимость теоретического знания к эмпирии предполагает дихотомию аналитического и синтетического, так как сведение теоретического предложения к протокольному требует определенных дополнительных посылок, скажем, проверка предложения Черняк — выдающийся философ современности требует посылки Черняк существует.