Во-вторых, избрав в качестве канонической нотации язык первопорядковой логики предикатов, Куайн тем самым допустил только квантификацию по индивидным объектам и множествам, однако научные и повседневные рассуждения содержат квантификацию и по другим сущностям: свойствам, отношениям, числам, фактам, действиям, мнениям, возможностям и т. п. Но почему только первый вид квантификации связан с онтологическими обязательствами? Решение Куайна вызвано рядом соображений. С одной стороны, следует отметить, что, по его мнению, только индивидные переменные имеет смысл — и в логическом, и в онтологическом плане — связывать кванторами, поскольку предикатные переменные, как и предикаты вообще, ничего не обозначают. Вместе с тем Куайн допускает, что в качестве значений индивидных переменных в принципе могут выступать индивидуальные объекты любых видов, будь то физические вещи, абстрактные объекты и т. п., и наша онтология зависит от того, по какого рода индивидуальным объектам мы готовы квантифицировать. В том, что в онтологии Куайна допускаются только индивидуальные сущности, безусловно, нашла выражение общая номиналистическая тенденция его философского мировоззрения.
Как известно, вначале Куайн вместе с Гудменом (см.: [Goodmen, Quine, 1947, p. 97–122]) стоял на позициях бескомпромиссного номинализма, отвергая абстрактные объекты на основе неустранимой «философской интуиции», однако позже он отказался от такого ригоризма, сохранив тем не менее склонность уменьшать онтологические обязательства благодаря как можно большему устранению квантификации по абстрактным объектам. Поэтому свою задачу он видел в том, чтобы вычищать онтологические «трущобы»: мы должны признавать существование как можно меньшего числа сущностей, мы должны «затянуть наши онтологические ремни» там, где это возможно [Quine, 1969, p. 17]. В какой-то мере номиналистические предпочтения Куайна объясняются тем, что для него слово «существовать» или «быть» имеет один-единственный смысл. Некоторые философы, допуская в свою онтологию универсалии, приписывают им иной онтологический статус по сравнению с объектами, для обозначения которого используют термин «идеальное» или «логическое» существование (subsistence). Куайн отвергает это полностью. Он не признает никаких «уровней бытия» или модусов существования, а только единственный онтологический статус всего существующего.
С другой стороны, Куайн выдвигает еще одно важное требование в отношении объектов и сущностей, которому они должны удовлетворять, чтобы быть признанными существующими. Постулирование сущностей любого вида требует указания принципов их «индивидуации». Это нашло отражение в известном тезисе Куайна «нет неотождествляемых сущностей» («No entity without identity») [Quine, 1969, p. 23]. Например, физические объекты являются тождественными, если и только если они занимают один и тот же пространственно-временной регион. Можно сформулировать условия тождественности и для таких экстенсиональных абстрактных объектов, как множества: они тождественны, если и только если имеют одни и те же элементы. В отличие от них интенсиональные абстрактные объекты лишены таких критериев. Предикаты «существо с сердцем» и «существо с почками» имеют один и тот же экстенсионал (применяются к одним и тем же индивидам), но не выражают один и тот же интенсионал, однако попытка определить, что отличает эти интенсионалы и в чем состоит их самотождественность, считает Куайн, обречена на неудачу. Поэтому его отказ от интенсиональных сущностей является абсолютным. Кроме того, по его мнению, постулирование подобных сущностей ничего не объясняет, ибо они не существуют в пространстве и времени и не вступают в каузальное взаимодействие с нами. И, наконец, утверждает Куайн, мы вполне можем элиминировать выражения для этих сущностей из нашей канонической нотации. Например, мы можем сформулировать «Красный есть цвет» как «Для всех
