Philosophy Lexicon of Arguments

Search  
 
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
I 218/219
Nonexistence / Fraassen: universal quantifikation over an empty domain is true - existential quantification false - i.e. not that the truth values are dependent on the knowledge - because you will believe that the facts would be the same if we didn t exist.

Fr I
B. van Fraassen
The Scientific Image Oxford 1980


> Counter arguments against Fraassen



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