Philosophy Lexicon of Arguments

Non-existence, philosophy: non-existence is not simply expressible for the classical predicate logic which attributes properties through quantification in the form of (Ex)(Fx) "There is at least one x, with the property F" (in short "There is at least one F"), since existence is not a property. The form "There is at least one x that does not exist" is contradictory. See also existence predicate, "There is", existence, unicorn example, pegasus example, round square, proof of God's existence.
Author Item Excerpt Meta data

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)
IV 43
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, a proof of existence for a solution is the finding that no contradiction arises from the assumption of a solution, even if the solution is not yet known.
d’Abro, A.

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-30