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
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. -
I 65
Wyman: Thesis: contradictions are meaningless - VsWyman: Stalnaker Quine, Lewis.

Sta I
R. Stalnaker
Ways a World may be Oxford New York 2003

> Counter arguments against Stalnaker

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