|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.|
|Geach, Peter T.
Books on Amazon
|Existence Statements||I 263
Existence theorem / Geach: no judgment about existence - they can also occur in a non assertive manner e.g. "If there are channels on Mars, it is inhabited".
Logic Matters Oxford 1972