The logic behind Quine's criterion of ontological commitment · Study