We assume that asking whether God exists is relevantly similar to asking whether dark matter or black holes exist, but what if it’s more like asking whether a mathematical entity exists, like Euclidean or Riemannian quantities or complex numbers? IOW, to exist is to be defined and to not exist is to be contradictory.
Things are either possible or impossible, and either exist in fact or don’t. Verbally, this gives us four quadrants of description:
|Exist in fact||Don’t exist in fact.|
Things in quadrant 3 can be disregarded, since they are only a verbal and not a logical possibility. But only material (or at least contingent) things can exist in quadrant 1. Anything necessary, like abstract entities or spirits* can only be 2 or 4.
The tendentious calls for “evidence” that God exists (as though evidence could only mean one thing) are simply demands for a material god who could “make a difference to the universe” by either existing or not. The interaction problem amounts to the same thing.
The Dionysian commonplace that “God is not an existent but outside existence” is true, but it can be said just as much of complex numbers too. All its means is that there are different criteria and methods for establishing existence,** which we shouldn’t forget is admitted by any Naturalist.
*I say “spirits” and not just God or the absolutely necessary. True, a finite spirit is somehow contingent, but he is no less contingent than a mathematical quantity, and we have no problem with inferring the existence of these from their possibility.
**At least of positive existence. There are evils and vices too, but this is a different there are or est than in there are complex numbers or Deus est.