На первый взгляд можно усмотреть значительное методологическое различие между философскими и научными вопросами существования, состоящее в том, что при обсуждении философских вопросов рассуждения об объектах, как правило, переводятся в рассуждения о словах. По мнению Куайна, подобное «семантическое восхождение» характерно не только для философии, но и для науки в целом. Подобно вопросу о существовании дронтов или тахионов, вопрос о существовании, скажем, психических феноменов также связан с изменением концептуальной схемы, и его решение в такой же мере, считает Куайн, подчинено эмпирическим ограничениям. Пересмотр концептуальной схемы, вызванный определенным решением онтологического вопроса, равносилен согласованию научных теорий с новыми эмпирическими данными. «Каждый такой пересмотр есть приспособление научной схемы, сопоставимое с введением или отвержением некоторой категории физических элементарных частиц» [Quine, 1960, p. 123]. Соответственно тот факт, что онтологи часто говорят о словах, еще не доказывает, что в конечном счете их вопросы касаются языка, а не реальности.
Согласно Куайну, философ, занимающийся онтологическими изысканиями, должен прежде всего разъяснить, на каких основаниях принимается решение о существовании или несуществовании тех или иных видов объектов или сущностей, т. е. он должен сформулировать критерий существования. Как хорошо известно, сам Куайн в качестве такого критерия предложил идею «онтологических обязательств».
Мы видели, что референция в представлении Куайна не является фундаментальным отношением между миром и языком; она не является тем средством, с помощью которого язык приобретает свое эмпирическое содержание. Фундаментальным является отношение, устанавливаемое на уровне предложений наблюдения и сенсорных стимуляций, определяющих истинность этих предложений. Поэтому принятие предложений как истинных предшествует установлению референции слов, из которых эти предложения состоят: мы начинаем с совокупности истинных предложений (теории) и только потом ставим вопрос о существовании. В этом смысле истина предшествует существованию. Отсюда вытекает идея онтологического обязательства: мы обязаны признать существующими те объекты, которые должны существовать, чтобы принимаемая нами теория была истинной [Quine, 1969, p. 93]. Это означает, что существующее — это не что-то такое, в чем мы можем непосредственно удостовериться; это нечто постулируемое нами в целях получения концептуальной схемы, согласующейся с эмпирическими данными. «Наши рассуждения о внешних вещах, само наше понятие вещи есть лишь концептуальное средство, которое помогает нам предвидеть и контролировать возбуждение наших сенсорных рецепторов в свете их предыдущих возбуждений» [Quine, 1981, 229]. Вместе с тем для Куайна с его натуралистической философией только выявлением онтологических обязательств, принимаемых в наших лучших научных теориях, мы сможем ответить на вопрос, какие виды объектов действительно существуют.
Так как же можно установить онтологические обязательства, принимаемые в той или иной теории? Для этого, утверждает Куайн, необходимо точно определить, какие виды языковых выражений, встречающиеся в теории, являются референциальными и поэтому обязывают нас принять обозначаемые ими объекты и сущности в качестве существующих. Однако онтологические обязательства не могут быть просто считаны из свободно сформулированной теории; их выявление, согласно Куайну, требует использования искусственного формального языка. Наилучшим образом для этих целей подходит, по его мнению, экстенсиональный язык первопорядковой логики предикатов с равенством, который он называет «канонической нотацией». Перевод теории на такой язык будет включать переструктурирование ее предложений, которое позволит выявить и минимизировать принимаемые в ней онтологические обязательства. Согласно Куайну, переструктурирование служит цели «понимания референциальной работы языка и разъяснения нашей концептуальной схемы» [Quine, 1960, p. 158].