ABSTRACT
In the last chapter we introduced the Quinean ontological method. This method allows us to decide the answers to questions about which kinds of entities exist. It advises us first to determine which sentences we take to be true, then to regiment these sentences into the language of first-order predicate logic, then finally to read off commitment only to those entities needed to stand in as the values of bound variables in order for those sentences to be true.
