 Whatever one says about the possibility of proving the existence of an object purely with conceptual truths, many philosophers have maintained that at least logic has to be neutral about what there is. One of the reasons for this insistence is the idea that logic is topic neutral, or purely general. The logical truths are the ones that hold no matter what the representations are about, and thus they hold in any domain. In particular, they hold in an empty domain, one where there is nothing at all. And if that is true then logical truths can’t imply that anything exists. But that argument might be turned around by a believer in logical objects, objects whose existence is implied by logic alone. If it is granted that logical truths have to hold in any domain, then any domain has to contain the logical objects. Thus for a believer in logical objects there can be no empty domain.