|"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._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.|
Books on Amazon
|A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967
Non-existence/Meinong/d'Abro: since we can truthfully say "something like a round square does not exist," there must be something like a round square, albeit as a non-existent object. At first Russell had not been able to escape this, but in 1905 he discovered a theory of representation, according to which the round square seems to be mentioned when one says: "A round square does not exist." (Principia Mathematica)
Existence/d'Abro: in Meinong "exist" and "there is" are used synonymously, but they are not synonyms: "exist" in the mathematical sense means to contain no contradiction.
If one takes Meinong seriously, this is evidence of the inability to think clearly, as in the joke: "Where does the light go when it goes out?".
Thus, an existence proof for a solution is the determination that no contradiction arises from the assumption of a solution, even if the solution is not yet known._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.