  Quine’s regimented theory, then, is the sum total of our knowledge, the best that we have, reformulated so as to fit into the framework of first-order logic. The extra-logical vocabulary consists only of predicates. All metaphysical questions can thus be boiled down to two: What objects do the variables range over? and: What sorts of primitive predicates are to be admitted?