|"There is...," philosophy: it is the question whether the talk that "there is" something is synonymous with the assumption of the existence of the said thing. In contrast to that the existential quantification is the attribution of properties to objects. See also everyday language, existence, existential quantification, existence predicate, existence statements, quantification, attribution, properties, schematic letters.|
Books on Amazon
|There is (/Existence)||II 261
Def "there is" / Frege / Field: the function that maps nonempty sets on the true and empty sets on the false.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980