 Quine’s strategy for the regimentation and resolution of ontological disputes has informed much of contemporary ontology. He advised philosophers to look at the ontological commitments incurred by our best global theory of the word—best by ordinary scientific standards or principled extensions thereof—when appropriately regimented in the language of pure quantificational logic with  identity.[18]  One may perhaps think of the ontological commitments of our best global theory of the world as the demands that the truth of our total theory imposes on the world. For example, we are committed to the existence of objects of kind \(K\) if a proper regimentation of our best global theory includes—or entails—a sentence of the form \(\exists x Fx\), where \(F\) is a predicate under which only objects of kind \(K\) fall. Quine’s advice comes accompanied with a criterion of ontological commitment whereby an appropriately regimented body of doctrine is ontologically committed to objects of kind \(K\) just in case objects of kind \(K\) must lie in the range of our bound variables for the sentences of our theory to be true. More details are given in section 5 of the entry on  Quine.