|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.|
Books on Amazon
|Stalnaker I 55f
Nonexistence / empty name / Meinong / QuineVsWyman / Quine / Stalnaker: fictional Wyman / Quine: a distinction between - "there is" and "exists" (reserved for acutality). - QuineVs: existence is no predicate that introduces a distinctive property. - Wyman creates the illusion of a match between Meinongians and their critics. - Stalnaker: pro Quine: Existence: applies to everything, what can be quantified.
Stalnaker I 55
Pegasus / QuineVsWyman / Quine: Pegasus could exist - the round square does not. -
Wyman: Thesis: contradictions are meaningless - VsWyman: Stalnaker Quine, Lewis.
Ways a World may be Oxford New York 2003