Die eigentlichen ontologischen Verpflichtungen erschließen sich nach Quine erst, wenn solche trügerischen Gegenstandsbezugnahmen durch eine Überführung in die „kanonische Notation“ der Prädikatenlogik getilgt worden sind.