|Existence statement, existence assertion, philosophy, logic: the simple assertion of the existence of an object is problematic because it cannot be empirically refuted. In contrast, quantification is the attribution of properties, not of "naked" existence. E.g. "Socrates exists" is considered by some authors as senseless. See also bare particulars, predication, existence, quantification, existence predicate, iota operator.|
Books on Amazon
Existence statement/Leibniz: The truth of contingent existence statements can only be viewed a priori by an infinite mind, and cannot be proved by any dissolution of the concepts. Into all sentences into which existence and time enter, the whole infinite chain also enters.
Here and now can be seen only in relation to everything else. Such sentences cannot be proved. (There are contingent truths).
Ultimately, this necessitates the transition to the ultimate metaphysical foundation.
G. W. Leibniz
Philosophical Texts (Oxford Philosophical Texts) Oxford 1998