|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
Non-existence/fiction/reference/statement: E.g. The current king of France is bald.
It is necessary to know what the statement refers to and whether the proposition has a speaker.
((s) Vs Foucault: that is circular.
Foucault: one must know a framework, for example, that France is a republic, etc.
The Order of Things: An Archaeology of Human Sciences 1994
Archäologie des Wissens Frankfurt/M. 1981