Так как же можно установить онтологические обязательства, принимаемые в той или иной теории? Для этого, утверждает Куайн, необходимо точно определить, какие виды языковых выражений, встречающиеся в теории, являются референциальными и поэтому обязывают нас принять обозначаемые ими объекты и сущности в качестве существующих. Однако онтологические обязательства не могут быть просто считаны из свободно сформулированной теории; их выявление, согласно Куайну, требует использования искусственного формального языка. Наилучшим образом для этих целей подходит, по его мнению, экстенсиональный язык первопорядковой логики предикатов с равенством, который он называет «канонической нотацией». Перевод теории на такой язык будет включать переструктурирование ее предложений, которое позволит выявить и минимизировать принимаемые в ней онтологические обязательства. Согласно Куайну, переструктурирование служит цели «понимания референциальной работы языка и разъяснения нашей концептуальной схемы» [Quine, 1960, p. 158].
Идея Куайна состоит в том, что, когда мы переформулируем теорию с помощью канонической нотации, ее онтологические обязательства станут очевидными. Это связано с тем, что можно будет сразу выделить предложения с квантором существования, которые содержатся в теории или выводятся из нее. Для того чтобы такое предложение было истинным (а мы, как было указано, исходим из того, что теория в целом истинна, а стало быть, истинны и предложения, из которых она состоит), должен существовать по крайней мере один объект, который является значением связанной (или квантифицированной) переменной в этом предложении. Например, чтобы предложение '∃x(Fх&Gх)' было истинным, область, на которой определена переменная x, должна содержать по крайней мере один объект, который одновременно есть F и G. Отсюда Куайн заключает, что онтологические обязательства теории имеют отношение исключительно к связанным переменным. Этот вывод был суммирован Куайном в лозунге: «существовать значит быть значением связанной переменной», а в более развернутом виде: «теория обязана признавать те и только те сущности, к которым должны быть способны отсылать связанные переменные теории с тем, чтобы утверждения, выдвигаемые теорией, были истинными» [Quine, 1980, p. 14–15]. Это значит, мы обязаны принимать существование только тех сущностей, постулируемых теорией, которые при переформулировке предложений теории с помощью аппарата современной математической логики составляют область значений связанных переменных в истинных квантифицированных предложениях.
